Glossary of Lie algebras
From HandWiki
 | This list needs to be alphabetized. See Help:Sorting. |
This is a glossary for the terminology applied in the mathematical theories of Lie algebras. The statements in this glossary mainly focus on the algebraic sides of the concepts, without referring to Lie groups or other related subjects.
Definition
- Lie algebra
- A vector space [math]\displaystyle{ \mathfrak{g} }[/math] over a field [math]\displaystyle{ F }[/math] with a binary operation [·, ·] (called the Lie bracket or abbr. bracket) , which satisfies the following conditions: [math]\displaystyle{ \forall a,b \in F, x,y,z \in \mathfrak{g} }[/math],
- [math]\displaystyle{ [ax+by,z] = a[x,z] + b[y,z] }[/math] (bilinearity)
- [math]\displaystyle{ [x,x] = 0 }[/math] (alternating)
- [math]\displaystyle{ x,y], z ] + [[y,z],x] + [[z,x],y] = 0 }[/math] ([[Jacobi identity)
- associative algebra
- An associative algebra [math]\displaystyle{ A }[/math] can be made to a Lie algebra by defining the bracket [math]\displaystyle{ [x,y] = xy-yx }[/math] (the commutator of [math]\displaystyle{ x,y }[/math]) [math]\displaystyle{ \forall x,y \in A }[/math] .
- homomorphism
- A vector space homomorphism [math]\displaystyle{ \phi : \mathfrak{g}_1 \to \mathfrak{g}_2 }[/math] is said to be a Lie algebra homomorphism if [math]\displaystyle{ \phi([x,y]) = [ \phi(x), \phi(y) ] \, \forall x,y \in \mathfrak{g}_1. }[/math]
- adjoint representation
- Given [math]\displaystyle{ x \in \mathfrak{g} }[/math], define map [math]\displaystyle{ \textrm{ad}_x }[/math] by
- [math]\displaystyle{ \begin{align} \textrm{ad}_x : & \mathfrak{g} \to \mathfrak{g} \\ & y \mapsto [x,y] \end{align} }[/math]
- [math]\displaystyle{ \textrm{ad}_x }[/math] is a Lie algebra derivation. The map
- [math]\displaystyle{ \begin{align} \textrm{ad} : & \mathfrak{g} \to \mathfrak{gl}(\mathfrak{g}) \\ & x \mapsto \mathrm{ad}_x \end{align} }[/math]
- thus defined is a Lie algebra homomorphism.
- [math]\displaystyle{ \textrm{ad}: \mathfrak{g} \to \textrm{End}(\mathfrak{g}) }[/math] is called adjoint representation.
- Jacobi identity
- The identity [[x, y], z] + [[y, z], x] + [[z, x], y] = 0.
- To say Jacobi identity holds in a vector space is equivalent to say adjoint of all elements are derivations : [math]\displaystyle{ \textrm{ad}_x([y,z]) = [ \textrm{ad}_x(y) , z] + [y , \textrm{ad}_x(z)] }[/math] .
subalgebras
- subalgebra
- A subspace [math]\displaystyle{ \mathfrak{g'} }[/math] of a Lie algebra [math]\displaystyle{ \mathfrak{g} }[/math] is called the subalgebra of [math]\displaystyle{ \mathfrak{g} }[/math] if it is closed under bracket, i.e. [math]\displaystyle{ [\mathfrak{g'}, \mathfrak{g'}] \subseteq \mathfrak{g'}. }[/math]
- ideal
- A subspace [math]\displaystyle{ \mathfrak{g'} }[/math] of a Lie algebra [math]\displaystyle{ \mathfrak{g} }[/math] is the ideal of [math]\displaystyle{ \mathfrak{g} }[/math] if [math]\displaystyle{ [\mathfrak{g'}, \mathfrak{g}] \subseteq \mathfrak{g'}. }[/math]
- In particular, every ideal is also a subalgebra. Every kernel of a Lie algebra homomorphism is an ideal. Unlike in ring theory, there is no distinguishability of left ideal and right ideal.
- derived algebra
- The derived algebra of a Lie algebra [math]\displaystyle{ \mathfrak{g} }[/math] is [math]\displaystyle{ [\mathfrak{g}, \mathfrak{g} ] }[/math]. It is a subalgebra.
- normalizer
- The normalizer of a subspace [math]\displaystyle{ K }[/math] of a Lie algebra [math]\displaystyle{ \mathfrak{g} }[/math] is [math]\displaystyle{ N_{\mathfrak{g}}(K) := \{x \in \mathfrak{g} | [x, K] \subseteq K \} }[/math] .
- centralizer
- The centralizer of a subset [math]\displaystyle{ X }[/math] of a Lie algebra [math]\displaystyle{ \mathfrak{g} }[/math] is [math]\displaystyle{ C_{\mathfrak{g}}(X) := \{x \in \mathfrak{g} | [x, X] = \{0\} \} }[/math] .
- center
- The center of a Lie algebra is the centralizer of itself : [math]\displaystyle{ Z(L) := \{x \in \mathfrak{g} | [x, \mathfrak{g}] = 0 \} }[/math]
- radical
- The radical [math]\displaystyle{ \textrm{Rad}(\mathfrak{g}) }[/math] is the maximum solvable ideal of [math]\displaystyle{ \mathfrak{g} }[/math].
Solvability, nilpotency, Jordan decomposition, semisimplicity
- abelian
- A Lie algebra is said to be abelian if its derived algebra is zero.
- nilpotent Lie algebra
- A Lie algebra [math]\displaystyle{ L }[/math] is said to be nilpotent if [math]\displaystyle{ C^N(L) = \{0\} }[/math] for some positive integer [math]\displaystyle{ N }[/math] .
- The following conditions are equivalent:
- [math]\displaystyle{ C^N(L) = \{0\} }[/math] for some positive integer [math]\displaystyle{ N }[/math], i.e. the descending central series eventually terminates to [math]\displaystyle{ \{0\} }[/math].
- [math]\displaystyle{ C_N(L) = L }[/math] for some positive integer N, i.e. the ascending central series eventually terminates to L.
- There exists a chain of ideals of [math]\displaystyle{ L }[/math], [math]\displaystyle{ L = I_1 \supseteq I_2 \supseteq I_3 \supseteq \cdots \supseteq I_n = \{0\} }[/math], such that [math]\displaystyle{ [L, I_k] \subseteq I_{k+1} }[/math] .
- There exists chain of ideals of [math]\displaystyle{ L }[/math],[math]\displaystyle{ L = I_1 \supseteq I_2 \supseteq I_3 \cdots \supseteq I_n = \{0\} }[/math], such that [math]\displaystyle{ I_k / I_{k+1} \subseteq Z( L/ I_{k+1} ) }[/math].
- [math]\displaystyle{ \textrm{ad}\, x }[/math] is nilpotent [math]\displaystyle{ \forall x \in L }[/math] . (Engel's theorem)
- [math]\displaystyle{ \textrm{ad}\, L }[/math] is a nilpotent Lie algebra.
- In particular, every nilpotent Lie algebra is solvable.
- If [math]\displaystyle{ L }[/math] is nilpotent, any subalgebra and quotient of [math]\displaystyle{ L }[/math] are nilpotent.
- nilpotent element in a Lie algebra
- An element [math]\displaystyle{ x \in L }[/math] is said to be nilpotent in [math]\displaystyle{ L }[/math] if [math]\displaystyle{ ad_x }[/math] is a nilpotent endomorphism, i.e. viewing [math]\displaystyle{ \textrm{ad}_x }[/math] as a matrix in [math]\displaystyle{ \mathfrak{gl}_\mathfrak{g} }[/math], [math]\displaystyle{ \exists N \in \mathbb{Z}^+, (\textrm{ad}_x)^N = 0 }[/math]. It is equivalent to [math]\displaystyle{ (\textrm{ad}_x)^N y = [x [x \ldots [x [x, y] \ldots] = 0\ \forall y \in L }[/math]
- descending central series
- a sequence of ideals of a Lie algebra [math]\displaystyle{ L }[/math] defined by [math]\displaystyle{ C^0(L) = L , \, C^1(L) = [L,L] , \, C^{n+1}(L) = [L, C^n(L)] }[/math]
- ascending central series
- a sequence of ideals of a Lie algebra [math]\displaystyle{ L }[/math] defined by [math]\displaystyle{ C_0(L) = \{0\} , \, C_1(L) = Z(L) }[/math] (center of L) , [math]\displaystyle{ C_{n+1}(L) = \pi_n^{-1} ( Z ( L / C_{n}(L) ) ) }[/math], where [math]\displaystyle{ \pi_i }[/math] is the natural homomorphism [math]\displaystyle{ L \to L/C_n(L) }[/math]
- solvable Lie algebra
- A Lie algebra [math]\displaystyle{ L }[/math] is said to be solvable if [math]\displaystyle{ L^{(N)} = 0 }[/math] for some positive integer [math]\displaystyle{ N }[/math] , i.e. the derived series eventually terminates to [math]\displaystyle{ \{0\} }[/math].
- The following condition is equivalent to solvability:
- * There exists chain of ideals of [math]\displaystyle{ L }[/math], [math]\displaystyle{ L = I_1 \supseteq I_2 \supseteq I_3 \cdots \supseteq I_n = \{ 0 \} }[/math], such that [math]\displaystyle{ [I_k, I_k] \subseteq I_{k+1} }[/math] .
- If [math]\displaystyle{ L }[/math] is solvable, any subalgebra and quotient of [math]\displaystyle{ L }[/math] are solvable.
- Let [math]\displaystyle{ I }[/math] is an ideal of a Lie algebra [math]\displaystyle{ L }[/math]. If [math]\displaystyle{ L/I, I }[/math] are solvable, [math]\displaystyle{ L }[/math] is solvable.
- derived series
- a sequence of ideals of a Lie algebra L defined by [math]\displaystyle{ L^{(0)} = L , \, L^{(1)} = [L,L], \, L^{(n+1)} = [L^{(n)}, L^{(n)}] }[/math]
- simple
- A Lie algebra is said to be simple if it is non-abelian and has only two ideals, itself and [math]\displaystyle{ \{0\} }[/math].
- semisimple Lie algebra
- A Lie algebra is said to be semisimple if its radical is [math]\displaystyle{ \{0\} }[/math].
- semisimple element in a Lie algebra
- split Lie algebra
- free Lie algebra
- toral Lie algebra
- Lie's theorem
- Let [math]\displaystyle{ \mathfrak{g} }[/math] be a finite-dimensional complex solvable Lie algebra over algebraically closed field of characteristic [math]\displaystyle{ 0 }[/math], and let [math]\displaystyle{ V }[/math] be a nonzero finite dimensional representation of [math]\displaystyle{ \mathfrak{g} }[/math]. Then there exists an element of [math]\displaystyle{ V }[/math] which is a simultaneous eigenvector for all elements of [math]\displaystyle{ \mathfrak{g} }[/math].
- Corollary: There exists a basis of [math]\displaystyle{ V }[/math] with respect to which all elements of [math]\displaystyle{ \mathfrak{g} }[/math] are upper triangular.
- Killing form
- The Killing form on a Lie algebra [math]\displaystyle{ \mathfrak{g} }[/math] is a symmetric, associative, bilinear form defined by [math]\displaystyle{ \kappa(x, y) := \textrm{Tr}( \textrm{ad}\,x\, \textrm{ad}\, y )\ \forall x,y \in \mathfrak{g} }[/math].
- Cartan criterion for solvability
- A Lie algebra [math]\displaystyle{ \mathfrak{g} }[/math] is solvable iff [math]\displaystyle{ \kappa( \mathfrak{g}, [\mathfrak{g},\mathfrak{g}] ) = 0 }[/math].
- Cartan criterion for semisimplity
- If [math]\displaystyle{ \kappa( \cdot, \cdot) }[/math] is nondegenerate, then [math]\displaystyle{ \mathfrak{g} }[/math] is semisimple.
- If [math]\displaystyle{ \mathfrak{g} }[/math] is semisimple and the underlying field [math]\displaystyle{ F }[/math] has characteristic 0 , then [math]\displaystyle{ \kappa( \cdot, \cdot) }[/math] is nondegenerate.
- lower central series
- synonymous to "descending central series".
- upper central series
- synonymous to "ascending central series".
Semisimple Lie algebra
Root System (for classification of semisimple Lie algebra)
- In the below section, denote [math]\displaystyle{ ( \cdot, \cdot ) }[/math] as the inner product of a Euclidean space E.
- In the below section, [math]\displaystyle{ \lt \cdot, \cdot \gt }[/math] denoted the function defined as [math]\displaystyle{ \lt \beta, \alpha \gt = \frac{(\beta, \alpha)}{(\alpha, \alpha)} \, \forall \alpha, \beta \in E }[/math] .
- Cartan subalgebra
- A Cartan subalgebra [math]\displaystyle{ \mathfrak{h} }[/math] of a Lie algebra [math]\displaystyle{ \mathfrak{g} }[/math] is a nilpotent subalgebra satisfying [math]\displaystyle{ N_\mathfrak{g}(\mathfrak{h}) = \mathfrak{h} }[/math] .
- maximal toral subalgebra
- root of a semisimple Lie algebra
- Let [math]\displaystyle{ \mathfrak{g} }[/math] be a semisimple Lie algebra, [math]\displaystyle{ \mathfrak{h} }[/math] be a Cartan subalgebra of [math]\displaystyle{ \mathfrak{g} }[/math]. For [math]\displaystyle{ \alpha \in \mathfrak{h}^* }[/math], let [math]\displaystyle{ \mathfrak{g_\alpha} := \{ x \in \mathfrak{g} | [h,x] = \alpha(h) x \, \forall h \in \mathfrak{h} \} }[/math]. \alpha is called a root of [math]\displaystyle{ \mathfrak{g} }[/math] if it is nonzero and [math]\displaystyle{ \mathfrak{g_\alpha} \ne \{0\} }[/math]
- The set of all roots is denoted by [math]\displaystyle{ \Phi }[/math] ; it forms a root system.
- Root system
- A subset [math]\displaystyle{ \Phi }[/math] of the Euclidean space [math]\displaystyle{ E }[/math] is called a root system if it satisfies the following conditions:
- [math]\displaystyle{ \Phi }[/math] is finite, [math]\displaystyle{ \textrm{span} (\Phi) = E }[/math] and [math]\displaystyle{ 0 \notin \Phi }[/math].
- For all [math]\displaystyle{ \alpha \in \Phi }[/math] and [math]\displaystyle{ c \in \mathbb{R} }[/math], [math]\displaystyle{ c \alpha \in \Phi }[/math] iff [math]\displaystyle{ c = \pm 1 }[/math].
- For all [math]\displaystyle{ \alpha,\beta \in \Phi }[/math], [math]\displaystyle{ \lt \alpha, \beta \gt }[/math] is an integer.
- For all [math]\displaystyle{ \alpha,\beta \in \Phi }[/math], [math]\displaystyle{ S_\alpha(\beta)\in \Phi }[/math], where [math]\displaystyle{ S_\alpha }[/math] is reflection through hyperplane normal to [math]\displaystyle{ \alpha }[/math] i.e. [math]\displaystyle{ S_\alpha(x) = x - \lt x , \alpha \gt \alpha }[/math].
- Cartan matrix
- Cartan matrix of root system [math]\displaystyle{ \Phi }[/math] is matrix [math]\displaystyle{ ( \lt \alpha_i , \alpha_j \gt )_{i,j=1}^n }[/math] where [math]\displaystyle{ \Delta = \{\alpha_1 \ldots \alpha_n\} }[/math] is a set of simple roots of [math]\displaystyle{ \Phi }[/math].
- Dynkin diagrams
- Simple Roots
- A subset [math]\displaystyle{ \Delta }[/math] of a root system [math]\displaystyle{ \Phi }[/math] is called a set of simple roots if it satisfies the following conditions:
- [math]\displaystyle{ \Delta }[/math] is linear basis of [math]\displaystyle{ E }[/math].
- Each element of [math]\displaystyle{ \Phi }[/math] is a linear combination of elements of [math]\displaystyle{ \Delta }[/math] with coefficients which are either all nonnegative or all nonpositive.
- a partial order on the Eucliean space E defined by the set of simple root
- [math]\displaystyle{ \forall \lambda, \mu \in E, \,\, \lambda \gt \mu \iff \lambda - \mu \gt 0 \iff \,\, \, \exists k_1, k_2, ..., k_n \in \mathbb{Z}^+, \, \alpha_1, \alpha_2, ..., \alpha_n \in \Delta, \,\, \lambda - \mu = \sum_i k_i \alpha_i }[/math]
- regular element with respect to a root system
- Let [math]\displaystyle{ \Phi }[/math] be a root system. [math]\displaystyle{ \gamma \in E }[/math] is called regular if [math]\displaystyle{ (\gamma, \alpha) \ne 0 \, \forall \gamma \in \Phi }[/math].
- For each set of simple roots [math]\displaystyle{ \Delta }[/math] of [math]\displaystyle{ \Phi }[/math], there exists a regular element [math]\displaystyle{ \gamma \in E }[/math] such that [math]\displaystyle{ ( \gamma, \alpha ) \gt 0 \, \forall \gamma \in \Delta }[/math], conversely for each regular [math]\displaystyle{ \gamma }[/math] there exist a unique set of base roots [math]\displaystyle{ \Delta(\gamma) }[/math] such that the previous condition holds for [math]\displaystyle{ \Delta = \Delta(\gamma) }[/math]. It can be determined in following way: let [math]\displaystyle{ \Phi^+(\gamma) = \{\alpha \in \Phi | (\alpha, \gamma) \gt 0\} }[/math]. Call an element [math]\displaystyle{ \alpha }[/math] of [math]\displaystyle{ \Phi^+(\gamma) }[/math] decomposable if [math]\displaystyle{ \alpha = \alpha' + \alpha'' }[/math] where [math]\displaystyle{ \alpha', \alpha'' \in \Phi^+(\gamma) }[/math], then [math]\displaystyle{ \Delta(\gamma) }[/math] is the set of all indecomposable elements of [math]\displaystyle{ \Phi^+(\gamma) }[/math]
- positive roots
- Positive root of root system [math]\displaystyle{ \Phi }[/math] with respect to a set of simple roots [math]\displaystyle{ \Delta }[/math] is a root of [math]\displaystyle{ \Phi }[/math] which is a linear combination of elements of [math]\displaystyle{ \Delta }[/math] with nonnegative coefficients.
- negative roots
- Negative root of root system [math]\displaystyle{ \Phi }[/math] with respect to a set of simple roots [math]\displaystyle{ \Delta }[/math] is a root of [math]\displaystyle{ \Phi }[/math] which is a linear combination of elements of [math]\displaystyle{ \Delta }[/math] with nonpositive coefficients.
- long root
- short root
- Weyl group
- Weyl group of a root system [math]\displaystyle{ \Phi }[/math] is a (necessarily finite) group of orthogonal linear transformations of [math]\displaystyle{ E }[/math] which is generated by reflections through hyperplanes normal to roots of [math]\displaystyle{ \Phi }[/math]
- inverse of a root system
- Given a root system [math]\displaystyle{ \Phi }[/math]. Define [math]\displaystyle{ \alpha^v = \frac{2 \alpha}{ ( \alpha, \alpha) } }[/math], [math]\displaystyle{ \Phi^v = \{ \alpha^v | \alpha \in \Phi \} }[/math] is called the inverse of a root system.
- [math]\displaystyle{ \Phi^v }[/math] is again a root system and have the identical Weyl group as [math]\displaystyle{ \Phi }[/math].
- base of a root system
- synonymous to "set of simple roots"
- dual of a root system
- synonymous to "inverse of a root system"
theory of weights
<--
- weight in a root system
- [math]\displaystyle{ \lambda \in E }[/math] is called a weight if [math]\displaystyle{ \lt \lambda, \alpha\gt \in \mathbb{Z} \, \forall \alpha \in \Phi }[/math] . -->
- weight lattice
- weight space
- dominant weight
- A weight \lambda is dominant if [math]\displaystyle{ \lt \lambda, \alpha\gt \in \mathbb{Z}^+ }[/math] for some [math]\displaystyle{ \alpha \in \Phi }[/math]
- fundamental dominant weight
- Given a set of simple roots [math]\displaystyle{ \Delta = \{ \alpha_1 , \alpha_2 , ... , \alpha_n \} }[/math], it is a basis of [math]\displaystyle{ E }[/math]. [math]\displaystyle{ \alpha_1^v , \alpha_2^v , ... , \alpha_n^v \in \Phi^v }[/math] is a basis of [math]\displaystyle{ E }[/math] too; the dual basis [math]\displaystyle{ \lambda_1 , \lambda_2 , ..., \lambda_n }[/math] defined by [math]\displaystyle{ (\lambda_i, \alpha_j^v) = \delta_{ij} }[/math] , is called the fundamental dominant weights.
- highest weight
- minimal weight
- multiplicity (of weight)
- radical weight
- strongly dominant weight
Representation theory
- module
- Define an action of [math]\displaystyle{ \mathfrak{g} }[/math] on a vector space [math]\displaystyle{ V }[/math] ( i.e. an operation [math]\displaystyle{ \mathfrak{g} \times V \to V , \, (x,v) \mapsto xv }[/math]) such that: [math]\displaystyle{ \forall a,b \in F, x,y \in \mathfrak{g}, v,w \in V }[/math] satisfy
- # [math]\displaystyle{ (ax+by) v = a (xv) + b(yv) }[/math]
- # [math]\displaystyle{ x (av+bw) = a (xv) + b (xw) }[/math]
- # [math]\displaystyle{ [x,y] v = x (yv) - y (xv) }[/math]
- Then [math]\displaystyle{ V }[/math] is called a [math]\displaystyle{ \mathfrak{g} }[/math]-module. (Remark: [math]\displaystyle{ V, \mathfrak{g} }[/math] have the same underlying field [math]\displaystyle{ F }[/math].)
- Each [math]\displaystyle{ \mathfrak{g} }[/math]-module corresponds to a representation [math]\displaystyle{ \mathfrak{g} \to \mathfrak{gl}_V }[/math].
- A subspace W is a submodule (more precisely, sub [math]\displaystyle{ \mathfrak{g} }[/math]-module) of [math]\displaystyle{ V }[/math] if [math]\displaystyle{ \mathfrak{g} }[/math]-module [math]\displaystyle{ W \subset V }[/math] .
- representation
- For a vector space [math]\displaystyle{ V }[/math], if there is a Lie algebra homomorphism [math]\displaystyle{ \pi : \mathfrak{g} \to \mathfrak{gl}_V }[/math], then [math]\displaystyle{ \pi }[/math] is called a representation of [math]\displaystyle{ \mathfrak{g} }[/math].
- Each representation [math]\displaystyle{ \mathfrak{g} \to \mathfrak{gl}_V }[/math] corresponds to a [math]\displaystyle{ \mathfrak{g} }[/math]-module [math]\displaystyle{ V }[/math].
- A subrepresentation is the representation corresponding to a submodule.
- homomorphism
- Given two [math]\displaystyle{ \mathfrak{g} }[/math]-module V, W, a [math]\displaystyle{ \mathfrak{g} }[/math]-module homomorphism [math]\displaystyle{ \phi }[/math] is a vector space homomorphism satisfying [math]\displaystyle{ \phi(xv) = x\phi(v) \forall x \in \mathfrak{g}, v \in V }[/math].
- trivial representation
- A representation is said to be trivial if the image of [math]\displaystyle{ \mathfrak{g} }[/math] is the zero vector space. It corresponds to the action of [math]\displaystyle{ \mathfrak{g} }[/math] on module [math]\displaystyle{ V }[/math] by [math]\displaystyle{ xv = 0 \forall x \in \mathfrak{g}, v \in V }[/math] .
- faithful representation
- If the representation [math]\displaystyle{ \mathfrak{g} \to \mathfrak{gl}_V }[/math] is injective, it is said to be faithful.
- tautology representation
- If a Lie algebra [math]\displaystyle{ \mathfrak{g} }[/math] is defined as a subalgebra of [math]\displaystyle{ \mathfrak{gl}(n,F) }[/math] , like [math]\displaystyle{ \mathfrak{sl}(n,F), \mathfrak{o}(2l,F), \mathfrak{t}(n,F) }[/math] (the upper triangular matrices), the tautology representation is the imbedding [math]\displaystyle{ \mathfrak{g} \to \mathfrak{gl}(n,F) }[/math] . It corresponds to the action on module [math]\displaystyle{ F^n }[/math] by the matrix multiplication.
- adjoint representation
- The representation [math]\displaystyle{ \begin{align} \textrm{ad} : & \mathfrak{g} \to \textrm{gl}_{\mathfrak{g}} \\ & x \mapsto \textrm{ad}_x \end{align} }[/math]. It corresponds viewing [math]\displaystyle{ \mathfrak{g} }[/math] as a [math]\displaystyle{ \mathfrak{g} }[/math]-module - the action on the module is given by the adjoint endomorphism.
- irreducible modules
- A module is said to be irreducible if it has only two submodules, itself and zero.
- indecomposable module
- A module is said to be indecomposable if it cannot be written as direct sum of two non-zero submodules.
- An irreducible module need not be indecomposable but the converse is not true.
- completely reducible module
- A module is said to be completely reducible if it can be written as direct sum of irreducible modules.
- simple module
- Synonymous as irreducible module.
- quotient module / quotient representation
- Given a [math]\displaystyle{ \mathfrak{g} }[/math]-module V and its submodule W, an action [math]\displaystyle{ \mathfrak{g} }[/math] on V/W can be defined by [math]\displaystyle{ x(v+W) = xv + W \, \forall x \in \mathfrak{g}, v \in V }[/math] . V/W is said to be a quotient module in this case.
- Schur's lemma
- Statement in the language of module theory: Given V an irreducible [math]\displaystyle{ \mathfrak{g} }[/math]-module, [math]\displaystyle{ \phi V \to V }[/math] is a [math]\displaystyle{ \mathfrak{g} }[/math]-module homomorphism iff [math]\displaystyle{ \phi = \lambda 1_V }[/math] for some [math]\displaystyle{ \lambda \in F }[/math] .
- Statement in the language of representation theory: Given an irreducible representation [math]\displaystyle{ \phi\colon L \to \mathfrak{gl}(V) }[/math], for [math]\displaystyle{ \theta \in \textrm{End}(V) }[/math], [math]\displaystyle{ \theta \phi(x) = \phi(x) \theta }[/math] iff [math]\displaystyle{ \theta = \lambda 1_V }[/math] for some [math]\displaystyle{ \lambda \in F }[/math].
- simple module
- synonymous to "irreducible module".
- factor module
- synonymous to "quotient module".
Universal enveloping algebras
PBW theorem (Poincaré–Birkhoff–Witt theorem)
Verma modules
BGG category \mathcal{O}
cohomology
Chevalley basis
a basis constructed by Claude Chevalley with the property that all structure constants are integers. Chevalley used these bases to construct analogues of Lie groups over finite fields, called Chevalley groups.
The generators of a Lie group are split into the generators H and E such that:
- [math]\displaystyle{ [H_{\alpha_i},H_{\alpha_j}]=0 }[/math]
- [math]\displaystyle{ [H_{\alpha_i},E_{\alpha_j}]=A_{ij}E_{\alpha_j} }[/math]
- [math]\displaystyle{ [E_{\alpha_i},E_{\alpha_j}]=H_{\alpha_j} }[/math]
- [math]\displaystyle{ [E_{\beta},E_{\gamma}]=\pm(p+1)E_{\beta+\gamma} }[/math]
where p = m if β + γ is a root and m is the greatest positive integer such that γ − mβ is a root.
Examples of Lie algebra
- general linear algebra [math]\displaystyle{ gl(n, F) }[/math]
- Ado's theorem
- Any finite-dimensional Lie algebra is isomorphic to a subalgebra of [math]\displaystyle{ \mathfrak{gl}_V }[/math] for some finite-dimensional vector space V.
complex Lie algebras of 1D, 2D, 3D
Simple Algebras
Classical Lie algebras:
| Name | Root System | dimension | construction as subalgebra of [math]\displaystyle{ \mathfrak{gl}(n,F) }[/math] |
|---|---|---|---|
| Special linear algebra | [math]\displaystyle{ A_l \ (l \ge 1) }[/math] | [math]\displaystyle{ l^2 + 2l }[/math] | [math]\displaystyle{ \mathfrak{sl}(l+1, F) = \{ x \in \mathfrak{gl}(l+1,F) | Tr(x) = 0 \} }[/math] (traceless matrices) |
| Orthogonal algebra | [math]\displaystyle{ B_l \ (l \ge 1) }[/math] | [math]\displaystyle{ 2 l^2 + l }[/math] | [math]\displaystyle{ \mathfrak{o}(2l+1, F) = \{ x \in \mathfrak{gl}(2l+1,F) | s x = - x^t s , s = \begin{pmatrix} 1 & 0 & 0 \\ 0 & 0 & I_l \\ 0 & I_l & 0 \end{pmatrix}\} }[/math] |
| Symplectic algebra | [math]\displaystyle{ C_l \ (l \ge 2) }[/math] | [math]\displaystyle{ 2 l^2 - l }[/math] | [math]\displaystyle{ \mathfrak{sp}(2l, F) = \{ x \in \mathfrak{gl}(2l,F) | s x = - x^t s, s = \begin{pmatrix} 0 & I_l \\ -I_l & 0 \end{pmatrix}\} }[/math] |
| Orthogonal algebra | [math]\displaystyle{ D_l (l \ge 1) }[/math] | [math]\displaystyle{ 2 l^2 + l }[/math] | [math]\displaystyle{ \mathfrak{o}(2l, F) = \{ x \in \mathfrak{gl}(2l,F) | s x = - x^t s, s = \begin{pmatrix} 0 & I_l \\ I_l & 0 \end{pmatrix}\} }[/math] |
Exceptional Lie algebras:
| Root System | dimension |
|---|---|
| G2 | 14 |
| F4 | 52 |
| E6 | 78 |
| E7 | 133 |
| E8 | 248 |
Miscellaneous
- Lie group
- Glossary of semisimple groups
- Linear algebraic group
- Particle physics and representation theory
References
- Erdmann, Karin & Wildon, Mark. Introduction to Lie Algebras, 1st edition, Springer, 2006. ISBN:1-84628-040-0
- Humphreys, James E. Introduction to Lie Algebras and Representation Theory, Second printing, revised. Graduate Texts in Mathematics, 9. Springer-Verlag, New York, 1978. ISBN:0-387-90053-5
 |
