Stable representation homology and Koszul duality
From MaRDI portal
Publication:294261
DOI10.1515/CRELLE-2014-0001zbMATH Open1428.16006arXiv1304.1753OpenAlexW2963337252MaRDI QIDQ294261FDOQ294261
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
(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
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. 👍 👎
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)
