[論文レビュー] 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

ひとこと要約

本稿は、有限正則グラフ被覆の原始的ホモロジーを調べる表現論的枠組みを確立し、被覆の位相的性質とデッキ群の表現としての第一ホモロジーの構造を結びつける。原始的ホモロジーは、基本群の原始的元による固定ベクトルをもつ既約表現の集合によって制約され、アーベル群または2段階可解群でランク≥3の場合、原始的ホモロジーはホモロジー全体を占めるが、ランク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}) $ に等しくなる条件を特定すること。
• 被覆の位相的データとデッキ群の表現的不変量との間の辞書を確立すること。
• 基本群における原始的元が、群作用の下でホモロジー類を生成する役割を調査すること。
• デッキ群のすべての既約表現が原始的ホモロジーに現れるかどうかを解明すること、特にアーベル群や可解群の場合に注目する。

提案手法

• チェバリ-ヴァイルの公式を用いて、$ H_1(Y;\mathbb{C}) $ をデッキ群 $ G $ の既約表現の和として表現し、その重複度は基底グラフの基本群のランクによって定まる。
• 原始的ホモロジー $ H_1^{\mathrm{prim}}(Y;\mathbb{C}) $ を、$ \pi_1(X) $ の原始的元から引き戻されたホモロジー類の $ \mathbb{C} $-線形包として定義し、$ G $-部分表現をなす。
• 原始的ホモロジーに現れる可能性がある既約表現を特定するため、$ F_n $ のある原始的元が非自明に作用し、$ V $ に固定ベクトルを持つような既約表現 $ V \in \mathrm{Irr}(G) $ の集合 $ \mathrm{Irr}^{\mathrm{pr}}(\phi,G) $ を導入する。
• 表面位相および被覆空間論を用いて、特に部分表面と境界曲線を用いて原始的ホモロジーに課される制約を導出する。
• 写像類群作用に基づくアルゴリズムを用いて、どの群元が非分離単純閉曲線によって実現されるかを計算する。
• 群の提示を用いた具体的な例を構成し、$ 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 $ \mathrm{Irr}^{\mathrm{pr}}(\phi,G) = \mathrm{Irr}(G) $ がすべての全射準同型 $ \phi: F_n \to G $ に対して保証されるか？ そしてこれはホモロジーにどのような意味を持つのか？
• RQ4 ランク2のグラフの有限被覆で、原始的ホモロジーがホモロジー全体よりも真に小さい例は存在するか？ もし存在するなら、その原因となる群論的性質は何か？
• RQ5 写像類群作用に基づくアルゴリズムを用いて、どの群元が被覆内で単純閉曲線によって実現されるかをどのように特定できるか？

主な発見

• 原始的ホモロジー $ H_1^{\mathrm{prim}}(Y;\mathbb{C}) $ は、各々が重複度 $ (n-1)\dim(V_i) $ を持つ $ \mathrm{Irr}^{\mathrm{pr}}(\phi,G) $ に属する既約表現 $ 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の被覆（例えば2つの円のワッセッド）では、反例が存在し、2段階可解群であっても $ H_1^{\mathrm{prim}}(Y;\mathbb{C}) \neq H_1(Y;\mathbb{C}) $ となる。
• 球面上に自由かつ線形に作用する群 $ 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 $ が確立され、ホモロジー関係が部分表面の境界曲線から生じることを示している。