Etale descent obstruction and anabelian geometry of curves over finite fields

arXiv2306.04844MaRDI QIDQ6510477FDOQ6510477

Authors: Brendan Creutz, José Felipe Voloch 

Abstract: Let $C$ and $D$ be smooth, proper and geometrically integral curves over a finite field $F$. Any morphism from $D$ to $C$ induces a morphism of their 'etale fundamental groups. The anabelian philosophy proposed by Grothendieck suggests that, when $C$ has genus at least $2$, all open homomorphisms between the 'etale fundamental groups should arise in this way from a nonconstant morphism of curves. We relate this expectation to the arithmetic of the curve $C_K$ over the global function field $K=F(D)$. Specifically, we show that there is a bijection between the set of conjugacy classes of well-behaved morphism of fundamental groups and locally constant adelic points of $C_K$ that survive 'etale descent. We use this to provide further evidence for the anabelian conjecture by relating it to another recent conjecture by Sutherland and the second author.

Mathematics Subject Classification ID

[https://portal.mardi4nfdi.de/w/index.php?search=%2211G30%22&title=Special%3ASearch&profile=advanced&fulltext=1&ns120=1 Curves of arbitrary genus or genus ( e 1) over global fields (11G30)] Rational points (14G05) Curves over finite and local fields (11G20) Finite ground fields in algebraic geometry (14G15)

This page was built for publication: Etale descent obstruction and anabelian geometry of curves over finite fields

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