[论文解读] Finite covers of graphs, their primitive homology, and representation theory

Benson Farb, Sebastian Hensel|arXiv (Cornell University)|Oct 27, 2016

Geometric and Algebraic Topology参考文献 8被引用 8

一句话总结

本文建立了一套表示论框架，用于研究有限正则图覆盖的原始同调，将覆盖的拓扑性质与它们的第一同调作为台阶群表示的结构联系起来。证明了原始同调受到基本群中原始元素在不可约表示下具有不动点的限制，且对于阶数 ≥ 3 的阿贝尔或 2 步幂零群，原始同调穷尽了完整的同调，尽管在阶数为 2 时存在反例。

ABSTRACT

Consider a finite, regular cover $Y o X$ of finite graphs, with associated deck group $G$. We relate the topology of the cover to the structure of $H_1(Y;\mathbb{C})$ as a $G$-representation. A central object in this study is the {\em primitive homology} group $H_1^{\mathrm{prim}}(Y;\mathbb{C})\subseteq H_1(Y;\mathbb{C})$, which is the span of homology classes represented by components of lifts of primitive elements of $π_1(X)$. This circle of ideas relates combinatorial group theory, surface topology, and representation theory.

研究动机与目标

• 理解有限正则覆盖 $ Y \to X $ 的第一同调 $ H_1(Y;\mathbb{C}) $ 作为台阶群 $ G $ 的表示结构。
• 确定由原始环路提升生成的原始同调 $ H_1^{\mathrm{prim}}(Y;\mathbb{C}) $ 何时等于完整同调 $ H_1(Y;\mathbb{C}) $。
• 建立覆盖的拓扑数据与台阶群表示理论不变量之间的字典。
• 研究基本群中原始元素在群作用下生成同调类的作用。
• 解决所有不可约表示是否均出现在原始同调中的问题，特别是针对阿贝尔群和幂零群。

提出的方法

• 使用 Chevalley-Weil 公式将 $ H_1(Y;\mathbb{C}) $ 表示为台阶群 $ G $ 的不可约表示的和，其重数由基图基本群的秩决定。
• 将原始同调 $ H_1^{\mathrm{prim}}(Y;\mathbb{C}) $ 定义为 $ \pi_1(X) $ 中原始元素提升的同调类生成的 $ \mathbb{C} $-张成空间，构成 $ G $-子表示。
• 引入集合 $ \mathrm{Irr}^{\mathrm{pr}}(\phi,G) $，即所有满足 $ F_n $ 的某个原始元素在 $ V \in \mathrm{Irr}(G) $ 上非平凡作用且具有不动点的不可约表示 $ V $，以刻画可能出现在原始同调中的不可约表示。
• 应用曲面拓扑与覆盖空间理论，通过子曲面和边界曲线推导对原始同调的约束。
• 利用基于映射类群作用的算法，计算哪些群元素可由非分离简单闭曲线实现。
• 通过群表示的构造，给出显式例子，说明在阶数为 2 的情况下 $ H_1^{\mathrm{prim}}(Y;\mathbb{C}) \neq H_1(Y;\mathbb{C}) $，尤其在 2 步幂零群中。

实验结果

研究问题

• RQ1 在台阶群 $ G $ 和覆盖映射 $ Y \to X $ 满足何种条件下，原始同调 $ H_1^{\mathrm{prim}}(Y;\mathbb{C}) $ 等于完整同调 $ H_1(Y;\mathbb{C}) $？
• RQ2 台阶群 $ G $ 的哪些不可约表示出现在原始同调 $ H_1^{\mathrm{prim}}(Y;\mathbb{C}) $ 中？
• RQ3 是否对所有满同态 $ \phi: F_n \to G $，都有 $ \mathrm{Irr}^{\mathrm{pr}}(\phi,G) = \mathrm{Irr}(G) $ 成立？这会对同调产生何种影响？
• RQ4 是否存在秩为 2 的图的有限覆盖，使得原始同调严格小于完整同调？若是，其背后的群论性质是什么？
• RQ5 如何利用基于映射类群作用的算法检测哪些群元素可由覆盖中的简单闭曲线实现？

主要发现

• 原始同调 $ H_1^{\mathrm{prim}}(Y;\mathbb{C}) $ 包含于不可约表示 $ V_i \in \mathrm{Irr}^{\mathrm{pr}}(\phi,G) $ 的直和中，每个表示的重数为 $ (n-1)\dim(V_i) $，再加上平凡表示。
• 对于阿贝尔或 2 步幂零台阶群 $ G $，且当 $ \operatorname{rank}(\pi_1(X)) \geq 3 $ 时，有 $ \mathrm{Irr}^{\mathrm{pr}}(\phi,G) = \mathrm{Irr}(G) $，在 $ G $ 的中心满足温和附加条件时，意味着 $ H_1^{\mathrm{prim}}(Y;\mathbb{C}) = H_1(Y;\mathbb{C}) $。
• 在秩为 2 的覆盖中（例如两个圆的楔和），存在反例使得 $ H_1^{\mathrm{prim}}(Y;\mathbb{C}) \neq H_1(Y;\mathbb{C}) $，即使对于 2 步幂零群也是如此。
• 构造了一个显式例子：群 $ G $ 在球面上自由且线性作用，使得无简单闭曲线的提升在同调中为平凡，但某些原始元素的提升非平凡，从而说明 $ H_1^{\mathrm{scc}}(Y;\mathbb{C}) \neq H_1^{\mathrm{prim}}(Y;\mathbb{C}) $。
• 本文提供了一种算法，用于计算同态 $ q: \pi_1(\Sigma) \to G $ 下简单闭曲线的像，从而实现对哪些群元素可由非分离简单闭曲线实现的检测。
• 建立了精确序列 $ \mathbb{C}[\sum \partial R_j] \to \bigoplus_j \mathbb{C}[\partial R_j] \to \bigoplus_i \mathbb{C}[\hat{\alpha}_i] \to \mathrm{Span}_{H_1(X)}\{\hat{\alpha}_1,\ldots,\hat{\alpha}_n\} \to 0 $，表明同调关系源于子曲面的边界曲线。