Fact-checked by Grok 2 weeks ago

Universal enveloping algebra

In algebra, the universal enveloping algebra U(\mathfrak{g}) of a Lie algebra \mathfrak{g} over a field k of characteristic zero is the associative k-algebra obtained as the quotient of the tensor algebra T(\mathfrak{g}) by the two-sided ideal generated by elements of the form xy - yx - [x, y] for all x, y \in \mathfrak{g}, where [x, y] denotes the Lie bracket.^[1] This construction embeds \mathfrak{g} into U(\mathfrak{g}) as a Lie subalgebra via the canonical inclusion, preserving the bracket as the commutator [x, y] = xy - yx.^[2] The algebra U(\mathfrak{g}) is unique up to isomorphism and satisfies a universal mapping property: for any associative algebra A with unity and any Lie algebra homomorphism \phi: \mathfrak{g} \to A^- (where A^- is A equipped with the commutator bracket), there exists a unique unital algebra homomorphism \psi: U(\mathfrak{g}) \to A such that \phi = \psi \circ i, with i: \mathfrak{g} \to U(\mathfrak{g}) the inclusion.^[1] A fundamental result characterizing U(\mathfrak{g}) is the Poincaré–Birkhoff–Witt (PBW) theorem, which states that if \{x_i\} is a basis for \mathfrak{g}, then the monomials x_{i_1} \cdots x_{i_r} with i_1 \leq \cdots \leq i_r form a basis for U(\mathfrak{g}) as a vector space.^[2] The PBW theorem was first proved by Henri Poincaré in 1900, with independent proofs by Garrett Birkhoff and Ernst Witt in 1937.^[1]^[3] This theorem implies that U(\mathfrak{g}) is filtered by degree, with the associated graded algebra isomorphic to the symmetric algebra S(\mathfrak{g}), and provides a basis without relations beyond those imposed by the Lie bracket.^[1] For finite-dimensional \mathfrak{g} of dimension n, the dimension of the degree-k component of U(\mathfrak{g}) is \binom{n + k - 1}{k}.^[2] The universal enveloping algebra plays a central role in the representation theory of Lie algebras, as modules over \mathfrak{g} are equivalent to modules over U(\mathfrak{g}) via the extension of the action.^[4] This equivalence allows representations of \mathfrak{g} to be studied using tools from associative algebra, such as Verma modules and highest weight theory for semisimple Lie algebras.^[5] Moreover, U(\mathfrak{g}) naturally carries a Hopf algebra structure, making it cocommutative with comultiplication \Delta(x) = x \otimes 1 + 1 \otimes x for x \in \mathfrak{g} (extended multiplicatively), counit \epsilon(x) = 0, and antipode S(x) = -x.^[4] This structure arises from the primitive elements of \mathfrak{g} and facilitates connections to group algebras and quantum groups. Historically, the concept was formalized in the late 1940s by Claude Chevalley and Harish-Chandra to advance representation theory without relying on Lie group classifications, building on earlier work by Hermann Weyl and Élie Cartan on semisimple Lie algebras.^[5] This theorem provided the foundational basis description. Applications extend to physics, including quantum mechanics and gauge theories, where U(\mathfrak{g}) models symmetries in enveloping associative structures.^[6]

Construction

Informal construction

The universal enveloping algebra of a Lie algebra \mathfrak{g} over a field k begins with the tensor algebra T(\mathfrak{g}), which is the free associative algebra generated by the underlying vector space of \mathfrak{g}. Here, elements of \mathfrak{g} are treated as generators, and T(\mathfrak{g}) consists of finite linear combinations of tensors \mathfrak{g}^{\otimes n} for n \geq 0, with concatenation as the product. This construction provides an associative multiplication without imposing any relations beyond linearity and associativity.^[7] To incorporate the Lie bracket of \mathfrak{g}, form the two-sided ideal I in T(\mathfrak{g}) generated by all elements of the form x \otimes y - y \otimes x - [x, y] for x, y \in \mathfrak{g}, where [x, y] is embedded into the degree-1 component of T(\mathfrak{g}). The universal enveloping algebra is then defined as the quotient U(\mathfrak{g}) = T(\mathfrak{g}) / I. This quotient enforces the desired relations: in U(\mathfrak{g}), the product of the images of x and y satisfies \overline{x} \overline{y} - \overline{y} \overline{x} = \overline{[x, y]}, where the bar denotes the image under the quotient map. Thus, U(\mathfrak{g}) is an associative algebra generated by the image of \mathfrak{g}, with the only relations arising from the Lie bracket.^[7] The natural embedding \iota: \mathfrak{g} \to U(\mathfrak{g}) sends each x \in \mathfrak{g} to its image \overline{x} in the degree-1 subspace, preserving the Lie structure via commutators: [\iota(x), \iota(y)] = \iota([x, y]) for all x, y \in \mathfrak{g}. This makes U(\mathfrak{g}) the "largest" associative algebra containing \mathfrak{g} as a Lie subalgebra in this sense, motivated by its universal property for representations. As an example, if \mathfrak{g} is abelian (so [x, y] = 0 for all x, y), then I is generated solely by commutators x \otimes y - y \otimes x, and U(\mathfrak{g}) is isomorphic to the symmetric algebra S(\mathfrak{g}), the free commutative algebra on \mathfrak{g}.^[7]

Formal definition

Let \mathfrak{g} be a Lie algebra over a commutative ring k with unity. The tensor algebra T(\mathfrak{g}) is the free associative unital k-algebra generated by \mathfrak{g}, given by the direct sum T(\mathfrak{g}) = \bigoplus_{n=0}^\infty \mathfrak{g}^{\otimes n}, where the multiplication is induced by the tensor product and \mathfrak{g}^{\otimes 0} = k.^[8] The universal enveloping algebra U(\mathfrak{g}) is the quotient algebra T(\mathfrak{g}) / I, where I is the two-sided ideal generated by all elements of the form x \otimes y - y \otimes x - [x, y] for x, y \in \mathfrak{g}.^[9]^[6] There is a canonical augmentation map \varepsilon: U(\mathfrak{g}) \to k induced by the projection onto the degree-zero component of T(\mathfrak{g}), with kernel the augmentation ideal consisting of elements of positive degree. This map induces a grading U(\mathfrak{g}) = \bigoplus_{n=0}^\infty U_n(\mathfrak{g}), where U_0(\mathfrak{g}) = k and each U_n(\mathfrak{g}) for n \geq 1 is the image of \mathfrak{g}^{\otimes n} in the quotient, spanned by products of n elements from \mathfrak{g}.^[8] The inclusion \iota: \mathfrak{g} \hookrightarrow U_1(\mathfrak{g}) \subset U(\mathfrak{g}) is a Lie algebra homomorphism extending to an associative algebra structure on U(\mathfrak{g}), making it the free unital associative algebra on \mathfrak{g} modulo the relations enforcing the Lie bracket as the commutator.^[10] The grading equips U(\mathfrak{g}) with an increasing filtration by degree, F_n U(\mathfrak{g}) = \bigoplus_{k=0}^n U_k(\mathfrak{g}), and the associated graded algebra is \mathrm{gr} U(\mathfrak{g}) = \bigoplus_n (F_n U(\mathfrak{g}) / F_{n-1} U(\mathfrak{g})) \cong S(\mathfrak{g}), the symmetric algebra on \mathfrak{g}.^[8]^[9]

