[論文レビュー] On Hrushovski's proof of the Manin-Mumford conjecture

Richard Pink, Damian Roesslert|ArXiv.org|Dec 1, 2002

Algebraic Geometry and Number Theory参考文献 14被引用数 18

ひとこと要約

この論文は、モデル理論を回避して、古典的代数幾何学のみを用いてManin-Mumford予想の新しい証明を提供する。Hrushovskiの核心的なモデル理論的結果を代数幾何学的命題に再解釈し、自己準同型、フロベニウス作用、ガロア降下を用いて証明する。最終的に、アーベル多様体の部分多様体に含まれる捩れ点が、有限個のアーベル部分多様体の平行移動に含まれることを示す。

ABSTRACT

The Manin-Mumford conjecture in characteristic zero was first proved by Raynaud. Later, Hrushovski gave a different proof using model theory. His main result from model theory, when applied to abelian varieties, can be rephrased in terms of algebraic geometry. In this paper we prove that intervening result using classical algebraic geometry alone. Altogether, this yields a new proof of the Manin-Mumford conjecture using only classical algebraic geometry.

研究の動機と目的

• Hrushovskiのモデル理論的結果が背後に隠すManin-Mumford予想の完全に代数幾何学的証明を提供すること。
• Hrushovskiの核心的結果—元々モデル理論的言語で述べられていたもの—を、古典的代数幾何学的にアクセス可能な命題に再表現すること。
• アーベル多様体 $A$ の部分多様体 $X$ と、フロベニウスに類似した自己準同型に関する多項式の核との交わりが、アーベル部分多様体の有限個の平行移動の和集合であることを確立すること。
• モデル理論やアラケロフ理論に依存せずに、この代数幾何学的結果からManin-Mumford予想を導出すること。
• 代数幾何学のみを用いて、$\overline{\mathbb{Q}}$ 上のアーベル多様体の部分多様体に含まれる捩れ点が、有限個のアーベル部分多様体の平行移動に含まれることを示すこと。

提案手法

• アーベル多様体 $A$ に対して、$\overline{\mathbb{Q}}$ 上で定義され、基本体を固定する自己準同型 $\sigma$ と、$\mathbb{Z}[T]$ に属するモニック多項式 $P(T)$ をとる。このとき、$\Gamma = \ker P(\sigma)$ を定義する。
• 多項式 $P(T)$ に関連する同伴行列 $F$ を構成し、$A^n$ 上の自己準同型を誘導する。$\Delta = \ker(F - \sigma)$ を定義し、$\Gamma$ と $\Delta$ の間に自然な全単射を確立する。
• $X$ が $\sigma$ および $F$ に関して不変であることを利用して、問題を $X^n \cap \Delta$ の解析に還元する。$Y = \overline{X \cap \Delta}$ に対して $\sigma(Y) = F(Y) = Y$ が成り立つことを示す。
• Weilの定理を用いて、$\ell$-進タイト加群上のフロベニウスの特徴多項式を扱い、$\mathbb{F}_q$ での還元においてフロベニウスに作用する $\overline{\mathbb{Q}}$ 上の自己準同型 $\sigma_{\mathfrak{p}}$ を構成する。
• $\mathbb{F}_q$ から $\overline{\mathbb{Q}}$ への非分岐拡大とガロア理論を用いて、フロベニウス自己準同型を上に持ち上げ、捩れ点と整合するようにする。
• 相異なる素イデアル $\mathfrak{p}, \mathfrak{p}'$ に対して、$\sigma_{\mathfrak{p}}$ と $\sigma_{{\mathfrak{p}}'}$ を組み合わせ、$P = P_{\mathfrak{p}} P_{{\mathfrak{p}}'}$ として、$\mathop{\rm Tor}(A)$ 上で $P(\sigma) = 0$ となるようなグローバル自己準同型 $\sigma$ を定義する。

実験結果

リサーチクエスチョン

• RQ1 Hrushovskiのモデル理論的証明を、古典的代数幾何学のみを用いて再構築することは可能か？
• RQ2 モデル理論を用いずに、アーベル多様体の部分多様体に含まれる捩れ点の集合が、有限個のアーベル部分多様体の平行移動に含まれることを証明することは可能か？
• RQ3 $\ell$-進タイト加群上のフロベニウス作用が、捩れ構造を保存する $\overline{\mathbb{Q}}$ 上の自己準同型を構成するためにどのように利用できるか？
• RQ4 Hrushovskiの核結果 $\Gamma = \ker P(\sigma)$ の代数幾何学的同等命題は何か？そして、モデル理論的道具を用いずにそれを証明できるか？
• RQ5 アーベル多様体における自己準同型と固定点集合に関する一般代数幾何学的結果から、Manin-Mumford予想を導くことは可能か？

主な発見

• 論文は、スキーム論、アラケロフ理論、モデル理論を一切用いずに、古典的代数幾何学のみを用いて定理2.1（Hrushovskiの核心的結果）を証明する。
• $\Gamma = \ker P(\sigma)$ と $\Delta = \ker(F - \sigma)$ の間に自然な全単射を確立し、問題を $X^n \cap \Delta$ の解析に還元する。
• $X \cap \Delta$ のザリスキ閉包 $Y$ は $\sigma$ および $F$ に関して不変であり、この不変性を用いて $Y$ がアーベル部分多様体の平行移動の和集合であることを示す。
• $\ell$-進タイト加群上のフロベニウス作用を上に持ち上げ、$\overline{\mathbb{Q}}$ 上の自己準同型 $\sigma_{\mathfrak{p}}$ を構成することで、適切な多項式 $P$ に対して $P(\sigma) = 0$ が $\mathop{\rm Tor}(A)$ 上で成り立つことを保証する。
• Manin-Mumford予想は、$\mathop{\rm Tor}(A) \subset \Gamma = \ker P(\sigma)$ を示し、定理2.1を適用することで導出される。これにより、$X \cap \mathop{\rm Tor}(A)$ がアーベル部分多様体の有限個の平行移動の和集合であることが結論づけられる。
• モデル理論の完全な道具立てに依存せず、予想の結論を自己完結的かつ代数幾何学的に導出する証明が提供される。