文献あり

リーマン面の分岐指数と数論における分岐指数の関係性

672

はじめに

代数的整数論には分岐指数という概念が登場します。これは純粋に代数的な議論によって定義されますが、一方でリーマン面の文脈にも分岐指数という概念が登場し、これは幾何的、解析的な議論から定義されます。もちろん定義は全く異なりますが、実はこれらの二つの分岐には少し似ているところがあるのです。本記事では二つの分岐の繋がりについて解説します。

各々の分岐指数の定義

リーマン面の分岐指数

$f : M ⟶ N$ をリーマン面の間の解析的な写像とする。 $M$ の点 $p$ に対して $(U, ϕ)$ を $p \in U, ϕ (p) = 0$ を満たす $M$ のチャートとし、 $(V, ψ)$ を $f (p) \in V, ψ (f (p)) = 0$ を満たす $N$ のチャートとする。このとき、ある正整数 $n$ と正則写像 $h : ϕ (U) ⟶ ψ (V)$ で
$(ψ \circ f \circ ϕ^{- 1}) (z) = z^{n} h (z), h (0) \neq 0$
を満たすものが存在する。この $n$ を $f$ の $p$ における分岐指数といい、 $ν_{f} (p)$ と書く。

$ν_{f} (p) > 1$ のとき $f$ は $p$ で分岐するといい、 $ν_{f} (p) = 1$ のときは不分岐であるという。 $f$ が $p$ で分岐するとき $p$ を $f$ の分岐点という。

$ν_{f} (p)$ がチャートの取り方に依らないことを一応示さないといけませんが、これは座標変換が等角写像になっており、したがって
$a_{1} z + a_{2} z^{2} + \dots (a_{1} \neq 0)$
という形になっていることからわかります。

正則性は根をとっても保たれるので $z^{n} h (z)$ を改めて $(z h (z))^{n}$ と表すことにします。すると、点 $p$ の十分小さな近傍では $f$ は $p$ を除いて $n$ 対 $1$ 写像になっていることがわかります。こう考えると分岐というネーミングにも納得がいきますよね。

数論における分岐指数

$L / K$ を有限次代数拡大、 $A$ を $K$ を商体として持つデデキンド整域、 $B$ を $A$ の $L$ における整閉包とする。このとき $B$ はデデキンド整域であり、 $A$ の $0$ でない素イデアル $p$ 　から生成される $B$ のイデアル $p B$ は次のような一意的な素イデアル分解を持つ：
$p B = \prod_{P \cap A = p} P^{e_{P}} .$
このとき $e_{P}$ を $P$ の $p$ における分岐指数という。

$e_{P} > 1$ のとき $P$ は $p$ 上分岐するといい、 $e_{P} = 1$ のときは不分岐であるという。

２種類の分岐について紹介しましたが、定義だけ見ると何となく雰囲気は似ているもののそこまで関係ないような気がしますね。これらを結びつける鍵は、リーマン面の有理型関数体です。リーマン面 $M$ の有理型関数とは $M$ からリーマン球面 $C_{\infty}$ へのリーマン面としての解析的な写像のことでした。

二つの分岐指数の関係

リーマン球面 $C_{\infty}$ の有理型関数のなす体 $M (C_{\infty})$ は
$C (z) = {\frac{P}{Q} ∣ P, Q \in C [z], Q \neq 0}$
に等しい。

$C (z)$ が $M (C_{\infty})$ に含まれることは明らかである。 $f \in M (C_{\infty})$ を任意に取る。必要なら $f$ の代わりに $1 / f$ を取れば $f (\infty) \neq \infty$ と仮定してよい。コンパクトリーマン面のファイバーは離散的でありしたがって有限であるから
$f^{- 1} (\infty) = {p_{1}, \dots, p_{r}}$
とおける。つまり各 $p_{i}$ は $f$ の極である。各 $p_{i}$ における $f$ のローラン展開の主要部を
$g_{i} (z) = \sum_{n = - k_{i}}^{- 1} a_{n, i} (z - p_{i})^{n}$
とおくと $g = f - (g_{1} + \dots + g_{r})$ は極を持たない有理型関数であるから、これは正則関数である。コンパクトリーマン面上の正則関数は定数に限られるから $g$ は定数であり、したがって
$f = g + g_{1} + \dots + g_{r} \in C (z)$
となる。

この補題によって二つの分岐を結びつけることが可能になります。 $f$ をリーマン球面上の有理型関数とすると、 $C (x)$ に対して $x = f$ を代入することで体拡大 $C (z) / C (f)$ が得られます。このとき $C (z), C (f)$ はそれぞれデデキンド整域 $C [z]$ , $C [f]$ の商体となっているということがわかります。
　そこで次の定理が成り立ちます。

$f \in M (C_{\infty})$ 、つまり $f$ をリーマン球面からリーマン球面への解析的な写像とし、 $f (0) = 0$ を満たすものとする。このとき $C [z]$ の素イデアル $(z)$ は $(f)$ を含み、 $f$ の $0$ における分岐指数 $ν_{f} (0)$ は $C [f]$ の素イデアル $(f)$ における $(z)$ の分岐指数 $e_{(z)}$ に等しい。

$ν_{f} (0) = n$ とおく。リーマン球面のチャートは $0$ の十分小さな近傍では恒等写像であったから、定義と補題１から
$f (z) = z^{n} h (z), h (0) \neq 0$
を満たす $h \in C [z]$ が存在する。したがって $(z) \supset (f)$ である。
　 $C$ は代数閉体であるから $C [z]$ において $h$ は $h (z) = a_{0} (z - a_{1}) \dots (z - a_{m})$ と分解され、各 $1 \leq i \leq m$ に対して $(z - a_{i})$ は $C [z]$ の $(z)$ とは異なる素イデアルとなる。よって
$(f) \cdot C [z] = (z)^{n} \cdot \prod_{i = 1}^{m} (z - a_{i})$
という素イデアル分解が得られ、 $ν_{f} (0) = e_{(z)}$ が成り立つことがわかる。

つまり、リーマン球面の有理型関数体の部分体として $C (f)$ を取れば体拡大 $M (C_{\infty}) / C (f)$ の分岐指数の中にリーマン面としての分岐指数と等しいものが現れる、ということです。ここでの議論はリーマン球面の有理型関数体に限ったものなので、（筆者が知らないだけかもしれませんが）そこまで理論的に深い繋がりがある訳ではないようですね。類似と言ってもよいでしょう。