On the birational section conjecture with local conditions

From MaRDI portal
Publication:2514523



Abstract: 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 GL2(Fell)-quotients of pi1(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 by the section conjecture of anabelian geometry. As an aside we also obtain a strong approximation result for rational points on hyperbolic curves over Q or imaginary quadratic fields.


The paper under review deals with fundamental groups of hyperbolic curves over a number field \(k\). These are extensions of the absolute Galois group of \(k\) by the geometric fundamental group. It is conjectured that conjugacy classes of splittings of this extension correspond to \(k\)-rational points on a compactification. Birational sections lift to the absolute Galois group of the function field and are known to yield adelic points of the compactification. In the present paper it is shown that over the rationals or over quadratic imaginary basefields \(k\) all birational sections come from \(k\)-points on the compactification. For general \(k\) an integrality statements is shown for a set of \(k\)-places of density one. The proof uses \(l\)-adic representations coming from families of elliptic curvers over \(X\). These are indeed from the Legendre curve via maps to the projective line minus three points. Many of those exist by Belyi's theorem.











This page was built for publication: On the birational section conjecture with local conditions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2514523)