[论文解读] Representations of Galois Groups on the Homology of Surfaces

Thomas Koberda, Aaron Michael Silberstein|ArXiv.org|May 18, 2009

Algebraic Geometry and Number Theory参考文献 5被引用 8

一句话总结

本文分类了有限伽罗瓦覆叠的黎曼曲面上，伽罗瓦群在第一同调上的作用，区分了无分支与分支情形。它在无分支情形下几何实现全纯1-形式为G-主齐性空间上的函数，并通过分歧数据完全分类了分支情形下的同调表示，为映射类群表示与伪阿诺索夫动力学提供了新工具。

ABSTRACT

Let $p:Σ' oΣ$ be a finite Galois cover, possibly branched, with Galois group $G$. We are interested in the structure of the cohomology of $Σ'$ as a module over $G$. We treat the cases of branched and unbranched covers separately. In the case of branched covers, we give a complete classification of possible module structures of $H_1(Σ',\bC)$. In the unbranched case, we algebro-geometrically realize the representation of $G$ on holomorphic 1-forms on $Σ'$ as functions on unions of $G$-torsors. We also explicitly realize these representations for certain branched covers of hyperelliptic curves. We give some applications to the study of pseudo-Anosov homeomorphisms of surfaces and representation theory of the mapping class group.

研究动机与目标

• 分类有限伽罗瓦覆叠的黎曼曲面上，第一同调 $ H_1(\Sigma', \mathbf{C}) $ 上伽罗瓦群作用的结构。
• 在无分支情形下，为伽罗瓦群在全纯1-形式上的表示提供几何的、代数几何的实现。
• 利用分歧数据，完全刻画分支情形下 $ H_1(\Sigma', \mathbf{C}) $ 的 $ G $-模结构。
• 将理论应用于伪阿诺索夫映射类及映射类群有限指数子群表示的研究。
• 研究在分支覆叠中 $ H^{1,0} $ 与 $ H^{0,1} $ 上的表示何时同构，并探讨在适度分支条件下正则表示的几何实现性。

提出的方法

• 使用几何切瓦莱-韦伊理论，将覆叠上全纯1-形式的空间与基曲面上有限个点上 $ G $-主齐性空间的并集上的函数联系起来。
• 应用阿蒂亚-博特不动点公式与霍奇理论，对无分支情形下的经典切瓦莱-韦伊定理进行精化。
• 将 $ G $ 的拓扑表示分类为分歧除子上的置换表示，表明其源于自由群到 $ G $ 的满同态，且生成元的像为循环群。
• 将分支情形下的同调表示构造为穿孔覆叠的同调模去分支点纤维上稳定子的置换表示的直和。
• 利用黎曼-罗赫定理与克莱夫顿定理，分析覆叠上全纯微分形式的空间，尤其关注其与分歧除子的关系。
• 利用双曲椭圆曲线自同构群的结构，构造了在某些伽罗瓦覆叠下不存在双曲椭圆拉回的反例。

实验结果

研究问题

• RQ1 在什么条件下，伽罗瓦群在 $ H^1(Σ', \mathbb{R}) $ 上的表示同构于正则表示，且其几何实现方式为何？
• RQ2 对于分支伽罗瓦覆叠，$ H_1(Σ', \mathbb{Z}) $ 的精确 $ G $-模结构为何，其与分歧除子有何关系？
• RQ3 在分支情形下，$ G $ 在 $ H^{1,0}(Σ') $ 上的表示与在 $ H^{0,1}(Σ') $ 上的表示何时同构？
• RQ4 对于伽罗瓦群秩 $ \geq 6 $ 的覆叠，能否在分支点处局部化切瓦莱-韦伊公式，这对几何实现性有何含义？
• RQ5 何时伪阿诺索夫映射类的不稳定与稳定叶状结构在所有有限覆叠上保持非可定向，其与同调上谱半径的关系为何？

主要发现

• 在无分支情形下，存在一个自然的 $ G $-等变同构 $ H^{1,0}(Σ') / \pi^* \mathbb{R} \omega \cong \mathrm{Funct}(\bigcup_{i=1}^{g-1} \pi^{-1}(p_i), \mathbb{R}) $，将全纯1-形式几何实现为 $ G $-主齐性空间上的函数。
• 对于分支覆叠，有 $ H_1(Σ', \mathbb{Z}) \cong H_1(\Sigma' \setminus p^{-1}(B), \mathbb{Z}) / (V / \mathbf{1}) $，其中 $ V $ 为分支点上方纤维上置换表示的和。
• 一个 $ G $ 的置换表示 $ \rho $ 是拓扑的（可实现为分歧表示）当且仅当它源于自由群 $ F \to G $ 的满同态，且生成元的像为循环群。
• 对于秩 $ \geq 6 $ 的阿贝尔伽罗瓦群，不存在基曲面上的复结构使得覆叠上的拉回为双曲椭圆型，表明无法局部化切瓦莱-韦伊公式。
• 伪阿诺索夫映射类 $ \psi $ 在同调上的谱半径严格小于其在所有有限覆叠上的拉伸常数 $ K $，当且仅当其不稳定与稳定叶状结构在所有有限覆叠上保持非可定向。
• 在适当复结构条件下，于分歧除子上消失的全纯微分形式空间 $ h^0(K - B) $ 满足 $ h^0(K - B) \simeq \rho_R^{g-1} \oplus \mathbf{1} $，且其几何实现性已确立。