Mathematics – Representation Theory
Scientific paper
2007-11-20
Ann. Global Anal. Geom. 35 (2009), No. 3, 249--266.
Mathematics
Representation Theory
LaTeX, 19 pages; ambiguities have been eliminated and more details are given
Scientific paper
Let $V$ be a real finite dimensional representation of a compact Lie group $G$. It is well-known that the algebra $\mathbb R[V]^G$ of $G$-invariant polynomials on $V$ is finitely generated, say by $\sigma_1,...,\sigma_p$. Schwarz proved that each $G$-invariant $C^\infty$-function $f$ on $V$ has the form $f=F(\sigma_1,...,\sigma_p)$ for a $C^\infty$-function $F$ on $\mathbb R^p$. We investigate this representation within the framework of Denjoy-Carleman classes. One can in general not expect that $f$ and $F$ lie in the same Denjoy-Carleman class $C_M$ (with $M=(M_k)$). For finite groups $G$ and (more generally) for polar representations $V$ we show that for each $G$-invariant $f$ of class $C_M$ there is an $F$ of class $C_N$ such that $f=F(\sigma_1,...,\sigma_p)$, if $N$ is strongly regular and satisfies $N_k \ge M_{km} \ep^{k+1}$, for all $k$, with $m$ an (explicitly known) integer depending only on the representation and $\epsilon>0$ independent of $k$. In particular, each $G$-invariant $(1+\delta)$-Gevrey function $f$ has the form $f=F(\sigma_1,...,\sigma_p)$ for a $(1+\delta m)$-Gevrey function $F$. Applications to equivariant functions and basic differential forms are given.
No associations
LandOfFree
Invariant functions in Denjoy-Carleman classes does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Invariant functions in Denjoy-Carleman classes, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Invariant functions in Denjoy-Carleman classes will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-392046