May 15, 2003
Let X be a smooth projective curve of genus >1 over a field K which is finitely generated over the rationals. The section conjecture in Grothendieck's anabelian geometry says that the sections of the canonical projection from the arithmetic fundamental group of X onto the absolute Galois group of K are (up to conjugation) in one-to-one correspondence with K-rational points of X. The birational variant conjectures a similar correspondence where the fundamental group is replaced by the absolute Galois group of the function field K(X). The present paper proves the birational section conjecture for all X when K is replaced e.g. by the field of p-adic numbers. It disproves both conjectures for the field of real or p-adic algebraic numbers. And it gives a purely group theoretic characterization of the sections induced by K-rational points of X in the birational setting over almost arbitrary fields. As a biproduct we obtain Galois theoretic criteria for radical solvability of polynomial equations in more than one variable, and for a field to be PAC, to be large, or to be Hilbertian.
Similar papers 1
December 20, 2011
We explore connections between birational anabelian geometry and abstract projective geometry. One of the applications is a proof of a version of the birational section conjecture.
August 19, 2008
Given a smooth projective curve $X$ of genus at least 2 over a number field $k$, Grothendieck's Section Conjecture predicts that the canonical projection from the \'etale fundamental group of $X$ onto the absolute Galois group of $k$ has a section if and only if the curve has a rational point. We show that there exist curves where the above map has a section over each completion of $k$ but not over $k$. In the appendix Victor Flynn gives explicit examples in genus 2. Our re...
March 14, 2012
A birationally liftable Galois section s of a hyperbolic curve X/k over a number field k yields an adelic point x(s) in the smooth completion of X. We show that x(s) is X-integral outside a set of places of Dirichlet density 0, or s is cuspidal. The proof relies on $GL_2(F_\ell)$-quotients of $\pi_1(U)$ for some open U of X. If k is totally real or imaginary quadratic, we prove that all birationally adelic, non-cuspidal Galois sections come from rational points as predicted...
August 30, 2021
Let $X$ be a curve over a field $k$ finitely generated over $\mathbb{Q}$ and $t$ an indeterminate. We prove that, if $s$ is a section of $\pi_{1}(X)\to\operatorname{Gal}(k)$ such that the base change $s_{k(t)}$ is birationally liftable, then $s$ comes from geometry. As a consequence we prove that the section conjecture is equivalent to the cuspidalization of all sections over all finitely generated fields.
November 29, 2012
Assuming the finiteness of the Shafarevich-Tate group of elliptic curves over number fields we make several observations on the birational Grotendieck anabelian setion conjecture. We prove that the birational setion conjecture for curves over number fields can be reduced to the case of elliptic curves. In this case we prove that, as a consequence of a result of Stoll, a section of the exact sequence of the absolute Galois group of an elliptic curve over a number field arises ...
November 3, 2010
We survey recent developments in the Birational Anabelian Geometry program aimed at the reconstruction of function fields of algebraic varieties over algebraically closed fields from pieces of their absolute Galois groups.
June 6, 2017
The aim of Bogomolov's programme is to prove birational anabelian conjectures for function fields $K|k$ of varieties of dimension $\geq 2$ over algebraically closed fields. The present article is concerned with the 1-dimensional case. While it is impossible to recover $K|k$ from its absolute Galois group alone, we prove that it can be recovered from the pair $(\mathrm{Aut}(\overline{K}|k),\mathrm{Aut}(\overline{K}|K))$, consisting of the absolute Galois group of $K$ and the l...
August 21, 2015
We develop a notion of a `canonical $\mathcal{C}$-henselian valuation' for a class $\mathcal{C}$ of field extensions, generalizing the construction of the canonical henselian valuation of a field. We use this to show that the $p$-adic valuation on a finite extension $F$ of $\mathbb{Q}_p$ can be recovered entirely (or up to some indeterminacy of the residue field) from various small quotients of $G_F$, the absolute Galois group of $F$. In particular, it can be recovered fully ...
September 26, 2019
We investigate the birational section conjecture for curves over function fields of characteristic zero and prove that the conjecture holds over finitely generated fields over Q if it holds over number fields.
December 3, 2015
We investigate sections of arithmetic fundamental groups of hyperbolic curves over function fields. As a consequence we prove that the anabelian section conjecture of Grothendieck holds over all finitely generated fields over $\Bbb Q$ if it holds over all number fields, under the condition of finiteness (of the $\ell$-primary parts) of certain Shafarevich-Tate groups. We also prove that if the section conjecture holds over all number fields then it holds over all finitely gen...