# 曲線と Riemann–Roch の定理：関数体・因子の次数・種数 > 非特異射影曲線の射が有限であること、曲線と 1 変数関数体の圏同値、因子の次数と引き戻しを証明し、Euler 標数の加法性と Serre 双対から Riemann–Roch の定理を導いて、基点・埋め込みの判定と種数 0 の曲線の決定までを示す。 > https://rikai.mugen-giken.com/mathematics/algebraic-geometry-2/riemann-roch-curves ## 0. この記事の要点 曲線の上で、決まった点にだけ決まった位数まで「極（分母が 0 になる点）」を許した関数は、どれだけあるでしょうか。たとえば直線に無限遠点を加えた曲線（射影直線）の上なら、無限遠点だけに極を許した関数は多項式で、次数の上限を決めれば個数を数えられます。この記事は、一般の曲線でも、その個数が曲線の形（種数という穴の数のような量）と極の総数だけでほぼ決まることを示します（Riemann–Roch の定理）。読み終えると、この個数を計算できるようになり、曲線が射影空間にきれいに収まるための条件も判定できます。 - この記事で**曲線**とは、代数閉体 $k$ 上の非特異な射影的整 $1$ 次元スキームです。曲線 $X$ の閉点は、関数体 $K(X)$ の[離散付値環](/mathematics/commutative-algebra/dvr-and-dedekind-rings#def-dvr)（$k$ を含むもの）と 1 対 1 に対応します。 - 曲線の間の定数でない射は有限かつ全射で、**次数**を関数体の拡大次数で定めます。曲線と定数でない射の圏は、$k$ 上の超越次数 $1$ の有限生成拡大体の圏の反対と同値です。 - 因子 $D = \sum n_P P$ の**次数**は $\deg D = \sum n_P$ です。有限射 $f$ による引き戻しは $\deg f^*D = \deg f \cdot \deg D$ を満たし、ここから主因子の次数は $0$ と分かります。 - $l(D) = \dim_k H^0(X, \mathcal{O}_X(D))$、種数 $g = \dim_k H^1(X, \mathcal{O}_X)$、標準因子 $K$ について **Riemann–Roch の定理** $l(D) - l(K - D) = \deg D + 1 - g$ が成り立ちます。証明は、点を 1 つ足すと [Euler 標数](/mathematics/algebraic-geometry-2/cech-cohomology-projective-space#def-euler-characteristic)が 1 増えることと Serre 双対の 2 つだけです。 - $\deg D \ge 2g$ なら $|D|$ は基点（$|D|$ のすべての有効因子が共通に通る点）をもたず、$\deg D \ge 2g + 1$ なら $D$ は[非常に豊富](/mathematics/algebraic-geometry-2/divisors-and-line-bundles#def-ample)です。種数 $0$ の曲線は $\mathbb{P}^1$ に限ります。 - 階数 $r$ の[局所自由層](/mathematics/algebraic-geometry-1/quasi-coherent-sheaves#def-locally-free) $\mathcal{E}$ には $\chi(\mathcal{E}) = \deg(\det \mathcal{E}) + r(1 - g)$ が成り立ちます。 ## 1. 動機 コンパクト Riemann 面の上で「指定した点に指定した位数以下の極だけをもつ有理型関数」はどれだけあるか、という問いが Riemann–Roch の定理の出発点です。極を許す点と位数を因子 $D$ にまとめると、そのような関数の空間 $L(D)$ は有限次元で、次元 $l(D)$ は $D$ の次数が大きければ $\deg D + 1 - g$ にちょうど一致します。ここに現れる $g$ が曲線の種数で、次数が小さいときのずれは $l(K - D)$ という同じ形の量で正確に測れます。 代数幾何の言葉では、$L(D)$ は可逆層 $\mathcal{O}_X(D)$ の大域切断の空間です。前章までに、連接層のコホモロジーの有限性（）、Euler 標数の加法性（）、Serre 双対（）を証明しました。この 3 つがあれば、Riemann–Roch の定理の証明は数行で終わります。この記事の分量の大半は、その前に必要な「曲線の射は有限である」「次数は線形同値で変わらない」という事実の証明に充てます。これらは可換環論の Dedekind 環の理論（整閉包と基本等式 $\sum e_i f_i = n$）を幾何に読み替えたものです。 ## 2. 準備：曲線の点と離散付値環 以下、$k$ は代数閉体とします。**曲線**は $k$ 上の非特異な射影的整 $1$ 次元スキームを指します。曲線 $X$ の関数体を $K(X)$ と書きます。$K(X)$ は $k$ 上有限生成で超越次数 $1$ です（）。$X$ の点は生成点と閉点だけです。実際、生成点でない点 $x$ の閉包 $Z$ は $X$ と異なる既約閉集合で、鎖 $Z \subsetneq X$ があるので $\dim Z = 0$、したがって $Z = \{x\}$ です。同じ理由で $X$ の真の閉集合は有限個の閉点からなります（[Noether 位相空間](/mathematics/algebraic-geometry-1/affine-varieties#def-noetherian-space)の閉集合は有限個の既約成分の和です。）。以下「点」は断らない限り閉点を指します。 点 $P$ の局所環 $\mathcal{O}_P = \mathcal{O}_{X,P}$ は $K(X)$ を商体とする離散付値環です（）。その付値を $v_P$、素元を $t_P$ と書きます。剰余体は $k$ です（$k$ は代数閉体で、剰余体は $k$ の有限次拡大だからです。）。 $R \subseteq R'$ を体 $K$ の付値環とし、$\mathfrak{m}_{R'} \cap R = \mathfrak{m}_R$ とする。このとき $R = R'$ である。 $x \in R' \setminus R$ があったとします。$R$ は付値環なので $x^{-1} \in R$ で、$x \notin R$ から $x^{-1}$ は $R$ の単元ではありません。よって $x^{-1} \in \mathfrak{m}_R \subseteq \mathfrak{m}_{R'}$ です（ の (2)）。一方 $x \in R'$ なので $1 = x \cdot x^{-1} \in \mathfrak{m}_{R'}$ となり矛盾です。 $X$ を曲線、$U$ を空でない開集合とする。$K(X)$ の部分環として $$ \mathcal{O}_X(U) = \bigcap_{P \in U} \mathcal{O}_{X,P} $$ が成り立つ（$P$ は $U$ の閉点を動く）。 $X$ は整なので、制限写像 $\mathcal{O}_X(U) \to K(X)$ と $\mathcal{O}_{X,P} \to K(X)$ は単射です（）。切断 $s \in \mathcal{O}_X(U)$ の $P$ での芽は $\mathcal{O}_{X,P}$ の元なので、左辺は右辺に含まれます。逆に $h \in K(X)$ がすべての $P \in U$ で $\mathcal{O}_{X,P}$ に入るとします。各 $P$ について、$P$ の開近傍 $U_P \subseteq U$ と切断 $s_P \in \mathcal{O}_X(U_P)$ で、$K(X)$ での像が $h$ であるものが取れます。$U_P \cap U_Q$ の上で $s_P$ と $s_Q$ は $K(X)$ での像が等しいので、単射性から一致します。$U_P$ の全体は $U$ を覆う（生成点はどの $U_P$ にも入る）ので、層の貼り合わせで $s \in \mathcal{O}_X(U)$ が得られ、その像は $h$ です。 $X$ を曲線、$K = K(X)$ とする。$P \mapsto \mathcal{O}_{X,P}$ は、$X$ の閉点の全体から、$k \subseteq R \subsetneq K$ かつ $\operatorname{Frac} R = K$ を満たす $K$ の離散付値環 $R$ の全体への全単射である。 **単射。** $\mathcal{O}_{X,P} = \mathcal{O}_{X,Q} = R$ とします。点 $P$ と恒等写像 $\mathcal{O}_{X,P} \to R$、点 $Q$ と恒等写像 $\mathcal{O}_{X,Q} \to R$ は、それぞれ射 $\operatorname{Spec} R \to X$ を定めます（）。どちらも生成点 $\operatorname{Spec} K$ の上では $X$ の生成点への同じ射です。$X$ は $k$ 上分離的なので、分離性の付値判定法（）により 2 つの射は一致し、閉点の像を比べて $P = Q$ です。 **全射。** $R$ を条件を満たす離散付値環とします。$X$ は $k$ 上固有（）なので、固有性の付値判定法（）により、生成点への射 $\operatorname{Spec} K \to X$ は $k$ 上の射 $\operatorname{Spec} R \to X$ に延びます。$\operatorname{Spec} R$ の閉点の像を $x$ とすると、局所準同型 $\mathcal{O}_{X,x} \to R$ が得られ、これは $K$ への包含と両立するので $\mathcal{O}_{X,x} \subseteq R$、$\mathfrak{m}_R \cap \mathcal{O}_{X,x} = \mathfrak{m}_x$ です。$x$ が生成点なら $K = \mathcal{O}_{X,x} \subseteq R$ となり $R \ne K$ に反するので、$x$ は閉点 $P$ です。$\mathcal{O}_{X,P}$ と $R$ はともに $K$ の付値環なので、 により $\mathcal{O}_{X,P} = R$ です。 この命題により、曲線の点の集合は関数体だけで決まります。次の節で、位相と構造層も関数体から復元できることを見ます。 曲線 $X$ の**因子**は、閉点の有限な形式和 $D = \sum_P n_P P$（$n_P \in \mathbb{Z}$）である。$X$ は非特異なので、これは Weil 因子であり Cartier 因子でもある（）。 1. $\deg D = \sum_P n_P$ を $D$ の**次数**という。すべての $n_P \ge 0$ のとき $D$ は**有効**であるといい、$D \ge 0$ と書く。 2. $h \in K(X)^{\times}$ の因子は $\operatorname{div}(h) = \sum_P v_P(h) P$ である。$D - D' = \operatorname{div}(h)$ となる $h$ があるとき $D \sim D'$（**線形同値**）と書く。 3. $\mathcal{O}_X(D)$ は、開集合 $U$ に $\{ h \in K(X)^{\times} : v_P(h) \ge -n_P\ (P \in U) \} \cup \{0\}$ を対応させる可逆層である。点 $P$ での茎は $t_P^{-n_P}\mathcal{O}_P$ である。 4. $L(D) = H^0(X, \mathcal{O}_X(D)) = \{ h \in K(X)^{\times} : \operatorname{div}(h) + D \ge 0 \} \cup \{0\}$、$l(D) = \dim_k L(D)$ とおく。$D$ と線形同値な有効因子の全体を $|D|$ と書き、**完備線形系**という。 $D \mapsto \mathcal{O}_X(D)$ は因子類群から $\operatorname{Pic} X$ への同型を与え、$h \in L(D) \setminus \{0\}$ に有効因子 $\operatorname{div}(h) + D$ を対応させる写像は、$L(D) \setminus \{0\}$ の定数倍を除く類と $|D|$ の全単射です（）。$D \sim D'$ なら $\mathcal{O}_X(D) \cong \mathcal{O}_X(D')$ なので $l(D) = l(D')$ です。 ## 3. 曲線の射は有限である この節のねらいは、曲線の間の射が「各点の上に有限個の点がのる」素直な写像であることを示すことです。局所的には、下の曲線の座標環を、上の曲線の関数体の中で整閉包に取り替えたものが上の曲線の座標環になる、という形で示します。次の節以降の次数の議論は、すべてこの性質に頼ります。 $f\colon X \to Y$ を曲線の間の $k$ 上の射で、像が 1 点でないものとする。 1. $f$ は全射で、$f$ は体の埋め込み $f^{\#}\colon K(Y) \to K(X)$ を引き起こし、$K(X)$ は $K(Y)$ の有限次拡大である。 2. $Y$ のアフィン開集合 $V = \operatorname{Spec} B$ について、$K(X)$ における $B$ の整閉包を $A$ とすると、$A$ は有限生成 $B$ 加群で、$f^{-1}(V) \cong \operatorname{Spec} A$（$V$ 上の同型）である。とくに $f$ は有限射である。 拡大次数 $[K(X) : K(Y)]$ を $f$ の**次数**といい、$\deg f$ と書きます。 **(1)** $X$ は $k$ 上固有、$Y$ は $k$ 上分離的なので $f$ は閉写像です（）。$f(X)$ は既約な閉集合で 1 点ではないので、§2 で見たように $Y$ 全体です。よって $f$ は全射で、$X$ の生成点 $\xi$ は $Y$ の生成点 $\eta$ に写ります（$f(\xi)$ の閉包は $f(X) = Y$ を含む）。茎の間の局所準同型 $K(Y) = \mathcal{O}_{Y,\eta} \to \mathcal{O}_{X,\xi} = K(X)$ は体の準同型なので単射です。$K(X)$ と $K(Y)$ はどちらも $k$ 上の超越次数が $1$ なので、$K(X)$ は $K(Y)$ 上代数的です（）。$K(X)$ は $k$ 上有限生成なので $K(Y)$ 上も有限生成で、有限生成な代数拡大は有限次拡大です。 **(2)** $B$ は有限生成 $k$ 代数である整域で $\operatorname{Frac} B = K(Y)$ なので、 により $A$ は有限生成 $B$ 加群です。$U = f^{-1}(V)$ とおきます。 *$A \subseteq \mathcal{O}_X(U)$。* $P \in U$ なら、$f^{\#}$ により $B \subseteq \mathcal{O}_{Y,f(P)} \subseteq \mathcal{O}_{X,P}$ です。$\mathcal{O}_{X,P}$ は離散付値環なので $K(X)$ の中で整閉で（ の (4)）、$B$ 上整な元をすべて含みます。よって $A \subseteq \mathcal{O}_{X,P}$ で、 により $A \subseteq \mathcal{O}_X(U)$ です。この包含は射 $\varphi\colon U \to \operatorname{Spec} A$ を定め（）、$\varphi$ は $V$ 上の射です。 *$A$ の極大イデアルでの局所化は離散付値環。* $A$ は Noether 整閉整域です。$\mathfrak{n}$ を $A$ の極大イデアルとすると、$A/\mathfrak{n}$ は体で $B/(\mathfrak{n} \cap B)$ 上整なので、$\mathfrak{q} = \mathfrak{n} \cap B$ は $B$ の極大イデアルです（）。$A$ は $k$ 上有限生成の整域で商体 $K(X)$ の超越次数は $1$ なので、$\dim A_{\mathfrak{n}} = 1$ です（ を $\operatorname{Spec} A$ に使う）。整閉性は局所化で保たれる（）ので、$A_{\mathfrak{n}}$ は次元 $1$ の整閉な Noether 局所整域、すなわち離散付値環です（）。 *$\varphi$ は閉点の全単射。* $P \in U$ について $\mathfrak{n} = \mathfrak{m}_P \cap A$ は $A$ の素イデアルで、$\mathfrak{m}_{f(P)} \cap B \ne 0$ を含むので $0$ ではなく、$\dim A = 1$ から極大です。$A_{\mathfrak{n}} \subseteq \mathcal{O}_{X,P}$ かつ $\mathfrak{m}_P \cap A_{\mathfrak{n}} = \mathfrak{n}A_{\mathfrak{n}}$ なので、 により $A_{\mathfrak{n}} = \mathcal{O}_{X,P}$ です。$\varphi(P) = \mathfrak{n}$ で、$\mathcal{O}_{X,P}$ が $\mathfrak{n}$ から決まるので、 により $\varphi$ は閉点の上で単射です。逆に $A$ の極大イデアル $\mathfrak{n}$ を取ると、$A_{\mathfrak{n}}$ は $k$ を含み商体が $K(X)$ の離散付値環なので、 により $A_{\mathfrak{n}} = \mathcal{O}_{X,P}$ となる $X$ の点 $P$ があります。$P \in U$ を示します。$\mathfrak{q} = \mathfrak{n} \cap B$ に対応する $V$ の点を $Q$ とします。$\operatorname{Spec} A_{\mathfrak{n}} \to X \xrightarrow{f} Y$ と $\operatorname{Spec} A_{\mathfrak{n}} \to \operatorname{Spec} A \to \operatorname{Spec} B = V \subseteq Y$ は、生成点の上ではどちらも包含 $K(Y) \subseteq K(X)$ から来る射で一致します。$Y$ は分離的なので、付値判定法（）により 2 つの射は一致し、閉点の像を比べて $f(P) = Q \in V$ です。よって $P \in U$、$\varphi(P) = \mathfrak{n}$ です。 *$\varphi$ は同型。* $\varphi$ は生成点を生成点に写し、閉点の上で全単射です。$U$ と $\operatorname{Spec} A$ はどちらも、真の閉集合が有限個の閉点からなる空間なので（$\operatorname{Spec} A$ も $1$ 次元の既約な Noether 空間です）、全単射 $\varphi$ は同相写像です。茎の上では $\varphi^{\#}\colon A_{\mathfrak{n}} \to \mathcal{O}_{X,P}$ は上で見た等号、生成点では $K(X)$ の恒等写像です。同相写像で、すべての茎で同型を引き起こす局所環付き空間の射は同型です（）。 仮定「像が 1 点でない」を落とすと、定値写像 $X \to \{Q\} \subseteq Y$ は関数体の埋め込みを引き起こしません。また、非特異性を落として尖点 3 次曲線の正規化 $\mathbb{P}^1 \to C$ を考えると、射は有限ですが (2) の「$f^{-1}(V)$ は整閉包の $\operatorname{Spec}$」は $C$ 側が整閉でないので意味が変わります。 ## 4. 曲線と関数体の圏同値 この節のねらいは、曲線を調べることと、その関数体（超越次数 $1$ の体）を調べることが同じだと示すことです。曲線から関数体を取るのは簡単で、難しいのは逆向きです。体 $K$ から曲線を作るには、$K$ の中で $k[t]$ と $k[t^{-1}]$ の整閉包を取り、その 2 枚のアフィン曲線を貼り合わせます。射影直線を 2 枚のアフィン直線で作るのと同じ手順を、$K$ の中でやり直すと考えてください。 $X$ を $k$ 上のスキーム、$\pi\colon X \to \mathbb{P}^1_k$ を有限射とする。このとき $\mathcal{L} = \pi^*\mathcal{O}(1)$ は豊富で、$X$ は $k$ 上射影的である。 有限射は固有で、$\mathbb{P}^1_k$ は $k$ 上固有なので（、）、$X$ は $k$ 上固有です。$\mathcal{F}$ を $X$ 上の連接層とします。$\pi$ は有限なので、$\mathbb{P}^1$ のアフィン開集合 $\operatorname{Spec} B$ の上で $\pi_*\mathcal{F}$ は有限生成 $B$ 加群に伴う層で、連接です。可逆層 $\mathcal{E}$ について、随伴（）から来る自然な射 $\pi_*\mathcal{F} \otimes \mathcal{E} \to \pi_*(\mathcal{F} \otimes \pi^*\mathcal{E})$ は、$\mathcal{E}$ が自明になる開集合の上では恒等写像なので、同型です。$\pi$ はアフィン射なので、 により $$ H^i(X, \mathcal{F} \otimes \mathcal{L}^{n}) \cong H^i(\mathbb{P}^1, \pi_*(\mathcal{F} \otimes \pi^*\mathcal{O}(n))) \cong H^i(\mathbb{P}^1, (\pi_*\mathcal{F})(n)) $$ です。右辺は $i > 0$ のとき、$n$ が十分大きければ $0$ です（）。固有スキーム上の豊富性のコホモロジー判定法（）により $\mathcal{L}$ は豊富で、ある $m > 0$ について $\mathcal{L}^m$ は非常に豊富、すなわちはめ込み $i\colon X \to \mathbb{P}^N_k$ があります。$X$ は固有なので $i(X)$ は閉集合です。はめ込み $i$ が $\mathbb{P}^N$ の開部分スキーム $W$ への閉はめ込みと開はめ込み $W \subseteq \mathbb{P}^N$ の合成なら、$\mathbb{P}^N = W \cup (\mathbb{P}^N \setminus i(X))$ の各開集合の上で $i$ は閉はめ込みなので、$i$ は閉はめ込みです。$i$ が閉部分スキーム $Z \subseteq \mathbb{P}^N$ への開はめ込みと閉はめ込み $Z \subseteq \mathbb{P}^N$ の合成なら、$i(X)$ は $Z$ の開かつ閉な部分集合なので、$Z = i(X) \cup (Z \setminus i(X))$ という開被覆の上で見て $X \to Z$ は閉はめ込みで、やはり $i$ は閉はめ込みです。 1. $k$ 上有限生成で超越次数 $1$ の拡大体 $K$ に対し、$K(X) \cong K$（$k$ 上の同型）となる曲線 $X$ が存在する。 2. 曲線 $X$, $Y$ について、$f \mapsto f^{\#}$ は、像が 1 点でない射 $X \to Y$ の全体から、$k$ 上の体の準同型 $K(Y) \to K(X)$ の全体への全単射である。 したがって、$X \mapsto K(X)$ は、曲線と像が 1 点でない射の圏から、$k$ 上有限生成で超越次数 $1$ の拡大体と $k$ 準同型の圏の反対への圏同値である。とくに、次数 $1$ の射は同型である。 **(2)** 単射性。$f, g\colon X \to Y$ が同じ $K(Y) \to K(X)$ を引き起こすとします。支配的な有理写像は関数体の準同型で決まるので（）、$f$ と $g$ は空でない開集合の上で一致し、 により $f = g$ です。全射性。$k$ 準同型 $\theta\colon K(Y) \to K(X)$ は支配的な有理写像 $X \dashrightarrow Y$ を定め（同じ定理）、$X$ は非特異曲線、$Y$ は射影多様体なので、これは射 $f\colon X \to Y$ に延びます（）。$f$ は支配的なので像は 1 点でなく、$f^{\#} = \theta$ です。 **(1)** $K$ は $k$ と異なるので、$k$ 上超越的な $t \in K$ があります。超越次数が $1$ なので $K$ は $k(t)$ 上代数的で、有限生成だから有限次拡大です。$K$ における $k[t]$ の整閉包を $A_0$、$k[t^{-1}]$ の整閉包を $A_\infty$ とします。 により、$A_0$ は有限生成 $k[t]$ 加群、$A_\infty$ は有限生成 $k[t^{-1}]$ 加群で、どちらも有限生成 $k$ 代数です。$K$ の元は $c/a$（$c \in A_0$、$0 \ne a \in k[t]$）と書けるので $\operatorname{Frac} A_0 = K$ で（）、$A_\infty$ も同様です。整閉包と局所化の可換性（）により、$K$ の部分環として $$ A_0[t^{-1}] = (k[t, t^{-1}] \text{ の } K \text{ における整閉包}) = A_\infty[t] $$ です。そこで $U_0 = \operatorname{Spec} A_0$ と $U_\infty = \operatorname{Spec} A_\infty$ を、開集合 $\operatorname{Spec} A_0[t^{-1}] = \operatorname{Spec} A_\infty[t]$ に沿って貼り合わせ、スキーム $X$ を作ります（。貼り合わせるのは 2 枚なのでコサイクル条件は自動的に成り立ちます）。包含 $k[t] \subseteq A_0$、$k[t^{-1}] \subseteq A_\infty$ が定める射は貼り合わせ部分で両立し、$\mathbb{P}^1_k = \operatorname{Spec} k[t] \cup \operatorname{Spec} k[t^{-1}]$（）への射 $\pi\colon X \to \mathbb{P}^1_k$ に貼り合わさります。$\pi^{-1}(\operatorname{Spec} k[t]) = U_0$、$\pi^{-1}(\operatorname{Spec} k[t^{-1}]) = U_\infty$ なので $\pi$ は有限射です。 $X$ が曲線であることを確かめます。$U_0$ と $U_\infty$ は整域の $\operatorname{Spec}$ で、共通部分は空でないので、$X$ は既約かつ被約、すなわち整です（）。関数体は $\operatorname{Frac} A_0 = K$ で、次元は超越次数の $1$ です。 により $X$ は射影的です。閉点 $x \in U_0$ の局所環は、 の証明の第 2 段と同じ議論（$A_0$ は Noether 整閉整域で、極大イデアルでの局所化は次元 $1$）により離散付値環で、$U_\infty$ の点も同様です。離散付値環は $\dim_k \mathfrak{m}/\mathfrak{m}^2 = 1$ を満たす正則局所環なので（）、$X$ は非特異です（）。 **圏同値。** (2) により関手 $X \mapsto K(X)$ は充満忠実、(1) により本質的全射なので、 により圏同値です。$\deg f = 1$ なら $f^{\#}$ は体の同型で、圏同値は同型を反映するので $f$ は同型です。 $K = k(t)$ のとき、上の構成は $A_0 = k[t]$、$A_\infty = k[t^{-1}]$ で $X = \mathbb{P}^1_k$ を与えます。 により、$\mathbb{P}^1$ の点は $a \in k$ に対応する $k[t]_{(t - a)}$（素元 $t - a$）と、無限遠点 $\infty$ に対応する $k[t^{-1}]_{(t^{-1})}$（素元 $t^{-1}$）です。$v_0(t) = 1$、$v_\infty(t) = -1$、それ以外の点では $t$ は単元なので、$\operatorname{div}(t) = (0) - (\infty)$ です。 曲線 $X$ の定数でない有理関数 $h \in K(X) \setminus k$ は、$k$ 上超越的です（$k$ は代数閉体なので、$k$ 上代数的な元は $k$ に入ります）。$t \mapsto h$ で定まる $k(t) \to K(X)$ に の (2) を使うと、射 $\varphi_h\colon X \to \mathbb{P}^1$ で $\varphi_h^{\#}(t) = h$ となるものがただ一つ得られます。「有理関数は $\mathbb{P}^1$ への射である」という見方は、この先何度も使います。 ## 5. 因子の引き戻しと次数 この節のねらいは、有理関数の零点と極が重複度を込めて同じ個数であること（主因子の次数が $0$ であること）を示すことです。射 $f$ で下の点 $Q$ を引き戻すと、上の点がいくつか出てきます。その個数を分岐指数（重複度）つきで数えると、$Q$ によらず $f$ の次数に等しい、というのが次の命題の核心です。 $f\colon X \to Y$ を曲線の有限射（像が 1 点でない射）とする。$P \in X$、$Q = f(P)$ について、$Q$ での素元 $t_Q$ の像の付値 $$ e_P = v_P(f^{\#}t_Q) \ge 1 $$ を $f$ の $P$ での**分岐指数**という（$t_Q$ を単元倍しても値は変わらない）。$Y$ の点 $Q$ に対し $f^*Q = \sum_{f(P) = Q} e_P P$ とおき、$\mathbb{Z}$ 線形に延ばして因子の**引き戻し** $f^*\colon \operatorname{Div} Y \to \operatorname{Div} X$ を定める。 $f$ は有限射なので $f^{-1}(Q)$ は有限集合で（）、和は有限和です。 $f\colon X \to Y$ を曲線の有限射とする。 1. $h \in K(Y)^{\times}$、$P \in X$ について $v_P(f^{\#}h) = e_P\, v_{f(P)}(h)$ である。したがって $f^*\operatorname{div}(h) = \operatorname{div}(f^{\#}h)$ で、$f^*$ は線形同値を保つ。 2. $Y$ の因子 $D$ について $f^*\mathcal{O}_Y(D) \cong \mathcal{O}_X(f^*D)$ である。 (1) $Q = f(P)$、$m = v_Q(h)$ とし、$h = u t_Q^m$（$u$ は $\mathcal{O}_Q$ の単元）と書きます（ の (1)）。$f^{\#}\colon \mathcal{O}_Q \to \mathcal{O}_P$ は環準同型なので $f^{\#}u$ は単元で、$v_P(f^{\#}h) = m\, v_P(f^{\#}t_Q) = m e_P$ です。$\operatorname{div}(h) = \sum_Q v_Q(h) Q$ を引き戻すと $\sum_Q v_Q(h) \sum_{f(P) = Q} e_P P = \sum_P v_P(f^{\#}h) P$ です。 (2) $D = \sum n_Q Q$ とします。各点 $Q \in Y$ について、開近傍 $V_Q$ を、$V_Q$ の上で $D = n_Q Q$ かつ $\operatorname{div}(t_Q) = Q$ となるように取ると、$\mathcal{O}_Y(D)|_{V_Q}$ は $t_Q^{-n_Q}$ を基底とする自由 $\mathcal{O}_{V_Q}$ 加群です。$f^*\mathcal{O}_Y(D)$ から定数層 $K(X)$ への射を $s \otimes a \mapsto a f^{\#}(s)$ で定めます。$f^{-1}(V_Q)$ の上で、その像は $f^{\#}(t_Q^{-n_Q})$ で生成される部分層で、(1) により $\operatorname{div}(f^{\#}(t_Q^{-n_Q})) = -n_Q f^*Q$ が $f^{-1}(V_Q)$ の上で成り立つので、像は $\mathcal{O}_X(f^*D)|_{f^{-1}(V_Q)}$ です。よって $f^*\mathcal{O}_Y(D) \to \mathcal{O}_X(f^*D)$ は可逆層の間の全射です。可逆層の間の全射は、局所的には $\mathcal{O} \to \mathcal{O}$ の全射、すなわち単元倍なので、同型です。 $f\colon X \to Y$ を曲線の有限射とする。 1. $Y$ の因子 $D$ について $\deg f^*D = \deg f \cdot \deg D$ である。とくに、すべての $Q \in Y$ について $\sum_{f(P) = Q} e_P = \deg f$ である。 2. 曲線 $X$ の $h \in K(X)^{\times}$ について $\deg \operatorname{div}(h) = 0$ である。 3. したがって $D \sim D'$ なら $\deg D = \deg D'$ で、次数は準同型 $\deg\colon \operatorname{Pic} X \to \mathbb{Z}$ を定める。 **(1)** 両辺は $D$ について加法的なので、$D = Q$（1 点）の場合を示せば十分です。$Q$ のアフィン開近傍 $V = \operatorname{Spec} B$ を取り、$K(X)$ における $B$ の整閉包を $A$ とします。 の (2) により $f^{-1}(V) \cong \operatorname{Spec} A$ で、$A$ は有限生成 $B$ 加群です。$B$ は体でない Noether 整域で、極大イデアルでの局所化は $Y$ の点の局所環、すなわち離散付値環なので、Dedekind 環です（）。$n = [K(X) : K(Y)] = \deg f$ とおきます。 $Q$ に対応する $B$ の極大イデアルを $\mathfrak{q}$ とし、$\mathfrak{q}A = \mathfrak{n}_1^{e_1} \cdots \mathfrak{n}_r^{e_r}$ と素イデアル分解します（）。 の (1) により、$\mathfrak{n}_1, \ldots, \mathfrak{n}_r$ はちょうど $\mathfrak{q}$ の上にある $A$ の素イデアルで、$f^{-1}(Q)$ の点 $P_1, \ldots, P_r$ に対応します。$\mathfrak{q}B_{\mathfrak{q}} = t_Q B_{\mathfrak{q}}$ なので、$A_{\mathfrak{n}_i} = \mathcal{O}_{X,P_i}$ の中で $$ t_Q \mathcal{O}_{X,P_i} = \mathfrak{q}A_{\mathfrak{n}_i} = \mathfrak{n}_i^{e_i}A_{\mathfrak{n}_i} $$ です（$j \ne i$ なら $\mathfrak{n}_j \not\subseteq \mathfrak{n}_i$ なので $\mathfrak{n}_jA_{\mathfrak{n}_i} = A_{\mathfrak{n}_i}$）。離散付値環のイデアル $\mathfrak{m}^e$ は付値 $e$ の元で生成される（ の (2)）ので、$e_{P_i} = v_{P_i}(t_Q) = e_i$ です。剰余次数は $[A/\mathfrak{n}_i : B/\mathfrak{q}] = [k : k] = 1$ です。$A$ は有限生成 $B$ 加群なので、基本等式（同じ定理の (2)）により $$ \deg f^*Q = \sum_{i=1}^{r} e_i = \sum_{i=1}^{r} e_i f_i = n $$ です。 **(2)** $h \in k^{\times}$ なら $\operatorname{div}(h) = 0$ です。$h \notin k$ なら、§4 の最後で見た射 $\varphi_h\colon X \to \mathbb{P}^1$（$\varphi_h^{\#}t = h$）を取ります。$\mathbb{P}^1$ の上で $\operatorname{div}(t) = (0) - (\infty)$ なので、 の (1) により $\operatorname{div}(h) = \varphi_h^*(0) - \varphi_h^*(\infty)$ で、(1) により次数は $\deg \varphi_h - \deg \varphi_h = 0$ です。 **(3)** (2) から従います。$\operatorname{Pic} X$ は因子類群と同型なので（）、$\deg \mathcal{O}_X(D) = \deg D$ とおけば矛盾なく定まり、$\mathcal{O}_X(D) \otimes \mathcal{O}_X(D') \cong \mathcal{O}_X(D + D')$ から準同型です。
P₁ P₂ P Q Q e = 1 e = 1 e = 2 X Y
(2) の証明から、定数でない $h$ の零点の因子 $(h)_0 = \varphi_h^*(0)$ と極の因子 $(h)_\infty = \varphi_h^*(\infty)$ はどちらも次数 $\deg \varphi_h = [K(X) : k(h)]$ をもちます。「有理関数の零点と極は重複度を込めて同数」というコンパクト Riemann 面の事実の代数版です。射影性を落として $X = \mathbb{A}^1$ とすると、$h = t$ は零点を 1 つもち極をもたないので、(2) は成り立ちません。 ## 6. Riemann–Roch の定理 $D$ を曲線 $X$ の因子とする。 1. $l(D)$ は有限である。 2. $\deg D < 0$ なら $l(D) = 0$ である。 3. $\deg D = 0$ かつ $l(D) > 0$ なら $D \sim 0$（$D$ は主因子）で、$l(D) = 1$ である。 4. 点 $P$ について $l(D) - 1 \le l(D - P) \le l(D)$ である。 (1) $\mathcal{O}_X(D)$ は射影スキーム $X$ 上の連接層なので、 により $H^0$ は有限次元です。 (2)(3) $0 \ne h \in L(D)$ があれば $D' = D + \operatorname{div}(h)$ は有効因子で、 の (2) により $\deg D = \deg D' \ge 0$ です。これで (2) が示せました。$\deg D = 0$ なら、次数 $0$ の有効因子は $0$ だけなので $D' = 0$、$D = \operatorname{div}(h^{-1})$ です。このとき $\mathcal{O}_X(D) \cong \mathcal{O}_X$ で、$l(D) = \dim_k H^0(X, \mathcal{O}_X) = 1$ です（）。 (4) $L(D - P) \subseteq L(D)$ です。$D$ の $P$ での係数を $n$ とすると、$h \mapsto (t_P^{n}h \bmod \mathfrak{m}_P)$ は線形写像 $L(D) \to \mathcal{O}_P/\mathfrak{m}_P = k$ で、核は $v_P(h) \ge -n + 1$ を満たす $h$、すなわち $L(D - P)$ です。よって余次元は $1$ 以下です。 曲線 $X$ について、$g = \dim_k H^1(X, \mathcal{O}_X)$ を $X$ の**種数**という。標準層 $\omega_X = \Omega_{X/k}$ は可逆層（）で、$\mathcal{O}_X(K) \cong \omega_X$ となる因子 $K$ を**標準因子**という。標準因子は線形同値を除いて一意である。因子 $D$ が**特殊**であるとは $l(K - D) > 0$ であることをいい、$l(K - D)$ を $D$ の**特殊指数**という。 $X$ は正則なので Cohen–Macaulay で（）、双対化層は $\omega_X$ です（）。Serre 双対（）により $H^1(X, \mathcal{O}_X) \cong H^0(X, \omega_X)^{\vee}$ なので、$g = l(K)$ でもあります。 次の補題が Riemann–Roch の定理の心臓部です。極を許す位数を 1 だけ増やすと、使える関数の空間は高々 1 次元しか増えません。その増え方を「層の完全列」で正確に捉え、Euler 標数がちょうど 1 増えると示します。 曲線 $X$ の因子 $D$ と点 $P$ について、$k(P)$ を $P$ に台をもつ摩天楼層（茎は $k$）とすると、完全列 $$ 0 \to \mathcal{O}_X(D) \to \mathcal{O}_X(D + P) \to k(P) \to 0 $$ があり、$\chi(\mathcal{O}_X(D + P)) = \chi(\mathcal{O}_X(D)) + 1$ である。したがって、すべての因子 $D$ について $$ \chi(\mathcal{O}_X(D)) = \deg D + 1 - g $$ が成り立つ。 $\mathcal{O}_X(D)$ は $\mathcal{O}_X(D + P)$ の部分層です。$D$ の $P$ での係数を $n$ とすると、商層の茎は、$P$ 以外の点では $0$、$P$ では $t_P^{-n-1}\mathcal{O}_P / t_P^{-n}\mathcal{O}_P \cong \mathcal{O}_P/\mathfrak{m}_P = k$ です（$t_P^{n+1}$ 倍が同型を与えます）。$P$ 以外で茎が $0$ の層は、$P$ での茎を値とする摩天楼層と同型なので、商層は $k(P)$ です。 $k(P)$ は閉はめ込み $i\colon \operatorname{Spec} k \to X$ による順像 $i_*\mathcal{O}_{\operatorname{Spec} k}$ なので、 により $H^0(X, k(P)) = k$、$H^i(X, k(P)) = 0$（$i > 0$）で、$\chi(k(P)) = 1$ です。Euler 標数の加法性（）から $\chi(\mathcal{O}_X(D + P)) = \chi(\mathcal{O}_X(D)) + 1$ です。 $D = 0$ のとき、$H^0(X, \mathcal{O}_X) = k$（）、$\dim H^1(X, \mathcal{O}_X) = g$、$i \ge 2$ で $H^i = 0$（）なので $\chi(\mathcal{O}_X) = 1 - g$ で、等式が成り立ちます。任意の因子は $0$ から点を足す・引く操作を有限回行って得られ、どちらの操作でも等式の両辺は同じだけ（$\pm 1$）変わるので、等式はすべての $D$ で成り立ちます。 $X$ を種数 $g$ の曲線、$K$ を標準因子とする。$X$ の任意の因子 $D$ について $$ l(D) - l(K - D) = \deg D + 1 - g $$ が成り立つ。 $X$ は $1$ 次元なので $i \ge 2$ で $H^i(X, \mathcal{O}_X(D)) = 0$ で（）、$\chi(\mathcal{O}_X(D)) = l(D) - \dim_k H^1(X, \mathcal{O}_X(D))$ です。$X$ は等次元 $1$ の Cohen–Macaulay 射影スキームで双対化層は $\omega_X$ なので、局所自由層についての Serre 双対（）により $$ H^1(X, \mathcal{O}_X(D)) \cong H^0(X, \mathcal{O}_X(D)^{\vee} \otimes \omega_X)^{\vee} \cong H^0(X, \mathcal{O}_X(K - D))^{\vee} $$ で、次元は $l(K - D)$ です。 の $\chi(\mathcal{O}_X(D)) = \deg D + 1 - g$ と合わせて主張を得ます。 証明は短いですが、使った道具は軽くありません。有限性定理が $l(D)$ を有限にし、加法性が「次数 $+1$ で次元 $+1$」という主要項を出し、Serre 双対が補正項 $H^1$ を同じ種類の量 $l(K - D)$ に書き直しています。 種数 $g$ の曲線の標準因子 $K$ について、$l(K) = g$、$\deg K = 2g - 2$ である。 $l(K) = \dim H^0(X, \omega_X) = g$ は の直後で見ました。 で $D = K$ とすると $l(K) - l(0) = \deg K + 1 - g$ で、$l(0) = \dim H^0(X, \mathcal{O}_X) = 1$ なので $g - 1 = \deg K + 1 - g$、すなわち $\deg K = 2g - 2$ です。 種数 $g$ の曲線の因子 $D$ が $\deg D > 2g - 2$ を満たすなら、$l(D) = \deg D + 1 - g$ である。 により $\deg(K - D) = 2g - 2 - \deg D < 0$ なので、 の (2) により $l(K - D) = 0$ です。 に代入します。 $\mathbb{P}^2$ の次数 $d$ の非特異な曲線 $X$ では、算術種数 $p_a = 1 - \chi(\mathcal{O}_X)$ が $(d-1)(d-2)/2$ です（）。$\chi(\mathcal{O}_X) = 1 - g$ なので $g = (d-1)(d-2)/2$ です。直線と 2 次曲線は種数 $0$、3 次曲線は種数 $1$、4 次曲線は種数 $3$ で、種数 $2$ の非特異平面曲線はありません。 $k$ の標数は $2$ でないとし、$f \in k[x]$ を重根をもたない次数 $2g + 2$ の多項式（$g \ge 0$）、$K = k(x)[y]/(y^2 - f)$ とします。 の構成を $t = x$ で行います。$A_0 = k[x, y]/(y^2 - f)$ は、Jacobi 行列 $(-f'(x),\ 2y)$ が曲線上で消えない（$y = 0$ なら $f(x) = 0$ で、重根がないので $f'(x) \ne 0$）ので正則、したがって整閉で、$k[x]$ の整閉包です。無限遠では $s = 1/x$、$w = y/x^{g+1}$ とおくと $w^2 = s^{2g+2}f(1/s) = \tilde{f}(s)$ で、$\tilde{f}$ は重根をもたず $\tilde{f}(0)$ は $f$ の最高次係数 $c^2 \ne 0$ です。同じ理由で $A_\infty = k[s, w]/(w^2 - \tilde{f})$ が $k[s]$ の整閉包です。$x = \infty$ の上には $w = \pm c$ の 2 点 $\infty_{\pm}$ があります。 種数を Riemann–Roch から求めます。$D = \infty_+ + \infty_-$（$x$ の極の因子）とします。アフィン部分で正則な元は $a(x) + b(x)y$（$a, b \in k[x]$）と一意に書けます。$m = \max(\deg a,\ \deg b + g + 1)$ とすると $a + by = x^m(\alpha + \beta w + s(\cdots))$ で、$(\alpha, \beta) \ne (0, 0)$ は $a$ と $b$ の該当する次数の係数です。$\infty_{\pm}$ での値 $\alpha \pm \beta c$ が両方 $0$ になることはないので、少なくとも一方の点で極の位数はちょうど $m$ です。よって $a + by \in L(nD)$ は $\deg a \le n$ かつ $\deg b \le n - g - 1$ と同値で、$n \ge g + 1$ のとき $l(nD) = (n + 1) + (n - g) = 2n + 1 - g$ です。$n$ が大きいとき により $l(nD) = 2n + 1 - g_X$ なので、$X$ の種数は $g_X = g$ です。$f$ の次数が $2g + 1$ のときは無限遠点が 1 点になりますが、同じ計算で種数は $g$ です。 ## 7. 基点・埋め込み・種数 0 の曲線 因子 $D$ について、点 $P$ が $|D|$ の**基点**であるとは、$|D|$ のすべての有効因子が $P$ を含むこと、同じことですが $L(D)$ のすべての元が $P$ で消える（$\mathcal{O}_X(D)$ の茎の中で $\mathfrak{m}_P\mathcal{O}_X(D)_P = \mathcal{O}_X(D - P)_P$ に入る）ことをいいます。$|D|$ が基点をもたないことは、$\mathcal{O}_X(D)$ が大域切断で生成されることと同じで、このとき $L(D)$ の基底は射 $\varphi_{|D|}\colon X \to \mathbb{P}^{l(D) - 1}$ を定めます（）。 $D$ を種数 $g$ の曲線 $X$ の因子とする。 1. $|D|$ が基点をもたないことは、すべての点 $P$ について $l(D - P) = l(D) - 1$ であることと同値である。 2. $D$ が非常に豊富であることは、すべての点 $P, Q$（$P = Q$ の場合を含む）について $l(D - P - Q) = l(D) - 2$ であることと同値である。 3. $\deg D \ge 2g$ なら $|D|$ は基点をもたず、$\deg D \ge 2g + 1$ なら $D$ は非常に豊富である。 4. $D$ が豊富であることは $\deg D > 0$ と同値である。 **(1)** の (4) の証明で見たように、$L(D - P)$ は $L(D)$ の元のうち $P$ で消えるものの全体です。$P$ が基点であることは $L(D - P) = L(D)$ と同値で、$l(D - P)$ は $l(D)$ か $l(D) - 1$ なので、$P$ が基点でないことは $l(D - P) = l(D) - 1$ と同値です。 **(2)** 閉はめ込みの判定法（）を使います。$\mathcal{L} = \mathcal{O}_X(D)$ の大域切断の部分空間 $V$ が $\mathcal{L}$ を生成するとき、$V$ の定める射が閉はめ込みであることは、次の 2 条件と同値です。(a) 相異なる点 $P, Q$ について、$P$ で消え $Q$ で消えない $s \in V$ がある。(b) 各点 $P$ について、$P$ で消える $s \in V$ の類が $\mathfrak{m}_P\mathcal{L}_P/\mathfrak{m}_P^2\mathcal{L}_P$ を張る。曲線では $\mathfrak{m}_P\mathcal{L}_P/\mathfrak{m}_P^2\mathcal{L}_P$ は $1$ 次元で、$\mathfrak{m}_P^2\mathcal{L}_P = \mathcal{O}_X(D - 2P)_P$ なので、$V = L(D)$ のとき (a) は $L(D - P - Q) \subsetneq L(D - P)$、(b) は $L(D - 2P) \subsetneq L(D - P)$ と言い換えられます。 すべての $P, Q$ で $l(D - P - Q) = l(D) - 2$ とします。$l(D - P - Q) \ge l(D - P) - 1 \ge l(D) - 2$ の両方が等号なので、$l(D - P) = l(D) - 1$（(1) により基点がない）かつ $l(D - P - Q) = l(D - P) - 1$ です。これは (a) と (b) なので、$\varphi_{|D|}$ は閉はめ込みで、$\mathcal{O}_X(D) \cong \varphi_{|D|}^*\mathcal{O}(1)$ から $D$ は非常に豊富です。逆に $D$ が非常に豊富なら、閉はめ込み $i\colon X \to \mathbb{P}^N$ で $i^*\mathcal{O}(1) \cong \mathcal{O}_X(D)$ となるものがあり（$X$ は固有なので、 の証明の最後の議論により、はめ込みは閉はめ込みです）、座標の引き戻しが張る $V \subseteq L(D)$ は $\mathcal{L}$ を生成して (a)(b) を満たします。$V$ を $L(D)$ に取り替えても $\mathcal{L}$ は生成され (a)(b) は成り立つので、$l(D - P) = l(D) - 1$ と $l(D - P - Q) = l(D - P) - 1$ がすべての $P, Q$ で成り立ちます。 **(3)** $\deg D \ge 2g$ なら $\deg(D - P) \ge 2g - 1 > 2g - 2$ なので、 を $D$ と $D - P$ に使って $l(D - P) = (\deg D - 1) + 1 - g = l(D) - 1$ です。$\deg D \ge 2g + 1$ なら $\deg(D - P - Q) \ge 2g - 1$ なので、同様に $l(D - P - Q) = l(D) - 2$ です。 **(4)** $\mathcal{O}_X(D)$ が豊富であることは、ある $m > 0$ で $\mathcal{O}_X(mD)$ が非常に豊富であることと同値です（）。$\deg D > 0$ なら $m \deg D \ge 2g + 1$ となる $m$ を取れば (3) により $mD$ は非常に豊富です。逆に $mD$ が非常に豊富なら、(2) の条件 (a) により、ある点 $P$ で消える $0$ でない $s \in L(mD)$ があり、対応する有効因子 $E \sim mD$ は $P$ を含むので $m \deg D = \deg E \ge 1$、したがって $\deg D > 0$ です。 (3) の境界は最良です。種数 $1$ の曲線で $\deg D = 2g = 2$ のとき、$|D|$ は基点をもちませんが $l(D) = 2$ なので $\varphi_{|D|}$ は $\mathbb{P}^1$ への次数 $2$ の射で、埋め込みではありません。 曲線 $X$ について、次は同値である。 1. $X$ の種数は $0$ である。 2. $X \cong \mathbb{P}^1_k$ である。 3. 相異なる点 $P, Q$ で $P \sim Q$ となるものがある。 **(2) ⇒ (1)** $H^1(\mathbb{P}^1, \mathcal{O}) = 0$ です（）。 **(1) ⇒ (3)** $X$ は $\mathbb{P}^1$ への全射をもつ（定数でない有理関数を取る）ので、相異なる 2 点 $P, Q$ があります。$D = P - Q$ は $\deg D = 0 > 2g - 2 = -2$ を満たすので、 により $l(D) = 0 + 1 - 0 = 1$ です。 の (3) により $D \sim 0$、すなわち $P \sim Q$ です。 **(3) ⇒ (2)** $\operatorname{div}(h) = P - Q$ となる $h$ を取ります。$P \ne Q$ なので $h$ は定数でなく、射 $\varphi_h\colon X \to \mathbb{P}^1$ が定まります。$\varphi_h^*(0)$ は $h$ の零点の因子 $P$ で、次数は $1$ です。 の (1) により $\deg \varphi_h = 1$ で、 により $\varphi_h$ は同型です。 $\mathbb{P}^1$ では任意の 2 点が線形同値（$\operatorname{div}((t - a)/(t - b)) = (a) - (b)$）なので、因子の線形同値類は次数だけで決まり、$\deg\colon \operatorname{Pic}\mathbb{P}^1 \to \mathbb{Z}$ は同型です。$\deg D = d \ge 0$ なら $l(D) = d + 1$ で、$D = d(\infty)$ のとき $L(D)$ は $t$ の $d$ 次以下の多項式の全体です。$g = 0$ なので $2g + 1 = 1$ で、次数 $d \ge 1$ の因子はすべて非常に豊富です。対応する埋め込みは $d$ 次の有理正規曲線 $\mathbb{P}^1 \to \mathbb{P}^d$、$t \mapsto (1 : t : \cdots : t^d)$ です。 種数 $1$ の曲線 $X$ と次数 $3$ の因子 $D$ を取ります。$\deg D = 3 = 2g + 1$ なので $D$ は非常に豊富で、$l(D) = 3 + 1 - 1 = 3$ から $\varphi_{|D|}\colon X \to \mathbb{P}^2$ は閉はめ込みです。像は $\mathbb{P}^2$ の非特異な曲線で、 の公式 $(d-1)(d-2)/2 = 1$ から次数は $3$ です。逆に非特異な平面 3 次曲線は種数 $1$ です。次章で、$D = 3P_0$ と取ると方程式が $y^2 = x^3 + ax + b$ の形にできることを示します。
deg D l(D) 0 2g − 2 1 deg D + 1 − g Clifford: l(D) − 1 ≤ deg D / 2 g − 1 特殊因子の範囲
図の上側の境界 $l(D) - 1 \le \deg D/2$（Clifford の定理）は次章で証明します。 ## 8. 局所自由層の Riemann–Roch スキーム $X$ 上の局所自由層の完全列 $0 \to \mathcal{L} \to \mathcal{E} \to \mathcal{E}' \to 0$ で、$\mathcal{L}$ が可逆、$\mathcal{E}$ の階数が $r$、$\mathcal{E}'$ の階数が $r - 1$ のとき、$\det \mathcal{E} \cong \mathcal{L} \otimes \det \mathcal{E}'$ である。ここで $\det$ は最高次の外冪である。 の (3)（局所自由層の完全列 $0 \to \mathcal{E}' \to \mathcal{E} \to \mathcal{E}'' \to 0$ について $\det\mathcal{E} \cong \det\mathcal{E}' \otimes \det\mathcal{E}''$）を、部分層 $\mathcal{L}$ と商 $\mathcal{E}'$ に使うと $\det\mathcal{E} \cong \det\mathcal{L} \otimes \det\mathcal{E}'$ です。同じ補題の (2) により、可逆層 $\mathcal{L}$ については $\det\mathcal{L} = \mathcal{L}$ です。同型は、局所的に $l \otimes (e_1' \wedge \cdots \wedge e_{r-1}') \mapsto l \wedge e_1 \wedge \cdots \wedge e_{r-1}$（$e_i$ は $e_i'$ の $\mathcal{E}$ への持ち上げ）で与えられます。 この節のねらいは、可逆層（階数 $1$）で成り立つ公式を、階数 $r$ の局所自由層へ広げることです。方針は、可逆層を部分層として取り出すと商が階数 $r - 1$ の局所自由層になるので、階数についての帰納法で $\chi$ の加法性と行列式の補題に帰着させる、というものです。 $X$ を種数 $g$ の曲線、$\mathcal{E}$ を階数 $r \ge 1$ の局所自由層とする。$\deg \mathcal{E} = \deg(\det \mathcal{E})$ とおくと $$ \chi(\mathcal{E}) = \deg \mathcal{E} + r(1 - g) $$ が成り立つ。 $r$ についての帰納法で示します。$r = 1$ のときは です。$r \ge 2$ とします。 *可逆な部分層で商が局所自由なものを作る。* $X$ の非常に豊富な可逆層 $\mathcal{O}_X(1)$ を取ると、$n$ が大きいとき $\mathcal{E}(n)$ は大域切断で生成されるので（）、$0$ でない大域切断、すなわち $0$ でない射 $\sigma\colon \mathcal{O}_X(-n) \to \mathcal{E}$ があります。$\mathcal{T}$ を $\mathcal{E}/\sigma(\mathcal{O}_X(-n))$ の捩れ部分層（各開集合で、$0$ でない正則関数で消える切断の全体。茎は茎の捩れ部分加群）とし、$\mathcal{L}$ を合成 $\mathcal{E} \to \mathcal{E}/\sigma(\mathcal{O}_X(-n)) \to (\mathcal{E}/\sigma(\mathcal{O}_X(-n)))/\mathcal{T} = \mathcal{E}'$ の核とします。$\mathcal{T}$ は、$\mathcal{G} = \mathcal{E}/\sigma(\mathcal{O}_X(-n))$ から準連接層 $\mathcal{G} \otimes_{\mathcal{O}_X} \mathcal{K}$（$\mathcal{K}$ は定数層 $K(X)$。アフィン開集合 $\operatorname{Spec} A$ の上では $A$ 加群 $M$ に対する $M \to M \otimes_A K(X)$ で、核は $M$ の捩れ部分加群）への射の核なので、連接層 $\mathcal{G}$ の準連接な部分層で、連接です。よって $\mathcal{E}'$ と $\mathcal{L}$ も連接層です（）。点 $P$ での茎を見ます。$\mathcal{E}'_P$ は離散付値環 $\mathcal{O}_P$ 上の有限生成な捩れのない加群なので自由です（単項イデアル整域上の構造定理 で、捩れのない加群には不変因子の項がありません）。$\mathcal{L}_P$ は自由加群 $\mathcal{E}_P$ の部分加群なので捩れがなく有限生成で、やはり自由です。生成点での階数を数えます。$\sigma$ は生成点で $0$ でない（$\mathcal{E}$ は捩れがないので、$0$ でない切断は生成点で $0$ になりません）ので、$\mathcal{E}/\sigma(\mathcal{O}_X(-n))$ の生成点での階数は $r - 1$、$\mathcal{T}$ は生成点で $0$ なので $\mathcal{E}'$ の階数は $r - 1$、したがって $\mathcal{L}$ の階数は $1$ です。茎がすべて自由な連接層は局所自由です（）。こうして完全列 $0 \to \mathcal{L} \to \mathcal{E} \to \mathcal{E}' \to 0$ が得られました。 *帰納法。* Euler 標数の加法性と帰納法の仮定、 と $\deg$ の加法性（ の (3)）により $$ \chi(\mathcal{E}) = \chi(\mathcal{L}) + \chi(\mathcal{E}') = (\deg \mathcal{L} + 1 - g) + (\deg \det \mathcal{E}' + (r-1)(1-g)) = \deg \det \mathcal{E} + r(1 - g) $$ です。 たとえば $\mathcal{E} = \mathcal{O}_X(D_1) \oplus \mathcal{O}_X(D_2)$ なら $\det \mathcal{E} \cong \mathcal{O}_X(D_1 + D_2)$ で、公式は 2 つの可逆層の Riemann–Roch の和になります。公式の意味は、分裂しない $\mathcal{E}$ でも $\chi$ が階数と行列式の次数だけで決まるという点にあります。 ## 9. 演習 $\mathbb{P}^1$ の因子 $D = 3(\infty) - (0) - (1)$ について、$L(D)$ の基底を求め、$l(D)$ が の値と一致することを確かめよ。 $h \in L(D)$ は、$\infty$ 以外に極をもたないので多項式で、$\infty$ での極の位数（次数）が $3$ 以下、$0$ と $1$ で消えます。よって $h = t(t - 1)(\alpha + \beta t)$ で、基底は $t(t-1)$ と $t^2(t-1)$、$l(D) = 2$ です。$\deg D = 1 > 2g - 2 = -2$ なので公式の値は $1 + 1 - 0 = 2$ で一致します。 $X$ を種数 $g \ge 1$ の曲線、$P$ を点とする。$n \ge 1$ が $P$ での**空隙**であるとは、$l(nP) = l((n-1)P)$、すなわち「$P$ だけにちょうど $n$ 位の極をもつ有理関数」が無いことをいう。空隙はちょうど $g$ 個あり、すべて $1$ 以上 $2g - 1$ 以下で、$1$ は空隙であることを示せ。 $N(n) = l(nP)$ とおきます。 の (4) により $N(n) - N(n-1)$ は $0$ か $1$ で、$0$ のときが空隙です。$N(0) = 1$ で、$n \ge 2g - 1$ なら により $N(n) = n + 1 - g$ です。とくに $n \ge 2g$ では $N(n) - N(n-1) = 1$ なので空隙は $2g - 1$ 以下です。$1 \le n \le 2g - 1$ の範囲で増分が $1$ の回数は $N(2g-1) - N(0) = g - 1$、したがって空隙は $(2g - 1) - (g - 1) = g$ 個です。$l(P) \ge 2$ なら、定数でない $h \in L(P)$ は極の因子がちょうど $P$ で、$\varphi_h$ は次数 $1$ の射、すなわち同型 $X \cong \mathbb{P}^1$ となり $g \ge 1$ に反します。よって $l(P) = 1 = l(0)$ で、$1$ は空隙です。 種数 $2$ の曲線 $X$ について、$|K|$ は基点をもたず、$\varphi_{|K|}\colon X \to \mathbb{P}^1$ は次数 $2$ の射であることを示せ。 により $\deg K = 2$、$l(K) = 2$ です。点 $P$ について を $D = P$ に使うと $l(P) - l(K - P) = 1 + 1 - 2 = 0$ です。前問により $l(P) = 1$ なので $l(K - P) = 1 = l(K) - 1$ で、 の (1) により基点はありません。$\varphi = \varphi_{|K|}$ は $\mathbb{P}^1$ への射で、$\varphi^*\mathcal{O}(1) \cong \mathcal{O}_X(K)$ です。$\mathcal{O}(1) \cong \mathcal{O}_{\mathbb{P}^1}(Q)$（$Q$ は 1 点）なので、 の (2) と により $\deg \varphi = \deg \varphi^*Q = \deg K = 2$ です（$\varphi$ の像が 1 点なら $L(K)$ の基底の比が定数になり、$l(K) = 2$ に反します）。 種数 $g$ の曲線の因子 $D$ が $\deg D = 2g - 2$ かつ $l(D) \ge g$ を満たすなら、$D \sim K$ であることを示せ。また、$\deg D = 2g - 2$ で $D \not\sim K$ なら $l(D) = g - 1$ であることを示せ。 により $l(K - D) = l(D) - (2g - 2) - 1 + g = l(D) - g + 1$ です。$l(D) \ge g$ なら $l(K - D) \ge 1$ で、$\deg(K - D) = 0$ なので の (3) により $K - D \sim 0$ です。$D \not\sim K$ なら、同じ命題の対偶から $l(K - D) = 0$ で、$l(D) = g - 1$ です。標準因子は、次数 $2g - 2$ の因子の中で $l$ が $1$ だけ大きいただ一つの類として特徴づけられます。 ## 参考文献 - R. Hartshorne, *Algebraic Geometry*, Graduate Texts in Mathematics 52, Springer, 1977 — 第 I 章 §6（非特異曲線と関数体）、第 II 章 §6（曲線上の因子）、第 IV 章 §1（Riemann–Roch の定理）、§3（射影空間への埋め込み）。 - Q. Liu, *Algebraic Geometry and Arithmetic Curves*, Oxford Graduate Texts in Mathematics 6, Oxford University Press, 2002 — 第 7 章（因子と曲線への応用）。 - W. Fulton, *Algebraic Curves: An Introduction to Algebraic Geometry*, W. A. Benjamin, 1969 — 第 7 章・第 8 章（非特異モデルと Riemann–Roch）。 - J.-P. Serre, *Groupes algébriques et corps de classes*, Hermann, 1959 — 第 II 章（代数曲線、Riemann–Roch と双対）。 - 桂利行『代数幾何入門』共立出版、1998 — 代数曲線の章。