[论文解读] Central extensions of groups and adjoint groups of quandles

Takefumi Nosaka|arXiv (Cornell University)|May 12, 2015

Geometric and Algebraic Topology参考文献 18被引用 9

一句话总结

本文提出一种通过模 $t_X$-挠性（$t_X$ 为李群的类型）的通用中心扩张来计算李群 $X$ 的伴随群 $\mathrm{As}(X)$ 的方法。证明了 $H_2^{\mathrm{gr}}(\mathrm{As}(X))$ 被 $t_X$ 消去，且 $\ker(\psi_X)$ 与 $\mathbb{Z} \oplus H_2^{\mathrm{gr}}(\mathrm{Inn}(X))$ 在 $[1/t_X]$ 意义下同构，从而实现了对连通李群的二阶李群同调的显式计算。

ABSTRACT

This paper develops an approach for describing centrally extended groups, as determining the adjoint groups associated with quandles. Furthermore, we explicitly describe such groups of some quandles. As a corollary, we determine some second quandle homologies.

研究动机与目标

• 开发一种实用的代数方法，以显式计算李群 $X$ 的伴随群 $\mathrm{As}(X)$，因为直接处理该群通常极为困难。
• 阐明 $\mathrm{As}(X)$、$\mathrm{Inn}(X)$ 与群同调（特别是 $H_2^{\mathrm{gr}}(\mathrm{As}(X))$）之间的精确关系。
• 在模挠性的前提下，确定特定李群的二阶李群同调 $H_2^Q(X)$。
• 建立 $\mathrm{As}(X)$ 作为 $\mathrm{Inn}(X)$ 的通用中心扩张（模 $t_X$-挠性），强调李群类型 $t_X$ 的关键作用。

提出的方法

• 通过生成元 $e_x$ 和关系 $e_{x\lhd y}^{-1} e_y^{-1} e_x e_y = 1$（对所有 $x,y \in X$）来定义伴随群 $\mathrm{As}(X)$。
• 引入李群类型 $t_X$ 的概念，即满足对所有 $x,y \in X$ 有 $x = x \lhd^N y$ 的最小正整数 $N$。
• 定义 $\mathrm{As}(X)$ 对 $X$ 的右作用：$x \cdot e_y = x \lhd y$，其轨道构成连通分支。
• 对每个轨道 $i$ 定义同态 $\varepsilon_i: \mathrm{As}(X) \to \mathbb{Z}$，并证明 $\mathrm{As}(X)_{\mathrm{ab}} \cong \mathbb{Z}^{\oplus \mathrm{O}(X)}$。
• 构造链同伦 $h_n$，使得 $t \cdot c_n$ 是零同伦的，其中 $c_n$ 将李群链映射到群链。
• 证明 $t \cdot c_*$ 是零同伦的，意味着 $t \cdot H_n(BX) \to H_n^{\mathrm{gr}}(\mathrm{As}(X))$ 的映射消失，这是主定理的基础。

实验结果

研究问题

• RQ1 当直接计算不可行时，如何显式计算李群 $X$ 的伴随群 $\mathrm{As}(X)$？
• RQ2 伴随群 $\mathrm{As}(X)$、内自同构群 $\mathrm{Inn}(X)$ 与二阶群同调 $H_2^{\mathrm{gr}}(\mathrm{As}(X))$ 之间存在何种精确关系？
• RQ3 李群类型 $t_X$ 如何影响 $\mathrm{As}(X)$ 及其同调的结构？
• RQ4 能否从 $\mathrm{As}(X)$ 确定二阶李群同调 $H_2^Q(X)$？若能，其条件是什么？
• RQ5 映射 $c_*: H_n(BX) \to H_n^{\mathrm{gr}}(\mathrm{As}(X))$ 在模 $t_X$-挠性下在多大程度上消失？

主要发现

• 对任意类型为 $t_X$ 的连通李群 $X$，其二阶群同调 $H_2^{\mathrm{gr}}(\mathrm{As}(X))$ 被 $t_X$ 消去。
• $\psi_X: \mathrm{As}(X) \to \mathrm{Inn}(X)$ 的作用映射的核 $\ker(\psi_X)$ 与 $\mathbb{Z} \oplus H_2^{\mathrm{gr}}(\mathrm{Inn}(X))$ 在 $[1/t_X]$ 意义下同构。
• $t_X \cdot c_*: H_n(BX) \to H_n^{\mathrm{gr}}(\mathrm{As}(X))$ 是零同伦的，意味着同调中 $t_X$-挠性消失。
• $\mathrm{As}(X)$ 实际上是 $\mathrm{Inn}(X)$ 的通用中心扩张（模 $t_X$-挠性）。
• 该方法使得对特定李群（如与考克斯特群相关的李群）的 $H_2^Q(X)$ 能够显式计算，结果在模挠性下成立。
• 链同伦 $h_n$ 的构造证明了 $t \cdot c_n$ 同伦于零，从而确认了同调中 $t$-挠性的消失。