Naive atoms of blowups: examples

技術的要約：素朴な爆下の原子（Naive Atoms of Blowups: Examples）

問題提起
本論文は、[KKPY25] や [CKK25] といった基礎的研究で発展した、双有理幾何学における「原子（atoms）」の理論に内在する計算量的な複雑さに対処するものである。この理論において、原子は「大きな」量子コホモロジーにおけるオイラーベクトル場による量子積のスペクトルから導出される。しかし、大きな量子コホモロジーにおける計算は極めて困難である。著者らは、この理論の「素朴な（naive）」変種、すなわち「小さな」量子コホモロジーと反標準束（$-K_X$）による量子積の作用に限定したものが、計算可能かつ意味のある構造的情報を保持しているかどうかを調査することを目的としている。具体的には、イリタニの爆下公式 [Iritani23] の素朴なバージョンを具体的な例を用いて検証し、「素朴な原子分解（naive atomic decomposition）」（固有値の重複度数列としての $(-K_X)^\star$ のスペクトル）が爆下の下で予測通りに振る舞うかどうかを検討する。

手法
著者らは、滑らかな射影ファノ多様体 $X$ の素朴な原子分解を、代数コホモロジー上で作用する演算子 $(-K_X)^\star$ の固有値の重複度を、ノビコフ・パラメータの生成的な値において評価した順序付き数列として定義する。

手法には以下が含まれる：

1. 明示的な計算： 一連の特定の多様体に対して、著者らは反標準束による量子積を表す行列 $M(X, -K_X)$ を構成する。これには以下の手順が含まれる：
   • 代数サイクル $A^\bullet(X)_\mathbb{Q}$ の斉次基底の選択。
   • 選択則、ディバイザー公理、および WDVV 方程式を用いたグロモフ・ウィッテン不変量（3点、2点、および1点）の計算。
   • ディバイザー類による量子積の可換関係を利用した、未知の不変量の決定。
   • 場合によっては（セクション9および11）、直接的な不変量計算を行わずに、量子周期および微分方程式を用いて行列の成分を決定する。
2. 極限解析： 爆下シナリオ $\tilde{X} = \text{Bl}_Z X$ において、著者らは $(-K_{\tilde{X}})^\star$ の特性多項式を計算する。その後、特定のノビコフ・パラメータが 0 または無限大に近づく極限を取る特殊化の手続きを行い、元の多様体 $X$ および中心 $Z$ の特性多項式を復元する。
3. 予想の検証： 著者らは、もし $Z \hookrightarrow X$ が数値的曲線類の埋め込み $N_1(Z, \mathbb{Z}) \hookrightarrow N_1(X, \mathbb{Z})$ を誘導する場合、爆下 $\tilde{X}$ の素朴な原子分解は、$X$ の分解と $(c-1)$ 個の $Z$ の分解の連結およびソート（並べ替え）になるという予想 1.2 を検証する（ここで $c$ は $Z$ の余次元である）。

主な貢献と結果

• 定義と範囲： 本論文は、「素朴な原子分解」を、より複雑なホッジ原子の計算可能なプロキシ（代理指標）として定式化している。これは（注釈 2.4）より粗い不変量であることを認めているが、反標準束のスペクトルに関する本質的な数値データを捉えていると主張している。
• 計算例： 著者らは以下の詳細な計算を提供している：
  • 滑らかな三次四元多様体（Smooth Cubic Fourfolds）： 分解は $(1+r, 1, 1, 1)$ である（ここで $r$ は余次元2のサイクルのランク）。
  • 三次四元多様体の爆下： 平面（セクション5）または直線（セクション7）に沿って三次四元多様体を爆下させた場合、爆下中心と元の多様体の特性多項式が、爆下の多項式の極限として回収できることを示す。特に、高次数の固有値がこれらの極限の下で保存されることが示されており、著者らは、一般的な多項式の変形によって多重根が通常破壊されることを踏まえ、これを「驚くべき（remarkable）」現象であると述べている。
  • $\mathbb{P}^4$ における $(2,2,2)$ 完全交差の爆下：（セクション6）中心の高次数のエントリーが保存され、爆下の分解の中に2回現れることを示しており、これは予想と一致している。
  • ピカール階数1のファノ三次元多様体：（セクション10）すべてのこれらの多様体について分解を計算し、それらが既知の派生圏の半直和分解（SOD）と完全に一致することを見出した。
  • ヴェラ四元多様体（Verra Fourfolds）：（セクション11）爆下ではないピカール階数2の例であり、量子行列を決定するために古典的な交差理論を超えた幾何学的入力が必要であることを示している。
  • カステルヌオーヴォ曲面の反例：（セクション12）著者らは、$\mathbb{P}^4$ をカステルヌオーヴォ曲面（8個の点を除いた $\mathbb{P}^2$ に同型なもの）に沿って爆下させた場合に、予想が成立しないケースを構築した。これは、爆下の分解が $\mathbb{P}^4$ とその曲面の分解の連結にならないことを示している。これにより、$N_1(Z, \mathbb{Z}) \hookrightarrow N_1(X, \mathbb{Z})$ という仮定が必要であることが確認された。
• 曖昧さの解決： $\mathbb{P}^5$ における $(2,3)$ 完全交差の場合（セクション9）、スピノル束を含む2つの異なる半直和分解の曖昧さに対し、本論文は、クズネツォフ・コンポーネントと変形されたスピノル束を単一の原子としてグループ化することで、カノニカルな構造を示唆し、これを解決している。

意義と主張
本論文は、イリタニの爆下公式および原子の広範な理論の背後にあるメカニズムに対する「実験的な証拠」を提供すると主張している。著者らは、自らの研究が「驚くべき特徴」、具体的には、爆下から各成分への特殊化において固有値の重複度が保存されるという現象を浮き彫りにしたと述べており、これには古典的な説明が欠けている。

その意義は以下のように控えめに位置づけられている：

• 結果は、イリタニの定理の「基本的な奇跡（basic miracle）」に対する計算的なチェックとして機能する。
• 例は、「初等的な手法で計算可能であるほど単純」でありながら、「最も興味深い特徴を示すほど複雑」であるように選ばれている。
• 著者らは、これらのデータポイントが、理論の「基礎的な結果の証明のその後の簡略化」に役立つ可能性があると示唆している。
• 本論文は、素朴な分解が完全なホッジ原子構造よりも粗い不変量であることを明記しているが、テストされたすべてのファノ三次元多様体において、半直和分解の成分数を正確に予測している。

著者らは、一般的な予想や完全なイリタニ公式を証明することを主張しているのではなく、特定の非自明なケースにおいてその素朴な変種を検証し、それが成立または失敗するための正確な幾何学的条件（曲線類の埋め込み）を特定している。