Profiles, linear spaces, and unirationality of complete intersections

技術要約：完全交差のプロファイル、線形空間、および一様有理性

問題設定
代数幾何学において、高次の超曲面や射影空間内の完全交差は、通常、複素数体上では有理部分多様性をほとんど、あるいは全く含まないような、幾何学的に複雑なものと見なされる。しかし、標数 $p > 0$ の正の標数においては、この次数と複雑さの間の相関関係が崩れる。フェルマー超曲面（次数 $q+1$、ここで $q=p^e$）のような顕著な例は、数値的な次数が高いにもかかわらず、一様有理性や多くの線形空間の存在といった、予想外に単純な振る舞いを示す。これらの現象に対する従来の解釈は、エルミート形式へのアドホックな同一視に依存することが多かった。本研究は、定義多項式の「特殊な形状」を分析することによって、なぜ正の標数における特定の高次多様体が、あたかも低次の多様体であるかのように振る舞うのかを説明するための、体系的な枠組みを提供することを目的とする。

手法および枠組み
本論文では、多項式の構造的な形状を素数冪 $q = p^e$ に対して追跡する、多項式の離散不変量である**プロファイル（profile）**という概念を導入する。

1. プロファイルと $(q; a)$-tic 多項式:
   プロファイルとは、特定のテンソル分解における一意性を保証するための技術的な単射条件を満たす、非負の係数を持つ整数多項式 $a(t) = \sum a_j t^j$ である。多項式が $(q; a)$-tic であるとは、各 $f_{i,j}$ が次数 $a_j$ の同次多項式であるような項 $\prod f_{i,j}^{q^j}$ の和として記述できることを指す。
   本論文の中心的な启发（heuristic）は、$(q; a)$-tic 超曲面は、その数値的な次数 $a(q) = \sum a_j q^j$ ではなく、次数 $a(1+\epsilon) \approx \sum a_j$（ここで $\epsilon > 0$ は微小）の超曲面であるかのように振る舞う、というものである。

2. ファノ・スキームと線形空間:
   本論文では、$(q; a)$-tic 完全交差 $X$ に含まれる $r$-平面をパラメータ化するファノ・スキーム $F_r(X)$ を研究する。定義方程式のテンソル構造を利用することで、本論文は、ファノ・スキームが数値的な次数ではなくプロファイル $a$ に依存するベクトル束の切断によって規定されることを示す。これにより、正確な次元計算と滑らかさの結果が可能となり、これらは $q$ に依存しない。

3. 帰納的な一様有理性構成:
   一様有理性を証明するために、本論文は（三次超曲面における前末端接線に基づく）古い構成を $(q; a)$-tic の設定へと一般化している。戦略は以下の通りである：

• 前末端接線（penultimate tangents）（多様体と次数 $d-1$ で交わる直線）の族を構成する。
• 前末端接線から残りの交点へと写す**残留点写像（residual point map）**を定義する。
• マルチプロファイルのポセット（半順序集合）に関する帰納的議論を用いる。帰納法は、以下の3つの操作によってマルチプロファイルを減少させることで進行する：フロベニウス降下（$q$ 乗根を取る）、線形方程式の除去、および前末端接線の族への移行（これはプロファイルを減少させる）。

主要な貢献および結果

• 定理 A（ファノ・スキームの幾何学）:
  本論文は、一般的な $(q; a)$-tic 超曲面 $X \subset \mathbb{P}^n$ における $r$-平面のファノ・スキーム $F_r(X)$ が、完全にプロファイル $a$ によって決定されることを確立する。

  • 特定の数値的不変量 $\delta(n, a, r)$ が負である場合、一般的な $X$ に対して $F_r(X)$ は空集合となる。
  • $\delta(n, a, r) \ge 0$ である場合、$F_r(X)$ は非空であり、一般的な $X$ に対して期待される次元 $\delta(n, a, r)$ を持ち、既約である。
  • プロファイルが簡約（定数項が非ゼロ）である場合、$F_r(X)$ は滑らかである。
  • 決定的なことに、これらの性質は $q$ ではなく $a$ に依存し、低次の完全交差に関する古典的な結果を一般化している。

• 定理 B（一様有理性）:
  主要な結果は、任意のマルチプロファイル $a$ に対して、すべての $n \ge n_0(a)$ に対して、$\mathbb{P}^n$ 内の一般的な $(q; a)$-tic 完全交差は一様有理的である、というものである。

  • この結果は、プロファイルに対して $n$ が十分に大きい限り、素数冪 $q$ に関わらず成立する。
  • 証明には、プロファイルの帰納的な減少が用いられる。$n_0(a)$ の値は、小さなプロファイルに対して明示的に計算されている。
  • 定数プロファイル $a(t) = d$（次数 $d$ の超曲面に対応）の場合、$n_0(d)$ は従来の古典的な境界（例：$n_0(10) \approx 10^{59}$ に対し、以前の境界は $2^{10!}$ のオーダーであった）よりも大幅に改善されている。

• 予想 C:
  著者は、滑らかな $(p; a)$-tic 超曲面（$a_0 \neq 0$）について、$n$ が十分に大きいとき、ファノ・スキーム $F_r(X)$ は $p > \max(a_i)$ の全特性において一様に、次元 $\delta(n, a, r)$ の既約な多様体になると予想している。

意義および主張
本論文は、歴史的に孤立した例（フェルマー超曲面など）を、広範かつ体系的な文脈の中に位置づけていると主張している。多項式の「プロファイル」を定義することにより、本研究は、なぜ正の標数における特定の高次多様体が幾何学的に単純であるのかという構造的な理由を特定している。

• 統一: 本研究は、以前は特殊なケースとして扱われていた広範な種類の多様体に関する、線形空間と一様有理性の研究を統一する。
• 定量的改善: 定数プロファイル（古典的な次数）の場合において、一様有理性のために必要な次元の境界を大幅に改善し、Morin、Predonzan、Ramanujamによる結果を凌駕している。
• 構造的洞察: 本研究は、「カノニカルな部分線形系」が、プロファイルの構造から生じるものであり、これこそが、古典的な特性 0 の結果を正の標数へ拡張する際の主要な障害（特性そのものが根本的な障壁なのではなく、プロファイル構造に由来するものである）であることを示唆している。

本論文は、現在の結果は大きな $n$ に対して有効であるが、開発された手法（特に、族のグローバルな取り扱いおよび前末端接線の構成）は、これらの条件をより小さな次元に対して有効にし、自己同型群やモジュライなどのさらなる性質を探索するための基礎を築くものである、と述べて締めくくっている。