Cell decomposition and dual boundary complexes of character varieties

Tao Su著「Cell Decomposition and Dual Boundary Complexes of Character Varieties」の技術的要約

問題提起
本論文は、Katzarkov, Noll, Pandit, および Simpson によって提唱された弱幾何学的 P=W 予想（weak geometric P=W conjecture）を扱っている。この予想は、穴の開いたリーマン面上の複素次元 $d$ の滑らかなベッティ・モジュライ空間 $M_B$（キャラクター多様体）に対して、その双対境界複体（dual boundary complex） $D_{\partial}M_B$ が $(d-1)$ 次元球面 ($S^{d-1}$) とホモトピー同値であることを主張するものである。

完全な幾何学的 P=W 予想は、Dolbeault 側の「無限遠における Hitchin 束流（Hitchin fibration at infinity）」と Betti 側の固有の束流とを関連付けるものであるが、この弱形式は、双対境界複体のトポロジーに焦に焦点を当てている。これまでの研究では、特定のケース（例：$G=SL_2(\mathbb{C})$、パネーブ（Painlevé）のケース、および特定の特異またはワイルドなキャラクター多様体）においてこれが確立されていたが、高ランクの群やジェネリックなモノドロミーを持つ場合における一般的な証明は未解決のままであった。

手法
著者は、細胞分解（cell decomposition）技術とモチーフ的コホモロジー（motivic cohomology）、および**ダイアグラム・カルキュラス（diagram calculus）**を組み合わせた戦略を採用している。核心となるアプローチは以下の通りである：

1. 精緻化された細胞分解: 本論文は、キャラクター多様体上のベクトル束の分解ではなく、非常にジェネリックなキャラクター多様体 $M_\rho$ 自体の直接的な細胞分解を構成することで、A. Mellit によるキャラクター多様体の細胞分解定理を改良している。これは以下によって達成される：

   • キャラクター多様体を**ブレイド多様体（braid varieties）**に関連付けるための、**行列のダイアグラム・カルキュラス（braid matrix diagrams）**を導入する。
   • Bruhat 分解と特定の座標変換を利用して、キャラクター多様体の定義方程式を、制限されたねじれブレイド多様体（twisted braid varieties）の定義方程式へと簡約する。
   • $M_\rho$ が $(\mathbb{C}^\times)^a \times A$ という形の局所閉アフィン部分多様体に分解されることを確立する。ここで $A$ はアフィン空間 $\mathbb{A}^b$ に安定同型（stably isomorphic）な多様体である。

2. 双対境界複体の帰納的計算:

   • 著者は除去／簡約補題（remove/reduction lemma）（補題 3.7/3.8）を利用している。この補題は、滑らかな多様体 $X$ が、その双対境界複体が可縮であるような閉部分多様体 $Z$ を含む場合、$X$ の双対境界複体は補集合 $X \setminus Z$ の双対境界複体とホモトピー同値になることを述べている。
   • 細胞分解における細胞の順序付けを用いることで、最大次元の細胞を除くすべての細胞の双対境界複体が（アフィン空間の因子の存在により）可縮であることを示す。
   • 最大細胞は、開かつ稠密な代数トーラス $(\mathbb{C}^\times)^d$ であることが示されており、その双対境界複体は既知の $S^{d-1}$ である。

3. モチーフ的特徴付け: 証明は、著者の後続の研究 [59] から導かれる重要な性質に基づいている。すなわち、多様体 $A$ が $b \ge 1$ に対して $\mathbb{A}^b$ に安定同型である場合、その双対境界複体は可縮である。これは、双対境界複体の整数コホモロジーのモチーフ的特徴付けを通じて確立されている。

主要な貢献と結果

• 定理 0.5 (定理 2.10): 本論文は、「非常にジェネリックな（very generic）」$GL_n(\mathbb{C})$-キャラクター多様体に対する強い形式の細胞分解を確立している。多様体が「非常にジェネリック」であるとは、局所モノドロミーがジェネリックな半単純共役類によって指定されており、そのうち少なくとも一つが**正則半単純（regular semisimple）**である場合を指す。

  • 分解は $M_\rho = \bigsqcup M_\rho(\vec{w}, p)$ であり、各層（stratum）は $(\mathbb{C}^\times)^a \times A_\rho(\vec{w}, p)$ に同型である。
  • 決定的なことに、$A_\rho(\vec{w}, p)$ は $\mathbb{A}^b$ に安定同型である。
  • （特定のブレイド群における特定のウォークに対応する）唯一の最大層が存在し、それは開かつ稠密なトーラス $(\mathbb{C}^\times)^d$ である。

• 定理 0.4 (定理 3.10): 主要な結果として、すべての非常にジェネリックなキャラクター多様体に対して弱幾何学的 P=W 予想を証明している。

  • 次元 $d$ の非常にジェネリックな $M_\rho$ に対して、その双対境界複体 $D_{\partial}M_\rho$ は $S^{d-1}$ とホモトピー同値である。
  • 証明は、低次元の層（双対境界複体が可縮であるもの）を帰納的に除去していくことで、唯一の最大トーラスが残るまで進行する。

• ザリスキー消去問題（Zariski Cancellation Problem）との関連: 本論文は、分解に現れる多様体 $A_\rho(\vec{w}, p)$ がアフィン空間に安定同型ではあるものの、必ずしもそれ自体と同型ではないことを指摘している。著者は、これらが次元 $\ge 3$ における標数 0 のザリスキー消去問題に対する潜在的な系統的反例を提供することを示唆しているが、これは解決された定理というよりは観察として提示されている。

意義と主張
本論文は、非常にジェネリックなキャラクター多様体のクラスに対して、弱幾何学的 P=W 予想を解決したと主張している。これは、ランク 2 または特定の低次元のケースに限定されていたこれまでの研究を拡張するものである。

その意義は以下の点にある：

1. トポロジー的検証: 双対境界複体が球面のホモトピー型を持つことを確認しており、これは、Betti 側のモジュライ空間の無限遠におけるトポロジーが Hitchin 基底のトポロジーを反映するという、より広範な幾何学的 P=W の哲学を支持している。
2. 方法論的進展: キャラクター多様体そのもの（その上の束ではなく）に対する自己完結的で厳密な細胞分解を提供しており、キャラクター多様体をブレイド多様体により直接的に結びつける新しいダイアグラム・カルキュラスを利用している。
3. モチーフ的洞察: 本研究は、有理コホモロジー（P=W 予想でしばしば研究される対象）と、双対境界複体の整数コホモロジーとの間の隔たりを、双対境界複体の可縮性を確立するためにモチーフ的ウェイト・コホモロジーを用いて橋渡ししている。

限界と未解決問題
著者は、結果が非常にジェネリックな多様体（少なくとも一つの共役類が正則半単純である場合）に対して成り立つことを明示している。多様体が（非常にジェネリックではなく）単に**ジェネリック（generic）**である場合のケースは未解決である。

• ジェネリックな場合、$D_{\partial}M_B$ は有理ホモロジー球面（rational homology sphere）であることが既知であるが、それが位相的な球面であることを証明するには、整数コホモロジーが捩れのない（torsion-free）ものであること、および基本群が自明であることを示す必要がある。
• 論文では、一般的なジェネリックなケースにおける 2 つの具体的な障害を特定している：(I) 双対境界複体の整数コホモロジーが捩れのないものであることを証明すること、および (II) 基本群が自明であることを証明すること。
• 著者は、これらの整数コホモロジーの問題を解決するためには、Curious Hard Lefschetz 定理で使用される退化の議論に対するモチーフ的な改善が必要になる可能性があると推測している。