Representation Theory of sl(2,ℂ)

• Representation theory of sl(2,ℂ) is defined through explicit highest weight classification and matrix realizations of its modules.
• Characteristic polynomials and concomitant algebras encode invariant properties, facilitating precise tensor product decompositions.
• It connects to quantum integrable systems and classical invariant theory, offering clear applications in combinatorics and symmetry analysis.

The representation theory of the Lie algebra $\mathfrak{sl}(2,\mathbb{C})$ forms the archetype of semisimple Lie algebra representation theory, controlling not only the structure of its own modules but also underpinning phenomena in invariant theory, algebraic combinatorics, and quantum integrable systems. Finite-dimensional $\mathfrak{sl}(2,\mathbb{C})$-modules are completely classified: each is a direct sum of irreducibles, themselves indexed by their highest weight. These representations admit explicit matrix realisations, have transparent decomposition rules under tensor product, and possess deep ties with classical invariants, equivariant algebraic maps, and combinatorial models such as Young diagrams and symmetric polynomials.

1. Structure of $\mathfrak{sl}(2,\mathbb{C})$ and Its Representations

The algebra $\mathfrak{sl}(2,\mathbb{C})$ is spanned by generators $h = \begin{pmatrix}1&0\0&-1\end{pmatrix}$, $e_1 = \begin{pmatrix}0&1\0&0\end{pmatrix}$, $e_2 = \begin{pmatrix}0&0\1&0\end{pmatrix}$, satisfying $[h,e_1]=2e_1$, $[h,e_2]=-2e_2$, $[e_1,e_2]=h$.

Every finite-dimensional irreducible representation $\mathfrak{sl}(2,\mathbb{C})$0 of $\mathfrak{sl}(2,\mathbb{C})$1 (for $\mathfrak{sl}(2,\mathbb{C})$2) has dimension $\mathfrak{sl}(2,\mathbb{C})$3 and is determined by a unique highest-weight vector. The semisimplicity of $\mathfrak{sl}(2,\mathbb{C})$4 ensures any finite-dimensional module decomposes into a direct sum of these irreducibles.

A convenient complete invariant of such a representation $\mathfrak{sl}(2,\mathbb{C})$5 is its characteristic polynomial: $\mathfrak{sl}(2,\mathbb{C})$6 For $\mathfrak{sl}(2,\mathbb{C})$7, $\mathfrak{sl}(2,\mathbb{C})$8 encodes the spectrum under $\mathfrak{sl}(2,\mathbb{C})$9; for a general semisimple $\mathfrak{sl}(2,\mathbb{C})$0, $\mathfrak{sl}(2,\mathbb{C})$1 decomposes as a product of irreducible factors associated to each constituent $\mathfrak{sl}(2,\mathbb{C})$2 (Jiang et al., 2021).

2. Classification and Monoidal Structure via Characteristic Polynomials

Finite-dimensional representations are classified up to isomorphism by their characteristic polynomials, which capture the entire highest-weight multiplicity data. Indeed, in $\mathfrak{sl}(2,\mathbb{C})$3, the $\mathfrak{sl}(2,\mathbb{C})$4 are irreducible and pairwise coprime, so the exponent structure of the factorization uniquely recovers the isotypic decomposition (Jiang et al., 2021).

Tensor products of representations relate to characteristic polynomials through the resolution product: $\mathfrak{sl}(2,\mathbb{C})$5 where the Clebsch–Gordan rule for modules $\mathfrak{sl}(2,\mathbb{C})$6 (i.e., decomposition into $\mathfrak{sl}(2,\mathbb{C})$7) is encoded as

$\mathfrak{sl}(2,\mathbb{C})$8

giving rise to a commutative monoid structure on the set of characteristic polynomials, with unit corresponding to the trivial representation (Jiang et al., 2021).

3. Concomitant Algebras, Central Invariants, and Classical Invariant Theory

For an irreducible $\mathfrak{sl}(2,\mathbb{C})$9, the associated concomitant algebra $\mathfrak{sl}(2,\mathbb{C})$0 consists of polynomial, equivariant maps from $\mathfrak{sl}(2,\mathbb{C})$1 copies of $\mathfrak{sl}(2,\mathbb{C})$2 to $\mathfrak{sl}(2,\mathbb{C})$3; that is, $\mathfrak{sl}(2,\mathbb{C})$4 polynomial, satisfying $\mathfrak{sl}(2,\mathbb{C})$5 (Domokos, 2021).

The center $\mathfrak{sl}(2,\mathbb{C})$6 coincides with the algebra $\mathfrak{sl}(2,\mathbb{C})$7 of scalar-valued $\mathfrak{sl}(2,\mathbb{C})$8-invariant polynomials in $\mathfrak{sl}(2,\mathbb{C})$9, minimally generated by quadratic and cubic invariants:

• Quadratic: $h = \begin{pmatrix}1&0\0&-1\end{pmatrix}$0
• Cubic: $h = \begin{pmatrix}1&0\0&-1\end{pmatrix}$1

For $h = \begin{pmatrix}1&0\0&-1\end{pmatrix}$2, $h = \begin{pmatrix}1&0\0&-1\end{pmatrix}$3 is minimally generated by the degree-1 $h = \begin{pmatrix}1&0\0&-1\end{pmatrix}$4 and degree-2 $h = \begin{pmatrix}1&0\0&-1\end{pmatrix}$5, with relations inherited from the invariant theory of binary quadrics (Grace–Young syzygies):

• $h = \begin{pmatrix}1&0\0&-1\end{pmatrix}$6
• $h = \begin{pmatrix}1&0\0&-1\end{pmatrix}$7

