Lie group action

Last updated

In differential geometry, a Lie group action is a group action adapted to the smooth setting: is a Lie group, is a smooth manifold, and the action map is differentiable.

Contents

Definition

Let be a (left) group action of a Lie group on a smooth manifold ; it is called a Lie group action (or smooth action) if the map is differentiable. Equivalently, a Lie group action of on consists of a Lie group homomorphism . A smooth manifold endowed with a Lie group action is also called a -manifold.

Properties

The fact that the action map is smooth has a couple of immediate consequences:

Forgetting the smooth structure, a Lie group action is a particular case of a continuous group action.

Examples

For every Lie group , the following are Lie group actions:

Other examples of Lie group actions include:

Infinitesimal Lie algebra action

Following the spirit of the Lie group-Lie algebra correspondence, Lie group actions can also be studied from the infinitesimal point of view. Indeed, any Lie group action induces an infinitesimal Lie algebra action on , i.e. a Lie algebra homomorphism . Intuitively, this is obtained by differentiating at the identity the Lie group homomorphism , and interpreting the set of vector fields as the Lie algebra of the (infinite-dimensional) Lie group .

More precisely, fixing any , the orbit map is differentiable and one can compute its differential at the identity . If , then its image under is a tangent vector at , and varying one obtains a vector field on . The minus of this vector field, denoted by , is also called the fundamental vector field associated with (the minus sign ensures that is a Lie algebra homomorphism).

Conversely, by Lie–Palais theorem, any abstract infinitesimal action of a (finite-dimensional) Lie algebra on a compact manifold can be integrated to a Lie group action. [1]

Properties

An infinitesimal Lie algebra action is injective if and only if the corresponding global Lie group action is free. This follows from the fact that the kernel of is the Lie algebra of the stabilizer .

On the other hand, in general not surjective. For instance, let be a principal -bundle: the image of the infinitesimal action is actually equal to the vertical subbundle .

Proper actions

An important (and common) class of Lie group actions is that of proper ones. Indeed, such a topological condition implies that

In general, if a Lie group is compact, any smooth -action is automatically proper. An example of proper action by a not necessarily compact Lie group is given by the action a Lie subgroup on .

Structure of the orbit space

Given a Lie group action of on , the orbit space does not admit in general a manifold structure. However, if the action is free and proper, then has a unique smooth structure such that the projection is a submersion (in fact, is a principal -bundle). [2]

The fact that is Hausdorff depends only on the properness of the action (as discussed above); the rest of the claim requires freeness and is a consequence of the slice theorem. If the "free action" condition (i.e. "having zero stabilizers") is relaxed to "having finite stabilizers", becomes instead an orbifold (or quotient stack).

Equivariant cohomology

An application of this principle is the Borel construction from algebraic topology. Assuming that is compact, let denote the universal bundle, which we can assume to be a manifold since is compact, and let act on diagonally. The action is free since it is so on the first factor and is proper since is compact; thus, one can form the quotient manifold and define the equivariant cohomology of M as

,

where the right-hand side denotes the de Rham cohomology of the manifold .

See also

Notes

  1. Palais, Richard S. (1957). "A global formulation of the Lie theory of transformation groups". Memoirs of the American Mathematical Society (22): 0. doi:10.1090/memo/0022. ISSN   0065-9266.
  2. Lee, John M. (2012). Introduction to smooth manifolds (2nd ed.). New York: Springer. ISBN   978-1-4419-9982-5. OCLC   808682771.

Related Research Articles

In mathematics, an associative algebraA over a commutative ring K is a ring A together with a ring homomorphism from K into the center of A. This is thus an algebraic structure with an addition, a multiplication, and a scalar multiplication. The addition and multiplication operations together give A the structure of a ring; the addition and scalar multiplication operations together give A the structure of a module or vector space over K. In this article we will also use the term K-algebra to mean an associative algebra over K. A standard first example of a K-algebra is a ring of square matrices over a commutative ring K, with the usual matrix multiplication.

<span class="mw-page-title-main">Lie algebra</span> Algebraic structure used in analysis

In mathematics, a Lie algebra is a vector space together with an operation called the Lie bracket, an alternating bilinear map , that satisfies the Jacobi identity. In other words, a Lie algebra is an algebra over a field for which the multiplication operation is alternating and satisfies the Jacobi identity. The Lie bracket of two vectors and is denoted . A Lie algebra is typically a non-associative algebra. However, every associative algebra gives rise to a Lie algebra, consisting of the same vector space with the commutator Lie bracket, .

<span class="mw-page-title-main">Lie group</span> Group that is also a differentiable manifold with group operations that are smooth

In mathematics, a Lie group is a group that is also a differentiable manifold, such that group multiplication and taking inverses are both differentiable.

In the mathematical field of representation theory, a weight of an algebra A over a field F is an algebra homomorphism from A to F, or equivalently, a one-dimensional representation of A over F. It is the algebra analogue of a multiplicative character of a group. The importance of the concept, however, stems from its application to representations of Lie algebras and hence also to representations of algebraic and Lie groups. In this context, a weight of a representation is a generalization of the notion of an eigenvalue, and the corresponding eigenspace is called a weight space.

<span class="mw-page-title-main">Representation of a Lie group</span> Group representation

