nLab Sandbox

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.



Idea

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=0=0) of the existence of equivariant tubular neighbourhoods, see there for more.

References

The original article:

following

  • W. T. Martin: Mappings by means of systems of analytic functions of several complex variables, Bulletin of the American Math. Society 50 1 (1944) 5-19.

See also:

  • Nicolas Bourbaki: Prop. 5 §9.3 Chapter IX, of: Lie Groups and Algebras, Masson (1982), Springer (2007) [scan]



Last revised on June 14, 2025 at 11:24:17. See the history of this page for a list of all contributions to it.