Module-theoretically, $h = \begin{pmatrix}1&0\0&-1\end{pmatrix}$8 decomposes as a graded $h = \begin{pmatrix}1&0\0&-1\end{pmatrix}$9-module: $e_1 = \begin{pmatrix}0&1\0&0\end{pmatrix}$0, with each $e_1 = \begin{pmatrix}0&1\0&0\end{pmatrix}$1 a GL$e_1 = \begin{pmatrix}0&1\0&0\end{pmatrix}$2-highest weight submodule generated by products of $e_1 = \begin{pmatrix}0&1\0&0\end{pmatrix}$3 (Domokos, 2021).

4. Representation Theory via Symmetric Polynomials and Young Diagrams

The action of $e_1 = \begin{pmatrix}0&1\0&0\end{pmatrix}$4 extends to the ring of symmetric polynomials $e_1 = \begin{pmatrix}0&1\0&0\end{pmatrix}$5, with explicit differential operators: $e_1 = \begin{pmatrix}0&1\0&0\end{pmatrix}$6 The bracket relations $e_1 = \begin{pmatrix}0&1\0&0\end{pmatrix}$7, $e_1 = \begin{pmatrix}0&1\0&0\end{pmatrix}$8, $e_1 = \begin{pmatrix}0&1\0&0\end{pmatrix}$9 are satisfied on all bases (power sums $e_2 = \begin{pmatrix}0&0\1&0\end{pmatrix}$0, elementary $e_2 = \begin{pmatrix}0&0\1&0\end{pmatrix}$1, complete $e_2 = \begin{pmatrix}0&0\1&0\end{pmatrix}$2, Schur functions $e_2 = \begin{pmatrix}0&0\1&0\end{pmatrix}$3) (Bedratyuk, 2024).

Irreducible $e_2 = \begin{pmatrix}0&0\1&0\end{pmatrix}$4-submodules of $e_2 = \begin{pmatrix}0&0\1&0\end{pmatrix}$5 are indexed by lowest-weight vectors in polynomials $e_2 = \begin{pmatrix}0&0\1&0\end{pmatrix}$6 built from $e_2 = \begin{pmatrix}0&0\1&0\end{pmatrix}$7 (explicit functions of power sums), with each submodule $e_2 = \begin{pmatrix}0&0\1&0\end{pmatrix}$8 generated by iterations of $e_2 = \begin{pmatrix}0&0\1&0\end{pmatrix}$9, and

$[h,e_1]=2e_1$0

Combinatorially, via the isomorphism $[h,e_1]=2e_1$1 sending Young diagrams $[h,e_1]=2e_1$2 to Schur functions $[h,e_1]=2e_1$3, the $[h,e_1]=2e_1$4 action arises as adding/removing boxes to/from diagrams, with weights determined by the row/column content. The structure constants and decomposition multiplicities have explicit combinatorial expressions (Bedratyuk, 2024).

5. Infinite-Dimensional and Principal Series Representations

While finite-dimensional irreducibles are classified by highest weight, infinite-dimensional representations—including the principal series—admit realizations relevant in harmonic analysis and quantum integrable systems. Principal series representations, parametrized by complex “spin” $[h,e_1]=2e_1$5, are realized on $[h,e_1]=2e_1$6 as

$[h,e_1]=2e_1$7

Infinitesimal generators act as $[h,e_1]=2e_1$8, $[h,e_1]=2e_1$9, $[h,e_2]=-2e_2$0 and analogously in the antiholomorphic variable. The open $[h,e_2]=-2e_2$1 spin chain realizes a multi-site tensor product of principal series, with eigenfunctions constructed via Yang–Baxter $[h,e_2]=-2e_2$2-operators, $[h,e_2]=-2e_2$3-operators, and Mellin-Barnes integrals. Orthogonality and completeness of eigenfunctions are established using generalized beta and star–triangle integral identities, and reflection symmetry $[h,e_2]=-2e_2$4 relates representations by explicit intertwining operators (Antonenko et al., 13 Jul 2025).

6. Classical Invariant Theory, Clebsch–Gordan Decomposition, and Module Structure

The interplay between representation theory of $[h,e_2]=-2e_2$5 and classical invariant theory is explicit in the concomitant algebra structure and the module decomposition over the center. The Clebsch–Gordan rule is reflected in both characteristic polynomials ($[h,e_2]=-2e_2$6 yields the sum of all $[h,e_2]=-2e_2$7 corresponding to $[h,e_2]=-2e_2$8 in the decomposition) and in the module-theoretic decomposition of $[h,e_2]=-2e_2$9, with each summand corresponding to equivariant maps of specified highest weight and degree (Domokos, 2021, Jiang et al., 2021).

The generators $[e_1,e_2]=h$0 and invariants $[e_1,e_2]=h$1 and $[e_1,e_2]=h$2 have direct interpretation as projections to these irreducible summands via trace forms, and the relations among them encode classical syzygies of binary quadratic forms. The commutative invariant algebra $[e_1,e_2]=h$3 coincides with the classical ring of invariants of $[e_1,e_2]=h$4 binary quadrics.

7. Connections, Generalizations, and Modern Applications

The explicit description of $[e_1,e_2]=h$5 representations via characteristic polynomials (Jiang et al., 2021), concomitant algebras (Domokos, 2021), and combinatorial models (Bedratyuk, 2024) enables calculation and analysis across a range of related algebraic structures, including larger semisimple Lie algebras (embedding and restriction to $[e_1,e_2]=h$6-triples), spin system computation via $[e_1,e_2]=h$7-chains (Antonenko et al., 13 Jul 2025), and further generalizations in symmetric function theory and geometric representation theory. The unity of these perspectives illustrates the foundational role of $[e_1,e_2]=h$8 in the structure and explicit calculation of modern representation theory.