中文

关于 Lie 群中交换元素空间的第二同伦群

代数拓扑 2021-10-11 v2

摘要

GG 为紧连通 Lie 群,n1n\geqslant 1 为整数。考虑 GG 中有序交换 nn-元组构成的空间 Hom(Zn,G)Hom(\mathbb{Z}^n,G),及其在伴随作用下的商 Rep(Zn,G):=Hom(Zn,G)/GRep(\mathbb{Z}^n,G):=Hom(\mathbb{Z}^n,G)/G。在本文中我们研究并在许多情形计算了同伦群 π2(Hom(Zn,G))\pi_2(Hom(\mathbb{Z}^n,G))。对于单连通单 GG,我们证明 π2(Hom(Z2,G))Z\pi_2(Hom(\mathbb{Z}^2,G))\cong \mathbb{Z}π2(Rep(Z2,G))Z\pi_2(Rep(\mathbb{Z}^2,G))\cong \mathbb{Z},并且在这些群上商映射 Hom(Z2,G)Rep(Z2,G)Hom(\mathbb{Z}^2,G)\to Rep(\mathbb{Z}^2,G) 诱导出 GG 的 Dynkin 指标的乘法。更一般地,我们证明若 GG 为单群且 Hom(Z2,G)1Hom(Z2,G)Hom(\mathbb{Z}^2,G)_{1}\subseteq Hom(\mathbb{Z}^2,G) 为平凡同态的道路分支,则 H2(Hom(Z2,G)1;Z)H_2(Hom(\mathbb{Z}^2,G)_{1};\mathbb{Z})π1(G)2\pi_1(G)^2 的 Schur 乘子被 Z\mathbb{Z} 的扩张。我们应用我们的计算证明若 BcomG1B_{com}G_{1} 为恒等分支处交换性的分类空间,则 π4(BcomG1)ZZ\pi_4(B_{com}G_{1})\cong \mathbb{Z}\oplus \mathbb{Z},并构造了球面 S4\mathbb{S}^{4} 上平凡主 GG-丛上非平凡转移交换结构的例子。

关键词

引用

@article{arxiv.2009.09045,
  title  = {On the second homotopy group of spaces of commuting elements in Lie groups},
  author = {Alejandro Adem and José Manuel Gómez and Simon Gritschacher},
  journal= {arXiv preprint arXiv:2009.09045},
  year   = {2021}
}

备注

Final version accepted for publication (open access CC-BY) in Int. Math. Res. Not. IMRN