Families of smooth Fano fourfolds of Picard rank 1 without Bott vanishing

技術要約：ボット消滅（Bott Vanishing）を満たさないピカール数1の滑らかなファノ4種族

問題提起
本論文は、滑らかなファノ多様体の自己準同型に関するよく知られた予想の特定のケースを扱っている。予想1.1は、標数0の代数閉体上の滑らかなファノ多様体 $X$ がピカール数 $\rho(X)=1$ で、次数が1より大きい自己準同型を持つならば、$X$ は射影空間 $\mathbb{P}^n$ と同型でなければならない、と提唱している。

KawakamiとTotaro [16] による最近の研究は、一般的な含意を確立した：すなわち、int-amplified な自己準同型の存在（これは $\rho(X)=1$ の場合、次数が1より大きい自己準同型と同値である）は、$X$ が「ボット消滅」を満たすことを含意する。ボット消滅とは、すべての $i > 0, j \ge 0$ および任意のアンプルなWeil因子 $A$ に対して、$H^i(X, \Omega^j_X(A)) = 0$ となることを要求するものである。

本論文が取り組んでいる具体的な問題は、現在知られているピカール数1かつファノ指数1の滑らかなファノ4種族に対する、この予想の検証である。この予想は、指数が1より大きいケースや他の次元または構造については既に既知であったが、次元4における指数1のケースは未解決のままであった。著者らは、これらの既知の種族のいずれかがボット消滅を満たすかどうかを判定することを目的としている。もし満たさないのであれば、それらは次数が1より大きい自己準同型を持つことができない。

手法
著者らは、Macaulay2パッケージであるSchubert2を用いた計算的アプローチを採用している。核となる戦略は、ボット消滅と接束のオイラー標数 $\chi(X, T_X)$ との間の関係に基づいている。

1. 論理的還元： 著者らは、もしファノ多様体 $X$ に対してボット消滅が成立するならば、$i > 0$ に対して $H^i(X, T_X) = 0$ となること（なぜなら $T_X \cong \Omega^3_X \otimes (-K_X)$ であり、$-K_X$ はアンプルであるため）に注目している。したがって、$\chi(X, T_X) = h^0(X, T_X) \ge 0$ となる。ゆえに、与えられた種族に対して $\chi(X, T_X) < 0$ であることを示すことができれば、ボット消滅は成立せず、その多様体は次数が1より大きい自己準同型を持つことができない。
2. 計算ツール： 複雑な幾何学的構成における $\chi(X, T_X)$ を計算するために、著者らは（Burt Totaroと共同で）Schubert2パッケージのための新しい関数を開発した。これらの関数は以下を処理する：
   • 対称および歪対称退化座（Symmetric and Skew-Symmetric Degeneracy Loci）： 関数 skewDegeneracyLocus、symmetricDegeneracyLocus、およびその変種（...2、...KernelBundle）は、対称または歪対称な射のランク条件によって定義される座の特性類およびオイラー標数を計算する。これらは、相対グラスマン多様体による分解、およびFulton、Harris–Tu、Józefiak–Lascoux–Pragaczによる定理に基づくチェルン類の計算を利用している。
   • 重み付き射影空間： 関数 weightedProjectiveBundle および weightedProjectiveSpace は、重み付き射影の設定における交差理論的な計算を可能にし、交差環と押し出しを適切にモデル化する。
3. 計算の範囲： 著者らはこれらのツールを、ピカール数1かつ指数1の滑らかなファノ4種族の32の特定の種族に適用している：
   • 重み付き射影空間内の完全交差として実現される13の種族。
   • グラスマン多様体上の斉次ベクトル束の零点集合として実現される13の種族。
   • QureshiやKüchleによる構成を含む、歪対称退化座（パフィアン部分多様体）として実現される6つの追加の種族。

主要な貢献

1. アルゴリズムの開発： 本論文は、退化座（対称および歪対称の両方）および重み付き射影多様体の特性類およびオイル標数を体系的に計算することを可能にする、Schubert2のための新しい計算関数を導入し、文書化している。
2. 体系的な検証： 著者らは、ピカール数1かつ指数1の滑らかなファノ4種族の、現在知られているすべての32の種族に対して $\chi(X, T_X)$ の包括的な計算を行っている。

結果
計算は以下の決定的な結果をもたらす：

• 定理 1.3： ピカール数1かつ指数1の滑らかなファノ4種族の、現在知られているすべての32の種族について、オイラー標数 $\chi(X, T_X)$ は厳密に負である。
• ボット消滅の失敗： $\chi(X, T_X) < 0$ であるため、$i > 0$ に対して $H^i(X, T_X) = 0$ という条件は成立し得ない。したがって、これら32の種族のいずれもボット消滅を満たさない。
• 系 1.4： これらの結果を既知のケース（ピカール数1、指数 $>1$）と組み合わせることで、著者らは、現在知られているすべての滑らかなファノ4種族の中で、次数が1より大きい自己準同型を持つことができるのは射影空間 $\mathbb{P}^4$ のみであると結論付けている。

意義
本論文は、現在知られているすべてのピカール数1の滑らかなファノ4種族の完全な集合に対して、自己準同型予想を検証したと主張している。非射影的な既知のケースにおいて、接束の負のオイラー標数がボット消滅を妨げることを示すことにより、著者らはこれらの多様体における非自明な自己準同型の存在を排除している。この研究は、Kawakami–Totaro [16] によって確立された含意に依拠しており、次元4における指数1のケースへと検証を拡張し、ファノ多様体の分類におけるギャップを埋めるものである。本論文は、すべての 可能なファノ多様体に対して予想を証明したと主張しているのではなく（指数1の種族の分類はまだ完全ではないため）、厳密に「現在知られている」種族に限定して結論を述べている。