[Paper Review] On the section conjecture of Grothendieck

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

Algebraic Geometry and Number Theory14 references3 citations

TL;DR

This paper proves Grothendieck's section conjecture for arithmetic schemes by introducing monodromy actions on universal covers and sp-completions via the graph functor. It establishes a canonical bijection between morphisms of arithmetic schemes and outer homomorphisms of their étale fundamental groups, thereby confirming the section conjecture in the arithmetic setting through anabelian geometry techniques grounded in Galois theory and quasi-galois extensions.

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.

Motivation & Objective

• To resolve Grothendieck's section conjecture in the context of arithmetic schemes, extending anabelian geometry beyond curves.
• To establish a canonical correspondence between morphisms of arithmetic schemes and outer homomorphisms of their étale fundamental groups.
• To introduce and analyze monodromy actions on universal covers and sp-completions constructed via the graph functor.
• To prove that the section conjecture holds for arithmetic schemes surjective over $\mathrm{Spec}(\mathbb{Z})$ of finite type.
• To generalize the section conjecture to number fields and their rings of integers using unramified Galois groups.

Proposed method

• Introduces the monodromy action of $\mathrm{Aut}(X_{\Omega_{\text{et}}}/X)$ on the universal cover $X_{\Omega_{\text{et}}}$ of the étale fundamental group $\pi_1^{\text{et}}(X)$.
• Constructs the $\mathrm{sp}$-completion $X_{\mathrm{sp}}$ of a scheme $X$ using the graph functor $\Gamma$, and studies the monodromy action of $\mathrm{Aut}(X_{\mathrm{sp}}/X)$ on $X_{\mathrm{sp}}$.
• Establishes a canonical bijection between $\mathrm{Hom}(X,Y)$ and the outer homomorphism set $\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))$ via the monodromy actions on $X_{\mathrm{sp}}$ and $Y_{\mathrm{sp}}$.
• Uses the isomorphism $G(k(X))^{\mathrm{un}} \cong \pi_1^{\text{et}}(X)$ to translate the conjecture into Galois-theoretic terms.
• Applies properties of quasi-galois closed schemes and canonical liftings to show that every morphism $f: X \to Y$ arises uniquely from a morphism of $\mathrm{sp}$-completions.
• Relies on canonical commutative diagrams involving $\lambda_{X_{\mathrm{sp}}}$, $\phi_X$, and $h_{\mathrm{qc}}$ to prove surjectivity and injectivity of the induced map between morphism sets.

Experimental results

Research questions

• RQ1 Does Grothendieck's section conjecture hold for arithmetic schemes over $\mathrm{Spec}(\mathbb{Z})$ of finite type?
• RQ2 Can the section conjecture be reformulated and proven using monodromy actions on universal covers and $\mathrm{sp}$-completions?
• RQ3 Is there a canonical bijection between morphisms of arithmetic schemes and outer homomorphisms of their étale fundamental groups?
• RQ4 To what extent do the monodromy actions on $X_{\mathrm{sp}}$ and $X_{\Omega_{\text{et}}}$ control the structure of morphisms between arithmetic schemes?
• RQ5 Can the section conjecture be reduced to a Galois-theoretic statement involving unramified Galois groups?

Key findings

• The paper establishes a canonical bijection $\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))$ for arithmetic schemes $X$ and $Y$ with $k(Y) \subseteq k(X)$, proving Theorem 1.1.
• It proves that $\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}})$, confirming Theorem 1.2 and its Galois-theoretic version in Theorem 1.4.
• The key insight is that the monodromy action of $\mathrm{Aut}(X_{\mathrm{sp}}/X)$ on the $\mathrm{sp}$-completion $X_{\mathrm{sp}}$ induces a canonical bijection between morphisms and outer homomorphisms.
• The proof shows that every morphism $f: X \to Y$ arises uniquely from a morphism $f_{\mathrm{sp}}: X_{\mathrm{sp}} \to Y_{\mathrm{sp}}$, and that different such $f_{\mathrm{sp}}$ yield different $f$, ensuring injectivity.
• The paper confirms that $G(k(X))^{\mathrm{un}} \cong \pi_1^{\text{et}}(X)$ for any arithmetic variety $X$, allowing the reduction of the section conjecture to unramified Galois groups.
• The canonical surjection $\mathrm{Hom}(X_{\mathrm{sp}}, Y_{\mathrm{sp}}) \twoheadrightarrow \mathrm{Hom}(X,Y)$ is shown to be bijective via monodromy actions and canonical lifting via quasi-galois closed covers.