Representation homology, Lie algebra cohomology and the derived Harish-Chandra homomorphism
From MaRDI portal
Publication:2403285
Chevalley-Eilenberg complexderived representation schemeHarish-Chandra homomorphismKoszul dualityLie algebra cohomologyMacdonald identity
Category-theoretic methods and results in associative algebras (except as in 16D90) (16B50) (Co)homology of rings and associative algebras (e.g., Hochschild, cyclic, dihedral, etc.) (16E40) Differential graded algebras and applications (associative algebraic aspects) (16E45) Representation theory of associative rings and algebras (16G99) Cohomology of Lie (super)algebras (17B56) Poisson algebras (17B63) Symplectic structures of moduli spaces (53D30)
Abstract: We study the derived representation scheme DRep_n(A) parametrizing the n-dimensional representations of an associative algebra A over a field of characteristic zero. We show that the homology of DRep_n(A) is isomorphic to the Chevalley-Eilenberg homology of the current Lie coalgebra gl_n^*(C) defined over a Koszul dual coalgebra of A. We extend this isomorphism to representation schemes of Lie algebras: for a finite-dimensional reductive Lie algebra g, we define the derived affine scheme DRep_g(a) parametrizing the representations (in g) of a Lie algebra a; we show that the homology of DRep_g(a) is isomorphic to the Chevalley-Eilenberg homology of the Lie coalgebra g^*(C), where C is a cocommutative DG coalgebra Koszul dual to the Lie algebra a. We construct a canonical DG algebra map Phi_g(a) : DRep_g(a)^G -> DRep_h(a)^W, which is a homological extension of the classical restriction homomorphism. We call Phi_g(a) a derived Harish-Chandra homomorphism. We conjecture that, for a two-dimensional abelian Lie algebra a, the derived Harish-Chandra homomorphism is a quasi-isomorphism, and provide some evidence for this conjecture. For any complex Lie algebra g, we compute the Euler characteristic of DRep_g(a)^G in terms of matrix integrals over G and compare it to the Euler characteristic of DRep_h(a)^W.This yields an interesting combinatorial identity, which we prove for gl_n and sl_n (for all n). Our identity is analogous to the classical Macdonald identity, and our quasi-isomorphism conjecture is analogous to the strong Macdonald conjecture proved by S.Fishel, I.Grojnowski and C.Teleman. We explain this analogy by giving a new homological interpretation of Macdonald's conjectures in terms of derived representation schemes, parallel to our Harish-Chandra quasi-isomorphism conjecture.
Recommendations
Cites work
- A-infinity algebras, modules and functor categories
- Additive K-theory and crystalline cohomology
- Algebra cochains and cyclic cohomology
- Algebraic operads
- Chern-Simons forms and higher character maps of Lie representations
- Clifford algebras and Lie theory
- Conjectures on the quotient ring by diagonal invariants
- Cyclic homology and the Lie algebra homology of matrices
- Cyclic homology and the Macdonald conjectures
- Derived Quot schemes
- Derived representation schemes and cyclic homology
- Derived representation schemes and noncommutative geometry.
- DG coalgebras as formal stacks
- Differential Operators on a Semisimple Lie Algebra
- Double affine Hecke algebras and Macdonald's conjectures
- Dual Hodge decompositions and derived Poisson brackets
- Homological algebra of homotopy algebras
- Homology of symplectic and orthogonal algebras
- Homotopical algebra
- scientific article; zbMATH DE number 981542 (Why is no real title available?)
- scientific article; zbMATH DE number 4202514 (Why is no real title available?)
- scientific article; zbMATH DE number 3819964 (Why is no real title available?)
- scientific article; zbMATH DE number 4033977 (Why is no real title available?)
- scientific article; zbMATH DE number 4073231 (Why is no real title available?)
- scientific article; zbMATH DE number 4089686 (Why is no real title available?)
- scientific article; zbMATH DE number 98283 (Why is no real title available?)
- scientific article; zbMATH DE number 3526915 (Why is no real title available?)
- scientific article; zbMATH DE number 3636229 (Why is no real title available?)
- scientific article; zbMATH DE number 503452 (Why is no real title available?)
- scientific article; zbMATH DE number 1093754 (Why is no real title available?)
- scientific article; zbMATH DE number 2078161 (Why is no real title available?)
- scientific article; zbMATH DE number 821242 (Why is no real title available?)
- scientific article; zbMATH DE number 937397 (Why is no real title available?)
- scientific article; zbMATH DE number 970691 (Why is no real title available?)
- scientific article; zbMATH DE number 3032538 (Why is no real title available?)
- scientific article; zbMATH DE number 3077184 (Why is no real title available?)
- Lectures on affine Hecke algebras and Macdonald’s conjectures
- Lie coalgebras and rational homotopy theory. I: Graph coalgebras
- Linear representations, symmetric products and the commuting scheme
- Moduli of linear representations, symmetric products and the non commutative Hilbert scheme
- Non-commutative quasi-Hamiltonian spaces
- Non-commutative symplectic geometry, quiver varieties, and operads
- On a Harish-Chandra homomorphism
- On the derived invariance of cohomology theories for coalgebras.
- On the groups \(H(\Pi,n)\). I
- Poisson-Gerstenhaber brackets in representation algebras
- Rational homotopy theory
- Seiberg-Witten prepotential from instanton counting
- Some conjectures and results concerning the homology of nilpotent Lie algebras
- Some Conjectures for Root Systems
- Stable representation homology and Koszul duality
- The intrinsic bracket on the deformation complex of an associative algebra
- The invariant theory of n n matrices
- The strong Macdonald conjecture and Hodge theory on the loop Grassmannian
- Vector invariants of a class of pseudoreflection groups and multisymmetric syzygies
Cited in
(19)- Analyticity of Nekrasov partition functions
- Twisted bi-symplectic structure on Koszul twisted Calabi-Yau algebras
- Dual Hodge decompositions and derived Poisson brackets
- Vanishing theorems for representation homology and the derived cotangent complex
- Derived representation schemes and cyclic homology
- Stable representation homology and Koszul duality
- Chern-Simons forms and higher character maps of Lie representations
- Hodge decomposition of string topology
- Derived representation schemes and supersymmetric gauge theory
- Representations and cohomologies of regular Hom-pre-Lie algebras
- Hirota derivatives and representation theory
- Representation homology of simply connected spaces
- A higher-dimensional Chevalley restriction theorem for orthogonal groups
- Symmetric homology and representation homology
- Derived character maps of group representations
- Commuting schemes of upper triangular matrices and representation homology
- Stable homology of Lie algebras of derivations and homotopy invariants of wheeled operads
- Protoperads II: Koszul duality
- On the Harish-Chandra homomorphism for infinite-dimensional Lie algebras
This page was built for publication: Representation homology, Lie algebra cohomology and the derived Harish-Chandra homomorphism
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2403285)
