Lie coalgebra

Last updated June 10, 2021

In mathematics a Lie coalgebra is the dual structure to a Lie algebra.

Definition

Let E be a vector space over a field k equipped with a linear mapping $d\colon E\to E\wedge E$ from E to the exterior product of E with itself. It is possible to extend d uniquely to a graded derivation (this means that, for any a, b∈E which are homogeneous elements, $d(a\wedge b)=(da)\wedge b+(-1)^{\deg a}a\wedge (db)$ ) of degree 1 on the exterior algebra of E:

d\colon \bigwedge ^{\bullet }E\rightarrow \bigwedge ^{\bullet +1}E.

Then the pair (E, d) is said to be a Lie coalgebra if d² = 0, i.e., if the graded components of the exterior algebra with derivation ${\textstyle (\bigwedge ^{*}E,d)}$ form a cochain complex:

E\ \xrightarrow {d} \ E\wedge E\ \xrightarrow {d} \ \bigwedge ^{3}E\xrightarrow {d} \ \cdots

Relation to de Rham complex

Just as the exterior algebra (and tensor algebra) of vector fields on a manifold form a Lie algebra (over the base field K), the de Rham complex of differential forms on a manifold form a Lie coalgebra (over the base field K). Further, there is a pairing between vector fields and differential forms.

However, the situation is subtler: the Lie bracket is not linear over the algebra of smooth functions $C^{\infty }(M)$ (the error is the Lie derivative), nor is the exterior derivative: $d(fg)=(df)g+f(dg)\neq f(dg)$ (it is a derivation, not linear over functions): they are not tensors. They are not linear over functions, but they behave in a consistent way, which is not captured simply by the notion of Lie algebra and Lie coalgebra.

Further, in the de Rham complex, the derivation is not only defined for $\Omega ^{1}\to \Omega ^{2}$ , but is also defined for $C^{\infty }(M)\to \Omega ^{1}(M)$ .

The Lie algebra on the dual

A Lie algebra structure on a vector space is a map $[\cdot ,\cdot ]\colon {\mathfrak {g}}\times {\mathfrak {g}}\to {\mathfrak {g}}$ which is skew-symmetric, and satisfies the Jacobi identity. Equivalently, a map $[\cdot ,\cdot ]\colon {\mathfrak {g}}\wedge {\mathfrak {g}}\to {\mathfrak {g}}$ that satisfies the Jacobi identity.

Dually, a Lie coalgebra structure on a vector space E is a linear map $d\colon E\to E\otimes E$ which is antisymmetric (this means that it satisfies $\tau \circ d=-d$ , where $\tau$ is the canonical flip $E\otimes E\to E\otimes E$ ) and satisfies the so-called cocycle condition (also known as the co-Leibniz rule)

\left(d\otimes \mathrm {id} \right)\circ d=\left(\mathrm {id} \otimes d\right)\circ d+\left(\mathrm {id} \otimes \tau \right)\circ \left(d\otimes \mathrm {id} \right)\circ d

.

Due to the antisymmetry condition, the map $d\colon E\to E\otimes E$ can be also written as a map $d\colon E\to E\wedge E$ .

The dual of the Lie bracket of a Lie algebra ${\mathfrak {g}}$ yields a map (the cocommutator)

[\cdot ,\cdot ]^{*}\colon {\mathfrak {g}}^{*}\to ({\mathfrak {g}}\wedge {\mathfrak {g}})^{*}\cong {\mathfrak {g}}^{*}\wedge {\mathfrak {g}}^{*}

where the isomorphism $\cong$ holds in finite dimension; dually for the dual of Lie comultiplication. In this context, the Jacobi identity corresponds to the cocycle condition.

More explicitly, let E be a Lie coalgebra over a field of characteristic neither 2 nor 3. The dual space E^* carries the structure of a bracket defined by

α([x, y]) = dα(x∧y), for all α∈E and x,y∈E^*.

We show that this endows E^* with a Lie bracket. It suffices to check the Jacobi identity. For any x, y, z ∈ E^* and α ∈ E,

{\begin{aligned}d^{2}\alpha (x\wedge y\wedge z)&={\frac {1}{3}}d^{2}\alpha (x\wedge y\wedge z+y\wedge z\wedge x+z\wedge x\wedge y)\\&={\frac {1}{3}}\left(d\alpha ([x,y]\wedge z)+d\alpha ([y,z]\wedge x)+d\alpha ([z,x]\wedge y)\right),\end{aligned}}

where the latter step follows from the standard identification of the dual of a wedge product with the wedge product of the duals. Finally, this gives

d^{2}\alpha (x\wedge y\wedge z)={\frac {1}{3}}\left(\alpha ([[x,y],z])+\alpha ([[y,z],x])+\alpha ([[z,x],y])\right).

Since d² = 0, it follows that

\alpha ([[x,y],z]+[[y,z],x]+[[z,x],y])=0

, for any α, x, y, and z.

Thus, by the double-duality isomorphism (more precisely, by the double-duality monomorphism, since the vector space needs not be finite-dimensional), the Jacobi identity is satisfied.

In particular, note that this proof demonstrates that the cocycle condition d² = 0 is in a sense dual to the Jacobi identity.

Related Research Articles

Lie algebra vector space with an alternating binary operation satisfying the Jacobi identity.

In mathematics, a Lie algebra is a vector space $together with an operation called the Lie bracket, an alternating bilinear map, that satisfies the Jacobi identity. The vector space together with this operation is a non-associative algebra, meaning that the Lie bracket is not necessarily associative.$

