数論上級
Advanced Number Theory
上級（大学院レベル）
この章について
数論上級では、現代数論の三つの柱を学ぶ。数論幾何・モジュラー形式では、モジュラー形式と数論幾何学の基礎を通じてフェルマーの最終定理への道筋を理解する。代数的整数論ではイデアルの概念を通じて素因数分解の一意性の破綻と修復を理解し、解析的数論ではゼータ関数を通じて素数の分布を探る。
前提知識
- 中級レベルの内容（合同式の応用、楕円曲線の基礎）
- 抽象代数（群・環・体、ガロア理論の基礎）
- 複素解析（複素関数論）
- 測度論・積分論の基礎
目次
数論幾何・モジュラー形式
モジュラー形式、フェルマーの最終定理の証明、数論幾何学の基礎。
1. モジュラー形式
上半平面上の正則関数と谷山-志村予想。
- モジュラー形式の定義と変換性
- Fourier 展開と数論的情報
- 谷山-志村予想
2. フェルマーの最終定理
350年の難問と Wiles による証明の概要。
- 問題の歴史と Kummer の貢献
- 谷山-志村-Weil 予想との関係
- Wiles の証明の核心
3. 数論幾何学
数論と代数幾何学の融合。
- 整数環上のスキーム
- エタールコホモロジー
- Mordell 予想（Faltings の定理）
ファルティングスの定理
種数 $g \geq 2$ の代数曲線上の有理点は有限個。モーデル予想の解決。
- 代数曲線の種数
- 証明の概略（高さの理論）
- ボンビエリ=ラング予想
代数的整数論
イデアルの概念を通じて素因数分解の一意性の破綻と修復を理解する。
4. 代数的整数
整数概念の拡張。代数的数、整数環 $\mathcal{O}_K$、ノルムとトレース。
5. イデアル論
素因数分解の一般化。素イデアルの分解、デデキント環。
6. 類数と単数群
イデアル類群、類数公式、ディリクレの単数定理。
超越数論
超越数の存在と構成、ディオファントス近似の深い結果。
ディオファントス近似
無理数の有理近似の精度限界。ディリクレ、リウヴィル、トゥエ、ロスの定理。
- ディリクレの近似定理とフルヴィッツの定理
- トゥエ・ジーゲル・ロスの定理
- トゥエ方程式への応用
超越数論の深化
Hermite–Lindemann–Weierstrass の完全証明、Gelfond–Schneider、Roth、Baker の定理。
- Gelfond–Schneider の定理（Hilbert 第7問題）
- ディオファントス近似と Roth の定理
- Hermite–Lindemann–Weierstrass の定理の証明
- Schanuel 予想と未解決問題
解析的数論
ゼータ関数を通じて素数の分布を探る。
7. ディリクレ級数とオイラー積
リーマンゼータ関数、オイラー積公式、ディリクレ L 関数、算術級数定理。
- ディリクレ級数の収束と解析接続
- オイラー積公式の証明
- ディリクレの算術級数定理
10. 楕円曲線の有理点
モーデル・ヴェイユの定理、降下法、Selmer 群と BSD 予想。
ディオファントス幾何と現代的話題
現代数論の未解決問題と最先端の研究。
暗号理論
数論の暗号理論への発展的応用。
主要な定理
デデキント環におけるイデアルの一意分解
デデキント環の任意の非零イデアルは、素イデアルの積として一意的に表される。
ディリクレの単数定理
代数体 $K$ の整数環 $\mathcal{O}_K$ の単数群は、
$$\mathcal{O}_K^* \cong \mu_K \times \mathbb{Z}^{r+s-1}$$の形をしている。ここで $\mu_K$ は $K$ に含まれる1の冪根全体、$r$ は実埋め込みの数、$s$ は複素埋め込みの対の数。
Gelfond–Schneider の定理
$\alpha \ne 0, 1$ と $\beta \notin \mathbb{Q}$ がともに代数的数ならば、$\alpha^\beta$ は超越数である。
Roth の定理
代数的無理数 $\alpha$ と任意の $\varepsilon > 0$ に対し、$|\alpha - p/q| < 1/q^{2+\varepsilon}$ を満たす有理数 $p/q$ は高々有限個。
素数定理
$\pi(x)$ を $x$ 以下の素数の個数とするとき、
$$\lim_{x \to \infty} \dfrac{\pi(x)}{x / \ln x} = 1$$ディリクレの算術級数定理
$\gcd(a, m) = 1$ のとき、等差数列 $a, a+m, a+2m, \ldots$ には無限個の素数が含まれる。
モーデル・ヴェイユの定理
有理数体上の楕円曲線の有理点全体の群は有限生成アーベル群である。
このレベルで理解できる応用
楕円曲線暗号（ECC）
有限体上の楕円曲線の群構造を利用した暗号方式。RSAより短い鍵長で同等の安全性を実現でき、スマートカードやTLS/SSLで広く使用される。楕円曲線の有理点の群構造（モーデル・ヴェイユの定理の有限体版）が基礎。
ペアリングベース暗号
楕円曲線上のWeilペアリング、Tateペアリングを用いた暗号。IDベース暗号、属性ベース暗号、検索可能暗号など、従来不可能だった機能を実現。代数幾何と数論の深い理論が背景にある。
物理学との接点
リーマンゼータ関数の零点分布は、量子カオス系のエネルギー準位分布と統計的に一致することが知られている（モンゴメリー・オドリズコ予想）。また弦理論ではモジュラー形式が自然に現れ、数論と物理の深い関係が研究されている。
整数の高速乗算
大きな整数の乗算アルゴリズム（シェーンハーゲ・シュトラッセン法、フューラー法）では、数論変換や円分体の理論が使われる。これは暗号計算や科学計算で実用上重要。
研究最前線との接続
代数的整数論と解析的数論は現在も活発な研究分野。類数1問題、双子素数予想、ゴールドバッハ予想などの古典的問題から、ラングランズプログラム、志村多様体、岩澤理論など現代的テーマまで、未解決問題が多く残されている。BSD予想（ミレニアム懸賞問題の一つ）は楕円曲線のL関数と有理点の関係を述べ、100万ドルの懸賞がかけられている。
学習のポイント
- モジュラー形式の役割：数論・代数幾何・物理を結ぶモジュラー形式の変換性と Fourier 係数の数論的意味を理解する
- 歴史的文脈：フェルマーの最終定理がいかにして楕円曲線・モジュラー形式・Galois 表現の統合で解決されたか、その道筋を追う
- 幾何学的視点：$\text{Spec}(\mathbb{Z})$ 上のスキームとして数論を捉えることで、代数幾何の道具が使えるようになる
- 未解決問題への接近：リーマン予想、BSD予想など、現代数学の最前線に触れる
参考文献
- 高木貞治『初等整数論講義』（共立出版）
- 高木貞治『代数的整数論』（岩波書店）
- J.-P. セール『数論講義』（岩波書店）
- Ireland & Rosen, A Classical Introduction to Modern Number Theory
- Neukirch, Algebraic Number Theory
- Silverman, The Arithmetic of Elliptic Curves
読み物
フェルマーの最終定理 ― 350年の物語 ［読み物］
本の余白に書かれた一行が、350年にわたり数学者たちを苦しめた。楕円曲線とモジュラー形式を経てワイルズに解かれるまでの長い旅路を、ひとつの人間ドラマとして気軽に語る。
リーマン予想 ― 素数を統べる一本の臨界線 ［読み物］
一兆個の零点を確かめても証明にはならない。なぜ素数定理の誤差がゼータの零点に支配され、なぜ零点は一直線に並ぶと信じられるのか。臨界線をめぐる解析的数論の最前線を気軽に語る。
素数はどこまでまばらになるか ― 素数定理の直観 ［読み物］
素数は無限にあるのに、大きくなるほどまばらになる。ユークリッドの数行の証明から、薄まり方を統べる素数定理の滑らかな法則まで、気まぐれの中の秩序を気軽に語る。
隣り合う素数の謎 ― 双子素数予想 ［読み物］
差がちょうど2の素数のペアは無限にあるのか。小学生でも理解できるのに二千年未解決の問いと、無名の数学者が開けた突破口を気軽に語る。
なぜ暗号は素数に頼るのか ― 一方通行の計算 ［読み物］
二つの素数を掛けるのは一瞬、その積を分解するのは何百年。この「行きは楽、帰りは地獄」の非対称が現代の暗号を支える。素数と暗号の関係を気軽に語る。