Universal property

For Lie algebras

The universal property characterizing the universal enveloping algebra U(\mathfrak{g}) of a Lie algebra \mathfrak{g} over a field k of characteristic zero is as follows: for any unital associative k-algebra A and any Lie algebra homomorphism \phi: \mathfrak{g} \to A satisfying [\phi(x), \phi(y)] = \phi([x, y]) for all x, y \in \mathfrak{g} (where [ \cdot, \cdot ] on the left denotes the commutator in A), there exists a unique unital algebra homomorphism \Psi: U(\mathfrak{g}) \to A such that the diagram

\begin{CD} \mathfrak{g} @>\iota>> U(\mathfrak{g}) \\ @V{\phi}VV @VV{\Psi}V \\ A @= A \end{CD}

commutes, with \iota: \mathfrak{g} \hookrightarrow U(\mathfrak{g}) the canonical inclusion.^[11] This property positions U(\mathfrak{g}) as the "freest" associative algebra containing \mathfrak{g} as a Lie subalgebra realized via commutators.^[1] A proof sketch proceeds via the explicit construction from the tensor algebra. Let T(\mathfrak{g}) be the tensor algebra over k on \mathfrak{g}, which has the universal property that any linear map \mathfrak{g} \to A extends uniquely to a unital algebra homomorphism T(\mathfrak{g}) \to A. Define the two-sided ideal I \subseteq T(\mathfrak{g}) generated by elements x \otimes y - y \otimes x - [x, y] for x, y \in \mathfrak{g}, and set U(\mathfrak{g}) = T(\mathfrak{g}) / I with \iota the composition of the inclusion \mathfrak{g} \hookrightarrow T(\mathfrak{g}) and the quotient map. Given \phi as above, it extends uniquely to \tilde{\phi}: T(\mathfrak{g}) \to A, and the relations defining I lie in \ker \tilde{\phi} by the commutator condition on \phi, so \tilde{\phi} factors uniquely through U(\mathfrak{g}) to yield \Psi. Uniqueness follows from that of the extension to T(\mathfrak{g}).^[1]^[9] Equivalently, U(\mathfrak{g}) is the initial object in the category whose objects are pairs (A, \phi) consisting of a unital associative k-algebra A and a Lie homomorphism \phi: \mathfrak{g} \to (A, [\cdot, \cdot]) to the commutator Lie algebra of A, with morphisms the commutative triangles of algebra homomorphisms extending on \mathfrak{g}.^[1] This categorical perspective underscores that U(\mathfrak{g}) freely adjoins the Lie relations without additional constraints. Additionally, the universal property yields the augmentation (or counit) map \varepsilon: U(\mathfrak{g}) \to k, the unique unital algebra homomorphism such that \varepsilon \circ \iota = 0 on \mathfrak{g}, which annihilates the image of \mathfrak{g} and fixes scalars.^[9] When \mathfrak{g} is finite-dimensional over k, the Poincaré–Birkhoff–Witt theorem implies that U(\mathfrak{g}) admits a basis consisting of ordered monomials, making it a free (hence projective) k-module of rank equal to that of the symmetric algebra S(\mathfrak{g}).^[11]

For other algebraic structures

The universal property of enveloping algebras extends beyond Lie algebras to other non-associative or multi-operation structures, where the construction adapts the quotient of a free algebra by relations tailored to the specific product or bracket, while preserving homomorphisms that respect the operations. For Jordan algebras, which are commutative algebras equipped with a Jordan product satisfying the identity (ab)a = a(ba), the universal associative enveloping algebra U(J) of a Jordan algebra J over a field is constructed as the quotient of the free associative algebra \mathfrak{F} on the vector space underlying J by the two-sided ideal \mathfrak{R} generated by the relations that enforce the Jordan multiplication table in the image. Specifically, \mathfrak{R} is spanned by elements of the form a \times bc - bc \times a + b \times ac - ac \times b + c \times ab - ab \times c and a \times b \times c + c \times b \times a + (ac)b - a \times bc - b \times ca - c \times ab, where \times denotes the associative product in \mathfrak{F}, ensuring that the embedding i: J \to U(J) satisfies i(a \circ b) = \frac{1}{2} (i(a) i(b) + i(b) i(a)) for the Jordan product \circ.^[12] This U(J) satisfies the universal property: for any associative algebra B and Jordan algebra homomorphism \phi: J \to (B,+,\circ), where \circ is induced by the symmetrized product in B, there exists a unique associative algebra homomorphism \tilde{\phi}: U(J) \to B extending \phi \circ i.^[12] The construction highlights an analogy to the Lie case but emphasizes the commutative, symmetric nature of the Jordan product, with U(J) serving as a universal object for Jordan representations via associative actions.^[13] For Poisson algebras, which combine a commutative associative product with a Lie bracket satisfying the Leibniz rule \{ab, c\} = a\{b,c\} + \{a,c\}b, the universal enveloping algebra U(P) of a Poisson algebra P is defined as the quotient of the tensor algebra T(V) over V = P \oplus P by the ideal I generated by relations incorporating both operations. Here, elements of V are represented by pairs (m_p, h_p) for p \in P, with I spanned by m_{pq} - m_p m_q, h_{\{p,q\}} - h_p h_q + h_q h_p, h_{pq} - m_p h_q - m_q h_p, and m_{\{p,q\}} - h_p m_q + m_q h_p (adjusting for signs in graded cases), where m_p embeds the commutative product and h_p the Lie bracket.^[14] The universal property states that for any associative algebra B equipped with algebra map f: P \to B and Lie map g: (P, \{\cdot,\cdot\}) \to (B, [\cdot,\cdot]) satisfying f(\{p,q\}) = [g_p, f_q] and g(pq) = f_p g_q + f_q g_p, there is a unique algebra homomorphism \psi: U(P) \to B such that f = \psi \circ m and g = \psi \circ h.^[14] This dual-copy construction reflects the bialgebraic nature of Poisson structures, differing from the single-copy tensor algebra quotient in the pure Lie case.^[15] A key difference from the Lie algebra setting is that these enveloping algebras for Jordan and Poisson structures do not necessarily inherit a filtration whose associated graded quotient is the symmetric algebra on the underlying space; for instance, the graded structure of U(J) for free Jordan algebras involves more complex relations without a canonical symmetric basis, and U(P) yields a graded ring incorporating both symmetric and exterior components from the two operations.^[13] As a specific example, if the structure reduces to a commutative associative algebra A (with trivial bracket), then U(A) \cong A, as the Lie relations vanish and the enveloping map is the identity.^[14] For Lie-Rinehart algebras, which generalize Lie algebras to act on a commutative ring R via R-derivations, the universal enveloping algebra U(\mathfrak{g}) is similarly a quotient of the tensor algebra over \mathfrak{g} incorporating R-linearity, providing a universal setting for representations as R-modules with compatible actions.^[15] These generalizations play a foundational role in deformation theory, where they model infinitesimal deformations of algebraic structures while preserving the universal mapping properties.^[14]

