Isotypic component

The Isotypic component of weight $\lambda$ of a Lie algebra module is the sum of all submodules which are isomorphic to the highest weight module with weight $\lambda$.

Definition

• A finite-dimensional module $V$ of a reductive Lie algebra $\mathfrak{g}$ (or of the corresponding Lie group) can be decomposed into irreducible submodules

$V = \oplus_{i=1}^N V_i$.

• Each finite-dimensional irreducible representation of $\mathfrak{g}$ is uniquely identified (up to isomorphism) by its highest weight

$\forall i \in \{1,\ldots,N\} \exists \lambda \in P(\mathfrak{g}) : V_i \simeq M_\lambda$, where $M_\lambda$ denotes the highest weight module with highest weight $\lambda$.

• In the decomposition of $V$, a certain isomorphism class might appear more than once, hence

$V \simeq \oplus_{\lambda \in P(\mathfrak{g})} ( \oplus_{i=1}^{d_\lambda} M_{\lambda})$.

This defines the isotypic component of weight $\lambda$ of V: $\lambda(V) := \oplus_{i=1}^{d_\lambda} V_i \simeq \mathbb{C}^{d_\lambda} \otimes M_{\lambda}$ where $d_\lambda$ is maximal.

See also

• Lie algebra representation
• Weight (representation theory)

References

• Bürgisser, Peter; Matthias Christandl; Christian Ikenmeyer (2011-02-15). "Even partitions in plethysms". Journal of Algebra 328 (1): 322–329. doi:10.1016/j.jalgebra.2010.10.031. ISSN 0021-8693. Retrieved 2011-03-26.

• Heinzner, P.; A. Huckleberry; M. R Zirnbauer (2004-11-10). "Symmetry classes of disordered fermions". arXiv:math-ph/0411040. doi:10.1007/s00220-005-1330-9.