Moduli spaces of quadratic differentials: Abel-Jacobi map and deformation

技術要約：二次微分形式のモジュライ空間：Abel-Jacobi写像と変形

問題設定
本論文は、リーマン面上の指定された特異点を持つ、フレーム化された二次微分形式のモジュライ空間のトポロジーを調査するものである。具体的には、その（オービフォールド）基本群の計算を取り上げるが、これは、種数2および3、あるいは特定の商群を除いて、既知の事例が極めて少ないという困難な問題である。研究の焦点は、有限の特異点が単純零点であり、無限の特異点に二重極および高次の極が含まれるケースに置かれている。これらの特異点は、「装飾付き標識付き曲面（decorated marked surface with punctures）」$S^\mathbb{A}_\Delta$ を通じて符号化される。ここで、装飾は単純零点に対応し、パンクチャーは二重極に対応し、境界成分は高次の極に対応する。

中心となる問題は、フレーム化された二次微分形式のモジュライ空間 $\text{FQuad}(S^\mathbb{A})$ およびその部分コンパクト化の基本群を特徴付けることである。著者は、この位相不変量を、位相的な Abel-Jacobi (AJ) 写像の核（kernel）と、関連する 3-Calabi-Yau (3-CY) カテゴリ上の安定性条件の空間に関連付けようと試みている。さらに、単純零点の衝突と二重極の衝突を許容すること（部分コンパクト化）、およびオービフォールド構造（残留物の符号による）を導入することによって、これらの基本群がどのように変形し、非例外的な球面およびユークリッド型 Artin ブレイド群を回収し得るかを探求する。

手法
手法としては、低次元トポロジー、二次微分形式の理論、および代数の表現論（特に安定性条件による圏論化）の技術を組み合わせている。

1. 位相的枠組み（混合ツイスト群）:
   著者は、曲面ブレイド群 $SBr(S^\mathbb{A}_\Delta)$ の部分群である混合ツイスト群 $MT(S^\mathbb{A}_\Delta, K)$ を導入する。これらの群は、ブレイド・ツイスト（単純閉弧に関連）および $L$-ツイスト（特定のパンクチャー集合 $K$ を囲む弧に関連する点押し出し微分同相写像）によって生成される。本論文は、これらの混合ツイスト群が、相対的な位相的 Abel-Jacobi 写像 $AJ_K: SBr(S^\mathbb{A}_\Delta) \to H_1(S_L)$ （ここで $L$ は $K$ の補集合）の核であることを確立している。

2. フリップグラフと群（Groupoids）:
   装飾付き三角形分割の向き付きフリップグラフの解析を行う。著者はフリップ群（flip groupoids） $\mathcal{FG}(S^\mathbb{A})$ を定義し、その基本群をフリップ・ツイスト群 $FT(T)$ と同定する。このグラフにおける関係式の解析には、以下のステップが含まれる：

   • 四角形および五角形（向きなし交換グラフから持ち上げられたもの）。
   • 短いおよび長いダンベル関係。
   • 対称的な六角形関係。
     本論文は、高次のブレイド関係（$Br_4$）が、二つの長いダンベル六角形と二つの対称的な六角形の組み合わせとして分解できることを示しており、この分解はクラスター理論で見られる非対称な六角形関係とは異なるものである。

3. 安定性条件による圏論化:
   モジュライ空間は、曲面に関連するポテンシャルを持つキバー（quiver）から構成される 3-Calabi-Yau カテゴリ上の安定性条件の空間 $\text{Stab}^\circ(\mathcal{D}_3(S^\mathbb{A}_\Delta))$ と関連付けられている。著者は、安定性条件の空間が単連結であり、フレーム化された二次微分形式のモジュライ空間の普遍被覆となることを証明する。これにより、モジュライ空間の基本群と、カテゴリの自己同値（特に球状/ブレイド・ツイスト）との間の対応関係が確立される。著者は、この結果が、安定性空間の可縮性が $K(\pi, 1)$ 予想と密接に関連していることから、これらの層（strata）において $K(\pi, 1)$ 予想が成立するという信念を支持していると述べている。