Poincaré–Birkhoff–Witt theorem

Statement and basis construction

The Poincaré–Birkhoff–Witt theorem states that if \{x_i\}_{i \in I} is a totally ordered basis for a Lie algebra \mathfrak{g} over a field k of characteristic zero, then the set of all ordered monomials x_{i_1} x_{i_2} \cdots x_{i_n} with i_1 \leq i_2 \leq \cdots \leq i_n (including the empty product for n=0) forms a k-basis for the universal enveloping algebra U(\mathfrak{g}).^[16] This basis, often called the PBW basis, provides an explicit tool for computations in U(\mathfrak{g}) and implies that U(\mathfrak{g}) is a free module over its center Z(U(\mathfrak{g})), with the ordered monomials serving as a basis over the center.^[16] The construction of this basis relies on the natural filtration of U(\mathfrak{g}) by degree, where U^n(\mathfrak{g}) is the k-span of all products of at most n elements from the image of \mathfrak{g} in U(\mathfrak{g}). The associated graded algebra is then \mathrm{gr}(U(\mathfrak{g})) = \bigoplus_n U^n(\mathfrak{g})/U^{n-1}(\mathfrak{g}) \cong S(\mathfrak{g}), the symmetric algebra on \mathfrak{g}, where the isomorphism preserves the grading and identifies monomials in S(\mathfrak{g}) with classes of PBW monomials.^[17] Any element of U(\mathfrak{g}) can thus be uniquely represented in the PBW basis by reordering arbitrary products using the Lie bracket relations. The reordering process uses the commutator formula [x, y] = xy - yx \in \mathfrak{g}, which allows swapping adjacent basis elements: for basis vectors x_i, x_j with i > j,

x_i x_j = x_j x_i + [x_i, x_j].

Since [x_i, x_j] lies in \mathfrak{g}, multiplying by it introduces lower-degree terms in the filtration, enabling inductive reduction to the ordered form without altering the class in \mathrm{gr}(U(\mathfrak{g})).^[16] For a finite-dimensional Lie algebra \mathfrak{g} of dimension n < \infty, the Poincaré series of U(\mathfrak{g}) with respect to this filtration (i.e., \sum_{m \geq 0} \dim_k (U^m(\mathfrak{g})/U^{m-1}(\mathfrak{g})) t^m) is $1 / (1 - t)^n, matching that of S(\mathfrak{g}).^[17] A simple example occurs when \mathfrak{g} = k x is one-dimensional and abelian (so [x, x] = 0), in which case U(\mathfrak{g}) \cong k as algebras, with the PBW basis \{1, x, x^2, \dots \} coinciding with the standard monomial basis.^[18]

Proof sketches

The Poincaré–Birkhoff–Witt (PBW) theorem was first proved by Henri Poincaré in 1900 for Lie algebras arising from continuous transformation groups, though his result was not stated in modern terms.^[19] A general proof for arbitrary Lie algebras over fields of characteristic zero was independently given by Garrett Birkhoff and Ernst Witt in 1937, with Birkhoff's approach using representation theory and Witt's relying on combinatorial arguments involving permutations.^[20] Combinatorial proofs of the PBW theorem typically establish that the ordered monomials in a basis of the Lie algebra \mathfrak{g} form a basis for the universal enveloping algebra U(\mathfrak{g}) by showing they span and are linearly independent modulo the two-sided ideal I generated by the Lie relations [x,y]-xy+yx=0 for x,y\in\mathfrak{g} in the tensor algebra T(\mathfrak{g}). One modern approach uses George Bergman's diamond lemma (1978), which provides a rewriting system for noncommutative algebras; by defining a total order on basis elements of \mathfrak{g} and showing the Lie relations form a Gröbner basis for I under this order, the normal monomials (those fully reduced, i.e., ordered) form a basis for T(\mathfrak{g})/I \cong U(\mathfrak{g}).^[21] This method highlights the role of the Lie bracket in enforcing the ordering, as the diamond condition ensures unique normal forms without overlaps in reductions. Geometric proofs often proceed via homological algebra, leveraging the Koszul complex or the Chevalley–Eilenberg resolution to compare U(\mathfrak{g}) with the symmetric algebra \mathrm{Sym}(\mathfrak{g}). The Chevalley–Eilenberg complex C^\bullet(\mathfrak{g},\mathrm{Sym}(\mathfrak{g})) computes the cohomology of \mathfrak{g} with coefficients in \mathrm{Sym}(\mathfrak{g}), and a contracting homotopy demonstrates that U(\mathfrak{g}), equipped with its natural filtration by degree, is quasi-isomorphic to \mathrm{Sym}(\mathfrak{g}) as filtered algebras, implying the associated graded rings are isomorphic and thus the PBW basis exists.^[22] This approach underscores the theorem's connection to resolutions of the trivial module. A key insight is that the PBW theorem relies crucially on the Lie relations; without them, U(\mathfrak{g}) would reduce to the free associative algebra on \mathfrak{g}, whose basis consists of all unordered tensor monomials, lacking the polynomial-like structure of \mathrm{Sym}(\mathfrak{g}).^[23] The PBW theorem extends to more general settings, such as filtered associative algebras where the associated graded algebra is commutative, providing a framework for PBW-type bases in quantized or deformed enveloping algebras.^[23]

Applications to differential operators

Left-invariant differential operators

In the context of Lie groups, the universal enveloping algebra U(\mathfrak{g}) of a Lie algebra \mathfrak{g} associated to a Lie group G realizes the algebra of left-invariant differential operators on G, denoted \mathrm{Diff}_\mathrm{left}(G), establishing an isomorphism via the action induced by left translations. This identification embeds the abstract algebraic structure of U(\mathfrak{g}) into the geometric framework of differential operators on the manifold G, where left-invariance means that the operator D satisfies D(f \circ L_h) = (D f) \circ L_h for all h \in G and smooth functions f: G \to \mathbb{R}, with L_h denoting left translation by h. The isomorphism arises from the inclusion map \iota: \mathfrak{g} \to \mathfrak{X}(G), which sends each x \in \mathfrak{g} to the corresponding left-invariant vector field X_x. This vector field acts on smooth functions f by

X_x f(g) = \left. \frac{d}{dt} \right|_{t=0} f \bigl( g \exp(t x) \bigr),

where \exp: \mathfrak{g} \to G is the exponential map. These first-order operators extend to higher-order left-invariant differential operators through the Leibniz rule: for vector fields X and Y, the product X Y acts as X(Y f) = X \bigl( Y(f) \bigr), which parallels the multiplication in U(\mathfrak{g}) obtained by symmetrizing the Lie bracket via the universal property. Under this isomorphism U(\mathfrak{g}) \cong \mathrm{Diff}_\mathrm{left}(G), the center Z(U(\mathfrak{g})) maps to the subalgebra of bi-invariant differential operators, which commute with both left and right translations and thus act invariantly under the full group action. The Poincaré–Birkhoff–Witt theorem guarantees that the ordered monomials in a basis of \mathfrak{g} provide a basis for \mathrm{Diff}_\mathrm{left}(G), facilitating explicit computations of operator actions. A concrete example occurs when G = \mathbb{R}^n is the additive group with abelian Lie algebra \mathfrak{g} = \mathbb{R}^n, in which case U(\mathfrak{g}) is isomorphic to the polynomial algebra \mathbb{R}[x_1, \dots, x_n], and the corresponding left-invariant operators are constant-coefficient partial differential operators generated by the partial derivatives \partial/\partial x_i.

