[论文解读] The abelianization of the Johnson kernel

Alexandru Dimca, Richard Hain+1 more|arXiv (Cornell University)|Jan 7, 2011

Homotopy and Cohomology in Algebraic Topology参考文献 13被引用 5

一句话总结

该论文证明了当 $ g \geq 4 $ 时，约翰逊核 $ K_g $ 的第一复上同调群 $ H_1(K_g,\mathbb{C}) $ 是一个非平凡的、幂零的 $ H_1(T_g,\mathbb{C}) $-模，且当 $ g \geq 6 $ 时，给出了其作为 $ \operatorname{Sym}_\bullet(H_1(T_g,\mathbb{C})) $-模的显式表示。关键结果将 $ H_1(K_g,\mathbb{C}) $ 识别为涉及曲面同调的对称幂与外幂的典范映射的余核，从而将其与映射类群的关联分次李代数的无穷小亚历山大不变量联系起来。

ABSTRACT

We prove that the first complex homology of the Johnson subgroup of the Torelli group $T_g$ is a non-trivial unipotent $T_g$-module for all $g\ge 4$ and give an explicit presentation of it as a $\Sym H_1(T_g,\C)$-module when $g\ge 6$. We do this by proving that, for a finitely generated group $G$ satisfying an assumption close to formality, the triviality of the restricted characteristic variety implies that the first homology of its Johnson kernel $K$ is a nilpotent module over the corresponding Laurent polynomial ring, isomorphic to the infinitesimal Alexander invariant of the associated graded Lie algebra of $G$. In this setup, we also obtain a precise nilpotence test.

研究动机与目标

• 确定当 $ g \geq 4 $ 时，$ H_1(K_g,\mathbb{C}) $ 作为陶瑞利群 $ T_g $ 上模的结构。
• 证明 $ H_1(K_g,\mathbb{C}) $ 是一个非平凡的、幂零的 $ H_1(T_g,\mathbb{C}) $-模。
• 当 $ g \geq 6 $ 时，给出 $ H_1(K_g,\mathbb{C}) $ 作为 $ \Gamma_g/K_g $-模的显式表示，使用对称代数作用。
• 将约翰逊核的同调与陶瑞利群的关联分次李代数的无穷小亚历山大不变量联系起来。

提出的方法

• 使用相对完备化与马尔切夫完备化的理论分析陶瑞利群的李代数。
• 定义一个典范的 $ \mathrm{Sp}(H_\mathbb{C}) $-等变映射 $ q: \operatorname{Sym}_\bullet(V_\mathbb{C}) \otimes \wedge^3 V_\mathbb{C} \to \operatorname{Sym}_\bullet(V_\mathbb{C}) \otimes Q $，其中 $ Q $ 是最高权为 $ 2\lambda_2 $ 的 $ \mathrm{Sp}(H_\mathbb{C}) $-不可约模，并研究其余核。
• 证明当 $ g \geq 6 $ 时，映射 $ q $ 的余核是有限维的，因此是关于对称代数的幂零模。
• 通过 $ \Gamma_g/K_g $ 在 $ \mathrm{Sp}(H_\mathbb{C}) \ltimes V_\mathbb{C} $ 中的扎里斯基稠密嵌入，建立 $ H_1(K_g,\mathbb{C}) $ 与 $ q $ 的余核之间的典范同构。
• 应用特征簇理论与受限特征簇条件，推导出同调模的幂零性与有限维性。
• 利用混合霍赫代数结构与下中心列的相容分裂，将作用从 $ \Gamma_g/K_g $ 提升至李代数层面，从而识别模结构。

实验结果

研究问题

• RQ1 当 $ g \geq 4 $ 时，$ H_1(K_g,\mathbb{C}) $ 是否为非平凡的、幂零的 $ H_1(T_g,\mathbb{C}) $-模？
• RQ2 当 $ g \geq 6 $ 时，$ H_1(K_g,\mathbb{C}) $ 能否作为 $ \operatorname{Sym}_\bullet(H_1(T_g,\mathbb{C})) $-模显式表示？
• RQ3 约翰逊核的同调与陶瑞利群的关联分次李代数的无穷小亚历山大不变量之间有何关系？
• RQ4 受限特征簇条件如何蕴含 $ H_1(K_g,\mathbb{C}) $ 作为对称代数上的幂零模？
• RQ5 混合霍赫代数结构与相容分裂在实现 $ \Gamma_g/K_g $-作用于 $ H_1(K_g,\mathbb{C}) $ 时起到什么作用？

主要发现

• 当 $ g \geq 4 $ 时，第一复上同调群 $ H_1(K_g,\mathbb{C}) $ 是一个非平凡的、幂零的 $ H_1(T_g,\mathbb{C}) $-模。
• 当 $ g \geq 6 $ 时，$ H_1(K_g,\mathbb{C}) $ 同构于一个典范映射 $ q $ 的余核，该余核是 $ \mathrm{Sp}(H_\mathbb{C}) \ltimes V_\mathbb{C} $-模且有限维。
• 映射 $ q $ 的余核是 $ \operatorname{Sym}_\bullet(V_\mathbb{C}) $-模的分次结构，并自然地带有 $ \mathrm{Sp}(H_\mathbb{C}) \ltimes V_\mathbb{C} $-作用，因此构成一个幂零模。
• 模 $ H_1(K_g,\mathbb{C}) $ 同构于陶瑞利群的关联分次李代数的无穷小亚历山大不变量。
• $ \Gamma_g/K_g $ 在 $ H_1(K_g,\mathbb{C}) $ 上的作用通过嵌入到 $ \mathrm{Sp}(H_\mathbb{C}) \ltimes V_\mathbb{C} $ 的扎里斯基稠密子群实现，且模结构与该作用相容。
• 受限特征簇条件蕴含 $ H_1(K_g,\mathbb{C}) $ 是 $ \operatorname{Sym}_\bullet(H_1(T_g,\mathbb{C})) $ 上的幂零模，从而提供了精确的幂零性判别方法。