Representation homology of simply connected spaces,Journal of Topology

当前位置： X-MOL 学术 › J. Topol. › 论文详情

Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)

Representation homology of simply connected spaces
Journal of Topology ( IF 0.8 ) Pub Date : 2022-05-09 , DOI: 10.1112/topo.12231
Yuri Berest ₁ , Ajay C. Ramadoss ₂ , Wai‐Kit Yeung ₃

Affiliation

Let

G

$G $G$$ be an affine algebraic group defined over a field

k

$k $k$$ of characteristic 0. We study the derived moduli space of

G

$G $G$$ -local systems on a pointed connected CW complex

X

$X $X$$ trivialized at the basepoint of

X

$X $X$$ . This derived moduli space is represented by an affine DG scheme

\bm{\mathrm{R}}\mathrm{Loc}_G(X,\ast )

$R {Loc}_{G} (X, *) $ \bm{\mathrm{R}}\mathrm{Loc}_G(X,\ast )$$ : we call the (co)homology of the structure sheaf of

\bm{\mathrm{R}}\mathrm{Loc}_G(X,\ast )

$R {Loc}_{G} (X, *) $ \bm{\mathrm{R}}\mathrm{Loc}_G(X,\ast )$$ the representation homology of

X

$X $X$$ in

G

$G $G$$ and denote it by

\mathrm{HR}_\ast (X,G)

${HR}_{*} (X, G) $ \mathrm{HR}_\ast (X,G)$$ . The 0-dimensional homology,

\mathrm{HR}_0(X,G)

${HR}_{0} (X, G) $ \mathrm{HR}_0(X,G)$$ , is isomorphic to the coordinate ring of the

G

$G $G$$ -representation variety

{\rm {Rep}}_G[\pi _1(X)]

${Rep}_{G} [π_{1} (X)] $ {\rm {Rep}}_G[\pi _1(X)]$$ of the fundamental group of

X

$X $X$$ — a well-known algebro-geometric invariant that plays a role in many areas of topology. The higher representation homology is much less studied. In particular, when

X

$X $X$$ is simply connected,

\mathrm{HR}_0(X,G)

${HR}_{0} (X, G) $ \mathrm{HR}_0(X,G)$$ is trivial but

\mathrm{HR}_*(X,G)

${HR}_{*} (X, G) $ \mathrm{HR}_*(X,G)$$ is still an interesting rational invariant of

X

$X $X$$ that depends on the Lie algebra of

G

$G $G$$ . In this paper, we use Quillen's rational homotopy theory to compute the representation homology of an arbitrary simply connected space (of finite rational type) in terms of its Lie and Sullivan algebraic models. When

G

$G $G$$ is reductive, we also compute

\mathrm{HR}_\ast (X,G)^G

${HR}_{*} {(X, G)}^{G} $ \mathrm{HR}_\ast (X,G)^G$$ , the

G

$G $G$$ -invariant part of representation homology, and study the question when

\mathrm{HR}_\ast (X,G)^G

${HR}_{*} {(X, G)}^{G} $ \mathrm{HR}_\ast (X,G)^G$$ is free of locally finite type as a graded commutative algebra. This question turns out to be related to the so-called Strong Macdonald Conjecture, a celebrated result in representation theory proposed (as a conjecture) by Feigin and Hanlon in the 1980s and proved by Fishel, Grojnowski and Teleman in 2008. Reformulating the Strong Macdonald Conjecture in topological terms, we give a simple characterization of spaces