In mathematics and theoretical physics, a representation of a Lie group is a linear action of a Lie group on a vector space. Equivalently, a representation is a smooth homomorphism of the group into the group of invertible operators on the vector space. Representations play an important role in the study of continuous symmetry. A great deal is known about such representations, a basic tool in their study being the use of the corresponding 'infinitesimal' representations of Lie algebras.

<span class="mw-page-title-main">Adjoint representation</span> Mathematical term

In mathematics, the adjoint representation of a Lie group G is a way of representing the elements of the group as linear transformations of the group's Lie algebra, considered as a vector space. For example, if G is , the Lie group of real n-by-n invertible matrices, then the adjoint representation is the group homomorphism that sends an invertible n-by-n matrix to an endomorphism of the vector space of all linear transformations of defined by: .

In mathematics, a Lie algebroid is a vector bundle together with a Lie bracket on its space of sections and a vector bundle morphism , satisfying a Leibniz rule. A Lie algebroid can thus be thought of as a "many-object generalisation" of a Lie algebra.

In mathematics, a generalized flag variety is a homogeneous space whose points are flags in a finite-dimensional vector space V over a field F. When F is the real or complex numbers, a generalized flag variety is a smooth or complex manifold, called a real or complexflag manifold. Flag varieties are naturally projective varieties.

In mathematics, a one-parameter group or one-parameter subgroup usually means a continuous group homomorphism

In differential geometry, a field in mathematics, a Poisson manifold is a smooth manifold endowed with a Poisson structure. The notion of Poisson manifold generalises that of symplectic manifold, which in turn generalises the phase space from Hamiltonian mechanics.

In mathematics, the Chern–Weil homomorphism is a basic construction in Chern–Weil theory that computes topological invariants of vector bundles and principal bundles on a smooth manifold M in terms of connections and curvature representing classes in the de Rham cohomology rings of M. That is, the theory forms a bridge between the areas of algebraic topology and differential geometry. It was developed in the late 1940s by Shiing-Shen Chern and André Weil, in the wake of proofs of the generalized Gauss–Bonnet theorem. This theory was an important step in the theory of characteristic classes.

In mathematics, a Killing vector field, named after Wilhelm Killing, is a vector field on a Riemannian manifold that preserves the metric. Killing fields are the infinitesimal generators of isometries; that is, flows generated by Killing fields are continuous isometries of the manifold. More simply, the flow generates a symmetry, in the sense that moving each point of an object the same distance in the direction of the Killing vector will not distort distances on the object.

<span class="mw-page-title-main">Symmetric space</span> A (pseudo-)Riemannian manifold whose geodesics are reversible.

In mathematics, a symmetric space is a Riemannian manifold whose group of isometries contains an inversion symmetry about every point. This can be studied with the tools of Riemannian geometry, leading to consequences in the theory of holonomy; or algebraically through Lie theory, which allowed Cartan to give a complete classification. Symmetric spaces commonly occur in differential geometry, representation theory and harmonic analysis.

In differential geometry, a discipline within mathematics, a distribution on a manifold is an assignment of vector subspaces satisfying certain properties. In the most common situations, a distribution is asked to be a vector subbundle of the tangent bundle .

In mathematics, specifically in symplectic geometry, the momentum map is a tool associated with a Hamiltonian action of a Lie group on a symplectic manifold, used to construct conserved quantities for the action. The momentum map generalizes the classical notions of linear and angular momentum. It is an essential ingredient in various constructions of symplectic manifolds, including symplectic (Marsden–Weinstein) quotients, discussed below, and symplectic cuts and sums.

In the study of mathematics and especially differential geometry, fundamental vector fields are an instrument that describes the infinitesimal behaviour of a smooth Lie group action on a smooth manifold. Such vector fields find important applications in the study of Lie theory, symplectic geometry, and the study of Hamiltonian group actions.

<span class="mw-page-title-main">Hermitian symmetric space</span> Manifold with inversion symmetry

In mathematics, a Hermitian symmetric space is a Hermitian manifold which at every point has an inversion symmetry preserving the Hermitian structure. First studied by Élie Cartan, they form a natural generalization of the notion of Riemannian symmetric space from real manifolds to complex manifolds.

In differential geometry, a field of mathematics, the Lie–Palais theorem is a partial converse to the fact that any smooth action of a Lie group induces an infinitesimal action of its Lie algebra. Palais proved it as a global form of an earlier local theorem due to Sophus Lie.

<span class="mw-page-title-main">Complexification (Lie group)</span> Universal construction of a complex Lie group from a real Lie group

In mathematics, the complexification or universal complexification of a real Lie group is given by a continuous homomorphism of the group into a complex Lie group with the universal property that every continuous homomorphism of the original group into another complex Lie group extends compatibly to a complex analytic homomorphism between the complex Lie groups. The complexification, which always exists, is unique up to unique isomorphism. Its Lie algebra is a quotient of the complexification of the Lie algebra of the original group. They are isomorphic if the original group has a quotient by a discrete normal subgroup which is linear.

In mathematics, Lie group–Lie algebra correspondence allows one to correspond a Lie group to a Lie algebra or vice versa, and study the conditions for such a relationship. Lie groups that are isomorphic to each other have Lie algebras that are isomorphic to each other, but the converse is not necessarily true. One obvious counterexample is and which are non-isomorphic to each other as Lie groups but their Lie algebras are isomorphic to each other. However, for simply connected Lie groups, the Lie group-Lie algebra correspondence is one-to-one.

References