複素解析・リーマン面の問題

難易度 4大学院入試の難問レベル証明問題大学院数学複素解析・リーマン面

$X$ を種数 $g \geq 1$ の連結なコンパクトリーマン面とし、 $p \in X$ を 1 点とする。 $X$ 上の因子 $D$ に対し
$L (D) = {f : f は X 上の有理型関数で、 f = 0 または div (f) + D \geq 0}, ℓ (D) = dim_{C} L (D)$
とおく。整数 $n \geq 0$ に対し $n p$ は点 $p$ に係数 $n$ をもつ因子を表し、 $0 p = 0$ とする。
$G (p) = {n \in Z : n \geq 1, ℓ (n p) = ℓ ((n - 1) p)}$
と定め、 $G (p)$ の要素を $p$ の空隙値とよぶ。このとき
$n \in G (p) \sum n \leq g^{2}$
であり、等号が成り立つのは $2 \in / G (p)$ のとき、かつそのときに限ることを証明せよ。

ただし、次の事実（ワイエルシュトラスの空隙定理）は証明なしに用いてよい: $G (p)$ はちょうど $g$ 個の要素からなり、 $G (p) \subset {1, 2, \dots, 2 g - 1}$ である。

この問題で使うもの

因子と L(D)（説明と入口の問題）
等差・等比数列の和と Σ（説明と入口の問題）

この問題を解けるようになるまで（72 技能）

算数中学高校大学大学院

読み込み中…

右端（太枠）がこの問題で使う技能です。左へドラッグすると、さらに前の前提をさかのぼれます。技能を押すと、そこまでの道筋が光ります。

一覧で見る（前提が先）

ヒント

行き詰まったら、上から順に 1 つずつ開いてください。

ヒント 1

空隙値を小さい順に $n_{1} < \dots < n_{g}$ と並べ、各 $k$ で $n_{k} \leq 2 k - 1$ を示せば不等式が出る。そのために、非空隙値どうしの和が非空隙値になることを使う。

ヒント 2

$n \geq 1$ が非空隙値であることは、 $p$ 以外で正則で $p$ にちょうど $n$ 位の極をもつ有理型関数が存在することと同値。2 つの関数の積を考えると、非空隙値の和は非空隙値になる。

ヒント 3

$n_{k} \geq 2 k$ と仮定すると、 $n_{k}$ より小さい非空隙値は $n_{k} - k \geq k$ 個ある。その各 $m$ について $n_{k} - m$ が空隙値でなければならないことを確かめ、 $n_{k}$ より小さい空隙値の個数 $k - 1$ と比べる。

採点の観点と模範解答

自分で証明を書いてから、採点の観点で見比べてください。

採点の観点を見る

$L (n p) ∖ L ((n - 1) p)$ の元をとることで、 $n$ が非空隙値であることと「 $p$ にだけちょうど $n$ 位の極をもつ有理型関数が存在すること」の同値性を示している（2 点）
2 つの関数の積の $p$ での位数が和になることから、非空隙値の和が非空隙値であることを示している（2 点）
$n_{k} \geq 2 k$ と仮定し、 $n_{k}$ 未満の非空隙値 $m$ （ $n_{k} - k$ 個以上）に対し $n_{k} - m$ が $n_{k}$ 未満の空隙値になることを使って、個数の比較から矛盾を導き $n_{k} \leq 2 k - 1$ を示している（3 点）
$\sum (2 k - 1) = g^{2}$ から不等式を導き、等号が $G (p) = {1, 3, \dots, 2 g - 1}$ と同値であることを述べている（1 点）
$2 \in / G (p)$ のとき帰納法ですべての正の偶数が非空隙値になることを示し、要素の個数 $g$ と比べて $G (p)$ が奇数全体になることを導き、逆向きも確かめている（2 点）

結果を記録する（このブラウザにだけ保存されます）:

模範解答を読む

$n \geq 1$ で $n \in / G (p)$ となる整数 $n$ を（ $p$ の）非空隙値とよぶ。

Step 1（非空隙値の言い換え）. $n \geq 1$ とする。 $f \in L ((n - 1) p)$ なら $div (f) + (n - 1) p \geq 0$ より $div (f) + n p \geq 0$ なので $L ((n - 1) p) \subset L (n p)$ であり、 $ℓ ((n - 1) p) \leq ℓ (n p)$ 。

主張: $n$ が非空隙値であることと、「 $p$ 以外で正則で、 $ord_{p} f = - n$ となる有理型関数 $f$ が存在すること」は同値である。

（ $\Rightarrow$ ） $n$ が非空隙値なら $ℓ (n p) \neq = ℓ ((n - 1) p)$ で、上の包含から $ℓ (n p) > ℓ ((n - 1) p)$ 。よって $f \in L (n p) ∖ L ((n - 1) p)$ がとれる。 $f \neq = 0$ で $div (f) + n p \geq 0$ なので、 $f$ は $p$ 以外で正則（ $p$ 以外の点 $q$ で $ord_{q} f \geq 0$ ）で $ord_{p} f \geq - n$ 。もし $ord_{p} f \geq - (n - 1)$ なら $div (f) + (n - 1) p \geq 0$ となり $f \in L ((n - 1) p)$ で矛盾する。よって $ord_{p} f = - n$ 。