Algebra of symbols

The symbol map \sigma: U(\mathfrak{g}) \to S(\mathfrak{g}) for a Lie algebra \mathfrak{g} over a field of characteristic zero is defined as the unique linear bijection that extends the inclusion \iota: \mathfrak{g} \hookrightarrow U(\mathfrak{g}) via the Poincaré–Birkhoff–Witt (PBW) theorem, equivalently as the composition of the canonical projection U(\mathfrak{g}) \to \mathrm{gr}(U(\mathfrak{g})) with the PBW isomorphism \mathrm{gr}(U(\mathfrak{g})) \cong S(\mathfrak{g}). This map is constant on the filtered components of U(\mathfrak{g}), meaning that if u \in U_n(\mathfrak{g}), then \sigma(u) is the image of the leading (degree-n) homogeneous component of u under the grading isomorphism. The construction relies on the filtration of U(\mathfrak{g}) by degree, where U_n(\mathfrak{g}) is spanned by products of at most n elements from \mathfrak{g}. Key properties of \sigma include \sigma(\iota(x)) = x for all x \in \mathfrak{g}, establishing it as the identity on generators. Since S(\mathfrak{g}) is commutative, \sigma([x, y]) = \sigma(xy - yx) = 0 for x, y \in \mathfrak{g}, as the leading terms xy and yx map to the same element xy \in S^2(\mathfrak{g}) under the grading. More generally, \sigma vanishes on the commutator ideal [\mathfrak{U}(\mathfrak{g}), \mathfrak{U}(\mathfrak{g})], the two-sided ideal generated by all commutators [u, v] = uv - vu for u, v \in U(\mathfrak{g}); thus, \sigma induces an isomorphism of the abelianization U(\mathfrak{g}) / [U(\mathfrak{g}), U(\mathfrak{g})] \cong S(\mathfrak{g}). This links directly to the Harish-Chandra homomorphism \chi: Z(U(\mathfrak{g})) \to S(\mathfrak{g})^G, where Z(U(\mathfrak{g})) is the center and G the adjoint group, as the center commutes with all elements and hence lies in the kernel of the commutator map. For products in U(\mathfrak{g}), the symbol map captures the classical limit via PBW reordering: if a \in U_m(\mathfrak{g}) and b \in U_n(\mathfrak{g}), then \sigma(ab) = \sigma(a)\sigma(b) + terms of total degree less than m+n in S(\mathfrak{g}), with the principal (leading) symbol \sigma_m(a) \sigma_n(b) exactly multiplicative. This reflects the non-commutativity of U(\mathfrak{g}) as a quantum correction to the commutative multiplication in S(\mathfrak{g}). In the context of left-invariant differential operators on a Lie group G with Lie algebra \mathfrak{g}, the universal enveloping algebra U(\mathfrak{g}) acts by these operators, and the symbol map \sigma assigns to each such operator its principal symbol in S(\mathfrak{g}), classifying orders and providing the classical limit analogous to symbols in pseudo-differential operator theory, where symbols determine operator order and asymptotics.

Representation theory

Modules and representations

A U(g)-module is a vector space M over a field (typically \mathbb{C}) equipped with a homomorphism \rho: U(\mathfrak{g}) \to \mathrm{End}(M) from the universal enveloping algebra U(\mathfrak{g}) of a Lie algebra \mathfrak{g} to the endomorphisms of M, making M an associative algebra module where the action is linear and satisfies \rho(ab)m = \rho(a)(\rho(b)m) for a, b \in U(\mathfrak{g}) and m \in M.^[7] This action extends the natural Lie algebra action via the inclusion \iota: \mathfrak{g} \hookrightarrow U(\mathfrak{g}), where elements of \mathfrak{g} act as derivations derived from the Lie bracket, specifically \rho(x)m for x \in \mathfrak{g} and the commutator relations preserved in U(\mathfrak{g}).^[1] Every \mathfrak{g}-module, defined by a Lie algebra homomorphism \pi: \mathfrak{g} \to \mathrm{End}(M), extends uniquely to a U(\mathfrak{g})-module structure via the universal property of the enveloping algebra, which guarantees a unique algebra homomorphism \tilde{\pi}: U(\mathfrak{g}) \to \mathrm{End}(M) such that \tilde{\pi} \circ \iota = \pi.^[1] However, the converse does not hold: not every U(\mathfrak{g})-module restricts to a \mathfrak{g}-module in a way that captures the full associative structure, as the enveloping algebra incorporates higher-order polynomial actions beyond mere commutators. Verma modules provide indecomposable examples of U(\mathfrak{g})-modules that do not generally arise as simple extensions; a Verma module \mathrm{Verm}(\lambda) for a weight \lambda \in \mathfrak{h}^* (with \mathfrak{h} a Cartan subalgebra) is constructed as the induced module U(\mathfrak{g}) \otimes_{U(\mathfrak{b})} \mathbb{C}_\lambda, where \mathfrak{b} is a Borel subalgebra and \mathbb{C}_\lambda is the one-dimensional \mathfrak{b}-module on which \mathfrak{h} acts by \lambda and the nilradical acts trivially.^[7] Representations of U(\mathfrak{g}) thus capture higher-order effects of the Lie algebra action, such as iterated applications of elements from \mathfrak{g}, which are essential for studying infinite-dimensional modules; in contrast, finite-dimensional representations of semisimple \mathfrak{g} factor through quotients of U(\mathfrak{g}) by ideals corresponding to central characters.^[7] The associative action on a vector v \in M satisfies

(xy) \cdot v = x \cdot (y \cdot v)

for x, y \in U(\mathfrak{g}), ensuring compatibility with the algebra multiplication while the Lie action on \mathfrak{g} is recovered via [x, y] \cdot v = x \cdot (y \cdot v) - y \cdot (x \cdot v).^[1] Primitive elements play a key role in the structure of U(\mathfrak{g})-modules, defined as vectors v \in M annihilated by the positive nilradical \mathfrak{n}^+, i.e., x^+ \cdot v = 0 for all x^+ \in \mathfrak{n}^+, generating cyclic submodules under the action of the full algebra.^[7] In highest weight theory, a U(\mathfrak{g})-module is a highest weight module if it is generated by a primitive vector v of weight \lambda, satisfying h \cdot v = \lambda(h) v for h \in \mathfrak{h} and decomposed into weight spaces M = \bigoplus_{\mu} M_\mu where weights \mu \preceq \lambda differ by non-negative combinations of positive roots.^[7] This framework underpins the classification of irreducible modules, with Verma modules serving as universal objects embedding all highest weight modules of a given weight.^[7]

