A characterization of the differential in semi-infinite cohomology

DOI10.1006/JABR.1993.1249MaRDI QIDQ1320177zbMATH OpenOpenAlexFDO

Authors Fusun Akman

Publication date 14 September 1995

Published in Journal of Algebra (Search for Journal in Brave)

Copyright license Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International

Full work available at URL https://arxiv.org/abs/hep-th/9302141

zbMATH Keywords

semi-infinite cohomologysemi-infinite formssuper Heisenberg Lie algebrasuperderivation

Mathematics Subject Classification ID

Cohomology of Lie (super)algebras (17B56) Infinite-dimensional Lie (super)algebras (17B65) Graded Lie (super)algebras (17B70)

Abstract: Semi-infinite cohomology is constructed from scratch as the proper generalization of finite dimensional Lie algebra cohomology. The differential d and other operators are realized as universal inner deri- vations of a completed algebra, which acts on any appropriate semi-infinite complex. In particular, d is shown to be the unique derivation satisfying the "Cartan identity" and certain natural degree conditions. The proof that d is square-zero may well be the shortest (arguably, the only) one in print.

Review text

The author shows the existence and uniqueness of a canonical zero-square differential operator \(d\) of a complex \(M\otimes \Lambda^{\infty/ 2+*} {\mathcal G}'\) defining the semi-infinite cohomology [\textit{B. Feigin}, Russ. Math. Surv. 39, No. 2, 155-156 (1984); translation from Usp. Mat. Nauk 39, No. 2, 195-196 (1984; Zbl 0544.17009)]. Given a \(\mathbb{Z}\)-graded Lie algebra \({\mathcal G}= \bigoplus_{n\in \mathbb{Z}} {\mathcal G}_ n\) over a field \(K\) of characteristic 0, with \(\dim ({\mathcal G}_ n)< \infty\) for all \(n\in \mathbb{Z}\), and a certain central extension \(\widetilde {\mathcal G}\) of \({\mathcal G}\), he considers an associative algebra \(Y^ \infty {\mathcal G}\) and the \(Y^ \infty {\mathcal G}\)-module \(M\otimes \Lambda^{\infty/ 2+*} {\mathcal G}'\), where \(M\) is a smooth \(\widetilde {\mathcal G}\)-module and \(\Lambda^{\infty/ 2+*} {\mathcal G}'\) is the space of the semi-infinite forms, with \({\mathcal G}'= \bigoplus_{n\in \mathbb{Z}} {\mathcal G}_ n^ \prime\) and \({\mathcal G}_ n^ \prime= \underline {\Hom}_ K ({\mathcal G}_{-n}, K)\). The differential \(d\) is defined using only the language of derivations.

Recommendations

• scientific article; zbMATH DE number 647425
• Semi-infinite homological algebra
• Massey products in graded Lie algebra cohomology
• scientific article; zbMATH DE number 1070733
• On the adjoint map of homotopy abelian DG-Lie algebras.
• scientific article; zbMATH DE number 1795932
• \(L_\infty \) structures on mapping cones
• scientific article; zbMATH DE number 1089301
• scientific article; zbMATH DE number 599033
• Semi-infinite cohomology and string theory

Cited in

(8)

• Semi-infinite homological algebra
• On some generalizations of Batalin-Vilkovisky algebras
• scientific article; zbMATH DE number 647425 (Why is no real title available?)
• scientific article; zbMATH DE number 1795932 (Why is no real title available?)
• Refinements of the Chern-Dold character: cocycle additions in differential cohomology
• Axiomatic characterization of ordinary differential cohomology
• The BRST quantisation of chiral BMS-like field theories
• The cohomology algebra of the semi-infinite Weil complex

This page was built for publication: A characterization of the differential in semi-infinite cohomology

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1320177)