Representation homology of simply connected spaces

DOI10.1112/TOPO.12231zbMATH Open1521.14005arXiv2007.10844OpenAlexW3044854775MaRDI QIDQ6096948FDOQ6096948

Authors: Yuri Berest, Ajay Ramadoss, Wai-Kit Yeung 

Publication date: 15 September 2023

Published in: Journal of Topology (Search for Journal in Brave)

Abstract: Let $G$ be an affine algebraic group defined over field $k$ of characteristic zero. We study the derived moduli space of G-local systems on a pointed connected CW complex X trivialized at the basepoint of $X$. This derived moduli space is represented by an affine DG scheme RLoc${}_G(X,\ast )$: we call the (co)homology of the structure sheaf of RLoc${}_G(X,\ast )$ the representation homology of $X$ in $G$ and denote it by HR${}_{\ast }(X,G)$. The HR${}_0(X,G)$ is isomorphic to the coordinate ring of the representation variety Rep${}_G[p{i}_1(X)]$ of the fundamental group of $X$ in $G$ -- a well-known algebro-geometric invariant of $X$ with many applications in topology. The case when X is simply connected seems much less studied: in this case, the HR${}_0(X,G)$ is trivial but the higher representation homology is still an interesting rational invariant of $X$ depending on the algebraic group $G$. In this paper, we use rational homotopy theory to compute the HR${}_{\ast }(X,G)$ for an arbitrary simply connected space $X$ (of finite rational type) in terms of its Quillen and Sullivan algebraic models. When $G$ is reductive, we also compute the $G$-invariant part of representation homology, HR${}_{\ast }(X,G{)}^G$, and study the question when HR${}_{\ast }(X,G{)}^G$ is free of locally finite type as a graded commutative algebra. This question turns out to be closely related to the so-called Strong Macdonald Conjecture, a celebrated result in representation theory proposed (as a conjecture) by B. Feigin and P. Hanlon in the 1980s and proved by S. Fishel, I. Grojnowski and C. Teleman in 2008. Reformulating the Strong Macdonald Conjecture in topological terms, we give a simple characterization of spaces $X$ for which HR${}_{\ast }(X,G{)}^G$ is a graded symmetric algebra for any complex reductive group $G$.

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

Recommendations

• Representation homology of topological spaces
• Rational homotopy type of the moduli of representations with Borel mold
• Representation homology, Lie algebra cohomology and the derived Harish-Chandra homomorphism
• Vanishing theorems for representation homology and the derived cotangent complex
• Homotopy groups of free group character varieties

Mathematics Subject Classification ID

Algebraic moduli problems, moduli of vector bundles (14D20) Geometric invariant theory (14L24) Rational homotopy theory (55P62) Functor categories, comma categories (18A25) Cohomology of Lie (super)algebras (17B56) Fundamental constructions in algebraic geometry involving higher and derived categories (homotopical algebraic geometry, derived algebraic geometry, etc.) (14A30)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Cyclic homology, derivations, and the free loopspace
• Equivalences of monoidal model categories
• Double affine Hecke algebras and Macdonald's conjectures
• Homotopical algebra
• Rational homotopy theory
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Infinitesimal computations in topology
• The Principal Three-Dimensional Subgroup and the Betti Numbers of a Complex Simple Lie Group
• Hodge decomposition for higher order Hochschild homology
• Title not available (Why is that?)
• Rational homotopical models and uniqueness
• Title not available (Why is that?)
• Title not available (Why is that?)
• Cohomology of polynomial functors on free groups
• Some relations between homotopy and homology
• Homological algebra of homotopy algebras
• Cyclic homology and equivariant homology
• Stable representation homology and Koszul duality
• The strong Macdonald conjecture and Hodge theory on the loop Grassmannian
• Shifted symplectic structures
• Homotopical algebraic geometry. II. Geometric stacks and applications
• Some Conjectures for Root Systems
• Homotopical algebraic geometry. I: Topos theory
• Title not available (Why is that?)
• Derived representation schemes and cyclic homology
• Derived algebraic geometry
• \(S^1\)-equivariant simplicial algebras, de Rham theory and multiplicative HKR theorems.
• On homotopy theory and c. s. s. groups
• Additive \(K\)-theory and crystalline cohomology
• On the Pontryagin product in spaces of paths
• Lie models of simplicial sets and representability of the Quillen functor
• Some conjectures and results concerning the homology of nilpotent Lie algebras
• Homotopy of operads and Grothendieck-Teichmüller groups. Part 1: The algebraic theory and its topological background
• Rational homotopy -- Sullivan models
• Adams operations in Hochschild and cyclic homology of de Rham algebra and free loop spaces
• Cyclic homology and the Macdonald conjectures
• Décomposition de Hodge pour l’homologie stable des groupes d’automorphismes des groupes libres
• Title not available (Why is that?)
• Title not available (Why is that?)
• Representation homology, Lie algebra cohomology and the derived Harish-Chandra homomorphism
• Poisson geometry of the moduli of local systems on smooth varieties
• Injective resolutions of \(BG\) and derived moduli spaces of local systems
• Title not available (Why is that?)
• Maurer–Cartan Elements in the Lie Models of Finite Simplicial Complexes
• Vanishing theorems for representation homology and the derived cotangent complex
• Chern-Simons forms and higher character maps of Lie representations
• Homology of automorphism groups of free groups with polynomial coefficients.
• Brackets in representation algebras of Hopf algebras
• Character varieties as a tensor product
• Extensions between functors from free groups
• Homotopy theory of complete Lie algebras and Lie models of simplicial sets
• Representation homology of topological spaces
• Dual Hodge decompositions and derived Poisson brackets

Cited In (6)

• Representation homology, Lie algebra cohomology and the derived Harish-Chandra homomorphism
• Vanishing theorems for representation homology and the derived cotangent complex
• Representation homology of topological spaces
• Derived character maps of group representations
• Representation spaces of Seifert fibered homology spheres
• Symmetric homology and representation homology

This page was built for publication: Representation homology of simply connected spaces

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