Connection to Lie group representations

A smooth representation \pi: G \to \mathrm{GL}(V) of a Lie group G with Lie algebra \mathfrak{g} induces an infinitesimal representation d\pi: \mathfrak{g} \to \mathrm{End}(V) obtained by differentiating curves through the identity, defined as d\pi(X)v = \frac{d}{dt}\big|_{t=0} \pi(\exp(tX))v for X \in \mathfrak{g} and v \in V.^[24] This Lie algebra representation extends uniquely to a representation of the universal enveloping algebra U(\mathfrak{g}) on V via the universal property, where elements of U(\mathfrak{g}) act by left multiplication in the associative algebra structure, ensuring compatibility with the Lie bracket through the relations in U(\mathfrak{g}).^[25] For simply connected Lie groups, the categories of finite-dimensional representations of G and representations of U(\mathfrak{g}) are equivalent, with the equivalence given by associating to each finite-dimensional G-representation its infinitesimal U(\mathfrak{g})-representation, and conversely by integrating U(\mathfrak{g})-representations to G-representations using the exponential map \exp: \mathfrak{g} \to G and analytic continuation.^[26] This correspondence is realized algebraically through the isomorphism of U(\mathfrak{g}) with the algebra of left-invariant differential operators on G, which acts on C^\infty(G).^[25] The adjoint action of G on \mathfrak{g}, given by \mathrm{Ad}(g)X = g X g^{-1} for g \in G and X \in \mathfrak{g}, extends to an action on U(\mathfrak{g}) by algebra automorphisms, defined on the tensor algebra and descending to U(\mathfrak{g}) via the relations. This extension preserves the coproduct on primitive elements, satisfying \Delta(\mathrm{Ad}(g)X) = \mathrm{Ad}(g) \otimes \mathrm{Ad}(g) (\Delta(X)) where \Delta(X) = X \otimes 1 + 1 \otimes X for X \in \mathfrak{g}, ensuring compatibility with the algebraic structure.^[6] For compact Lie groups G, a Peter-Weyl type decomposition arises in representations of U(\mathfrak{g}), where smooth U(\mathfrak{g})-modules corresponding to G-representations decompose into direct sums of irreducible representations, mirroring the finite-dimensional complete reducibility of compact group representations and the orthogonality of matrix coefficients in L^2(G).^[27] As a specific example, for the group \mathrm{SL}(2,\mathbb{R}) with Lie algebra \mathfrak{sl}(2,\mathbb{R}), the irreducible representations of U(\mathfrak{sl}(2,\mathbb{R})) classify the principal series representations of \mathrm{SL}(2,\mathbb{R}), which are induced from non-unitary characters of the Borel subgroup and parameterized by complex weights, providing the infinitesimal data for the unitary dual.^[28]

Casimir operators

Definition and rank

Casimir operators are central elements in the universal enveloping algebra U(\mathfrak{g}) of a Lie algebra \mathfrak{g}, belonging to its center Z(U(\mathfrak{g})) = \{ z \in U(\mathfrak{g}) \mid [z, x] = 0 \ \forall x \in \mathfrak{g} \}. These elements commute with every generator of U(\mathfrak{g}), and thus with all elements of the algebra. For semisimple Lie algebras, the center Z(U(\mathfrak{g})) is generated by polynomial invariants in the symmetric algebra S(\mathfrak{g}), via the Harish-Chandra homomorphism \chi: Z(U(\mathfrak{g})) \to S(\mathfrak{h})^W, where \mathfrak{h} is a Cartan subalgebra and W is the Weyl group; this map is an isomorphism identifying central elements with W-invariant polynomials on \mathfrak{h}.^[29]^[30] A prominent example is the universal quadratic Casimir operator, defined for a semisimple Lie algebra \mathfrak{g} equipped with an invariant nondegenerate bilinear form (\cdot, \cdot), such as the Killing form. Let \{ x_i \} be an orthonormal basis of \mathfrak{g} with respect to this form. The universal Casimir is given by

\Omega = \sum_i x_i x^i \in U(\mathfrak{g}),

where x^i is the dual basis element satisfying (x_i, x^j) = \delta_{ij}. This element lies in the center because the invariance of the form ensures [\Omega, x] = 0 for all x \in \mathfrak{g}. Higher-degree Casimirs can be constructed analogously using higher powers and traces in matrix representations.^[29]^[30] The rank of a semisimple Lie algebra \mathfrak{g}, defined as the dimension of its Cartan subalgebra \mathfrak{h}, equals the number of algebraically independent basic Casimir operators generating Z(U(\mathfrak{g})) as a polynomial algebra. This cohomological invariant reflects the structure of the center, with Z(U(\mathfrak{g})) \cong \mathbb{C}[C_1, \dots, C_l], where l is the rank and the C_i are the basic Casimirs of degrees matching the exponents of \mathfrak{g}. The isomorphism follows from the Poincaré–Birkhoff–Witt theorem and the existence of a Chevalley basis, which provides an integral structure allowing the center to be realized as polynomials in these generators.^[30] In an irreducible highest weight representation \rho of \mathfrak{g} with highest weight \lambda, each Casimir operator acts as a scalar multiple of the identity. For the quadratic Casimir \Omega in the special linear Lie algebra \mathfrak{sl}(n, \mathbb{C}), this scalar is c_\lambda = (\lambda, \lambda + 2\rho), where \rho is half the sum of the positive roots and (\cdot, \cdot) is the invariant form normalized such that the longest root has squared length 2. This eigenvalue formula arises from the action on the highest weight vector and the centrality of \Omega.^[30]

Examples in specific Lie algebras

A prominent example of a Casimir operator arises in the Lie algebra \mathfrak{so}(3), which is isomorphic to \mathfrak{su}(2) over the reals. In the standard basis \{J_x, J_y, J_z\} satisfying the commutation relations [J_x, J_y] = J_z and cyclic permutations, the quadratic Casimir operator is given by

\Omega = J_x^2 + J_y^2 + J_z^2.

This operator commutes with each generator, [\Omega, J_i] = 0 for i = x, y, z, as it lies in the center of the universal enveloping algebra.^[31] In the irreducible representation of spin l (dimension $2l + 1), \Omega acts as multiplication by the eigenvalue l(l+1).^[31] Specifically, in the defining vector representation (spin l=1), \Omega acts as $2 times the identity operator.^[31] For the complex Lie algebra \mathfrak{sl}(2, \mathbb{C}), with basis \{H, X, Y\} obeying [H, X] = 2X, [H, Y] = -2Y, and [X, Y] = H, a standard quadratic Casimir operator is

C = \frac{H^2}{4} + \frac{1}{2}(XY + YX).

