Topology of Galois conjugate character varieties

技術要約：ガロア共役キャラクタ多様体のトポロジー

問題設定
本論文は、キャラクタ多様体 $M_{n,d}$ の次数パラメータ $d$ へのトポロジー的依存性を調査するものである。$C$ を種数 $g \geq 2$ の滑らかな射影曲線とし、$n \geq 2$ を $d$ と互いに素な整数とする。キャラクタ多様体 $M_{n,d}$ は、基本群 $\pi_1(C)$ の $GL_n(\mathbb{C})$ への表現のベッティ・モジュライ空間として定義され、その行列式は $\xi_n^d$ （ここで $\xi_n$ は原始 $n$ 乗根）である。

2005年にハウスル（Hausel）によって提起された中心的な問い（Question 0.1）は、$d, d'$ が $n$ と互いに素であるとき、$M_{n,d}$ と $M_{n,d'}$ は同相（あるいはホモトピー同値）であるか、というものである。これらの多様体はガロア共役であり、同一のベッティ数と有理コホモロジー環を共有することが知られているが、ユニタリ・ロカス（unitary locus）を保存する同相写像の存在（これはハーダー・ナラシムハン対応を通じて $d$ と $d'$ を区別する）は未解決の問題である。基本群や高次ホモトピー群を含む従来の位相不変量は、これらの空間を区別できない。著者らは、積分コホモロジー環が、ガロア共役なキャラクタ多様体のホモトピー型を区別できるより微細な不変量となり得るかを判断することを目的としている。

手法
著者らは、積分構造、コホモロジー環の自己同型群、およびトートロジー的関係（tautological relations）を組み合わせた枠組みを開発する。

1. コホモロジーの自己同型と積分構造：
   本論文は、有理コホモロジー環 $H^*(M_{n,d}, \mathbb{Q})$ が、トーラスのコホモロジーとテンソル積された次数不変な次数付き $\mathbb{Q}$-代数 $R_{g,n}$ に同型であることを確立している（Theorem 0.3）。著者らは、$R_{g,n}$ の次数付き自己同型群を $G_{g,n}$ と定義する。もし $M_{n,d}$ と $M_{n,d'}$ の積分コホモロジー環が同型であれば、異なる次数 $d$ と $d'$ によって誘導される積分格子を保存する自己同型が $G_{g,n}$ 内に存在すると著者らは提唱している。

2. 弱対角自己同型（Weakly Diagonal Automorphisms）：
   主要な構造的簡約には、低次のコホモロジー成分（$\mathbb{Q}\alpha_3$ および $\mathbb{Q}\beta_2$）における特定のラインを保存する $G_{g,n}$ の部分群 $G^{wd}_{g,n}$（弱対角自己同型群）の検討が含まれる。Theorem 0.5 は、もし $G^{wd}_{g,n} = G_{g,n}$ であるならば（すなわち、すべての自己同型が弱対角であるならば）、$M_{n,d}$ と $M_{n,d'}$ の積分コホモロジー環が同型であるための必要十分条件は $d \equiv \pm d' \pmod n$ であることを述べている。

3. トートロジー的関係：
   $G^{wd}_{g,n} = G_{g,n}$ という条件を検証するために、著者らはトートロジー的生成元（$\alpha_i, \beta_i, \psi_{i,j}$）の間の関係式のイデアルを分析する。これには以下が含まれる：

• ポアンカレ多項式の閉じた公式（Hausel–Rodriguez-Villegas, Schiffmann, Mellit）を利用して、非自明な関係式が存在すべき最低次数を決定する。
• 安定ベクトル束に関する関係式（Earl–Jeffrey–Kirw）を利用して、キャラクタ多様体の設定における関係式の候補を特定する。
• 「特筆すべき」トートロジー的関係 $\Upsilon_{g,n}$ を、最低可能次数 $r_{g,n} = 4g(n-1) - 2n$ において特定する。

4. 計算による検証：
   特定のケース $(g, n) = (2, 5)$ について、著者らは以下の線形代数の計算を実行した：

• 次数 22 における一意な同次関係 $\Upsilon_{2,5}$ の決定（Theorem 3.16）。
• この関係のスタビライザー（固定部分群）のリー代数の次元の計算。
• 全自己同型群の次元が、弱対角条件を強制するのに十分小さいことの検証。

主な貢献と結果

• Theorem 0.2 (主要な結果)： 種数 $g=2$ の曲線に対して、位相空間 $M_{5,1}$ と $M_{5,2}$ はホモトピー同値ではない。これは、ガロア共役なキャラクタ多様体が異なるホモトピー型を持ち得ることを示す、ハウスルの2005年の問いに対する最初の反例を提供する。
• Theorem 0.5： 自己同型群 $G_{g,n}$ の構造に基づき、積分コホモロジー環の同型性の不在に関する判定基準を確立する。すべての自己同型が弱対角である場合、積分構造は次数を区別する。
• Theorem 0.6： $(g, n) = (2, 5)$ において、自己同型群 $G_{2,5}$ は弱対角自己同型群と一致すること（$G^{2,5}_{wd} = G_{2,5}$）を証明する。これは、関係 $\Upsilon_{2,5}$ のスタビライザーのリー代数の次元が 12 であり、非対角的な自己同型が存在するために必要な次元よりも厳密に小さいことを示すことで達成される。
• Theorem 0.7： $g \geq 2, n \geq 3$ において、次数 $r_{g,n}$ における一意の特筆すべきトートロジー的関係 $\Upsilon_{g,n} = 0$ を特定する。$(2, 5)$ については、この関係が明示的に計算され（Theorem 3.16）、シンプレクティック不変であることが示されている。
• Proposition 1.3： $k > 1$ における高次ホモトピー群 $\pi_k(M_{n,d})$ が $d$ に依存しないことを確認し、ホモトピー群がこれらの空間を区別するには不十分であることを補強する。

意義と主張
本論文は、ガロア共役なキャラクタ多様体の同相性に関するハウスルの2005年の問いに対し、否定的な回答を与えることを主張している。著者らは、積分コホモロジー環が、次数 $d$ に対して感度を持つ最初の既知の位相不変量であり、有理コホモロジーやベッティ数よりも「より深く隠された」位相的差異を明らかにしていると述べている。

この研究は、チェルン・グレーディング（重み・フィルタリングの分割）、トートロジー的関係、およびコホモロジー環の自己同型群の剛性の相互作用に依拠している。著者らは、自身のアプローチが計算集中的であることを指摘しており、$(2, 5)$ の証明には、特定の関係のスタビライザーに関する大規模な線形代数の問題を解くことが必要であった。彼らは、より強力な計算リソースを用いることで、他のペア $(g, n)$ に対するさらなる反例が得られる可能性があることを示唆している。

本論文は、すべての $g, n$ についての一般的な分類を主張するものではなく、自己同型群がトートロジー的関係によって十分に制約されている場合に、ホモトピー同値性を否定するための具体的な枠組み（Conjecture 0.4）と手法を提供している。