Virtual invariants from the non-associative Hilbert scheme

技術的要約：非結合的ヒルベルト・スキームからの仮想不変量

問題設定
点のヒルベルト・スキームの幾何学、特に次元 $n \geq 3$ の場合、極めて微細かつ困難である。滑らかな曲面上の点のヒルベルト・スキームは滑らかでよく理解されている一方で、3次元またはそれ以上の高次元多様体上の点のヒルベルト・スキームは、通常は特異である。数え上げ幾何学、特にカラビ・ヤウ3次元および4次元においては、仮想基本類を定義するために完全な障害理論（perfect obstruction theories）を介した仮想基本類に依存する（ドナルドソン・トマスティン不変量など）。これらのクラスは伝統的に、非可換行列の非可換なモジュライ空間上の関数（「非可換行列モデル」）の臨界集合として実現される。

既存のモデルには以下の限界がある：

1. 非可換モデルは、可換な座標環を自由結合代数に置き換え、可換関係を強制するポテンシャルによってヒルベルト・スキームを臨界集合として実現する。
2. 入れ子状ヒルベルト・スキーム（Nested Hilbert schemes）（部分スキームの連鎖）は、一般に特異であり、その成分構造も十分に理解されていないが、層の計数理論（Vafa-Witten理論やSeiberg-Witten理論など）において不可欠である。
3. 任意の次元における入れ子状ヒルベルト・スキームのための、統一的かつ初等的な仮想基本類の構成が必要である。これは、点数 $d$ に対して周囲の次元 $n$ が大きい場合に、正の次元を持つ仮想クラスを与えるものである。

手法
著者らは、点のヒルベルト・スキームに対する非結合的（non-associative）モデルを導入する。非可換性を緩和する（非可換モデルのように）のではなく、**結合性（associativity）**を緩和する。

1. 非結合的周囲空間の構成：
   著者らは、非結合的入れ子状ヒルベルト・スキーム（$na\text{NHilb}^{\mathbf{d}}(A^n)$ と表記）を、連鎖的なイデアル $I_{r+1} \subset \dots \subset I_1 \subset I_0 = \mathbb{C}\{x_1, \dots, x_n\}^c$ のモジュライ空間として定義する。ここで $\mathbb{C}\{x_1, \dots, x_n\}^c$ は、$n$ 個の生成元を持つ自由な単位元付き、可換、かつ非結合的な代数である。

• 著者らは、$na\text{NHilb}^{\mathbf{d}}(A^n)$ が滑らかな多様体であることを証明している。
• この構成は、代数構造をパラメータ化するベクトル空間の滑らかな局所閉部分スキーム $M_{n,d}$ と、自由に作用する放物型群 $P_d$ を用いた商スタック $[M_{n,d}/P_d]$ による記述を利用している。

2. 古典的スキームの実現：
   古典的な入れ子状ヒルベルト・スキーム $NHilb^{\mathbf{d}}(A^n)$（代数が結合的な場合）は、非結合的周囲空間の中に**結合性軌跡（associativity locus）**として埋め込まれる。

• この軌跡は、滑らかな周囲空間上のベクトル束 $E_{ass}$（結合性束）の大域切断 $s_{ass}$ の零点集合によって切り出される。
• したがって、$NHilb^{\mathbf{d}}(A^n)$ は標準的な完全な障害理論と仮想基本類 $[NHilb^{\mathbf{d}}(A^n)]^{vir}$ を継承する。

3. 仮想局所化：
   著者らは、$A^n$ 上のトーラス作用 $T = (\mathbb{C}^*)^n$ を用い、これが非結合的ヒルベルト・スキームへと持ち上がることを利用する。彼らはGraber-Pandharipandeの仮想局所化公式を適用して、仮想類を計算する。

• 固定点は、単項式イデアルの連鎖に対応し、これらは**入れ子状分割（nested partitions）**と一対一に対応する。
• 著者らは、トーラス作用の重みを用いて、これらの固定点における接空間と障害束の明示的な公式を導出している。

