Invariant Whitney functions

Abstract

Theorem 1 of [G. W. Schwarz, Smooth functions invariant under the action of a compact Lie group, Topology 14 (1975) 63–68.] says that for a linear action of a compact Lie group [Formula: see text] on a finite dimensional real vector space [Formula: see text], any smooth [Formula: see text]-invariant function on [Formula: see text] can be written as a composite with the Hilbert map. We prove a similar statement for the case of Whitney functions along a subanalytic set [Formula: see text] fulfilling some regularity assumptions. In order to deal with the case when [Formula: see text] is not [Formula: see text]-stable, we use the language of groupoids.