Infinitesimal commutative unipotent group schemes with one-dimensional Lie algebra

技術的概要：一次元リー代数を持つ無限小可換単一性群スキーム

問題提起
本論文は、標数 $p > 0$ の代数閉体 $k$ 上の無限小可換単一性群スキームを明示的に記述することの困難さに対処する。そのようなスキームの存在は知られている（例えば、$p$-ランクがゼロであるアーベル多様体の $p$-ねじれとして）が、ホップ代数の観点からの明示的な構造は、特に次元が増大するにつれて不明瞭であることが多い。本論文が取り組む具体的な問題は、一次元のリー代数を持つ $p^n$ 次（order $p^n$）の無限小可換単一性 $k$-群スキームの分類である。この分類は、Fakhruddin によるそのようなスキームの存在に関する部分的な問いと、Brion によるこれらのスキームの曲線への有理的作用に関する問いに動機づけられている。

手法
著者は、$W(k)$ 上のドゥエドネ加群の理論を用いて、幾何学的な問題を、フロベニウス $F$ とヴェルシヒブング $V$ によって生成される非可換環 $E$ 上の加群に関する代数的な問題に変換する。

1. ドゥエドネ加群への帰着: 無限小可換単一性群スキームと、有限長さの左 $E$-加群（ここで $F$ と $V$ は冪零である）との間の反同値な圏の性質を用いることで、問題は長さ $n$ の特定の $E$-加群の分類へと帰着される。
2. 帰納的分類: 証明は $n$ に関する帰納法によって進められる。$p^n$ 次を持つ群スキーム $G$ に対して、著者は $(n-1)$-番目のフロベニウス写像によって誘導される短完全系列を解析する：
   $$0 \to \ker(F_G^{n-1}) \to G \to \alpha_p \to 0$$
   帰納的仮定により、核は分類されている。次に、ドゥエドネ加群 $M(G)$ を $\alpha_p$ に対応する加群の拡大として解析する。
3. 代数的簡略化: 決定的なステップは、ドゥエドネ加群の定義関係における特定のパラメータが正規化可能であることを証明することである。具体的には、命題 4.3 は、代数閉体において、$W(k)$ の係数を含む項は同型によって除去可能であることを示しており、分類を離散的なパラメータの集合へと還元する。
4. 明示的構成: 本論文は、分類されたスキームに対するホップ代数を明示的に構成し、それらがウィットベクトル群スキーム $W_n$ 上の $V - F^i$ 型の射の核として現れることを示す。

主要な貢献と結果

• 分類定理（定理 1.1）: 本論文は、標数 $p > 0$ の代数閉体 $k$ 上において、一次元のリー代数を持つ $p^n$ 次（order $p^n$）の無限小可換単一性 $k$-群スキームの同型類がちょうど $n$ つであることを証明する。
  これらのスキームは、以下のように明示的に記述される：
  $$W_n^n[V - F^i] := \ker(V - F^i : W_n^n \to W_n^n)$$
  ただし、$i = 1, \dots, n$ である。ここで、$W_n^n$ は長さ $\le n$ のウィットベクトルの群スキームを表し、$F$ と $V$ はフロベニウスとヴェルシヒブングの射である。

• カルティエ双対（系 4.5）: 本論文は、そのカルティエ双対が一次元のリー代数を持つスキームに対する並行した分類を提供する。これらは $i = 1, \dots, n$ に対して $W_n^n[F - V^i]$ によって与えられる。

• 超特異楕円曲線の部分群スキーム（命題 5.1）: この分類は超特異楕円曲線 $E$ に適用される。本論文は以下の事実を確立する：

  • $p^n$-ねじれ部分群 $E[p^n]$ は $W_{2n}^{2n}[V - F]$ に同型である。
  • $m$-番目のフロベニウス核 $E[F^m]$ は $W_m^m[F - V]$ に同型である。
  • したがって、超特異楕円曲線の無限小部分群スキームは、分類リストにおける自己双対スキーム（具体的には双対分類における $i=1$ の場合）に他ならない。

• 曲線への有理的作用（命題 5.3）: Brion の問いに答えるため、本論文は、これら $n$ 個のスキームのうち、滑らかな連結な 1 次元代数群に埋め込み可能なのはどれかを決定する。

  • 埋め込み可能なのは 2 つの場合のみである：$G \cong \alpha_{p^n}$（加法群 $\mathbb{G}_a$ の部分群）および $G \cong W_n^n[F - V]$（超特異楕円曲線の部分群）。
  • 他の $n-2$ 個のスキーム（$1 < i < n$ の場合）は、いかなる滑らかな連結な 1 次元代数群の部分群スキームでもない。ただし、本論文で引用されている先行研究によれば、それらは任意の曲線に対して有理的かつ一般に自由な作用を許容する。

• 非可換な反例（例 5.4）: 本論文は、可換性に関する問いに答えることで結論付ける。一次元のリー代数を持つ非可換な無限小単一性群スキームの明示的な例を提供し、この次元の制約があっても可換性が保証されないことを実証する。

意義
本論文は、以前は抽象的なドゥエドネ加群理論を通じてのみ理解されていた特定の群スキームのクラスを、完全かつ明示的に列挙する。ウィットベクトルとホップ代数の観点からの明示的な記述を与えることで、これらのスキームの多様体への作用の構成を容易にする。さらに、これらのスキームを滑らかな曲線に埋め込むことに関する具体的な問いを解決し、超特異楕円曲線上のねじれおよびフロベニウス核の構造を明確にする。これらの結果は、滑らかな曲線の部分群という意味で「幾何学的」である群スキームと、本質的には無限小であるが依然として曲線に作用しうる群スキームとを区別する役割を果たす。