This commutes with all elements of \mathfrak{sl}(2, \mathbb{C}). In the irreducible representation of highest weight $2j (dimension $2j + 1), C has eigenvalue j(j+1).^[32] The form C = \frac{H^2}{2} + XY + YX corresponds to a rescaled version yielding the same eigenvalue up to a constant factor, consistent with choices of invariant bilinear form.^[32] The Lie algebra \mathfrak{su}(2) has rank 1, admitting a single fundamental (quadratic) Casimir operator that generates the center of its universal enveloping algebra. This Casimir distinguishes irreducible representations via its eigenvalues, which are injective in the representation label j, thereby determining the character of the representation.^[33] For the general linear Lie algebra \mathfrak{gl}(n, \mathbb{C}), which is not semisimple, Casimir operators include those constructed from traces with respect to the invariant form \operatorname{tr}(AB). A basic example is the quadratic Casimir involving \sum_{i,j} E_{ij} E_{ji}, where \{E_{ij}\} is the standard matrix unit basis; more generally, higher-order Casimirs are the power sums p_k = \sum_{i=1}^n E_{ii}^k for k = 1, \dots, n, which generate the center as the polynomial algebra \mathbb{C}[p_1, \dots, p_n] and centralize the enveloping algebra.^[30]

Specific examples

Heisenberg algebra

The Heisenberg Lie algebra \mathfrak{h}_3 over a field k (typically \mathbb{C}) is the three-dimensional nilpotent Lie algebra with basis \{p, q, z\} and Lie bracket relations [p, q] = z, [p, z] = 0, [q, z] = 0.^[34] The universal enveloping algebra U(\mathfrak{h}_3) is the associative unital algebra generated by p, q, and z subject to these relations, where z is central.^[34] By the Poincaré–Birkhoff–Witt (PBW) theorem, a basis for U(\mathfrak{h}_3) as a k-vector space consists of the monomials p^a q^b z^c for a, b, c \in \mathbb{N}_0, reflecting the near-commutativity due to the nilpotency of \mathfrak{h}_3.^[6] A key feature of U(\mathfrak{h}_3) is its isomorphism to the Weyl algebra A_1 extended by the central polynomial ring in z; specifically, U(\mathfrak{h}_3) \cong k\langle p, q \rangle / (pq - qp - z) \otimes_k k, where the first factor is generated by p and q with the indicated relation.^[35] The standard Weyl algebra A_1 = k\langle p, q \rangle / (pq - qp - 1) arises as the quotient U(\mathfrak{h}_3)/(z - 1).^[35] This structure connects U(\mathfrak{h}_3) to the algebra of polynomial differential operators on \mathbb{R}: in a realization, q acts by multiplication by the coordinate x, p by -i \partial_x, and z by the scalar -i, yielding operators on L^2(\mathbb{R}).^[34] The center Z(U(\mathfrak{h}_3)) is precisely the polynomial algebra k, of rank 1 as a module over itself. Irreducible representations of U(\mathfrak{h}_3) are infinite-dimensional unless z acts as a scalar multiple of the identity; in such cases, the representation factors through a quotient by an ideal generated by z - \lambda for \lambda \in k. A canonical example is the oscillator representation from quantum mechanics, where z acts as \hbar \mathrm{id} for \hbar \in k \setminus \{0\}, with p and q realizing the creation and annihilation operators (up to scaling) on the Fock space of the harmonic oscillator.^[6]

Classical Lie algebras

The universal enveloping algebras of classical Lie algebras, which are the semisimple Lie algebras of types A, B, C, and D over the complex numbers, exhibit rich structure in their centers due to the Harish-Chandra isomorphism. This isomorphism identifies the center Z(\mathfrak{U}(\mathfrak{g})) with the ring of Weyl group invariants in the symmetric algebra on a Cartan subalgebra, S(\mathfrak{h})^W, which is a polynomial algebra freely generated by r algebraically independent elements, where r is the rank of \mathfrak{g}. Thus, Z(\mathfrak{U}(\mathfrak{g})) is infinite-dimensional as a vector space but finitely generated as an algebra with Krull dimension equal to the rank.^[36] For the classical Lie algebra \mathfrak{sl}(n, \mathbb{C}) of type A_{n-1} with rank n-1, the center Z(\mathfrak{U}(\mathfrak{sl}(n, \mathbb{C}))) is generated by the images of the Casimir operators of degrees 2 through n, corresponding to the degrees of the basic invariants under the action of the Weyl group S_n. A basis for \mathfrak{U}(\mathfrak{sl}(n, \mathbb{C})) is provided by the Poincaré–Birkhoff–Witt (PBW) theorem, consisting of ordered monomials in a basis of \mathfrak{sl}(n, \mathbb{C}) comprising the matrix units e_{ij} for i \neq j and a basis for the trace-zero diagonal matrices.^[36] For the odd orthogonal Lie algebra \mathfrak{so}(2l+1, \mathbb{C}) of type B_l with rank l, the center Z(\mathfrak{U}(\mathfrak{so}(2l+1, \mathbb{C}))) is likewise a polynomial algebra in l variables, generated by central elements whose degrees are 2, 4, ..., 2l under the Weyl group action. Representations such as the spinor representation arise as quotients of \mathfrak{U}(\mathfrak{so}(2l+1, \mathbb{C})) by ideals in the center, where the central elements act as scalars distinguishing irreducible modules.^[36] A concrete example is the Lie algebra \mathfrak{su}(2) \cong \mathfrak{so}(3, \mathbb{R}), which is of type A_1 (or B_1). Here, \mathfrak{U}(\mathfrak{su}(2)) is the associative algebra over \mathbb{R} generated by J_x, J_y, J_z subject to the relations [J_x, J_y] = i J_z and cyclic permutations, with the center generated by the quadratic Casimir J^2 = J_x^2 + J_y^2 + J_z^2. The Weyl group \mathbb{Z}/2\mathbb{Z} acts by sign changes on the Cartan subalgebra, yielding the single invariant of degree 2.^[36]

Generalizations

Superalgebras

