The local p-adic section conjecture and global consequences. Proves that rational points on every smooth proper geometrically connected curve of genus at least two over a finite extension of ℚp correspond bijectively to conjugacy classes of sections of its full arithmetic étale fundamental group. It also proves Grothendieck's section conjecture over ℚ for the modular curves $X_0(N)$ and $X_1(N)$ of genus at least two.
released 2026-09-24 | 1 theorem · 2 lemmas · 4 proofs · 3,421 words |
PLAY LEVEL 1 »(pdf)
Let X be a smooth proper hyperbolic curve over an algebraic closure of a p-adic local field. Given finitely many disjoint small open disks, we construct one connected finite étale cover with a sheet isomorphic to their entire exterior and with degree divisible by p on every connected component above each disk.
released 2026-10-06 | 3 theorems · 8 lemmas · 20 proofs · 12,785 words |
PLAY LEVEL 2 »(pdf)
We prove the local p-adic section conjecture for smooth proper geometrically connected curves of genus at least two, over every finite extension of ℚp. Combined with established finite-descent theorems, this also yields the global section conjecture for smooth proper geometrically connected curves of genus at least two over number fields when their finite-cover descent locus equals their rational points; this includes $X_0(N)$ and $X_1(N)$ of genus at least two over ℚ.