Fundamental representation

From HandWiki
Short description: Aspect of mathematical representation theory

In representation theory of Lie groups and Lie algebras, a fundamental representation is an irreducible finite-dimensional representation of a semisimple Lie group or Lie algebra whose highest weight is a fundamental weight. For example, the defining module of a classical Lie group is a fundamental representation. Any finite-dimensional irreducible representation of a semisimple Lie group or Lie algebra can be constructed from the fundamental representations by a procedure due to Élie Cartan. Thus in a certain sense, the fundamental representations are the elementary building blocks for arbitrary finite-dimensional representations.

Examples

  • In the case of the general linear group, all fundamental representations are exterior products of the defining module.
  • In the case of the special unitary group SU(n), the n − 1 fundamental representations are the wedge products Altk ℂn consisting of the alternating tensors, for k = 1, 2, ..., n − 1.
  • The spin representation of the twofold cover of an odd orthogonal group, the odd spin group, and the two half-spin representations of the twofold cover of an even orthogonal group, the even spinor group, are fundamental representations that cannot be realized in the space of tensors.
  • The adjoint representation of the simple Lie group of type E8 is a fundamental representation.

Explanation

The irreducible representations of a simply-connected compact Lie group are indexed by their highest weights. These weights are the lattice points in an orthant Q+ in the weight lattice of the Lie group consisting of the dominant integral weights. It can be proved that there exists a set of fundamental weights, indexed by the vertices of the Dynkin diagram, such that any dominant integral weight is a non-negative integer linear combination of the fundamental weights.[1] The corresponding irreducible representations are the fundamental representations of the Lie group. From the expansion of a dominant weight in terms of the fundamental weights one can take a corresponding tensor product of the fundamental representations and extract one copy of the irreducible representation corresponding to that dominant weight.[2]

Other uses

In mathematical physics, the term fundamental representation is also used to refer to the defining representation of a matrix Lie group or matrix Lie algebra,[3][4] that is, its standard representation as a subgroup of GL⁡(n,ℂ) or subalgebra of 𝔤𝔩(n,ℂ).[5][6] The complex conjugate of the fundamental representation is known as the antifundamental (or anti-fundamental) representation.[4][7] Although the distinction between the fundamental and the antifundamental representation is a matter of convention, these two are often non-equivalent, because each of them is a complex representation.

References

Specific
  1. ↑ Hall 2015 Proposition 8.35
  2. ↑ Hall 2015 See the proof of Proposition 6.17 in the case of SU(3)
  3. ↑ Haber, Howard (2021-01-20). "Useful relations among the generators in the defining and adjoint representations of SU(N)". SciPost Physics Lecture Notes. doi:10.21468/SciPostPhysLectNotes.21. "In the older literature, the defining representation [of 𝔰𝔲(n)] is (inaccurately) called the fundamental representation.". 
  4. ↑ 4.0 4.1 Bhalla-Ladd, India; March, Eleanor; Weatherall, James Owen (2026-03-19). "Ceci n'est pas un gluon". arXiv:2603.19518v1 [physics.hist-ph]. Several types of faithful representation are of special interest. The first are the so-called fundamental representations of matrix groups, which are those representations that map an abstract group into the matrices used to define the group. ... Similarly, we have anti-fundamental representations for matrix groups, which are corresponding representations on the (conjugate) dual space to the fundamental representation.
  5. ↑ Ping, Jialun; Wang, Fan; Chen, Jin-quan (2002-08-15). Group Representation Theory For Physicists. World Scientific Publishing Company. p. 234. ISBN 978-981-310-600-0. https://archive.org/details/grouprepresentat0000chen/page/234/mode/2up?q=%22fundamental+representation%22. "The linear transformations R(a) in n-dimensional space evidently form a rep by themselves of the linear transformation group. This n-dimensional rep is called the fundamental or defining rep. Analogously, the r infinitesimal generators (they are n x n matrices) form the fundamental rep of the Lie algebra." 
  6. ↑ Jeevanjee, Nadir (2015-03-11). "Basic Representation Theory". An Introduction to Tensors and Group Theory for Physicists (2 ed.). pp. 193–194. doi:10.1007/978-3-319-14794-9_5. ISBN 978-3-319-14794-9. https://archive.org/details/an-introduction-to-tensors-and-group-theory-for-physicists/page/192/mode/2up?q=%22fundamental+%28or+standard%29+representation%22. 
  7. ↑ Burgess, Cliff; Moore, Guy (2006-12-07), The Standard Model: A Primer, Cambridge University Press, p. 492, ISBN 9781139460460, https://books.google.com/books?id=PLYECqs2geEC&pg=PA492