The universal enveloping algebra of a Lie superalgebra \mathfrak{g} = \mathfrak{g}_0 \oplus \mathfrak{g}_1 over a field of characteristic not equal to 2 is constructed as the quotient U(\mathfrak{g}) = T(\mathfrak{g})/I, where T(\mathfrak{g}) denotes the tensor algebra on \mathfrak{g} and I is the two-sided ideal generated by all elements of the form xy - (-1)^{|x||y|}yx - [x,y] for x, y \in \mathfrak{g}, with | \cdot | indicating the \mathbb{Z}_2-degree (0 for even elements in \mathfrak{g}_0, 1 for odd elements in \mathfrak{g}_1) and [x,y] the super Lie bracket.^[37] This definition ensures that the inclusion \iota: \mathfrak{g} \hookrightarrow U(\mathfrak{g}) preserves the super Lie bracket via \iota([x,y]) = \iota(x)\iota(y) - (-1)^{|x||y|}\iota(y)\iota(x), making U(\mathfrak{g}) the "free" associative superalgebra generated by \mathfrak{g} subject to these relations.^[37] As the super analog of the Lie algebra case, it satisfies a universal property: for any associative superalgebra A and super Lie algebra homomorphism \phi: \mathfrak{g} \to A (regarding A as a Lie superalgebra via its supercommutator), there exists a unique superalgebra homomorphism \tilde{\phi}: U(\mathfrak{g}) \to A extending \phi. A key structural result is the super Poincaré–Birkhoff–Witt (PBW) theorem, which asserts that if \{x_1, \dots, x_m\} is an ordered basis of \mathfrak{g} consisting of homogeneous elements (with even and odd parts separated appropriately), then a basis for U(\mathfrak{g}) as a vector space consists of all ordered monomials x_1^{k_1} \cdots x_m^{k_m} where k_i \geq 0 are integers, but with k_i \in \{0,1\} whenever x_i is odd (since [x,x]=0 for odd x implies x^2 = 0 in U(\mathfrak{g})).^[37] This differs from the ordinary Lie algebra PBW theorem primarily in the restriction on exponents for odd generators and the need to order the basis compatibly with the grading to avoid sign ambiguities in the relations; failure to order properly can lead to inconsistencies in the supercommutator ideal.^[37] The theorem implies that \dim U(\mathfrak{g}) = \infty unless \mathfrak{g}_1 = 0, and it facilitates the study of representations by providing a canonical basis for computing actions. For the orthosymplectic Lie superalgebra \mathfrak{osp}(m|2n), the universal enveloping algebra U(\mathfrak{osp}(m|2n)) plays a role in describing invariants via the super Harish-Chandra isomorphism, which maps the center Z(U(\mathfrak{osp}(m|2n))) to the ring of polynomial invariants on the dual Cartan subsuperalgebra; these invariants are generated by supersymmetric polynomials in the even and odd root variables. This connection highlights how U(\mathfrak{osp}(m|2n)) "envelops" the structure of supersymmetric functions, providing algebraic tools for harmonic analysis and representation theory in supersymmetric contexts. The algebra U(\mathfrak{g}) carries a Hopf superalgebra structure analogous to the Lie algebra case, arising from the primitive elements \mathfrak{g}. The coproduct is defined by \Delta(x) = x \otimes 1 + 1 \otimes x for all x \in \mathfrak{g} (extended as an algebra homomorphism), the counit by \epsilon(x) = 0 for x \in \mathfrak{g} and \epsilon(1) = 1, and the antipode by S(x) = -x for x \in \mathfrak{g} (extended anti-homomorphically). Grading signs are incorporated through the super tensor product to ensure compatibility with super multiplication. This structure is essential for studying comodules and corepresentations in super settings.^[38] A concrete example is the super Heisenberg Lie superalgebra \mathfrak{h}, which has even part spanned by bosonic creation and annihilation operators a^\dagger, a satisfying [a, a^\dagger] = 1 and odd part spanned by fermionic generators b^\dagger, b satisfying the anticommutation \{b, b^\dagger\} = 1 (with mixed brackets vanishing), modeling the algebra of supersymmetric quantum mechanics.^[39] Its universal enveloping algebra U(\mathfrak{h}) realizes these operators associatively, with the PBW basis consisting of monomials with nonnegative integer powers for even generators and at most first powers for odd generators, ordered appropriately, enabling Fock space representations where even elements act by commutation and odd by anticommutation.^[39]

Hopf algebras and quantum groups

The universal enveloping algebra U(\mathfrak{g}) of a finite-dimensional Lie algebra \mathfrak{g} over a field of characteristic zero carries a canonical Hopf algebra structure, making it a fundamental example in the theory of Hopf algebras. The coproduct \Delta: U(\mathfrak{g}) \to U(\mathfrak{g}) \otimes U(\mathfrak{g}) is the unique algebra homomorphism extending the primitive map \Delta(x) = x \otimes [1](/page/1) + [1](/page/1) \otimes x for all x \in \mathfrak{g}, reflecting the infinitesimal action of the Lie algebra on tensor products of modules. The counit \epsilon: U(\mathfrak{g}) \to k is the algebra homomorphism with \epsilon(x) = 0 for x \in \mathfrak{g} and \epsilon([1](/page/1)) = [1](/page/1), while the antipode S: U(\mathfrak{g}) \to U(\mathfrak{g}) is the anti-algebra homomorphism extending S(x) = -x for x \in \mathfrak{g}. This structure arises naturally from the universal property of U(\mathfrak{g}) and endows it with the algebraic framework for studying representations via comodules. A significant generalization is provided by the quantum enveloping algebras U_q(\mathfrak{g}), introduced independently by Drinfeld and Jimbo as Hopf algebra deformations of U(\mathfrak{g}) parameterized by q \in k^\times (typically k = \mathbb{C}(q)). In the Drinfeld–Jimbo presentation, U_q(\mathfrak{g}) is the associative algebra generated by elements E_i, F_i, K_i, K_i^{-1} (for simple roots i = 1, \dots, r) subject to relations such as the quantum Serre relations, the q-commutators [E_i, F_i] = \frac{K_i - K_i^{-1}}{q - q^{-1}}, and braiding rules like K_i E_j = q^{a_{ij}} E_j K_i and K_i F_j = q^{-a_{ij}} F_j K_i, where (a_{ij}) is the Cartan matrix of \mathfrak{g}. The Hopf structure includes a coproduct that is braided, with \Delta(E_i) = E_i \otimes 1 + K_i \otimes F_i, \Delta(F_i) = F_i \otimes K_i^{-1} + 1 \otimes F_i, and \Delta(K_i) = K_i \otimes K_i, alongside corresponding counit and antipode. As q \to 1, the relations specialize to those of U(\mathfrak{g}), recovering the classical enveloping algebra in a continuous deformation. These quantum enveloping algebras play a pivotal role in representation theory, particularly through their finite-dimensional representations at roots of unity, where q is a primitive \ell-th root of unity for odd prime \ell greater than the Coxeter number. Lusztig developed a comprehensive framework for the irreducible representations in this setting, classifying them via quantum analogues of highest weight modules and establishing connections to Hecke algebras and affine Weyl groups. This work enabled the study of modular representations and tilting modules for quantum groups. Applications extend to physics, where U_q(\mathfrak{su}(2)) provides quantized representations modeling non-Abelian anyons in two-dimensional topological quantum field theories, such as those arising in Chern-Simons theory at level k, facilitating fault-tolerant quantum computation schemes.^[40]

References

