SearcharxivSearch

arXiv · q-alg/9512014

L-infinity algebras and their cohomology

Abstract

An associative algebra is nothing but an odd quadratic codifferential on the tensor coalgebra of a vector space, and an A-infinity algebra is simply an arbitrary odd codifferential. Hochschild cohomology classifies the deformations of an associative algebra into an A-infinity algebra, and cyclic cohomology in the presence of an invariant inner product classifies the deformations of the associative algebra into an A-infinity algebra preserving the inner product. Similarly, a graded Lie algebra is simply a special case of an odd codifferential on the exterior coalgebra of a vector space, and an L-infinity algebra is a more general codifferential. In this paper, ordinary and cyclic cohomology of L-infinity algebras is defined, and it is shown that the cohomology of a Lie algebra (with coefficients in the adjoint representation) classifies the deformations of the Lie algebra into an L-infinity algebra. Similarly, the cyclic cohomology of a Lie algebra with an invariant inner product classifies the deformations of the Lie algebra into an L-infinity algebra which preserve the invariant inner product. The exterior coalgebra of a vector space is dual to the symmetric coalgebra of the parity reversion of the space, while the tensor coalgebra of a vector space is dual to the tensor coalgebra of its parity reversion. Using this duality, we introduce a modified bracket in the space of coderivations of the tensor and exterior coalgebras which makes it possible to treat the cohomology of an A-infinity or L-infinity as a differential graded algebra in the same manner in which the Gerstenhaber bracket is used to transform the Hochschild cochains of an associative algebra into a differential graded algebra.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Michael Penkava. 1995-12-12. L-infinity algebras and their cohomology. https://arxiv.org/abs/q-alg/9512014

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Higher-Dimensional Algebra I: Braided Monoidal 2-Categories

We begin with a brief sketch of what is known and conjectured concerning braided monoidal 2-categories and their applications to 4d topological quantum field theories and 2-tangles (surfaces embedded in 4-dimensional space). Then we give concise definitions of semistrict monoidal 2-categories and braided monoidal 2-categories, and show how these may be unpacked to give long explicit definitions similar to, but not quite the same as, those given by Kapranov and Voevodsky. Finally, we describe how to construct a semistrict braided monoidal 2-category Z(C) as the `center' of a semistrict monoidal category C. This is analogous to the construction of a braided monoidal category as the center, or `quantum double', of a monoidal category. As a corollary, our construction yields a strictification theorem for braided monoidal 2-categories.

q-alg

Idempotents of Hecke algebras of type A

We use a skein-theoretic version of the Hecke algebras of type A to present three-dimensional diagrammatic views of Gyoja's idempotent elements, based closely on the corresponding Young diagram. In this context we give straightforward calculations for the eigenvalues of two natural central elements in the Hecke algebras, namely the full curl and the sum of the Murphy operators. We discuss their calculation also in terms of the framing factor associated to the appropriate irreducible representation of the quantum group SU(N,q).

q-alg

Dual Affine Quantum Groups

Let $\hat{\mathfrak{g}}$ be an untwisted affine Kac-Moody algebra, with its Sklyanin-Drinfel'd structure of Lie bialgebra, and let $\hat{\mathfrak{h}}$ be the dual Lie bialgebra. By dualizing the quantum double construction - via formal Hopf algebras - we construct a new quantum group $U_q(\hat{\mathfrak{h}})$, dual of $U_q(\hat{\mathfrak{g}})$. Studying its restricted and unrestricted integer forms and their specializations at roots of 1 (in particular, their classical limits), we prove that $U_q(\hat{\mathfrak{h}})$ yields quantizations of $\hat{\mathfrak{h}}$ and $\hat{G}^\infty$ (the formal group attached to $\hat{\mathfrak{g}}$), and we construct new quantum Frobenius morphisms. The whole picture extends to the untwisted affine case the results known for quantum groups of finite type.

q-alg