Frobenius--Tschirnhausen ampleness

問題設定

本研究は、正標数 $p > 0$ の体上の滑らかな射影多様体 $X$ に対し、そのフロベニウス・ツィルヒセン・バンドル（Frobenius–Tschirnhausen bundle）$E_X$ のアンプ性（ampleness）によって課される幾何学的制約を調査するものである。このバンドルは、$E_X \coloneqq (F_* \mathcal{O}_X / \mathcal{O}_X)^\vee$ と定義され、絶対フロベニウス射 $F: X \to X$ に付随するフロベニウス・トレースの核（Frobenius-trace kernel）の双対である。本研究は、標数 0 における古典的な結果、例えばモリの定理（接束のアンプ性が $X \cong \mathbb{P}^n$ を意味する）や、有理同次空間に関するツィルヒセン・アンプ性予想に動機付けられている。Carvajal-Rojas や Patakfalvi による先行研究では、このような多様体がファノ多様体であり、かつ一般的滑らかなファイブレーションや因子収縮を持たないことが確立されているが、精密な分類および、射影空間や二次形式多様体（quadrics）を超えた例の存在については未解決のままであった。中心となる問いは、「ピカール数が 1 であるどのような滑らかなファノ多様体が、アンプなフロベウス・トレースの核を持つのか、そしてそれに対する標数 $p$ の必要条件は何か」である。

手法

著者らは、無限小表現論、フロベニウス分解（Frobenius splittings）の理論、および明示的な幾何学的構成を組み合わせて、$E_X$ の正則性を分析する。

1. 射および部分スキームへの制限: 本論文ではまず、$E_X$ がアンプである場合、任意の非定数射 $f: X \to Y$ は像に対して有限である（finite onto its image）ことを確立する。これは、$X$ の中の任意の連結閉部分スキーム $Z \subset X$ が $G_1$ 性（$Z$ に沿った $X$ の完備化上の形式関数は定数であること）を満たすことを示すことで証明される。これは、部分スキームへのフロベニウス余核（Frobenius cokernel）の制限が、法束（conormal bundle）および無限小近傍に関連しているという観察に基づいている。
2. 表現論的基準: 有理同次空間 $X = G/P$ に対して、著者らは $E_X$ が大域生成（globally generated）であることを利用する。彼らはこれを発展させ、ねじれられたバンドル $E_X \otimes \mathcal{O}_X(-1)$ の大域生成について調査する。フロベニウス・トレースの核と接束の作用による余余量（coinvariants）との同一性を利用することで、$\omega_X^{\otimes (1-p)} \otimes \mathcal{O}_X(-p)$ の大域切断から $p$-フロベニウス・ジェットへの制限写像の全射性に、アンプ性を関連付ける。
3. 明示的な構成（ローリング行列式とパフィアン）: 古典型（グラスマン多様体、シンプレクティック、直交型）および $G_2$ 型における大域生成を証明するために、著者らは明示的な切断を構成する。彼らは「ローリング行列式（rolling determinants）」および「ローリング・パフィアン（rolling Pfaffians）」を導入する。これらの構成は、フロベニウス核の座標環における特定のウェイト・ベクトル（トレース要素 $\tau$ の微分）を実現するように設計された、大セルにおける座標行列のマイナーの特定の多項式を含むものである。
4. エキゾチック・イソジェニーによる障害: アンプ性が失敗する例外的なケースにおいて、著者らは代数群またはそれに関連する同次空間の間の有限な純粋非分離射（エキゾチック・イソジェニー）の存在を示す。彼らは、このようなツィルヒセン・バンドルが特定の部分多様体（線や低次元のグラスマン多様体など）上で非アンプなバンドルに制限されることを示し、それによって $E_X$ のアンプ性を阻害することを示す。

主要な貢献と結果

• 定理 A (射の有限性): フロベニウス・ツィルヒセン・アンプな多様体 $X$ から別の多様体 $Y$ への非定数射は、像に対して有限である。したがって、$X$ は非自明な極限収縮（extremal contractions）を持たない。ファノ特性と組み合わせることで、これは（収縮定理の仮定の下で）そのような多様体がピカール数 1 を持つことを強く示唆し、証明している。
• 定理 B (超曲面の非アンプ性): 著者らは、標数 $p < d \le n$ において、アンプではないフロベニウス・ツィルヒセン・アンプな滑らかなファノ超曲面 $\mathbb{P}^n$ の次数 $d$ の明示的な族を構成する。これらの例には、標数 2 における二次形式 3 次多様体の既知の非アンプ性を一般化した、「q-bic」または極限超曲面が含まれる。
• 定理 C (古典型および $G_2$ 型の分類): 本論文は、古典型および $G_2$ 型の一般化グラスマン多様体のフロベニウス・ツィルヒセン・アンプ性を完全に分類する。ピカール数 1 の射影有理同次空間 $X$ がフロベニウス・ツィルヒセン・アンプであるための必要十分条件は、それが以下の例外のいずれでもないことである：
  • 標数 $p=2$ におけるシンプレクティック・グラスマン多様体 $SGr(k, 2m)$（ただし$2 \le k \le m$）。
  • 標数 $p=2$ における直交グラスマン多様体 $OGr(m-1, 2m+1)$。
  • 標数 $p=2$ または $p=3$ における $G_2$-グラスマン多様体。
• 先行研究の修正: 本研究は、標数 2 における二次形式多様体に関する先行文献のわずかな不正確さを修正し、標数 2 における次元 $\ge 4$ の二次形式多様体はフロベニウス・ツィルヒセン・アンプであるが、二次形式 3 次多様体はそうではないことを示している。

意義と主張

本論文は、正標数におけるフロベニウス・ツィルヒセン・アンプな多様体に関する最初の一連の包括的な制限と例を提供することを主張している。そのような多様体が非自明な収縮を持たないことを証明することで、著者らは、これらの多様体がファノ多様体であるという予想を強力に支持している。

結果の意義は以下の通りである：

1. 分類の完了: 定理 C は、最も接近しやすいファノ多様体のクラス（一般化グラスマン多様体）に対するアンプ性の問題を解決し、標数に依存する正確な障害を特定した。
2. 幾何学的メカニズム: 本論文は、低標数におけるアンプ性の失敗の背後にあるメカニズムを解明し、それを代数群間の「エキゾチック・イソジェニー」（例：$p=2$ における $SO_{2m+1}$ と $Sp_{2m}$ の間、および $G_2$ の自己イソジェニー）に帰着させている。これらのイソジェニーは、ツィルヒセン・バンドルがアンプでない性質を持つ射を誘導する。
3. 方法論の進展: 著者らは、フロベニウス分解 $F_* \mathcal{O}_X$ の明示的な分解（これはしばしば困難である）を避けて、代わりに特定のフロベニウス分解を構成し、表現論を通じてねじれられたトレース・カーネルの大域生成を分析する手法を導入した。

著者らは、例外的な型（$G_2$ 以外）に関して、他の一般化グラスマン多様体は「良質な」標数（例：$p > 5$）においてフロベニウス・ツィルヒセン・アンプであると予想しているが、これを証明してはいない。本研究は、フロベニウス・トレースの核の正則性と多様体の大域的な幾何学との間の厳密な結びつきを確立しており、接束の正則性がフロベニウス・トレースの核の正則性を意味するという直感への逆を示唆している。