The Gorenstein property and Pixton's conjecture for compact type moduli

技術要約：コンパクト型のモジュライにおけるゲーレンシュタイン特性とピクストンの予想

問題提起
本論文は、コンパクト型曲線（compact type curves）のモジュライ空間の交差理論における2つの基本的な未解決問題に取り組んでいる。具体的には、コンパクト型モジュライ $\mathcal{M}^{\text{ct}}_{g,n}$ のトートロジー環 $R^*(\mathcal{M}^{\text{ct}}_{g,n})$ の構造、および3-spin関係の完全性に関するピクストンの予想の妥当性である。著者らは、これらの環がゲーレンシュタイン特性（交差ペアリングが完全であること）を満たすか、また、トートロジー関係のイデアルが3-spin関係によって完全に生成されるか（ピクストンの予想）を調査している。ゲーレンシュタイン特性については、低次数の種数では成立すると予想されていたものの、近年の研究により高次の種数では失敗することが示唆されている。ゲーレンシュタイン特性の成立とピクストンの予想の妥当性の間の関係は、環がゲーレンシュタイン性を満たさない場合を含め、これまで不明であった。

手法
著者らは、理論的な簡約、トートロジー類の構造解析、および admcycles ソフトウェアパッケージを用いた広範な計算検証を組み合わせて用いている。

1. 理論的枠組み:

   • 層代数と関係式: 研究には層代数 $S^*(\mathcal{{M}}_{g,n})$ と、その3-spin関係による商 $R^*_{\text{FZ}}$ を用いる。著者らは、層代数からトートロジー環およびコホモロジー的トートロジー環への写像を分析する。
   • 帰納的簡約: 貼り合わせ写像（例：楕円テイルの付着）や忘却写像を用いて、$\mathcal{M}^{\text{ct}}_{g,n}$ の性質を低次の種数またはより少ない標点を持つケースに関連付ける。主要な補題は、「不可視な」類（補空間のすべての類とペアリングしてゼロになる類）の存在が、これらの操作の下で保存されることを確立している。
   • 定理 $\star$: 著者らは、$R^d_{\text{FZ}}(\mathcal{M}_{g,n})$ 内の任意の類が、特定の数の種数0の頂点を持つ装飾された層によって表現できるという結果を利用する。これにより、高余次元における環の生成元を精密に制御することが可能となる。
   • 表現論: 特定のケース（例：$(g,n)=(3,6)$）において、全環を直接計算することを回避し、対称群 $S_n$ の既約表現への分解を用いて不変部分空間の次元を計算する。

2. 計算戦略:

   • 行列ランク計算: トートロジー環の次元を決定するために、3-spin関係を表す行列を構築する。著者らは、この行列のランクを素数 $p$ を法として計算することで、環の次元の上界を得る。
   • ペアリングの検証: 相補的な次数間の交差ペアリングのランクを計算することで下界を確立する。上界と下界が一致する場合、3-spin関係は完全であり、ペアリングは完全であると証明される。
   • 最適化: 高次の種数における組合せ爆発に対応するため、並列化、Least Recently Used (LRU) キャッシング、および行列の行のディスクベースのストレージを実装した。また、大規模な行列を効率的に扱うために、疎な線形代数ライブラリ (LinBox) と剰余演算を利用した。

主な貢献と結果

1. ゲーレンシュタイン特性の崩壊:
   著者らは、すべての $g \ge 2$ および $2g + n \ge 12$ に対して、トートロジー環 $R^*(\mathcal{M}^{\text{ct}}_{g,n})$ および $RH^*(\mathcal{M}^{\text{ct}}_{g,n})$ がゲーレンシュタインではないことを証明している。

   • これは、Petersen による結果（$g=2, n \ge 8$ での失敗）を高次の種数へと拡張するものである。
   • 証明は、一般の場合を境界となるケース（具体的には $(6,0), (5,2), (4,4), (3,6)$）へと簡約することに基づいている。
   • これらの特定のケースにおいて、著者らは交差ペアリングの核（kernel）に非ゼロの類が存在することを示し、それによって環がゲーレンシュタインではないことを証明している。

2. 非ゲーレンシュタイン・ケースにおけるピクストンの予想の完全性:
   本論文は、以下のケースにおいて、3-spin関係が Chow 環およびコホモロジーにおけるトートロジー環の完全な関係系であることを示す、ピクストンの予想の新たな事例を証明している：

   • $\mathcal{M}^{\text{ct}}_6$
   • $\mathcal{M}^{\text{ct}}_{5,2}$
   • $\mathcal{M}^{\text{ct}}_7$
     極めて重要なことに、これらのケースにおいて、著者らはピクストンの予想が成立している（関係が完全である）一方で、環はゲーレンシュタインではないことを示している。これは、ゲーレンシュタイン特性が失敗しているにもかかわらず、予想が真である最初のリサーチ事例である。

3. 部分的な逆および低次数の結果:

   • $g=0, 1$ および $g \ge 2$ かつ $2g + n < 12$（$(2,7)$ を除く）の場合、トートロジー環はコホモロジー的トートロジー環と同型であり、かつゲーレンシュタインであることを証明している。
   • $R^1$ とその補空間とのペアリングは常に完全であることを証明しており（定理4）、余次元1におけるゲーレンシュタイン特性を確認している。

4. アーベル多様体との関連:
   $\mathcal{M}^{\text{ct}}_6$ に関する結果は、主極化アーベル多様体のモジュライ空間（$\mathcal{A}_6$）における非トートロジー・サイクルの存在を証明する最近の研究における重要な要素として特定されている。具体的には、$\mathcal{M}^{\text{ct}}_6$ におけるゲーレンシュタイン特性の失敗が、$\mathcal{A}_6$ における特定の類の非トートロジー的な性質に対する幾何学的な説明を与えている。

意義
本論文の主要な意義は、ゲーレンシュタイン特性とピクストンの予想を切り離した点にある。本研究以前は、ゲーレンシュタイン特性の失敗が3-spin関係の不完全性を意味するのかどうかが不明であった。$\mathcal{M}^{\text{ct}}_6, \mathcal{M}^{\text{ct}}_{5,2}, \mathcal{M}^{\text{ct}}_7$ において、交差ペアリングが退化しているにもかかわらず、3-spin関係がトートロジー環を完全に捉えている（ピクストンの予想が成立している）ことを同時に証明することで、著者らは、3-spin関係がトートロジー環を完全に記述していることを示した。

さらに、本論文はコンパクト型モジュライ空間におけるゲーレンシュタイン特性の包括的な分類を提供し、その特性が崩壊する正確な閾値（$2g + n = 12$）を特定している。高余次元のモジュライ空間における高次関係を扱うために開発された計算手法は、トートロジー環の構造や非トートロジー・サイクルに関するさらなる調査のための実用的な基礎となるものである。