[論文レビュー] On the section conjecture of Grothendieck

Feng-Wen An|ArXiv.org|Nov 9, 2009

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

ひとこと要約

本稿は、グラフ関手を介して普遍被覆およびsp-完備化に沿ったモノドロミー作用を導入することにより、算術的スキームにおけるグロテンディークのセクション予想を証明する。エタール基本群の外部自己同型の集合と算術的スキームの準同型の間の自然な全単射を確立し、ガロア理論および準ガロア拡大に基づくアーベルグ・ジオメトリの技法を用いて、算術的設定におけるセクション予想を裏付ける。

ABSTRACT

For a given arithmetic scheme, in this paper we will introduce and discuss the monodromy action on a universal cover of the étale fundamental group and the monodromy action on an \emph{sp}-completion constructed by the graph functor, respectively; then by these results we will give a proof of the section conjecture of Grothendieck for arithmetic schemes.

研究の動機と目的

• 算術的スキームの文脈においてグロテンディークのセクション予想を解決し、曲線を超えるアーベルグ・ジオメトリの拡張を図る。
• 算術的スキームの準同型とそのエタール基本群の外部自己同型の間の自然な対応を確立する。
• グラフ関手を介して構成された普遍被覆およびsp-完備化におけるモノドロミー作用を導入し、それらを分析する。
• 有限型で $\mathrm{Spec}(\mathbb{Z})$ に全射である算術的スキームに対して、セクション予想が成り立つことを証明する。
• 数体およびその整数環への一般化を、非分岐ガロア群を用いて行う。

提案手法

• エタール基本群 $\pi_1^{\text{et}}(X)$ の普遍被覆 $X_{\Omega_{\text{et}}}$ に沿った $\mathrm{Aut}(X_{\Omega_{\text{et}}}/X)$ のモノドロミー作用を導入する。
• 関手 $\Gamma$ を用いてスキーム $X$ の $\mathrm{sp}$-完備化 $X_{\mathrm{sp}}$ を構成し、$\mathrm{Aut}(X_{\mathrm{sp}}/X)$ の $X_{\mathrm{sp}}$ へのモノドロミー作用を研究する。
• 普遍被覆 $X_{\mathrm{sp}}$ および $Y_{\mathrm{sp}}$ におけるモノドロミー作用を介して、$\mathrm{Hom}(X,Y)$ と $\mathrm{Hom}^{\mathrm{out}}_{\pi_1^{\text{et}}(k(X)),\pi_1^{\text{et}}(k(Y))}(\pi_1^{\text{et}}(X), \pi_1^{\text{et}}(Y))$ の間の自然な全単射を確立する。
• 同型 $G(k(X))^{\mathrm{un}} \cong \pi_1^{\text{et}}(X)$ を用いて、予想をガロア理論的言語に翻訳する。
• 準ガロア閉スキームおよび自然な持ち上げの性質を適用し、任意の準同型 $f: X \to Y$ が一意に $\mathrm{sp}$-完備化の準同型 $f_{\mathrm{sp}}: X_{\mathrm{sp}} \to Y_{\mathrm{sp}}$ から導かれることを示す。
• canonical commutative diagrams である $\lambda_{X_{\mathrm{sp}}}$, $\phi_X$, および $h_{\mathrm{qc}}$ を用いて、準同型集合間の誘導写像の全射性および単射性を証明する。

実験結果

リサーチクエスチョン

• RQ1 有限型で $\mathrm{Spec}(\mathbb{Z})$ に全射である算術的スキームに対して、グロテンディークのセクション予想は成り立つか？
• RQ2 普遍被覆および $\mathrm{sp}$-完備化におけるモノドロミー作用を用いて、セクション予想を再定式化し、証明可能か？
• RQ3 算術的スキームの準同型とそのエタール基本群の外部自己同型の間には、自然な全単射が存在するか？
• RQ4 $X_{\mathrm{sp}}$ および $X_{\Omega_{\text{et}}}$ におけるモノドロミー作用が、算術的スキーム間の準同型の構造をどの程度制御するか？
• RQ5 セクション予想は、非分岐ガロア群を含むガロア理論的命題に還元可能か？

主な発見

• 本稿は、$k(Y) \subseteq k(X)$ を満たす算術的スキーム $X$ および $Y$ に対して、自然な全単射 $\mathrm{Hom}(X,Y) \cong \mathrm{Hom}^{\mathrm{out}}_{\pi_1^{\text{et}}(k(X)),\pi_1^{\text{et}}(k(Y))}(\pi_1^{\text{et}}(X), \pi_1^{\text{et}}(Y))$ を確立し、定理1.1を証明する。
• 本稿は、$\Gamma(X/\mathrm{Spec}(\mathcal{O}_K)) \cong \mathrm{Hom}^{\mathrm{out}}_{G(K),G(k(X))}(G(K)^{\mathrm{un}}, G(k(X))^{\mathrm{un}})$ を証明し、定理1.2および定理1.4におけるガロア理論的バージョンを確認する。
• 主な洞察は、$\mathrm{Aut}(X_{\mathrm{sp}}/X)$ の $\mathrm{sp}$-完備化 $X_{\mathrm{sp}}$ へのモノドロミー作用が、準同型と外部自己同型の間の自然な全単射を誘導することにある。
• 証明により、任意の準同型 $f: X \to Y$ が一意に $f_{\mathrm{sp}}: X_{\mathrm{sp}} \to Y_{\mathrm{sp}}$ から導かれ、異なる $f_{\mathrm{sp}}$ が異なる $f$ を与えることが示され、単射性が保証される。
• 本稿は、任意の算術的多様体 $X$ に対して $G(k(X))^{\mathrm{un}} \cong \pi_1^{\text{et}}(X)$ が成り立つことを確認し、セクション予想を非分岐ガロア群に還元可能であることを裏付ける。
• 自然な全射 $\mathrm{Hom}(X_{\mathrm{sp}}, Y_{\mathrm{sp}}) \twoheadrightarrow \mathrm{Hom}(X,Y)$ がモノドロミー作用および準ガロア閉被覆による自然な持ち上げを用いて全単射であることが示された。