The space of foliations on projective spaces in positive characteristic

技術的要約：正標数における射影空間上の葉層の空間

問題提起
射影空間上の正則な葉層（foliations）の空間の研究は、ジュアヌルー（Jouanolou）、セルヴェー（Cerveau）、およびリンス・ネト（Lins Neto）による基礎的な研究に続き、複素代数幾何学における中心的なテーマとなってきた。複素数体上では、低次（具体的には次数0、1、2）において既約成分がよく理解されているが、正標数の代数閉体におけるこれらの空間の振る舞いは、ほとんど未開拓のままである。本論文は、代数閉体 $k$（ここで $k$ は標数 $p > 0$ の代数閉体）における、$\mathbb{P}^n_k$ 上の余次元1の次数 $d$ の葉層を表すスキーム $\text{Fol}^1_d(\mathbb{P}^n_k)$ の既約成分の分類に取り組むものである。主な目的は、これらの空間の幾何学および既約成分の数が、標数 $p$ に対してどのように変化するかを決定することである（特に低次 $d=0, 1, 2$ において）。

手法
著者らは、正標数に特有の代数幾何学的手法と、複素幾何学的な議論の適応を組み合わせて用いている。主要な手法的要素は以下の通りである：

1. オイラーの関係式と閉形式： 次数0の葉層の解析は、斉次形式に対するオイラーの関係式に大きく依存している。著者らは、標数 $p$ における閉射影形式の特定の挙動を利用しており、閉形式の次数 $e$ が $p$ で割り切れる場合（または完全性のための特定の条件を満たす場合）にのみ存在することを指摘している。
2. メデイロス（Medeiros）の分類： 線形係数を持つ局所的に分解可能な可積分微分形式に関するメデイロスの記述を適応させている。これは元々 $\mathbb{C}$ 上で定式化されたものであるが、著者らはこれを任意の標数において妥当であることを検証し、次数0および1の葉層の分類に使用している。
3. $p$-曲率と退化因子： 次数1の葉層については、$p$-曲率の理論を利用している。彼らは、$p$-閉じた葉層と $p$-稠密な葉層を区別し、$p$-曲率射続に関連する退化因子 $\Delta_F$ を解析している。これにより、次数と $p$ の関係に基づき、葉層を線形プルバックまたは対数形式として特徴付けることができる。
4. カルティエ変換（Cartier Transform）： 対数成分の研究における中心的なツールは、葉層のカルティエ変換である。閉対数1形式にカルティエ作用素を適用することで、著者らはこれらの形式の変形に対する安定性を解析し、対数成分が既約であり続けるための条件を確立している。
5. 算術的特殊化： 任意の標数における結果を証明するために、著者らはしばしば標数0（または大きな $p$）における結果を確立し、半連続性を用いた議論や特殊化を用いて、小さな標数の性質を導き出している。逆に、標数 $p$ における特定の成分の存在を用いることで、$\mathbb{C}$ 上の古典的な結果に対する代替的な証明を提供している。

主要な貢献と結果

• 次数ゼロの葉層 ($d=0$)：
  著者らは、次数0の葉層の既約成分の完全な記述を提供している。

  • $\text{char}(k) \neq 2$ または余次元 $q > 1$ の場合、その空間は線形部分空間のグラスマン多様体と同型であり、これは線形射影によって定義される葉層に対応する。
  • 特殊なケースとして、$\text{char}(k) = 2$ かつ $q=1$ の場合、その空間は次数2の閉1形式の射影空間に対応し、これは $\text{char} \neq 2$ の場合とは大きく異なる。

• 次数一つの葉層 ($d=1$)：
  既約成分の数は、標数 $p$ に厳密に依存する：

  • $p=2$： 唯一の既約成分が存在し、それは線形プルバック成分 $\text{Lin}_1(\mathbb{P}^n_k)$ である。
  • $p=3$： ちょうど2つの成分が存在する：線形プルバック成分 $\text{Lin}_1(\mathbb{P}^n_k)$ と、閉1形式の成分 $\text{Cl}_1(\mathbb{P}^n_k)$ である。
  • $p \geq 5$： ちょうど2つの成分が存在する：$\text{Lin}_1(\mathbb{P}^n_k)$ と、対数成分 $\text{Log}_{(1,2)}(\mathbb{P}^n_k)$ である。
    論文では、$p \geq 5$ の場合には記述が一様であり、対数成分は2つの異なる剰余を持つ形式から生じることを確立している。

• 次数二の葉層 ($d=2$)：
  次数2の結果はそれほど決定的ではなく、部分的な分類にとどまっている。

  • 著者らは、標数0において知られている6つの既約成分が、$p \geq 5$ において標数 $p$ の既約成分へと特殊化することを示している。
  • 彼らは、小さな標数（$p=2, 3$）における特定の成分、特に非アーベルリー代数的なベクトル場の部分環に関連する葉層の軌道によって定義される「例外的な」成分 $\text{Exc}(\mathbb{P}^n_k)$ を特定している。
  • 例外的成分の存在は $p \neq 3$ について証明されている。$p=3$ の場合、彼らの主要な技術的ツールである非クパ（non-Kupka）特異性条件の失敗のため、この成分のステータスは未解決のままである。

• 定理 A（対数形式の安定性）：
  主要な理論的貢献は、任意の標数における対数成分 $\text{Log}_{(d_1, \dots, d_r)}(\mathbb{P}^n_k)$ の既約性を確立する定理 A である。この定理は、次数 $d_i$ および標数 $p$ に関する具体的な算術的条件（例えば、$p$ が次数やその和を割り切るかどうか）の下で、これらの集合が既約成分を形成するための条件を提示している。この結果は、複素設定における一般的な対数1形式に関するカルボ＝アンドラーデ（Calvo-Andrade）の安定性定理を、任意の標数へと一般化するものである。

意義と主張
本論文は、正標数における葉層の空間の研究を体系的に開始するものであり、これらのモジュライ空間の幾何学が、底体の標数に対して非常に敏感であることを明らかにしている。

• 算術的観点： 著者らは、定理 A が、正標数におけるこれらの空間の振る舞いから導かれた、カルボ＝アンドラーデの $\mathbb{C}$ 上の安定性結果（系 6.3）に対する新しい算術的な証明を提供していることを示している。
• 完全性に関する謙虚な姿勢： 著者らは、次数0および1については完全な記述を提供している一方で、次数2の分類、特に小さな標数（$p=2, 3$）および高余次元においては不完全であることを明示している。また、次数3の葉層の状況はさらに理解が進んでいないことを述べている。
• 未解決問題： 論文は、小さな標数における次数2の成分リストの完全性や、より高次および高余次元の葉層の既約成分の分類といった未解決問題を強調して締めくくられている。

要約すると、本研究は、複素数による分類がベースラインとなる一方で、正標数の設定は、特有の現象（例えば、標数2における閉形式の出現や、成分の数の標数への依存など）を導入するため、その解析には特定の算術的ツールが必要であることを確立している。