4. 反復留数公式：
   点的な軌跡（punctual locus）（具体的には、べき零フィルター軌跡 $NHilb^{\mathbf{d}}_{nil\text{-}fil}(A^n)$）について、フラッグ多様体上にファイバー構造を持つ部分分解を構成する。この分解上でのAtiyah-Bott局所化を用いることで、仮想積分を反復留数公式へと変換する。

• 重要な技術的結果として、べき零フィルター軌跡においては、唯一の寄与（自然な順序における「Porteous」入れ子状分割）を除いて、すべての留数が消滅することが示されている。

主要な貢献と結果

• 定理 1.1（仮想局所化公式）： 著者らは、**許容される入れ子状分割（admissible nested partitions）**の和として、既約な仮想基本類 $[NHilb^{\mathbf{d}}(A^n)]^{vir}$ の明示的な公式を提供する。重みはトーラスの重み $s_i$ の有理関数として与えられる。

  • 許容条件： 分割が3つ以上の非ゼロ座標を持つベクトルを含まず、かつ任意の2次元平面への射影が特定の境界（「Porteous」条件に関連するもの）内に収まっている場合、その分割は許容される。
  • この公式により、すべてのペア $(n, d)$ に対する仮想不変量の計算が可能となる。

• 定理 1.2（反復留数公式）： 次元ベクトル $\mathbf{d} = (1, d_1, \dots, d_r)$ を持つべき零フィルター軌跡について、トート理的類の仮想積分に関する単一の多変数反復留数公式を導出する。

  • この公式は、全長さ $d$ が周囲の次元 $n$ を超える場合でも、問題をより高次元の空間 $A^N$ ($N \gg n$) へ埋め込み、仮想構造を比較することによって有効となる。
  • この公式は、特異論やThom多項式の計算において用いられるBércziおよびSzenesの手法を一般化したものである。

• 正の次元を持つ仮想類： 多くの先行研究（例：カラビ・ヤウ3次元上の構成）では仮想類が0次元になるのに対し、本構成は、周囲の次元 $n$ が点数に対して十分に大きい場合には、正の次元を持つ仮想類を生成する。

• 非可換モデルとの関係： 著者らは、非結合的ヒルベルト・スキームから非可換入れ子状ヒルベルト・スキームへの有理写像を確立している。この写像は、点の入れ子状ヒルベルト・スキームを含む領域で定義可能であり、結合性軌跡上で恒等写像に制限される。これは、非結合的（可換だが非結合的）なアプローチと非可換的なアプローチの間の架け橋を示唆している。

意義と主張
著者らは、本研究が、すべての次元における入れ子状点のヒルベルト・スキームのための、初等的かつ具体的な仮想基本類の構成を提供すると主張している。

• 統一： 本研究は、（曲線成分上で研究されてきた）トート理的交差数と、完全なヒルブルト・スキーム上の仮想交差理論を統一する。
• 組合せ論的制御： この理論は、ヒルベルト・スキーム上の普遍的な交差数は、単項式イデアルと分割の組合せ論的データに基づく明示的な多変数留数公式によって支配されていることを示しており、これはトート理的理論の構造を反映している。
• 高次元への拡張： この構成は、非可換行列モデルおよびカラビ・ヤウ3次元上の仮想類構成を、より高次元へと拡張することが期待される。
• 今後の展望： 著者らは、今後の研究において、この枠組みを用いて、非結合的モデルからカラビ・ヤウ3次元のドナルドソン・トマスティン不変量を再構成し、トート理的理論と仮想理論の間の直接的な架け橋を明らかにしたいと考えている。

本論文は、すべての層のモジュライ空間に対するDT不変量の一般的な存在性を解決することを目的としているのではなく、むしろ、新しい非結合的幾何モデルを用いて、点の入れ子状ヒルベルト・スキーム上の仮想不変量を計算するための、具体的かつ堅牢なメカニズムを提供している。