文献あり

射影多様体X(N)を見る

122

この著者は初心者として投稿しています。間違いや考慮が足りていない点が含まれている可能性が高いです。見つけたらコメント欄で優しく指摘してあげましょう。

本記事では広義楕円曲線とその $N$ レベル構造を司るモジュラー曲線 $X (N)$ を考えていきます。初めに基本的な定義・性質をおさらいして、次節で $X (3)$ を構成し、最後に $X (N)$ のカスプを見ていきます。

わたしの記事は全て院試の解答と趣味のどちらかです(尤も院試の解答も趣味ですが...)。趣味の記事を書くに当たっては、ゆくゆくはフェルマーの最終定理の証明をわたしの記事のみで追えるようにすることを目標にしています。本記事もその目標に向けての足掛かり的な記事ですが、今の時点では $X (3)$ の性質を軽く述べただけのメモ的な内容に終始しています。なのであまり参考になる箇所はないかもしれませんがご了承ください。今後中身のある記事にしていきたいと思っているので期待しないで待っていただけると幸いです。

関手 $M (N)$ 及び $\overset{―}{M} (N)$ について

${Sch}_{Q}$ を $Q$ スキームの圏、 $Set$ を小さな集合の圏とする。

関手 $M (N) : {Sch}_{Q} \to Set$ を $Q$ スキーム $T$ に対して、 $T$ 上の楕円曲線 $E / T$ 及びその群スキームの同型 $α : {(Z / N Z)}^{2} ≃ E_{N}$ の組全体の集合 ${(E / T, α)}$ を出力する関手と定義する。

また関手 $\overset{―}{M} (N) : {Sch}_{Q} \to Set$ を $Q$ スキーム $T$ に対して、 $T$ 上の広義楕円曲線 $E / T$ 及びその $Γ (N)$ 構造 $α : {(Z / N Z)}^{2} \subseteq E_{N}^{sm}$ の組全体の集合 ${(E / T, α)}$ を出力する関手と定義する。

このとき次の定理が成り立ちます。

$N$ を自然数とする。

$M (N)$ 及び $\overset{―}{M} (N)$ は粗モジュライを持つ。 $N \geq 3$ のときこれらは精モジュライになっている。
$\overset{―}{M} (N)$ の粗モジュライ $X (N)$ は $Q$ 上の固有スムーズな代数曲線である。また $M (N)$ の粗モジュライ $Y (N)$ は $X (N)$ の稠密開部分スキームである。

ST命題2.21

$N$ は自然数とする。