[1]
[PDF] Lecture 22 — The Universal Enveloping Algebra
Nov 30, 2010 · Definition 22.2. The universal enveloping algebra of g is an enveloping algebra (Φ,U(g)) which has the following universal mapping property: for ...Missing: mathematics | Show results with:mathematics
[2]
[PDF] Universal enveloping algebra - Brandeis
A universal enveloping algebra (U, i) of a Lie algebra L is an associative algebra with unity, where i is a Lie algebra homomorphism, defined by a universal ...
[3]
[PDF] LIE ALGEBRAS AND THEIR UNIVERSAL ENVELOPING ...
All universal enveloping algebras except U({0}) are infinite dimensional. U(L) as a Hopf algebra. We are now in a position to put a Hopf algebra structure on U( ...
[4]
None
### Summary of Historical Development of Universal Enveloping Algebras in Lie Theory
[5]
[PDF] Universal enveloping algebras and some applications in physics
Mathematically speaking, the construction of the universal enveloping alge- bra of a Lie algebra is useful in order to pass from a non-associative structure to ...
[6]
[PDF] Lie algebras - Harvard Mathematics Department
Apr 23, 2004 · 1.8.4 Construction of the universal enveloping algebra. . . . . . ... Humphreys' notation, define the Kostant function p by p(ν) = PK(−ν).
[7]
universal enveloping algebra in nLab
### Formal Definition of Universal Enveloping Algebra of a Lie Algebra
[8]
[PDF] Fall, 2022 Lecture IIIA: The Universal Enveloping Algebra, Free Lie ...
Sep 27, 2022 · The Universal Enveloping Algebra (U(L)) is the quotient of the tensor algebra T(L) by an ideal, and is an associative algebra.
[9]
[PDF] On the Structure of Hopf Algebras
If L is a Lie algebra, the universal enveloping algebra, of L is an algebra U(L) together with a morphism of Lie algebras iL: L - U(L) such that if A is an ...
[10]
[PDF] Notes on Enveloping Algebras (following Dixmier)
The idea of the construction is pretty simple: just take the elements of g and treat them as elements in an associative algebra, while maintaining all relations.
[11]
[PDF] General Representation Theory of Jordan Algebras - UCI Mathematics
3. Universal associative algebras. The subalgebra generated by a subset of an associative (Lie) algebra will be called the enveloping associative (Lie).
[12]
[PDF] Universal enveloping algebras of free Jordan algebras and their ...
The universal algebras U(J) and S(J) play important role for the structure theory and representations of Jordan algebras. Many important results in Jordan ...
[13]
https://www.math.bas.bg/algebra/tcrt2021/pdf/Abstract_Shestakov.pdf
[14]
Universal enveloping algebras of Poisson Ore extensions
Mar 31, 2015 · We prove that the universal enveloping algebra of a Poisson-Ore extension is a length two iterated Ore extension of the original universal en-.
[15]
Poincaré-Birkhoff-Witt theorem - PlanetMath.org
Mar 22, 2013 · constitute a k k -basis of the universal enveloping algebra U(g) U ⁢ ( 𝔤 ) of g 𝔤 . Such monomials are often called ordered monomials or PBW- ...
[16]
PBW theorem in nLab
### Summary of PBW Theorem from nLab
[17]
https://ncatlab.org/nlab/show/PBW+theorem
[18]
[PDF] Poincaré's Proof of the So-Called Birkhoff-Witt Theorem - Numdam
This remark extends to all discrepancies between the intended and actual dates of publication of many of Poincaré's works in. [Poincaré in memoriam 1921], for ...
[19]
[PDF] poincaré-birkhoff-witt theorems - Texas A&M University
We wish to extend the original PBW Theorem for universal enveloping algebras to other nonhomogeneous quadratic algebras. When is a given algebra a PBW.
[20]
[PDF] The Diamond Lemma for Ring Theory*
Witt's proof looks rather different. He considers a certain action of the permutation group S, upon the space spanned by monomials of degree <n.
[21]
[PDF] Koszul duality and the Poincar\'e-Birkhoff-Witt theorem - arXiv
In the special case that 𝐿 is a Lie algebra, this recovers the complex introduced by Chevalley and Eilenberg. 2. The bar construction of an 𝑨∞-algebra. The bar ...Missing: geometric | Show results with:geometric
[22]
[PDF] Poincaré-Birkhoff-Witt Theorems - UNT Math Department
Thus the original PBW Theorem compares a universal enveloping algebra U(g) to an algebra of (commutative) polynomials. Since monomials form a k-basis for a ...
[23]
[PDF] Lie groups and Lie algebras (Winter 2024)
We shall consider the auto- morphisms (and infinitesimal automorphisms) of Lie algebras and Lie groups. ... in the universal enveloping algebra U(sl(2,C)): The ...
[24]
[PDF] 18.745 F20 Lecture 12: The Universal Enveloping Algebra of a Lie ...
Differential operators on manifolds and Lie groups. We have seen in Subsection 5.2 that a vector field on a manifold X is the same thing as a derivation of the ...
[25]
[PDF] math 210c. compact lie groups - Mathematics
captures infinitesimal information at the identity, we can only hope to extract from it ... a Lie algebra representation to a Lie group representation). Combining ...
[26]
[PDF] Lie Algebras, Algebraic Groups, and Lie Groups - James Milne
May 5, 2013 · These notes are an introduction to Lie algebras, algebraic groups, and Lie groups in characteristic zero, emphasizing the relationships between ...
[27]
[PDF] Harmonic Analysis on Compact Lie Groups: the Peter-Weyl Theorem
The Peter-Weyl theorem says that representations of compact Lie groups behave very much like representa- tions of finite groups, with the analytic issues ...
[28]
[PDF] Representations of SL2(R) - UBC Math
Nov 1, 2020 · In this essay I hope to explain what is needed about representations of SL2(R) in the elementary parts of the theory of automorphic forms.
[29]
None
Summary of each segment:
[30]
Casimir elements for glN
The center Z(g) of the universal enveloping algebra U(g) is defined by. Z(g) = {z ∈ U(g) | zu = uz for all u ∈ U(g)}. Any element of the center is called a ...
[31]
3.7 Casimir operators - BOOKS
There are some, called Casimir operators, that commute with every element of the Lie algebra, and hence reduce to a multiple of the identity transformation.
[32]
[PDF] Representations of sl(2)
Mar 28, 2015 · The action of the basis elements of the Lie algebra is given by ρm(H) ... X}, so the Casimir operator is. CB = 1. 2. (XY + Y X) +. 1. 4. H2 ...
[33]
[PDF] MAT265–Mathematical Quantum Mechanics
An important fact is that this Casimir operator can distinguish vectors in different irreps because its eigenvalue is an injective function of j. The ...
[34]
[PDF] Notes on Quantum Mechanics, Representation Theory and Number ...
May 22, 2023 · for the associative algebra U(g) (the universal enveloping algebra of g). ... infinitesimal character is evaluation of the polynomial at some c ∈ ...
[35]
[PDF] The Witt algebra, Lie algebras and enveloping algebras - UCSD Math
The universal enveloping algebra of g is. U(g) = T(g)/(xy − yx = [x,y] ... The Heisenberg algebra h is a 3-dimensional Lie algebra with basis. {x,y,z} ...
[36]
[PDF] Introduction to Lie Groups and Lie Algebras Alexander Kirillov, Jr.
... center of universal enveloping algebra. Then Zg coincides with the space of invariants of Ug with respect to the adjoint action of g: Zg = (Ug)ad g. Proof ...
[37]
Enveloping algebras of Lie superalgebras - MSP
We review elementary properties of Lie superalgebras and their representations. These are later used in a discussion of the enveloping algebra U(L) of a Lie ...
[38]
Twist deformations of the supersymmetric quantum mechanics
Oct 5, 2010 · Alternatively, supersymmetry generators can be realized as operators belonging to the Universal Enveloping Superalgebra of one bosonic and ...
[39]
[hep-th/9301100] Anyons and Quantum Groups - arXiv
Jan 25, 1993 · Anyonic oscillators with fractional statistics are built on a two-dimensional square lattice by means of a generalized Jordan-Wigner construction.Missing: applications | Show results with:applications