This nLab page is for developing preliminary notes or making typographical experiments, etc. It may be edited by anybody, anytime. But you don’t necessarily need to delete other people’s ongoing notes here in order to add your own. In any case, overwritten edits may always be recovered from the page history.
The Bochner linearization theorem [Bochner 1945] states that for a differentiable group action of a compact Lie group on a differentiable manifold there exists around each fixed point a (similarly differentiable) local coordinate chart on which the action is linear.
(The analogous statement for analytic manifolds and analytic group actions is attributed by Bochner 1945 to Henri Cartan, referencing Martin 1944.)
This linearization theorem is the special case (for fixed loci of dimension) of the existence of equivariant tubular neighbourhoods, see there for more.
The original article:
following
See also:
Last revised on June 14, 2025 at 11:24:17. See the history of this page for a list of all contributions to it.