pith. sign in

arxiv: 2306.04844 · v3 · pith:CYXH2PPVnew · submitted 2023-06-08 · 🧮 math.NT · math.AG

Etale descent obstruction and anabelian geometry of curves over finite fields

Brendan Creutz , Jose Felipe Voloch This is my paper

Pith reviewed 2026-05-24 08:35 UTC · model grok-4.3

classification 🧮 math.NT math.AG
keywords etale fundamental groupsanabelian geometrycurves over finite fieldsetale descentadelic pointsglobal function fieldsGrothendieck conjecture
0
0 comments X

The pith

A bijection exists between conjugacy classes of well-behaved morphisms of etale fundamental groups and locally constant adelic points of C_K that survive etale descent.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper connects Grothendieck's anabelian philosophy, which predicts that open homomorphisms of etale fundamental groups arise from morphisms of curves when genus is at least 2, to the arithmetic of a curve over a global function field. It proves that conjugacy classes of well-behaved morphisms of fundamental groups stand in bijection with the locally constant adelic points on C_K that survive etale descent. This link supplies evidence for the anabelian conjecture by tying it directly to a separate conjecture of Sutherland and the second author. A reader would care because the result recasts a geometric expectation about curves as a concrete statement in the arithmetic of adelic points over function fields.

Core claim

For smooth proper geometrically integral curves C and D over a finite field F, any morphism from D to C induces a morphism of their etale fundamental groups. The paper shows there is a bijection between the set of conjugacy classes of well-behaved such morphisms and the locally constant adelic points of the base change C_K, where K = F(D) is the global function field, that survive etale descent. The bijection is then used to relate the anabelian expectation to another recent conjecture.

What carries the argument

The bijection between conjugacy classes of well-behaved morphisms of etale fundamental groups and locally constant adelic points of C_K that survive etale descent.

If this is right

  • The anabelian conjecture for curves over finite fields becomes equivalent to a statement about the non-existence of certain adelic points that survive etale descent.
  • Evidence for the anabelian conjecture follows from any progress on the related conjecture of Sutherland and the second author.
  • Morphisms between such curves can be recovered from arithmetic data consisting of locally constant adelic points modulo etale descent.
  • The etale descent obstruction is the precise arithmetic counterpart to the anabelian expectation in this setting.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The result suggests that etale descent may be the only obstruction to the anabelian conjecture in the function-field case.
  • Similar bijections could be sought for curves over number fields once an appropriate notion of locally constant adelic points is defined.
  • Computational checks of the bijection for low-genus curves over small finite fields would provide independent verification of the correspondence.

Load-bearing premise

The curves C and D are smooth, proper, geometrically integral over the finite field F, the morphisms of fundamental groups are well-behaved, and C has genus at least 2.

What would settle it

A concrete counterexample consisting of a well-behaved open homomorphism of fundamental groups with no corresponding locally constant adelic point on C_K that survives etale descent, or an adelic point with no corresponding homomorphism.

read the original 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.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 1 minor

Summary. The paper claims that for smooth, proper, geometrically integral curves C and D over a finite field F (with genus(C) ≥ 2), there is a bijection between conjugacy classes of well-behaved morphisms of étale fundamental groups and the locally constant adelic points of C_K (K = F(D)) that survive étale descent. This bijection is used to relate Grothendieck's anabelian expectation to a separate conjecture of Sutherland and the second author.

Significance. If the stated bijection holds, the result is significant: it supplies an arithmetic reinterpretation of the anabelian conjecture in terms of descent obstructions on adelic points over global function fields, thereby linking two independent conjectures and potentially allowing evidence for one to support the other. The setup uses standard objects of anabelian geometry over finite fields.

minor comments (1)
  1. The definition of 'well-behaved' morphisms is referenced in the abstract but should be stated explicitly in the introduction (or §1) with a forward reference to its precise location, to aid readers who encounter the main statement first.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript, accurate summary of the main result, and recommendation for minor revision. We are pleased that the significance of the bijection and its relation between the anabelian conjecture and the Sutherland-Voloch conjecture is recognized.

Circularity Check

0 steps flagged

Minor self-citation to related conjecture; central bijection independent

full rationale

The paper proves a bijection between conjugacy classes of well-behaved morphisms of étale fundamental groups and locally constant adelic points of C_K surviving étale descent. This directly relates Grothendieck's external anabelian expectation (genus ≥2 curves over finite fields) to the arithmetic of C_K = C_{F(D)}. The only self-reference is to a separate conjecture of Sutherland and Voloch, used to supply further evidence rather than to justify the bijection itself. No self-definitional steps, fitted inputs renamed as predictions, ansatz smuggling, or uniqueness theorems imported from the authors appear. The derivation chain is self-contained against standard étale fundamental group theory and descent obstructions.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper relies on standard background in algebraic geometry; no free parameters, new entities, or ad-hoc axioms are mentioned in the abstract.

axioms (2)
  • standard math Standard properties of etale fundamental groups for smooth proper geometrically integral curves over finite fields
    Invoked when morphisms of curves induce morphisms of fundamental groups.
  • domain assumption Existence and basic properties of adelic points and etale descent obstructions over global function fields
    Used to define the set of points that survive etale descent in the bijection.

pith-pipeline@v0.9.0 · 5693 in / 1461 out tokens · 70730 ms · 2026-05-24T08:35:03.067715+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.