Invariant polynomials and Mukai's models of moduli spaces of curves and K3 surfaces

技術要約：不変多項式と、曲線およびK3曲面のモジュライ空間における向（Mukai）のモデル

問題提起
1980年代後半以来、向茂は、特定の種数 $g \in \{7, 8, 9, 10\}$ の曲線および極化されたK3曲面のモジュライ空間の双有理モデル（$M^X_{1,g}$ および $M^X_{2,g}$ と表記）を導入した。これらのモデルは、グラスマン多様体を単純な線形代数群によって割った幾何学的不変量理論（GIT）の商として定義される。これらのモデルにおける滑らかで一般的な対象の安定性に関する基礎的な結果は存在するが、これらのモジュライ空間の境界に現れる特異な曲線や曲面のGIT安定性は、依然としてほとんど分かっていない。特定の特異な例（種数7など）の半安定性を検証しようとするこれまでの試みは、古典的かつ明示的な不変多項式の構成と直接的な評価に依存していた。これらの手法は計算量的に非常に困難であり、単一の例を評価するためだけにさえ、大規模な並列コンピューティング資源と膨大な時間を必要とすることが多かった。

手法
本論文は、向のGIT問題に関連する不変多項式を構築し、評価するための計算効率の高いアプローチを提案する。手法は以下の3つの段階で進行する：

1. 不変多項式の構築：
   著者らは、$\Lambda^g V_g^*$（曲線の場合）および $\Lambda^{g+1} V_g^*$（曲面の場合）のウェッジ積の分解を分析する。ここで $V_g$ は、グラスマン多様体に対して作用する群 $G_g$ に関連する特定の表現である。これらの分解における既約部分加群を特定することで、著者らは特定の次数の不変多項式 $F_{g,d}$ を構築する。

• 戦略としては、小さな次元を持つ既約部分加群を選択し、対称冪 $\text{Sym}^d$ が自明な $G_g$-加群（すなわち不変量）を含むような最小の次数 $d$ を見つける。
• 種数8、次元2などの特定のケースでは、著者らはGelfand-Tsetlin基底を用いて表現された $SL_n$ 不変量の組合せ論的公式を利用し、これをMacaulay2の LieAlgebraRepresentations パッケージで実装している。これにより、一般的でメモリ消費の激しいアルゴリズムを回避できる。

2. 特異な対象の局在化：
   著者らは、パラメータ空間（グラスマン多様体）における特異な曲線および曲面に対応する特定の点を特定する。これらには以下が含まれる：

• 接展開図（Tangent developables）。
• $g$-gonal対称性を持つ尖点を持つ三次曲線（Cuspidal cubics）。
• バランスの取れたK3カーペットおよびリボン（Balanced K3 carpets and ribbons）。
• 3価グラフに関連するグラフ曲線（$\Gamma_7, \Gamma_8, \Gamma_9$）。
• 非還元成分を持つ既約な曲面および曲線。
  これらの点の座標は、自己同型群、グラフ曲線のアルゴリズム、および非還元構造のコンピュータ探索を用いて導出される。

3. 評価と検証：
   構築された多項式と特定された点を用いて、パラメータ点（特異な対象を表す）における $F_{g,d}$ を評価する。値が非ゼロであれば、その対象はGIT半安定であることが証明される。すべての計算はMacaulay2を用いて行われる。

主な貢献

• アルゴリズムの効率性： 本論文は、不変多項式を評価するための、従来よりも遥かに効率的な手法を導入している。従来の手法では、高性能クラスターでの数日間の計算（例：AWSインスタンスでの36時間）を必要としていたが、新しい手法では、種数7の多項式構築と評価を標準的なノートパソコンで約24時間で行うことができ、その後の評価はほぼ瞬時である。
• 実装： 本研究はMacaulay2の LieAlgebraRepresentations パッケージに実装されており、付録にはGelfand-Tsetlin基底を用いた $SL_n$-不変量の組合せ論的公式が含まれている。
• 組合せ論的公式： 付録では、Gelfand-Tsetlin基底を用いた $SL_n$-不変量の組合せ論的公式の自己完結的な証明を提供しており、これは種数8の不変量を効率的に計算するために極めて重要である。

結果
著者らは定理1.1を証明し、種数7から10までの向のモデルにおいて、多種多様な特異な曲線および曲面がGIT半安定であることを確立した。具体的には、以下の半安定性を確認した：

• 種数 7： 接展開図、7-尖点三次曲線、バランスの取れたK3カーペット、バランスの取れたリボン、およびグラフ曲線。
• 種数 8： 接展開図、8-尖点三次曲線、4つの非還元成分を持つ既約曲面、5つの非還元成分を持つ既約曲線、およびグラフ曲線。
• 種数 9： 接展開図、9-尖点三次曲線、バランスの取れたK3カーペット、バランスの取れたリボン、およびグラフ曲線。
• 種数 10： 接展開図、10-尖点三次曲線、2つの非還元成分を持つ既約曲面、および4つの非還元成分を持つ既約曲線。

特に、種数8の既約曲面（例 8c）は、メモリ制約により一般的手法が失敗したため、組合せ論的公式を通じて導出された特定の不変多項式 $F_{8,2}$ を必要としたが、これが「厳密に」半安定であることが示された。

意義と主張
本論文の主要な貢献は、向のモジュライ空間の境界を分析するための、スケーラブルで効率的な手法を実証したことにあると主張している。著者らは、彼らの結果の「最も顕著な特徴」は、検証された半安定な対象のリストの「長さと幅広さ」であり、個々の項の特定の幾何学的特性ではないことを強調している。この手法により、以前は不可能であったより多くの例の分析が可能となった。本論文は、古典的な明示的計算を、より高速でメモリ効率の高い表現論的アプローチに置き換えることで、[25]の知見を拡張するものである。本論文は、モジュライ空間の境界全体を特徴付ける一般的な問題を解決すると主張しているのではなく、以前は手に負えなかった複雑な特異な対象の半安定性を検証するための、堅牢な計算ツールを提供している。