Unitarian trick

In mathematics, the unitarian trick is a device in the representation theory of Lie groups, introduced by Adolf Hurwitz (1897) for the special linear group and by Hermann Weyl for general semisimple groups. It applies to show that the representation theory of some group G is in a qualitative way controlled by that of some other compact group K. An important example is that in which G is the complex general linear group, and K the unitary group acting on vectors of the same size. From the fact that the representations of K are completely reducible, the same is concluded for those of G, at least in finite dimensions.

The relationship between G and K that drives this connection is traditionally expressed in the terms that the Lie algebra of K is a real form of that of G. In the theory of algebraic groups, the relationship can also be put that K is a dense subset of G, for the Zariski topology.

The trick works for reductive Lie groups, of which an important case are semisimple Lie groups.

Weyl's theorem
Main article: Weyl's theorem on complete reducibility

The complete reducibility of finite-dimensional linear representations of compact groups, or connected semisimple Lie groups and complex semisimple Lie algebras goes sometimes under the name of Weyl's theorem.[1] A related result, that the universal cover of a compact semisimple Lie group is also compact, also goes by the same name.[2]

History

Adolf Hurwitz had shown how integration over a compact Lie group could be used to construct invariants, in the cases of unitary groups and compact orthogonal groups. Issai Schur in 1924 showed that this technique applied to show complete reducibility of representations for such groups via the construction of an invariant inner product. Weyl extended Schur's method to complex semisimple Lie algebras by showing they had a compact real form.[3]

Notes
  1. "Completely-reducible set", Encyclopedia of Mathematics, EMS Press, 2001 [1994]
  2. "Lie group, compact", Encyclopedia of Mathematics, EMS Press, 2001 [1994]
  3. Nicolas Bourbaki, Lie groups and Lie algebras (1989), p. 426.
gollark: Oh, so now you need twice the food and twice the humans, great.
gollark: As I said, humans require sleep and probably other stuff for long-term function, they're just not good for slave-type tasks.
gollark: You're still having to provide food, and humans do respiration and whatnot which make carbon dioxide.
gollark: What? No.
gollark: Humans do many extraneous things like "thinking" and "sleeping" which waste energy.

References
  • V. S. Varadarajan, An introduction to harmonic analysis on semisimple Lie groups (1999), p. 49.
  • Wulf Rossmann, Lie groups: an introduction through linear groups (2006), p. 225.
  • Roe Goodman, Nolan R. Wallach, Symmetry, Representations, and Invariants (2009), p. 171.
  • Hurwitz, A. (1897), "Über die Erzeugung der Invarienten durch Integration", Nachrichten Ges. Wiss. Göttingen: 71–90
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.