Jump to content

Complex Lie group

From Wikipedia, the free encyclopedia

This is an old revision of this page, as edited by InternetArchiveBot (talk | contribs) at 01:45, 27 July 2020 (Rescuing 0 sources and tagging 1 as dead.) #IABot (v2.0.1). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

In geometry, a complex Lie group is a Lie group over the complex numbers; i.e., it is a complex-analytic manifold that is also a group in such a way is holomorphic. Basic examples are , the general linear groups over the complex numbers. A connected compact complex Lie group is precisely a complex torus (not to be confused with the complex Lie group ). Any finite group may be given the structure of a complex Lie group. A complex semisimple Lie group is a linear algebraic group.

The Lie algebra of a complex Lie group is a complex Lie algebra.

Examples

  • A finite-dimensional vector space over the complex numbers (in particular, complex Lie algebra) is a complex Lie group in an obvious way.
  • A connected compact complex Lie group A of dimension g is of the form where L is a discrete subgroup. Indeed, its Lie algebra can be shown to be abelian and then is a surjective morphism of complex Lie groups, showing A is of the form described.
  • is an example of a morphism of complex Lie groups that does not come from a morphism of algebraic groups. Since , this is also an example of a representation of a complex Lie group that is not algebraic.
  • Let X be a compact complex manifold. Then, as in the real case, is a complex Lie group whose Lie algebra is .
  • Let K be a connected compact Lie group. Then there exists a unique connected complex Lie group G such that (i) , and (ii) K is a maximal compact subgroup of G. It is called the complexification of K. For example, is the complexification of the unitary group. If K is acting on a compact Kähler manifold X, then the action of K extends to that of G.[1]

Linear algebraic group associated to a complex semisimple Lie group

Let G be a complex semisimple Lie group. Then G admits a natural structure of a linear algebraic group as follows:[2] let be the ring of holomorphic functions f on G such that spans a finite-dimensional vector space inside the ring of holomorphic functions on G (here G acts by left translation: ). Then is the linear algebraic group that, when viewed as a complex manifold, is the original G. More concretely, choose a faithful representation of G. Then is Zariski-closed in .[clarification needed]

References

  1. ^ Guillemin, Victor; Sternberg, Shlomo (1982). "Geometric quantization and multiplicities of group representations". Inventiones Mathematicae. 67 (3): 515–538. doi:10.1007/bf01398934.
  2. ^ Serre & Ch. VIII. Theorem 10.