Virtual K-theoretic invariants of the nested Hilbert scheme on $\mathbb{C}^2$

技術要約：$\mathbb{C}^2$ 上の入れ子状ヒルベルト・スキームにおける仮想K理論不変量

問題設定
本論文は、アフィン平面上の入れ子状点ヒルベルト・スキーム（nested Hilbert scheme of points）、すなわち $NHilb_{(d_0, \dots, d_N)}(\mathbb{A}^2)$ の仮想K理論不変量の計算に取り組んでいる。このモジュライ空間は、指定された長さの増分を持つ零次元部分スキームの連鎖 $Z_0 \supset Z_1 \supset \dots \supset Z_N$ をパラメータ化するものである。これらの空間の仮想基本類および構造層は、退化軌跡（degeneracy loci）を通じて Gholampour, Sheshmani, および Yau [GSY20] によって、また、クィバー表現を通じて Bonelli, Fasola, および Tanzini [BFT24] によって既に定義されていたが、非可換的手法を用いてその平衡的な仮想オイラー標数の母関数を導出することが課題となっていた。具体的な課題は、忘却射（forgetful morphism）の下での仮想構造層の押し出しを計算するための、入れ子構造とそれに付随する障害理論を扱うことにある。

手法
著者は、Nori [Nor78] によって導入され、Behrend, Bryan, および Szendrői [BBS13]、ならびに Okounkov [Oko17] によって拡張された非可換ヒルベルト・スキームの枠組みを利用し、可換な入れ子状ヒルベルト・スキームを「非可換」な類似物へと埋め込む戦略を採用している。

1. 非可換入れ子状ヒルベルト・スキームの構成:
   本論文は、循環ベクトルを持つ旗保存作用素のパラボリック部分群の商スタックとして、滑らかなモジュライ空間 $ncNHilb_{\mathbf{d}}(\mathbb{A}^n)$ を構成する。この空間は、ベクトル空間の旗上の自由代数 $\mathbb{C}\langle x_1, \dots, x_n \rangle$ の非可換表現をパラメータ化する。

2. 可換集合および障害理論:
   入れ子状点ヒルベルト・スキーム $NHilb_{\mathbf{d}}(\mathbb{A}^n)$ は、$ncNHilb_{\mathbf{d}}(\mathbb{A}^n)$ 内の可換集合（commutativity locus）として特定される。ここで作用素は可換である。$\mathbb{A}^2$ ($n=2$) の場合、著者は交換子 $[A_1, A_2] = 0$ の条件が簡約可能であることを示す。ベクトル $v$ の循環性を利用することで、商束 $Hom(V_\bullet, V_\bullet / \langle v \rangle)$ 上での交換子の消失が十分条件であることが示される。
   この簡約により、入れ子状ヒルベルト・スキームは特定のベクトル束の切断の零集合として実現される。この幾何学的記述により、当該スキームに**完全な障害理論（perfect obstruction theory）**が備わる。著者は、この構成から導かれる仮想接束のK理論クラスが、[GSY20], [GT17], および [BFT24] で定義された障害理論と一致することを証明している。

3. 仮想構造層の因子分解:
   論文では、最大の（最も大きな）部分スキームを忘れる忘却射 $p: NHilb_{(d_0, \dots, d_r)}(\mathbb{A}^2) \to NHilb_{(d_0, \dots, d_{r-1})}(\mathbb{A}^2)$ を分析している。この写像は非可換な設定へと拡張される。ドメインとターゲットの間の障害束の全射を構成することにより、著者はK理論における仮想構造層の因子分解を確立する：
   $$\mathcal{O}^{vir}_{\mathbf{d}} = p^*(F) \cdot \mathcal{O}^{vir}_{\hat{\mathbf{d}}}$$
   ここで $F$ は明示的なトートロジー類である。

4. 局所化と母関数:
   Atiyah-Bott 局所化公式を用いて、押し出し $p_* F$ が計算される。固定点（入れ子状ヤング図形に対応）の寄与は、増分 $d_r$ のみに依存し、基礎となる図形の具体的な形状には依存しないことが示される。この独立性により、母関数の再帰関係の導出が可能となる。

主な貢献および結果

• 障害理論の同値性: 非可換な埋め込み（具体的には $\mathbb{A}^2$ のケースにおける可換束の簡約）によって誘導される完全な障害理論が、Gholampour-Sheshmani-Yau [GSY20] によって確立された理論と同じ仮想不変量を与えることを、本論文は厳密に証明している。
• 母関数の閉じた公式: 等変仮想ホロモーフィック・オイラー標数の多変数母関数に関する閉じた公式が主要な結果である。$Z^{GSY}$ をこの級数とすると、本論文は以下を証明する：
  $$Z^{GSY}(q_0, \dots, q_r; t_1, t_2) = PE \left( \frac{q_0 + (q_1 + \dots + q_r)(1 - t_1 t_2)}{(1 - t_1)(1 - t_2)} \right)$$
  ここで $PE$ はプレースティック指数関数（plethystic exponential）を表す。
• 定数類によるツイスト: 忘却射の下での仮想構造層の押し出しは、標準的な点のヒルベルト・スキーム上の双対化層の外冪の等変オイラー標数に対応する定数類 $\alpha_{d_r}$ による、より低次のレベルの仮想構造層のツイストであることが示される。

意義および主張
本論文は、非可換ヒルベルト・スキームを曲面上の入れ子状ヒルベルト・スキームの研究に適用する試みを拡張することを主張している。入れ子状スキームを非可換な設定における零集合として実現することにより、著者は仮想不変量の計算を簡略化する統一的な幾何学的枠組みを提供している。

その意義は、非入れ子状ヒルベルト・スキーム（$r=0$ の場合）で知られている結果、および [BBS13], [Oko17], [FMR21], [KR25] で見られる $\mathbb{A}^3$ および $\mathbb{A}^4$ 上の Quot スキームを一般化した、母関数の閉じた公式の導出にある。本研究は、$\mathbb{C}^2$ 上の入れ子状ヒルベルト・スキームの仮想不変量が、入れ子の各ステップの仮想オイラー標数によって決定される単純な積構造によって支配されていることを確認している。著者は、本テキスト内では $n \ge 3$ の場合の仮想次元の挙動がここで扱った $n=2$ の場合とは大きく異なることに触れつつ、$n \ge 3$ や他の曲面に対する問題の解決を主張していない。