Semi-infinite homological algebra
type: Item
instance of: scholarly article
title: Semi-infinite homological algebra
zbMATH Open document ID: 0805.17015
DOI: 10.1007/BF01244304
author: Alexander A. Voronov
published in: Inventiones Mathematicae
publication date: 1995-02-05T00:00:00Z
full work available at URL: https://eudml.org/doc/144124
review text: The paper starts with a review of some elements of the construction of semi-infinite cohomology via the Feigin standard complex, which is based on semi-infinite forms (forms of ``\(\infty/2\) degree'') [\textit{B. L. Feigin}, Russ. Math. Surv. 39, No. 2, 155-156 (1984); translation from Usp. Mat. Nauk 39, No. 2, 195-196 (1984; Zbl 0544.17009)]. The cohomology vector spaces \(H^{\infty/2+n} ({\mathfrak g}, M)\) \((n\in\mathbb{Z})\) of the Feigin complex are defined on a \(\mathbb{Z}\)-graded Lie algebra \({\mathfrak g}= \bigoplus_{n\in\mathbb{Z}} {\mathfrak g}_ n\) over a field \(k\) of characteristic 0, with \(\dim({\mathfrak g}_ n)<\infty\) for all \(n\in\mathbb{Z}\), and take values in a \(\mathbb{Z}\)-graded \({\mathfrak g}\)-module \(M\) such that the action law \(U({\mathfrak g})\times M\mapsto M\) is continuous. Here, \(U({\mathfrak g})\) is the universal enveloping algebra of \({\mathfrak g}\), endowed with the topology defined by the filtration associated with the grading inherited from that of \({\mathfrak g}\), and \(M\) is equipped with the discrete topology. It is shown that, besides the long exact sequence of cohomology vector spaces which follows, via the Snake Lemma, from a short exact sequence of \({\mathfrak g}\)-modules, there exist also two semi-infinite analogues of the Hochschild-Serre spectral sequence. Then the author introduces and studies two-sided derived functors of the functors of semivariants \(F:M\mapsto H^{\infty/ 2+0} ({\mathfrak g},M)\). He proves that, for each \(n\in\mathbb{Z}\), the functor \(M\mapsto H^{\infty/2+n} ({\mathfrak g},M)\) of semi-infinite cohomology coincides with the two-sided derived functor \(M\mapsto D^ n F(M)\) of the functor \(F\).
Mathematics Subject Classification ID: 17B56
Mathematics Subject Classification ID: 18G10
Mathematics Subject Classification ID: 17B70
zbMATH DE Number: 549683
zbMATH Keywords: semi-infinite cohomologye
zbMATH Keywords: Feigin standard complex
zbMATH Keywords: two-sided derived functors
MaRDI profile type: Publication
cites work: Moduli spaces of curves and representation theory
cites work: BRST analysis of physical states for 2D gravity coupled to \(c\leqq{}1\) matter
cites work: Affine Kac-Moody algebras and semi-infinite flag manifolds
cites work: Bosonic ghost system and the Virasoro algebra
cites work: Quantization of the Drinfel'd-Sokolov reduction.
cites work: Representations of affine Kac-Moody algebras, bosonization and resolutions
cites work: Semi-infinite Weil complex and the Virasoro algebra
cites work: Q3798823
cites work: Q3209294
cites work: An instanton-invariant for 3-manifolds
cites work: Morse theory for Lagrangian intersections
cites work: Cuplength estimates on lagrangian intersections
cites work: Q3972892
cites work: Characters and fusion rules for \(W\)-algebras via quantized Drinfeld- Sokolov reduction
cites work: Semi-infinite cohomology and string theory
cites work: Lie algebra homology and the Macdonald-Kac formulas
cites work: Q4889850
cites work: Q3915179
cites work: Q4040877
cites work: Spin and wedge representations of infinite-dimensional Lie algebras and groups
cites work: Q4011447
cites work: BRST cohomology of the super-Virasoro algebras
cites work: Q3139080
cites work: BRST cohomology and highest weight vectors. I
cites work: Q4320990
cites work: Semi-infinite homology and 2D gravity. I
cites work: Q3754832
cites work: Q3775700
cites work: Q4320995
description: scientific article; zbMATH DE number 549683