[论文解读] On the section conjecture of Grothendieck

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

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

一句话总结

本文通过引入通过图函子构造的通用覆叠和sp-完备化上的单值作用，证明了算术概形上的格罗滕迪克截面猜想。它建立了算术概形之间的态射与它们的étale基本群的外同态之间的典范双射，从而通过基于伽罗瓦理论和准伽罗瓦扩张的阿贝良几何技术，在算术设定下确认了截面猜想。

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.

研究动机与目标

• 在算术概形的背景下解决格罗滕迪克截面猜想，将阿贝良几何扩展至曲线之外。
• 在算术概形的态射与它们的étale基本群的外同态之间建立典范对应关系。
• 引入并分析通过图函子构造的通用覆叠和sp-完备化上的单值作用。
• 证明截面猜想对有限型且在$\mathrm{Spec}(\mathbb{Z})$上有限射的算术概形成立。
• 通过无分支伽罗瓦群将截面猜想推广至数域及其整环。

提出的方法

• 在算术概形$X$的étale基本群$\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}$-完备化之间的态射导出。
• 依赖包含$\lambda_{X_{\mathrm{sp}}}$、$\phi_X$和$h_{\mathrm{qc}}$的典范交换图表，证明态射集之间诱导映射的满射性和单射性。

实验结果

研究问题

• RQ1 格罗滕迪克截面猜想是否对有限型且在$\mathrm{Spec}(\mathbb{Z})$上的算术概形成立？
• RQ2 是否能通过通用覆叠和$\mathrm{sp}$-完备化上的单值作用重新表述并证明截面猜想？
• RQ3 算术概形的态射与它们的étale基本群的外同态之间是否存在典范双射？
• 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)$，使得截面猜想可被约化为无分支伽罗瓦群。
• 通过单值作用和拟伽罗瓦闭覆叠的典范提升，证明了 canonical surjection $\mathrm{Hom}(X_{\mathrm{sp}}, Y_{\mathrm{sp}}) \twoheadrightarrow \mathrm{Hom}(X,Y)$ 是双射。