In mathematics, the exterior product or wedge product of vectors is an algebraic construction used in geometry to study areas, volumes, and their higher-dimensional analogues. The exterior product of two vectors $and, denoted by, is called a bivector and lives in a space called the exterior square, a vector space that is distinct from the original space of vectors. The magnitude of can be interpreted as the area of the parallelogram with sides and, which in three dimensions can also be computed using the cross product of the two vectors. More generally, all parallel plane surfaces with the same orientation and area have the same bivector as a measure of their oriented area. Like the cross product, the exterior product is anticommutative, meaning that for all vectors and, but, unlike the cross product, the exterior product is associative.$

In mathematics, a Lie superalgebra is a generalisation of a Lie algebra to include a Z₂-grading. Lie superalgebras are important in theoretical physics where they are used to describe the mathematics of supersymmetry. In most of these theories, the even elements of the superalgebra correspond to bosons and odd elements to fermions.

In mathematics, the adjoint representation of a Lie group G is a way of representing the elements of the group as linear transformations of the group's Lie algebra, considered as a vector space. For example, if G is $, the Lie group of real n -by- n invertible matrices, then the adjoint representation is the group homomorphism that sends an invertible n -by- n matrix to an endomorphism of the vector space of all linear transformations of defined by: .$

In mathematics, coalgebras or cogebras are structures that are dual to unital associative algebras. The axioms of unital associative algebras can be formulated in terms of commutative diagrams. Turning all arrows around, one obtains the axioms of coalgebras. Every coalgebra, by duality, gives rise to an algebra, but not in general the other way. In finite dimensions, this duality goes in both directions.

In mathematics, a bialgebra over a field K is a vector space over K which is both a unital associative algebra and a counital coassociative coalgebra. The algebraic and coalgebraic structures are made compatible with a few more axioms. Specifically, the comultiplication and the counit are both unital algebra homomorphisms, or equivalently, the multiplication and the unit of the algebra both are coalgebra morphisms.

In mathematics, the Hodge star operator or Hodge star is a linear map defined on the exterior algebra of a finite-dimensional oriented vector space endowed with a nondegenerate symmetric bilinear form. Applying the operator to an element of the algebra produces the Hodge dual of the element. This map was introduced by W. V. D. Hodge.

In mathematics, a Lie algebroid is a vector bundle $together with a Lie bracket on its space of sections and a vector bundle morphism, satisfying a Leibniz rule.$

In the mathematical field of representation theory, a Lie algebra representation or representation of a Lie algebra is a way of writing a Lie algebra as a set of matrices in such a way that the Lie bracket is given by the commutator. In the language of physics, one looks for a vector space $together with a collection of operators on satisfying some fixed set of commutation relations, such as the relations satisfied by the angular momentum operators.$

In mathematics, the tensor algebra of a vector space V, denoted T(V) or T^•(V), is the algebra of tensors on V with multiplication being the tensor product. It is the free algebra on V, in the sense of being left adjoint to the forgetful functor from algebras to vector spaces: it is the "most general" algebra containing V, in the sense of the corresponding universal property.

In differential geometry, a Lie algebra-valued form is a differential form with values in a Lie algebra. Such forms have important applications in the theory of connections on a principal bundle as well as in the theory of Cartan connections.

In mathematics, the Frölicher–Nijenhuis bracket is an extension of the Lie bracket of vector fields to vector-valued differential forms on a differentiable manifold.

In mathematics—more specifically, in differential geometry—the musical isomorphism is an isomorphism between the tangent bundle $and the cotangent bundle of a pseudo-Riemannian manifold induced by its metric tensor. There are similar isomorphisms on symplectic manifolds. The term musical refers to the use of the symbols (flat) and (sharp). The exact origin of this notation is not known, but the term musicality in this context would be due to Marcel Berger.$

In mathematics, a Lie bialgebra is the Lie-theoretic case of a bialgebra: it is a set with a Lie algebra and a Lie coalgebra structure which are compatible.

In mathematics, the spin representations are particular projective representations of the orthogonal or special orthogonal groups in arbitrary dimension and signature. More precisely, they are representations of the spin groups, which are double covers of the special orthogonal groups. They are usually studied over the real or complex numbers, but they can be defined over other fields.

In algebra, a triple system is a vector space V over a field F together with a F-trilinear map

A quadratic Lie algebra is a Lie algebra together with a compatible symmetric bilinear form. Compatibility means that it is invariant under the adjoint representation. Examples of such are semisimple Lie algebras, such as su(n) and sl(n,R).

In mathematics, the Kodaira–Spencer map, introduced by Kunihiko Kodaira and Donald C. Spencer, is a map associated to a deformation of a scheme or complex manifold X, taking a tangent space of a point of the deformation space to the first cohomology group of the sheaf of vector fields on X.

A Lie bialgebroid is a mathematical structure in the area of non-Riemannian differential geometry. In brief a Lie bialgebroid are two compatible Lie algebroids defined on dual vector bundles. They form the vector bundle version of a Lie bialgebra.

Lie algebra extension Creating a "larger" Lie algebra from a smaller one, in one of several ways

In the theory of Lie groups, Lie algebras and their representation theory, a Lie algebra extension $e$ is an enlargement of a given Lie algebra $g$ by another Lie algebra $h$ . Extensions arise in several ways. There is the trivial extension obtained by taking a direct sum of two Lie algebras. Other types are the split extension and the central extension. Extensions may arise naturally, for instance, when forming a Lie algebra from projective group representations. Such a Lie algebra will contain central charges.

References

Michaelis, Walter (1980), "Lie coalgebras", Advances in Mathematics , 38 (1): 1–54, doi: 10.1016/0001-8708(80)90056-0 , ISSN 0001-8708, MR 0594993

This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.