[論文レビュー] The fundamental theorem of complex multiplication

J. S. Milne|arXiv (Cornell University)|May 23, 2007

Algebraic Geometry and Number Theory参考文献 13被引用数 4

ひとこと要約

この論文は、複素乗法を持つアーベル多様体およびその torsion 点に作用する複素数の自己同型の作用を確立する、直接的かつ初等的な証明を提示する。主な貢献は、Langlands と Tate の予想的記述を確認し、Deligne の ℚ 上の一意性結果を補完する、コサイクル構成による完全で自己完結的な作用の導出である。

ABSTRACT

The goal of this expository article is to present a proof that is as direct and elementary as possible of the fundamental theorem of complex multiplication (Shimura, Taniyama, Langlands, Tate, Deligne et al.). The article is a revision of part of my manuscript, Complex Multiplication, April 7, 2006.

研究の動機と目的

• 代数幾何学および Shimura 多様体の高度な道具を避け、複素乗法の基本定理の自己完結的かつ初等的な証明を提供すること。
• 特に ℚ 上で、Aut(ℂ) が複素乗法を持つアーベル多様体およびその torsion 点に作用する方法を明確にすること。
• Langlands-Tate コサイクルが Shimura と Taniyama の既知の結果と整合することを確認し、CM 点におけるガロア作用を記述する役割を裏付けること。
• CM-体から CM-代数へ理論を拡張し、反射体および無限型を体系的に取り扱うこと。
• Tate の初期結果における符号の不確かさが、Deligne の一意性定理によって解消されることを証明し、ℚ 上での定理を完成させること。

提案手法

• CM-型および反射体の理論を用いて、複素乗法を持つアーベル多様体への自己同型の作用を定義する。
• Langlands と Tate の先行研究に基づき、Aut(ℂ) が CM アーベル多様体およびその torsion 点に作用するコサイクルを構成する。
• 反射体 E* を含む体 k に対して、Trₖ(a|V) = Tr_Φ(a) というトレース条件が、関連する加群 V を一意に特徴付けることに基づく。
• 無限型の概念とその 2 を法とする還元を用いて、符号コサイクル e_ρ(σ) を定義し、それが ρ の重みにのみ依存することを示す。
• ノルムの整合性とガロア降下を用いて、e_q(σ) = 1 が成り立つことを示し、二次拡大およびアデール群 μ₂ 内のノルム写像に還元する。
• e_Φ(σ) が σ|E* にのみ依存し、e_Φ(1) = e_Φ(ι) = 1 であることから、一般の場合を E = ℚ(√−1) かつ単一の CM-型に還元する。

実験結果

リサーチクエスチョン

• RQ1 任意の自己同型 σ ∈ Aut(ℂ) は、複素乗法を持つアーベル多様体の torsion 点にどのように作用するか？
• RQ2 Shimura 多様体の理論からの深遠な結果に依存せずに、Langlands-Tate コサイクルがこの作用を記述できることを示せるか？
• RQ3 作用が反射体および CM-型にどのように依存するかの正確な依存関係は何か？ また、CM-代数へどのように拡張できるか？
• RQ4 Tate の初期結果における符号の不確かさはなぜ Deligne の一意性定理によって解消されるのか？
• RQ5 無限型およびその 2 を法とする還元は、コサイクル e_ρ(σ) の振る舞いをどのように制御するか？

主な発見

• 複素乗法の基本定理は、直接的かつ初等的な方法により ℚ 上で証明され、Aut(ℂ) が CM アーベル多様体およびその torsion 点に作用することを確認した。
• Langlands-Tate コサイクルは、Aut(ℂ) が CM アーベル多様体に作用するのを正しく記述しており、符号の不確かさは Deligne の一意性定理によって解消された。
• CM-型 Φ に対して、e_Φ(σ) は σ の反射体 E* への制限にのみ依存し、e_Φ(1) = e_Φ(ι) = 1 である。
• コサイクル e_ρ(σ) は、無限型 ρ の重み mod 2 にのみ依存し、重み 0 の型に対しては自明（1 に等しい）である。
• 完全実体 F ⊂ F' に対して、ノルムの整合性 e^F(σ) = Nm_{F'/F} e^{F'}(σ) が成り立ち、拡張にわたる一貫性を保証する。
• Hodge 猜定における CM-モチーフの理論を用いて、結果は CM-モチーフへ拡張され、自明なモチーフに対しては e_ρ(σ) = 1 である。