representation theory Representation theory is a branch of mathematics that studies abstract algebra, abstract algebraic structures by ''representing'' their element (set theory), elements as linear transformations of vector spaces, and studies Module (mathematics), ...

Lie group In mathematics, a Lie group (pronounced ) is a group (mathematics), group that is also a differentiable manifold, such that group multiplication and taking inverses are both differentiable. A manifold is a space that locally resembles Eucli ...

s and

Lie algebra In mathematics, a Lie algebra (pronounced ) is a vector space \mathfrak g together with an operation called the Lie bracket, an alternating bilinear map \mathfrak g \times \mathfrak g \rightarrow \mathfrak g, that satisfies the Jacobi ident ...

s, a fundamental representation is an irreducible finite-dimensional representation of a

semisimple In mathematics, semi-simplicity is a widespread concept in disciplines such as linear algebra, abstract algebra, representation theory, category theory, and algebraic geometry. A semi-simple object is one that can be decomposed into a sum of ''sim ...

Lie group or Lie algebra whose highest weight is a fundamental weight. For example, the defining module of a

classical Lie group In mathematics, the classical groups are defined as the special linear groups over the reals \mathbb, the complex numbers \mathbb and the quaternions \mathbb together with special automorphism groups of symmetric or skew-symmetric bilinear form ...

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 Élie Joseph Cartan (; 9 April 1869 – 6 May 1951) was an influential French mathematician who did fundamental work in the theory of Lie groups, differential systems (coordinate-free geometric formulation of PDEs), and differential geometry. He ...

. 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 In mathematics, the general linear group of degree n is the set of n\times n invertible matrices, together with the operation of ordinary matrix multiplication. This forms a group, because the product of two invertible matrices is again inve ...

, all fundamental representations are

exterior product In mathematics, specifically in topology, the interior of a subset of a topological space is the union of all subsets of that are open in . A point that is in the interior of is an interior point of . The interior of is the complement of ...

s of the defining module. * In the case of the special unitary group SU(''n''), the ''n'' − 1 fundamental representations are the wedge products

\operatorname^k\ ^n

consisting of the alternating tensors, for ''k'' = 1, 2, ..., ''n'' − 1. * The

spin representation In mathematics, the spin representations are particular projective representations of the orthogonal or special orthogonal groups in arbitrary dimension and signature (i.e., including indefinite orthogonal groups). More precisely, they are two equi ...

of the twofold cover of an odd

orthogonal group In mathematics, the orthogonal group in dimension , denoted , is the Group (mathematics), group of isometry, distance-preserving transformations of a Euclidean space of dimension that preserve a fixed point, where the group operation is given by ...

, the odd

spin group In mathematics the spin group, denoted Spin(''n''), page 15 is a Lie group whose underlying manifold is the double cover of the special orthogonal group , such that there exists a short exact sequence of Lie groups (when ) :1 \to \mathbb_2 \to \o ...

, 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 E₈ is a fundamental representation.

Explanation

The irreducible representations of a

simply-connected In topology, a topological space is called simply connected (or 1-connected, or 1-simply connected) if it is path-connected and every path between two points can be continuously transformed into any other such path while preserving the two endpoint ...

compact

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 In the Mathematics, mathematical field of Lie theory, a Dynkin diagram, named for Eugene Dynkin, is a type of Graph (discrete mathematics), graph with some edges doubled or tripled (drawn as a double or triple line). Dynkin diagrams arise in the ...

, such that any dominant integral weight is a non-negative integer linear combination of the fundamental weights. 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. See the proof of Proposition 6.17 in the case of SU(3)

Other uses

Outside of Lie theory, the term ''fundamental representation'' is sometimes loosely used to refer to a smallest-dimensional faithful representation, though this is also often called the ''standard'' or ''defining'' representation (a term referring more to the history, rather than having a well-defined mathematical meaning).

References

* * {{citation, first=Brian C., last=Hall, title=Lie Groups, Lie Algebras, and Representations: An Elementary Introduction, edition= 2nd, series=Graduate Texts in Mathematics, volume=222 , publisher=Springer, year=2015, isbn=978-0-387-40122-5. ;Specific Lie groups Representation theory