（ $\Leftarrow$ ）そのような $f$ があれば $div (f) + n p \geq 0$ で $f \in L (n p)$ 、しかし $ord_{p} f = - n < - (n - 1)$ なので $f \in / L ((n - 1) p)$ 。したがって $L ((n - 1) p) ⊊ L (n p)$ で、有限次元の部分空間が真に含まれるから $ℓ ((n - 1) p) < ℓ (n p)$ 、すなわち $n \in / G (p)$ 。

Step 2（非空隙値の和は非空隙値）. $a, b$ を非空隙値とする。Step 1 より、 $p$ 以外で正則で $ord_{p} f = - a$ , $ord_{p} h = - b$ となる有理型関数 $f, h$ がある。積 $f h$ は $p$ 以外で正則で、 $ord_{p} (f h) = ord_{p} f + ord_{p} h = - (a + b)$ 。 $a + b \geq 1$ なので Step 1 より $a + b$ は非空隙値である。

Step 3（ $k$ 番目の空隙値は $2 k - 1$ 以下）. 空隙定理より $G (p) = {n_{1} < n_{2} < \dots < n_{g}}$ と書ける。 $1 \leq k \leq g$ を固定し、 $n_{k} \leq 2 k - 1$ を背理法で示す。 $n_{k} \geq 2 k$ と仮定する。
$N = {m \in Z : 1 \leq m \leq n_{k} - 1, m \in / G (p)}$
とおく。 ${1, \dots, n_{k} - 1}$ に含まれる空隙値はちょうど $n_{1}, \dots, n_{k - 1}$ の $k - 1$ 個なので、 $# N = (n_{k} - 1) - (k - 1) = n_{k} - k \geq k$ 。

$m \in N$ に対し $n_{k} - m$ を考えると、 $1 \leq m \leq n_{k} - 1$ より $1 \leq n_{k} - m \leq n_{k} - 1$ 。もし $n_{k} - m$ が非空隙値なら、 $m$ も非空隙値なので Step 2 より $n_{k} = m + (n_{k} - m)$ は非空隙値となり、 $n_{k} \in G (p)$ に反する。よって $n_{k} - m \in G (p) \cap {1, \dots, n_{k} - 1} = {n_{1}, \dots, n_{k - 1}}$ 。写像 $m \mapsto n_{k} - m$ は単射なので、 $N$ から $k - 1$ 個の元からなる集合への単射が得られ $# N \leq k - 1$ 。これは $# N \geq k$ に矛盾する。したがって $n_{k} \leq 2 k - 1$ （ $k = 1, \dots, g$ ）。

Step 4（不等式）. Step 3 より
$n \in G (p) \sum n = k = 1 \sum g n_{k} \leq k = 1 \sum g (2 k - 1) = 2 \cdot \frac{g ( g + 1 )}{2} - g = g^{2} .$

Step 5（等号成立条件）. 各項で $n_{k} \leq 2 k - 1$ なので、等号 $\sum n_{k} = g^{2}$ が成り立つことと、すべての $k$ で $n_{k} = 2 k - 1$ 、すなわち $G (p) = {1, 3, 5, \dots, 2 g - 1}$ であることは同値である。

（等号 $\Rightarrow 2 \in / G (p)$ ） $G (p) = {1, 3, \dots, 2 g - 1}$ の要素はすべて奇数なので $2 \in / G (p)$ 。

（ $2 \in / G (p) \Rightarrow$ 等号） $2$ が非空隙値であるとする。 $j \geq 1$ について $2 j$ が非空隙値であることを $j$ に関する帰納法で示す。 $j = 1$ は仮定そのもの。 $2 j$ が非空隙値なら、Step 2 より $2 (j + 1) = 2 j + 2$ も非空隙値である。よって正の偶数はすべて $G (p)$ に属さず、空隙定理と合わせて $G (p) \subset {1, 3, \dots, 2 g - 1}$ 。右辺は $g$ 個の要素からなり、 $# G (p) = g$ なので $G (p) = {1, 3, \dots, 2 g - 1}$ 。上で見たとおり、このとき等号が成り立つ。

以上より、 $\sum_{n \in G (p)} n \leq g^{2}$ であり、等号が成り立つのは $2 \in / G (p)$ のとき、かつそのときに限る。 $■$

この問題の確認

AI が作成した問題です。公開前に次の確認を行いました。

別の AI が模範解答を見ずに 3 回証明を試み、3 回証明できました
2 つの AI が独立に、模範解答の証明を 1 ステップずつ確かめました
AI の査読で、条件・解説・表記を確認しました
答えの正しさについて慎重に扱うべき点が見つからなかったため、自動で公開しました

確認の方法について

間違いを報告する

この問題の誤り・分かりにくい点・難易度や学年のずれを知らせる