English

Invariant functions in Denjoy-Carleman classes

Representation Theory 2010-03-30 v2 Classical Analysis and ODEs

Abstract

Let VV be a real finite dimensional representation of a compact Lie group GG. It is well-known that the algebra R[V]G\mathbb R[V]^G of GG-invariant polynomials on VV is finitely generated, say by σ1,...,σp\sigma_1,...,\sigma_p. Schwarz proved that each GG-invariant CC^\infty-function ff on VV has the form f=F(σ1,...,σp)f=F(\sigma_1,...,\sigma_p) for a CC^\infty-function FF on Rp\mathbb R^p. We investigate this representation within the framework of Denjoy-Carleman classes. One can in general not expect that ff and FF lie in the same Denjoy-Carleman class CMC_M (with M=(Mk)M=(M_k)). For finite groups GG and (more generally) for polar representations VV we show that for each GG-invariant ff of class CMC_M there is an FF of class CNC_N such that f=F(σ1,...,σp)f=F(\sigma_1,...,\sigma_p), if NN is strongly regular and satisfies NkMkm\epk+1N_k \ge M_{km} \ep^{k+1}, for all kk, with mm an (explicitly known) integer depending only on the representation and ϵ>0\epsilon>0 independent of kk. In particular, each GG-invariant (1+δ)(1+\delta)-Gevrey function ff has the form f=F(σ1,...,σp)f=F(\sigma_1,...,\sigma_p) for a (1+δm)(1+\delta m)-Gevrey function FF. Applications to equivariant functions and basic differential forms are given.

Keywords

Cite

@article{arxiv.0711.3163,
  title  = {Invariant functions in Denjoy-Carleman classes},
  author = {Armin Rainer},
  journal= {arXiv preprint arXiv:0711.3163},
  year   = {2010}
}

Comments

LaTeX, 19 pages; ambiguities have been eliminated and more details are given

R2 v1 2026-06-21T09:45:21.482Z