Representation homology of simply connected spaces
Representation homology of simply connected spaces
复制标题
简单连通空间的表示同调
DOI：
10.1112/topo.12231
复制
发表时间：
2022
影响因子：
1.1
通讯作者：
Yuri Berest, Ajay C.
中科院分区：
文献类型：
--
作者：
Yuri Berest, Ajay C.
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 )$ therepresentation homology ofX$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$.
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 )$ therepresentation homology ofX$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$.
登录
查看更多内容
有理同伦模型和唯一性
DOI：
10.1090/memo/0682
发表时间：
1999
期刊：
arXiv: Representation Theory
影响因子：
--
作者：
M. Majewski
通讯作者：
M. Majewski
作为张量积的字符品种
DOI：
10.1016/j.jalgebra.2017.09.004
发表时间：
2016
期刊：
arXiv: Rings and Algebras
影响因子：
--
作者：
M. Kassabov;Sasha Patotski
通讯作者：
Sasha Patotski
Hopf 代数的表示代数中的括号
影响因子：
0.9
作者：
G. Massuyeau;V. Turaev
通讯作者：
V. Turaev
影响因子：
1.1
作者：
Urtzi Buijs;Yves F'elix;A. Murillo;Daniel Tanr'e
通讯作者：
Daniel Tanr'e
影响因子：
1
作者：
Berest, Yuri;Ramadoss, Ajay C;Yeung, Wai-Kit
通讯作者：
Yeung, Wai-Kit