Representation homology of simply connected spaces

DOI10.1112/TOPO.12231MaRDI QIDQ6096948zbMATH OpenOpenAlexFDO

Authors Yuri Berest, Ajay Ramadoss, Wai-Kit Yeung

Publication date 15 September 2023

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

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

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)

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, *)

: we call the (co)homology of the structure sheaf of RLoc

_{G} (X, *)

the representation homology of

X

in

G

and denote it by HR

_{*} (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

_{*} (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

_{*} (X, G)^{G}

, and study the question when HR

_{*} (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

_{*} (X, G)^{G}

is a graded symmetric algebra for any complex reductive group

G

.

Recommendations

Cites work

Cited in

(6)

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)