当前位置: 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 1 , Ajay C. Ramadoss 2 , Wai‐Kit Yeung 3
Affiliation  

Let G$G$ be an affine algebraic group defined over a field k$k$ of characteristic 0. We study the derived moduli space of G$G$-local systems on a pointed connected CW complex X$X$ trivialized at the basepoint of X$X$. This derived moduli space is represented by an affine DG scheme RLocG(X,*)$ \bm{\mathrm{R}}\mathrm{Loc}_G(X,\ast )$: we call the (co)homology of the structure sheaf of RLocG(X,*)$ \bm{\mathrm{R}}\mathrm{Loc}_G(X,\ast )$ the representation homology of X$X$ in G$G$ and denote it by HR*(X,G)$ \mathrm{HR}_\ast (X,G)$. The 0-dimensional homology, HR0(X,G)$ \mathrm{HR}_0(X,G)$, is isomorphic to the coordinate ring of the G$G$-representation variety RepG[π1(X)]$ {\rm {Rep}}_G[\pi _1(X)]$ of the fundamental group of 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$ is simply connected, HR0(X,G)$ \mathrm{HR}_0(X,G)$ is trivial but HR(X,G)$ \mathrm{HR}_*(X,G)$ is still an interesting rational invariant of X$X$ that depends on the Lie algebra of 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$ is reductive, we also compute HR*(X,G)G$ \mathrm{HR}_\ast (X,G)^G$, the G$G$-invariant part of representation homology, and study the question when 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 X$X$ for which HR*(X,G)G$ \mathrm{HR}_\ast (X,G)^G$ is a graded symmetric algebra for any complex reductive group G$G$.
更新日期:2022-05-10
down
wechat
bug