The metabelian Grothendieck conjecture for genus zero curves over finitely generated fields

Technical Summary: The Metabelian Grothendieck Conjecture for Genus Zero Curves over Finitely Generated Fields

Problem Statement
The paper addresses the Grothendieck conjecture in the context of anabelian geometry, specifically focusing on the reconstruction of the isomorphism class of a hyperbolic curve from its fundamental group. While the full conjecture for hyperbolic curves over fields finitely generated over $\mathbb{Q}$ (characteristic 0) and over finite fields (positive characteristic) has been established by Nakamura, Tamagawa, Mochizuki, and Stix, this work investigates a truncated version.

The central problem is whether the metabelian quotient of the geometrically maximal tame fundamental group is sufficient to reconstruct the curve. Specifically, for a smooth hyperbolic curve $X$ of type $(g, r)$ over a field $k$, let $\Pi_X$ be the tame fundamental group and $\Delta_X$ be the geometric tame fundamental group. The paper considers the maximal metabelian quotient of the geometric group, denoted $\Delta_X^{meta} = \Delta_X / \Delta_X''$, and the corresponding quotient of the full group, $\Pi_X^{meta} = \Pi_X / \Delta_X''$.

The conjecture posits that for two such curves $X_1$ and $X_2$, an isomorphism of their metabelian fundamental groups over the absolute Galois group $G_k$ implies the curves are isomorphic over $k$ (up to Frobenius twist in positive characteristic). The paper specifically targets the genus-zero case ($g=0$) with a sufficient number of punctures ($r \geq 5$).

Methodology
The proof strategy relies on a "group-theoretical reconstruction" approach, where geometric invariants are recovered solely from the structure of the metabelian fundamental group. The methodology proceeds through several key stages:

1. Reconstruction of Invariants: The author first establishes that basic invariants, such as the base field being finite or infinite, the number of punctures $r$, and the cyclotomic character, can be reconstructed from the metabelian quotient $\Pi_X^{meta}$. This involves analyzing the weight filtration of the maximal abelian quotient $\Delta_X^{ab}$.
2. Decomposition Groups and Sections: A critical component is the reconstruction of decomposition groups (subgroups corresponding to closed points of the curve) from the metabelian quotient. The paper introduces the concept of geometric quasi-sections (continuous homomorphisms from open subgroups of $G_k$ to the fundamental group).
3. Separatedness Properties: Using Kummer theory and cohomological arguments, the author proves "separatedness" properties. These results demonstrate that distinct closed points on the curve correspond to distinct (or non-commensurable) decomposition groups within the fundamental group, provided $r$ is sufficiently large.
4. Reconstruction of the Curve over Finite Fields: For the case where the base field $k$ is finite, the author reconstructs the curve's function field and scheme structure. This involves defining a multiplicative monoid $K(\Pi^{ab})$ derived from the fundamental group and showing it is isomorphic to the function field $K(X)$. This step utilizes the reconstruction of decomposition groups and the Frobenius element.
5. Specialization Argument: To extend the results from finite fields to fields finitely generated over a finite field (or $\mathbb{Q}$), the paper employs a specialization argument. It utilizes henselian regular local rings to relate the fundamental groups of the generic fiber (the field of interest) to the special fiber (a finite field). The kernel of the specialization morphism is shown to be group-theoretically reconstructible.

Key Contributions and Results
The paper provides the following main theorems, assuming the curves are of genus 0 and have at least 5 punctures ($r \geq 5$):

• Theorem A (Characteristic 0): Let $k$ be a field finitely generated over $\mathbb{Q}$. Two smooth hyperbolic curves $X_1, X_2$ of genus 0 with $r \geq 5$ are isomorphic over $k$ if and only if their metabelian fundamental groups are isomorphic over $G_k$.
  $$X_1 \cong_k X_2 \iff \Pi_{X_1}^{meta} \cong_{G_k} \Pi_{X_2}^{meta}$$
• Theorem B (Finite Fields): Let $k$ be a finite field. Two such curves are isomorphic over $k$ if and only if their metabelian fundamental groups are isomorphic over $G_k$. (Note: In the finite field case, the isomorphism of groups implies the curves are isomorphic as schemes).
• Theorem C (Positive Characteristic, Finitely Generated Fields): Let $k$ be a field finitely generated over a finite field. For non-isotrivial smooth curves $X_1, X_2$ of genus 0 with $r \geq 5$, their metabelian fundamental groups are isomorphic over $G_k$ if and only if there exist non-negative integers $n_1, n_2$ such that the Frobenius twists satisfy $X_1(n_1) \cong_k X_2(n_2)$.

Significance and Limitations
The significance of this work lies in establishing the metabelian case ($m=2$) of the Grothendieck conjecture for genus-zero curves. Previous results by Mochizuki and Nakamura covered higher solvability steps ($m \geq 5$) or specific special cases. The abelian case ($m=1$) is known to be insufficient for reconstruction because the Galois action on the maximal abelian quotient is determined entirely by cyclotomic characters, which do not distinguish between different curves. The metabelian quotient is the first non-abelian solvable quotient where a positive anabelian statement is expected and, as proven here, holds true for $r \geq 5$.

The author explicitly notes the limitation regarding the number of punctures. The assumption $r \geq 5$ is required for the group-theoretical characterization of whether a geometric quasi-section is cuspidal or non-cuspidal. The method relies on analyzing quotient curves of type $(0, r-1)$; thus, to apply the characterization inductively, one needs $r-1 \geq 4$. The paper acknowledges that the case $r=3$ is exceptional and can be proved (Proposition 6.6), but the general case for $r=4$ remains open, as the necessary group-theoretical characterization for $r=3$ is not currently known.

In summary, the paper successfully extends the anabelian reconstruction to the metabelian level for genus-zero curves with sufficient punctures, bridging the gap between the known abelian failure and the higher-step solvable successes.