Fundamental representation
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
[edit]- 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 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
[edit]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
[edit]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 or subalgebra of .[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.[citation needed]
References
[edit]- Fulton, William; Harris, Joe (1991). Representation theory. A first course. Graduate Texts in Mathematics, Readings in Mathematics. Vol. 129. New York: Springer-Verlag. doi:10.1007/978-1-4612-0979-9. ISBN 978-0-387-97495-8. MR 1153249. OCLC 246650103.
- Hall, Brian C. (2015), Lie Groups, Lie Algebras, and Representations: An Elementary Introduction, Graduate Texts in Mathematics, vol. 222 (2nd ed.), Springer, ISBN 978-0-387-40122-5.
- Specific
- ↑ Hall 2015 Proposition 8.35
- ↑ Hall 2015 See the proof of Proposition 6.17 in the case of SU(3)
- ↑ Haber, Howard (2021-01-20). "Useful relations among the generators in the defining and adjoint representations of SU(N)". SciPost Physics Lecture Notes. arXiv:1912.13302. doi:10.21468/SciPostPhysLectNotes.21.
In the older literature, the defining representation [of ] is (inaccurately) called the fundamental representation.
- 1 2 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.
- ↑ Ping, Jialun [in Chinese]; 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.
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.
- ↑ 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.
- ↑ Burgess, Cliff [in German]; Moore, Guy [at Wikidata] (2006-12-07), The Standard Model: A Primer, Cambridge University Press, p. 492, ISBN 9781139460460