Logarithmic Hilbert schemes of curves as weighted blow-ups and their integral Chow rings

技術的概要：対数ヒルベルトスキームを重み付きブローアップとして捉えることと、その整数コホモロジー環

問題設定
本論文は、互いに異なる点の集合 $D = \sum p_i$ によって定義される除数的対数構造を備えた滑らかな射影曲線 $C$ 上の、対数ヒルベルトスキーム $\text{Hilb}^n(C|D)$ の幾何学的構造と交点理論を取り扱っている。このモジュライ空間は、$D$ に沿った反復的な法錐への変形（拡張された退化）によって得られる $C$ の半安定モデル $\tilde{C}$ と、対数的に平坦で有限な自己同型群を持つ長さ $n$ の部分スキーム $Z$ の対 $(\tilde{C}, Z)$ をパラメータ化する。これらの空間は、射影的な粗モジュライ空間を持つ滑らかなデリニュ・マンフォードスタックであることが知られているが、それらの明示的な幾何学的構成と整数コホモロジー環の構造は、古典的なモジュライ空間の観点から完全に記述されていなかった。著者らは、$\text{Hilb}^n(C|D)$ を古典的な対称積 $\text{Sym}^n(C)$ の一連の双有理変換として具体的に記述し、その整数コホモロジー環を計算することを目的としている。

手法
著者らは、対数幾何学、重み付きブローアップ理論、およびハセット空間（重み付き安定曲線）の理論を組み合わせて用いている。

1. 中間モジュライ空間: 著者らは、$0 \leq i_k \leq n$ を満たすベクトル $i = (i_1, \dots, i_\ell)$ で添字付けられる中間モジュライ空間の族 $\text{Hilb}^n(C|D)_{\leq i}$ を構成する。これらの空間は、拡張された曲線上の「端点」（拡張された曲線上のマークされた点の固有変換）で支えられる点の数が $i_k$ 以下に制限される部分スキームをパラメータ化する。
2. 重み付きブローアップ: 核心的な幾何学的戦略は、これらの中間空間間の遷移写像を同定することである。拡張された曲線の局所幾何を分析し、重み付きブローアップの理論（Quek–Rydh に倣う）を活用することで、著者らは写像 $\text{Hilb}^n(C|D)_{\leq i-1} \to \text{Hilb}^n(C|D)_{\leq i}$ が重み付きブローアップであることを証明する。
3. ブローダウン判定基準: これらの写像が実際に重み付きブローアップであることを確立するために、著者らは重み付きブローダウン判定基準（[ALI+23] より）を適用する。これには、例外除数が重み付き射影スタックのファイバー束であり、かつその除数の法束が特定の線束条件を満たすことを検証することが含まれる。
4. コホモロジー環の計算: 整数コホモロジー環の計算は、Keel の公式の重み付き類似（[AO25] より）に依存している。この公式は、中心への制限写像が全射である場合、重み付きブローアップのコホモロジー環を底空間と例外除数を用いて表現する。著者らは、ブローアップ中心の法束の等変な最高次チャーン類を計算することで、環内の関係を決定する。
5. トーリックおよび組み合わせ論的解析: 具体的な場合として $C = \mathbb{P}^1$ に対しては、著者らはトーリック幾何を用いてファン構造を記述し、Stanley–Reisner 環を用いて結果を検証する。Dhruv Ranganathan による付録は、$D = 0 + \infty$ の場合のスキームのトーリック性を確立するために、コホモロジー商を用いた補完的なアプローチを提供する。

主要な貢献と結果

• 幾何学的構成（定理 A および B）: 本論文は、対数ヒルベルトスキーム $\text{Hilb}^n(C|D)$ が、$n \cdot \ell$ 回の反復重み付きブローアップを通じて古典的な対称積 $\text{Sym}^n(C)$ から得られることを証明する。

  • これらのブローアップの中心は、バブルの端点で特定の数の点に支えられる部分スキームをパラメータ化する閉部分スタック $Z_i$ として明示的に同定される。
  • ブローアップの重みは $(1, \dots, i)$ であり、ここで $i$ は特定の端点で支えられる点の数である。
  • これはブローアップの中心と重みに対するモジュライ的解釈を提供し、それらを部分スキームの安定性条件と結びつける。

• 整数コホモロジー環（定理 D）: 著者らは、整数コホモロジー環 $\text{CH}^\bullet(\text{Hilb}^n(C|D)_{\leq i})$ の明示的な表示を提供する。

  • この環は、対称積のコホモロジー環 $\text{CH}^\bullet(\text{Sym}^n(C))$ と、各重み付きブローアップで導入された例外除数の類 $\epsilon_j^{(r)}$ によって生成される。
  • 関係式は、法束の最高次チャーン類から導かれる多項式 $Q_{m,h}$ と、対称積からの引き戻し写像の核によって与えられる。
  • この結果は、特定のケースに対する以前の計算を一般化し、任意の滑らかな曲線と除数に対する完全な記述を提供する。

• トーリック構造（系 C）: $C = \mathbb{P}^1$ かつ $D \leq 0 + \infty$ の場合、本論文は対数ヒルベルトスタックがトーリックスタックであることを確立する。$\text{Hilb}^n(\mathbb{P}^1|0)$ のファンは、ブローアップの中心に対応する特定の射线に沿った $\mathbb{P}^n$ のファンの逐次的なスター細分として記述される。

• 生成関数（定理 E）: バブル成分上の部分スキームの長さによるモジュライ空間の層別化を用いて、著者らは多様体のグロテンディーク環における類 $[\text{Hilb}^n(C|D)]$ に対する生成関数を計算する。

  • 公式は次のように与えられる：$\sum_{n \geq 0} [\text{Hilb}^n(C|D)] t^n = Z_C(t) \left( \frac{(1-Lt)(1-t)}{1-(L+1)t} \right)^\ell$。ここで $Z_C(t)$ は $C$ のモチビックゼータ関数である。
  • これを特殊化することで、オイラー標数や他の不変量に対する明示的な公式が得られる。

意義と主張
著者らは、この仕事を対数モジュライ空間とよく研究された非対数モジュライ空間を関連づける具体的な最初の例として位置づけている。

• ウォール・クロッシングの解釈: 反復重み付きブローアップによる記述は、「ゴム状トーラス」の作用に由来する $\mathbb{G}_m$-商が生じる、対数ヒルベルトスキームと古典的ヒルベルトスキーム間の「VGIT スタイルのウォール・クロッシング」として枠組み付けられている。
• 計算上の有用性: 対数ヒルベルトスキームの複雑な幾何を重み付きブローアップの列に還元することで、本論文は以前はアクセスが困難であった交点論的不変量（コホモロジー環、オイラー標数）を計算するための体系的な手法を提供する。
• 基礎的役割: 本論文は、$\text{Hilb}^n(C|D)$ が退化を含む数え上げ幾何におけるより一般的な構成の局所モデルとして機能すると主張する。境界ストライタの明示的な記述と、ブローアップの中心のモジュライ的解釈は、これらの空間の大局的幾何を理解するための不可欠なステップとして提示されている。
• 将来の方向性: 著者らは、重み付きブローアップの図式が一般的な対数対称積に適用可能であり、特に節点曲線および曲面の文脈において、対数モジュライ空間と非対数モジュライ空間の数え上げ不変量間の比較公式へと導く可能性があると示唆している。

本論文は、曲線の一般的な数え上げ幾何を解決するものではなく、退化を通じてそのような問題にアプローチするための必要な幾何学的およびコホモロジー的インフラ（「局所モデル」）を提供するものである。