$X (N)$ は連結多様体で、定数体は $Q (ζ_{N})$ である。
代数曲線 $X (N) / Q (ζ_{N})$ の種数 $g (N)$ は
$g (N) = {\begin{cases} 0 & (N = 1, 2) \\ \frac{N φ (N) ψ (N)}{24} - \frac{φ (N) ψ (N)}{4} + 1 & (N \geq 3) \end{cases}$
である。

ST命題2.22

両者ともSTに載っていますが、前者は証明が省略されている箇所があり、後者に至っては方針だけ述べて証明が完全に省略されているので、ある $N$ が存在して $N$ 年以内にこれらの証明についての記事を書こうと思います。

小さい $N$ については実際に計算することで、次がわかります。

$N$	$φ (N)$	$ψ (N)$	$g (N)$
1	1	1	0
2	1	3	0
3	2	4	0
4	2	6	0
5	4	6	0
6	2	12	1
7	6	8	3
8	4	12	5
9	6	12	10
10	4	18	13

ここで次の事実があります。

$K$ 有理点を持つ種数 $0$ の連結固有スムーズ曲線 $/ K$ は $P_{K}^{1}$ に限る。

stacks project Proposition 53.10.4 (8)→(1)から従う。

ここで各 $N$ に対して、Neronの $N$ 角形とそれに付随する $Γ (N)$ 構造を構成することで、X(N)の $Q (ζ_{N})$ 有理点を構成でき、これによって上記の補題及び例から
$X (1) = X (2) = P_{Q}^{1}$
$X (3) = P_{Q (ζ_{3})}^{1}$
$X (4) = P_{Q (i)}^{1}$
$X (5) = P_{Q (ζ_{5})}^{1}$
がわかる(但し $ζ_{N}$ は $1$ の原始 $N$ 乗根である)。

モジュラー曲線 $X (3)$

ここではモジュラー曲線 $X (3)$ を見ていきます。これはSTに於いて命題2.21(本記事の定理1)を示すための足掛かりになっているので、前節の内容は一旦忘れて議論を進めていきます。

$X (3) = P_{Q (ζ_{3})}^{1}$ 及び $Y (3) = P_{Q (ζ_{3})}^{1} ∖ {1, ζ_{3}, ζ_{3}^{2}, \infty}$ である。

$t$ を $P_{Q (ζ_{3})}^{1}$ の非斉次座標とする。ここで $X (3) = P_{Q (ζ_{3})}^{1}$ 上の平面曲線 $E_{X (3)}$ を
$E_{X (3)} : X^{3} + Y^{3} + Z^{3} - 3 t X Y Z = 0$
とおく。更にこの切断
$O = [0, 1, - 1]$
$P_{1} = [0, 1, - ζ_{3}]$
$P_{2} = [0, 1, - ζ_{3}^{2}]$
をとっておく。ここで $E_{X (3)}$ は $Y (3)$ 上ではスムーズ平面 $3$ 次曲線なので、切断 $O$ を原点とする楕円曲線と見れる。

ここで $e_{1}$ 及び $e_{2}$ を ${(Z / 3 Z)}^{2}$ の標準基底とし、群スキームの準同型 $α : {(Z / 3 Z)}^{2} \to E_{X (3)}^{sm}$ を
$e_{i} \to P_{i}$
によって定義する。これによって関手の射
$\begin{aligned} Hom (-, X (3)) & \to \overset{―}{M} (3) (-) \\ f & \mapsto (f^{*} E, f^{*} α) \end{aligned}$
が定まる。以下これが同型であること、つまり任意の $Q$ スキーム $S$ 及び $Γ (3)$ 構造付き楕円曲線 $(E / S, α)$ に対し $(f^{*} E_{X (3)}, f^{*} α) ≃ (E, α)$ であるような $f : S \to X (3)$ が一意的に存在することを示す。(証明自体は下に続きます)

以上から次の補題を示すことに帰着されました。

$Q$ 代数 $A$ 及び広義楕円曲線 $E / A$ に対して、 $α$ を $E$ の $Γ (3)$ 構造とする。このとき $μ \in A$ 及び $ω^{3} = 1$ なる $ω \in A$ で、 $E$ は
$X^{3} + Y^{3} + Z^{3} - 3 μ X Y Z = 0$
で定義される $P_{A}^{2}$ の閉部分スキームに同型であり、 $P_{1} = α (e_{1})$ 及び $P_{2} = α (e_{2})$ が $[0, 1, - ω]$ 及び $[0, 1, - 1]$ に対応するようなものが一意的に存在する。

以下補題を示していきますが、まず一意性が述べられていることから証明は $Y$ がアファインの場合に帰着できます。また簡単のため $Y$ はネーター $Q$ 代数 $A$ のアファインスキームとします。ネーターとは限らない環の場合もこの場合に帰着できます。

まず $E$ 上の可逆層 $L := O_{E} ([O] + [P] + [2 P])$ が非常に豊富なことを示していく。初めに $p : E \to Y$ はネータスキームの間の平坦射なので、Stacks Project Theorem 41.10.2 から開写像であることがわかる。特に $E$ 上の任意の層 $F$ に対して、自然な射 $p^{*} p_{*} F \to F$ は同型になる。次に $f$ は固有射(特に準コンパクト射かつ分離的射)なのでStacks Project Lemma 29.38.7 から $L$ の非常に豊富性を確かめるには射 $E \to P (f_{*} L)$ が閉埋め込みなことを確かめればよい。この射及びその余域の構成が基底変換と整合的であること、そしてスキーム上の固有射の間の射が閉部分スキームなことを見るには各幾何的ファイバー上で見ればよく、これによって $L$ の非常に豊富性の確認は $Y = Spec k$ ( $k$ は代数閉体)の場合に帰着された。これはRH3系3.2から従う。以上から $L$ は非常に豊富な層であり、閉埋め込み $i : E ↪ P_{A}^{2}$ で $L = i^{*} O_{P_{A}^{2}} (1)$ を満たすものの存在がわかる。よって大域切断 $Γ (E, L)$ は $3$ 元生成され、しかもこれはファイバーに制限しても $3$ 次元線型空間であるから、RH2定理12.11も考慮すれば $Spec A$ を十分小さくとることで $V = Γ (E, L)$ はランク $3$ の自由 $A$ 加群であることがわかる。

また $V$ の部分 $A$ 加群
$L_{0} = Γ (E, O_{E})$
$L_{1} = Γ (E, O_{E} ([O] + [P] + [2 P] - [Q] - [Q + P] - [Q + 2 P])$
$L_{2} = Γ (E, O_{E} ([O] + [P] + [2 P] - [2 Q] - [2 Q + P] - [2 Q + 2 P])$
を考える。初めに $L_{0}$ は自然な形で $A$ を含んでいることとRH2定理12.11から $Spec A$ を十分小さく取ることでランク $1$ の部分加群を定めている。まず一般のスキーム $S$ 上で、広義楕円曲線 $E / S$ に定まった作用 $E^{sm} \times E \to E$ から誘導される作用
$E^{sm} \times {Pic}_{E / S}^{0} \to {Pic}_{E / S}^{0}$
は自明な作用である(DRII Proposition 1.13)。特に $Spec A$ を小さいものに取り替えることで、
$O ([P + Q] - [P] - [Q] + [O])$
が成り立ち、これは特に $L_{2}, L_{3}$ は非零元を持つことを導く。よって $L_{1}$ 及び $L_{2}$ もRH2定理12.11と併せてランク $1$ の自由加群であることがわかる。以上から単射
$L_{0} \oplus L_{1} \oplus L_{2} ↪ V$
が得られるが、これは任意の極大イデアルによる還元によって同型に移ることを考慮するとこの単射は同型である。よって $A$ 加群の自然な同型
$L_{0} \oplus L_{1} \oplus L_{2} ≃ V$
が従う。各直和成分は $P$ による作用で安定であり、 $ω^{3} = 1$ なる $ω \in A$ が存在して $P$ は $L_{i}$ に $ω^{i}$ 倍に作用する。ここで $f \in L_{1}$ が $f = f \circ (+ P)$ であったとすると、 $(f \circ (+ Q)) f \in L_{2}$ であるから、 $L_{1}$ 及び $L_{2}$ の固有値も $1$ になる。このとき任意の $V$ の元が $P$ による作用の合成で不変になるが、このとき $f_{1} \in L_{1}$ 及び $f_{2} \in L_{2}$ に対して、 $a f_{1} - b f_{2}$ が極を持たず零点を持つような非零元 $a, b \in A$ が存在し、これによって $a f_{1} - b f_{2} = 0$ になるが、このとき $a f_{1} = b f_{2} \in L_{1} \cap L_{2} = 0$ より $a f_{1} = b f_{2} = 0$ になる。 $f_{1}$ 及び $f_{2}$ は自由 $A$ 加群の生成元であったから、これにより $a = b = 0$ がわかり矛盾する。各直和成分 $L_{i}$ は $P$ による作用で安定であり、上の議論から $1 + ω + ω^{2} = 0$ なる $ω \in A$ が存在して $P$ は $L_{i}$ に $ω^{i}$ 倍に作用している。
$L = Γ (E, O ([P] + [2 P] - [Q] - [2 Q]))$
と置いた(上記と同様の考察によりこれもランク $1$ の自由 $A$ 加群である)とき、 $L \to V \to L_{1}$ は全て同型になる。 $L_{0}$ の基底を $X$ とし、 $Y \in L_{2}$ 及び $Z \in L_{3}$ をこの同型でうつしたものとする。ここで
$X^{3} + Y^{3} + Z^{3} - 3 X Y Z \in Γ (E, O_{E} (3 [O] + 3 [P] + 3 [2 P])) ≃ A^{9}$
を考える。このとき、まず $A$ 加群
$L^{'} := Γ (E, O_{E} (2 [O] + 2 [P] + 2 [2 P] - [P + Q] - [2 P + Q] - [P + 2 Q] - [2 P + 2 Q]))$
を考えたとき、 $L^{'}$ は $X Y Z$ を基底とするランク $1$ の自由 $A$ 加群である。ここで
$\begin{aligned} X^{3} + Y^{3} + Z^{3} - 3 X Y Z \\ = (X + Y + Z) (X + ω Y + ω^{2} Z) (X + ω^{2} Y + ω Z) \end{aligned}$
を考える。 $X, Y, Z$ の定義及びそれぞれへの $P$ の作用の仕方から
$X + Y + Z \in Γ (E, O_{E} ([P] + [2 P] - [Q] - [2 Q])) = L$
$X + ω Y + ω^{2} Z = (X + Y + Z) \circ P \in Γ (E, O_{E} ([O] + [P] - [Q + 2 P] - [2 Q + 2 P]))$
$X + ω^{2} Y + ω Z = (X + Y + Z) \circ (2 P) \in Γ (E, O_{E} ([2 P] + [O] - [Q + P] - [2 Q + P]))$
であるので、ある $μ$ を用いて
$X^{3} + Y^{3} + Z^{3} - 3 X Y Z = 3 (μ - 1) X Y Z$
と表せる。以上の構成から
$E : X^{3} + Y^{3} + Z^{3} - 3 μ X Y Z$
と表され、 $P$ は $[0, 1, - ω^{2}]$ 、 $Q$ は $[1, 0, - 1]$ に対応していることがわかる。

以上から
$X (3) = P_{Q (ζ_{3})}^{1}$
$Y (3) = P_{Q (ζ_{3})}^{1} ∖ {1, ζ_{3}, ζ_{3}^{2}, \infty}$
が示せた。

もっと厳密に書きたかったですが、時間がかかりそうなので後回しにして記事を公開しました。後日時間のある時に加筆します。

このあと $X (N)$ の構成は $X (3)$ から $X (3 N)$ を構成し、そこから $X (N)$ を構成する方法が取られます。詳細はSTのp.50以降を参照してください。こちらについても時間のある時に記事を書こうと思います。

$X (N)$ のカスプ

次に $X (N)$ のカスプを見ていきます。 $X (3)$ のときは直接モジュラー曲線を構成する方針で行きましたが、ここからはわかっている性質をフルに使って見ていきます。なのでここまでで述べた定理もどんどん用いていきます。初めにFD&JSのp101の記述により、 $X (N)_{C}$ のカスプの個数は
$\begin{aligned} a_{N} : & = | X (N) (C) ∖ Y (N) (C) | \\ = {\begin{cases} \frac{N^{2}}{2} \prod_{p | N} (1 - \frac{1}{p^{2}}) & (N > 2) \\ 3 & (N = 2) \end{cases} \end{aligned}$
です。一方 $Q (ζ_{N})$ を含む体 $K$ 上で定義されるNeronの $n$ 角形のレベル $N$ 構造も
$\begin{aligned} b_{N} & = \frac{| {GL}_{2} (Z / N Z) |}{2 \cdot N | Gal (Q (ζ_{N}) / Q) |} \\ = \frac{1}{2 N φ (N)} \prod_{p | N} p^{4 {ord}_{p} N - 3} (p + 1) (p - 1)^{2} \\ = \frac{1}{2 N^{2}} \prod_{p | N} \frac{p^{4 {ord}_{p} N - 3} (p + 1) (p - 1)^{2}}{1 - \frac{1}{p}} \\ = \frac{1}{2 N^{2}} \prod_{p | N} p^{4 {ord}_{p} N - 2} (p + 1) (p - 1) \\ = \frac{N^{2}}{2} \prod_{p | N} (1 - \frac{1}{p^{2}}) & = a_{N} \end{aligned}$
個です。以上から $ζ_{N}$ を含む体 $K$ について
$| X (N) (K) ∖ Y (N) (K) | = \frac{N^{2}}{2} \prod_{p | N} (1 - \frac{1}{p^{2}})$
がわかります。

参考文献

[1]

斎藤毅, フェルマー予想, 岩波書店, 2024, 466

[2]

ロビン・ハーツホーン, 代数幾何学3, 丸善出版, 2007, 295

[3]

Fred Diamond & Jerry Michael Shurman, A First course in modular forms, Springer, 2005, 466

[4]

ロビン・ハーツホーン, 代数幾何学2, 丸善出版, 1993, 167

[5]

P. Deligne & M. Rapoport, Les schemas de modules de courbes elliptiques, Lecture Notes in Mathematics, 1973, 143-316

投稿日：2024年8月4日

更新日：2024年12月19日

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。

バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

藍色日和

53345

藍色の日々。趣味の数学と院試の過去問の(間違ってるかもしれない雑な)解答例を上げていきます。リンクはX(旧Twitter)アカウント　

他の人のコメント

コメントはありません。

読み込み中

藍色日和

射影多様体X(N)を見る

関手$\mathcal{M}(N)$及び$\overline{\mathcal{M}}(N)$について
モジュラー曲線$X(3)$
$X(N)$のカスプ
参考文献

射影多様体X(N)を見る

関手M(N)及びM―(N)について

モジュラー曲線X(3)

X(N)のカスプ

参考文献

この記事を高評価した人

この記事に送られたバッジ

投稿者

コメント

他の人のコメント

関手 $M (N)$ 及び $\overset{―}{M} (N)$ について

モジュラー曲線 $X (3)$

$X (N)$ のカスプ