Stable representation homology and Koszul duality

DOI10.1515/CRELLE-2014-0001zbMATH Open1428.16006arXiv1304.1753OpenAlexW2963337252MaRDI QIDQ294261FDOQ294261

Authors: Yuri Berest, Ajay Ramadoss 

Publication date: 10 June 2016

Published in: Journal für die Reine und Angewandte Mathematik (Search for Journal in Brave)

Abstract: This paper is a sequel to [BKR], where we studied the derived affine scheme DRep_n(A) of the classical representation scheme Rep_n(A) for an associative k-algebra A. In [BKR], we have constructed canonical trace maps Tr_n(A): HC(A) -> H[DRep_n(A)]^GL extending the usual characters of representations to higher cyclic homology. This raises a question whether a well known theorem of Procesi [P] holds in the derived setting: namely, is the algebra homomorphism Sym[Tr_n(A)]: Sym[HC(A)] -> H[DRep_n(A)]^GL defined by Tr_n(A) surjective ? In the present paper, we answer this question for augmented algebras. Given such an algebra, we construct a canonical dense DG subalgebra DRep_infty(A)^Tr of the topological DG algebra DRep_infty(A)^{GL_infty}. It turns out that on passing to the inverse limit (as n -> infty), the family of maps Sym[Tr_n(A)] "stabilizes" to an isomorphism Sym[�ar{HC}(A)] = H[DRep_infty(A)^Tr]. The derived version of Procesi's theorem does therefore hold in the limit. However, for a fixed (finite) n, there exist homological obstructions to the surjectivity of Sym[Tr_n(A)], and we show on simple examples that these obstructions do not vanish in general. We compare our result with the classical theorem of Loday-Quillen and Tsygan on stable homology of matrix Lie algebras. We show that the relative Chevalley-Eilenberg complex C(gl_infty(A), gl_infty(k); k) equipped with the natural coalgebra structure is Koszul dual to the DG algebra DRep_infty(A)^Tr. We also extend our main results to bigraded DG algebras, in which case we show that DRep_{infty}(A)^Tr = DRep_{infty}(A)^GL_{infty}. As an application, we compute the (bigraded) Euler characteristics of DRep_infty(A)^GL_{infty} and �ar{HC}(A) and derive some interesting combinatorial identities.

Full work available at URL: https://arxiv.org/abs/1304.1753

Recommendations

• Derived representation schemes and cyclic homology
• Homology of symplectic and orthogonal algebras
• Representation homology, Lie algebra cohomology and the derived Harish-Chandra homomorphism
• ON THE VARIATIONAL APPROXIMATION OF FREE-DISCONTINUITY PROBLEMS IN THE VECTORIAL CASE
• Derived representation schemes and noncommutative geometry.

zbMATH Keywords

augmented algebrasChevalley-Eilenberg complexhigher cyclic homology

Mathematics Subject Classification ID

(Co)homology of rings and associative algebras (e.g., Hochschild, cyclic, dihedral, etc.) (16E40) Noncommutative algebraic geometry (14A22) Differential graded algebras and applications (associative algebraic aspects) (16E45)

Cited In (13)

• Derived representation schemes and cyclic homology
• Representation homology, Lie algebra cohomology and the derived Harish-Chandra homomorphism
• Derived representation schemes and supersymmetric gauge theory
• Vanishing theorems for representation homology and the derived cotangent complex
• Calabi-Yau algebras and the shifted noncommutative symplectic structure
• Derived representation schemes and Nakajima quiver varieties
• Hodge decomposition of string topology
• Representation homology of simply connected spaces
• Derived character maps of group representations
• Dual Hodge decompositions and derived Poisson brackets
• Large \(N\) phenomena and quantization of the Loday-Quillen-Tsygan theorem
• Symmetric homology and representation homology
• On the computation of stabilized tensor functors and the relative algebraic \(K\)-theory of dual numbers

This page was built for publication: Stable representation homology and Koszul duality

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