4. 部分コンパクト化とオービフォールディング:
   パンクチャーの集合 $L$ が単純零点と衝突することを許容する場合の、これらの構造の変形について研究する。これにより、部分コンパクト化 $\text{FQuad}(S_{K,L})$ が得られる。さらに、二重極（渦）における残留物の符号を導入することで、オービフォールド $\text{Quad}(S_{K,Y})$ を構築する。これらの空間の基本群は、元の基本群を、$L$-フリップ（衝突軌跡に対応するループ）およびその平方による商として計算される。

主要な貢献と結果

• 基本群の同定: 本論文は、フレーム化された二次微分形式のモジュライ空間 $\text{FQuad}(S^\mathbb{A})$ の基本群が、曲面の第1ホモロジーへの表面ブレイド群からの位相的 Abel-Jacobi 写像の核と同型であることを証明する：
  $$\pi_1 \text{FQuad}(S^\mathbb{A}) \cong \ker(AJ: SBr(S^\mathbb{A}_\Delta) \to H_1(S))$$
  この核は、混合ツイスト群 $MT(S^\mathbb{A}_\Delta)$ として同定される。

• 安定性条件による普遍被覆: 安定性条件の空間 $\text{Stab}^\circ(\mathcal{D}_3(S^\mathbb{A}_\Delta))$ が単連結であり、$\text{FQuad}(S^\mathbb{A})$ の普遍被覆を構成することが示されている。この結果は、これらの特定の層（すべての有限特異点が単純零点である層）における $K(\pi, 1)$ 予想に対する強力な証拠を提供している。

• 変形とコンパクト化:

  • （単純零点と二重極の集合 $L$ の衝突を許容する）部分コンパクト化された空間の基本群は、元の基本群を $L$-フリップ（衝突軌跡の周りのループ）によって生成される部分群による商としたものである。
  • （残留物の符号を組み込んだ）オービフォールド空間の基本群は、これらのループの平方による商である。
  • この変形プロセスは、変形された 3-CY カテゴリの安定性空間の商と、オービフォールド・モジュライ空間との間の同型関係を与える。

• Artin ブレイド群の実現: 本構成は、あらゆる非例外的な球面およびユークリッド型 Artin ブレイド群の位相的な実現を提供する。具体的には、ユークリッド型の場合、適切な $K$ および $L$ の選択により、$\widetilde{A}_n$, $\widetilde{B}_n$, $\widetilde{D}_n$ などの群を回収する。

• フリップグラフにおける新しい関係式: 本論文は、パンクチャーや $L$-ツイストが存在する場合に必要となる、パンクチャー付き曲面のフリップ群における新しい関係式（特に長いダンベルおよび対称的な六角形関係）を導入し、解析している。

意義
著者は、以下の領域における重要性を主張している：

1. 位相的分類: 本研究は、単純零点、二重極、および高次極を持つ二次微分形式のモジュライ空間のクラスに対して、基本群の計算を提供し、特定の種数や特異点タイプに限定されていた従来の結果を拡張している。
2. 分野間の架け橋: モジュライ空間のトポロジー、フリップグラフの組合せ論、および 3-Calabi-Yau カテゴリの表現論の間の結びつきを強固なものにしている。モジュライ空間の「圏論化」が、単なる構造的な類似ではなく、位相的不変量を計算するためのツールであることを示している。
3. 変形理論: 二次微分形式の幾何学的設定における特異点の「衝突」が、カテゴリの設定におけるポテンシャルの「変形」にどのように対応するかについて、精密な位相的解釈を提供している。
4. ブレイド群の実現: 非例外的な Artin ブレイド群をこれらのモジュライ空間の基本群として導出することで、これらの群に対して、二次微分形式の特異点の衝突と安定性空間のオービフォールディングに関連付けた、新しい幾何学的および位相的な視点を提供している。

著者は、モジュライ空間の基本群からブレイド群の核への写像の単射性を証明することが最も困難な部分であると述べているが、確立された同型関係は、安定性空間の単連結性と、フリップグラフにおける高次ブレイド関係の特定の分解に基づいている。結果は、ブレイド・ツイスト群およびクラスター代数の先行研究の一般化として提示されており、パンクチャーや二重極がもたらす複雑さに対処している。