Chabauty--Kim, finite descent, and the Section Conjecture for locally geometric sections

L. Alexander Betts; Martin L\"udtke; Theresa Kumpitsch

arxiv: 2305.09462 · v2 · submitted 2023-05-16 · 🧮 math.NT · math.AG

Chabauty--Kim, finite descent, and the Section Conjecture for locally geometric sections

L. Alexander Betts , Theresa Kumpitsch , Martin L\"udtke This is my paper

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

classification 🧮 math.NT math.AG

keywords section conjectureKim's conjectureChabauty-Kim methodfinite descenthyperbolic curvesS-integral pointslocally geometric sections

0 comments

The pith

A curve over the rationals satisfies the local-to-global section conjecture if it satisfies Kim's conjecture for almost all primes.

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

The paper connects two open problems in arithmetic geometry by showing that a natural variant of Grothendieck's Section Conjecture follows from Kim's conjecture in most cases. The variant asserts that any section of the fundamental exact sequence which is locally geometric must arise from an actual rational point on the curve. Under the hypothesis that Kim's conjecture holds for all but finitely many auxiliary primes p, the authors prove the section conjecture holds for any smooth projective curve of genus at least 2 over Q. They also extend the statement to S-integral points on hyperbolic curves and verify the result explicitly for the thrice-punctured line over Z[1/2].

Core claim

Let X be a smooth projective curve of genus at least 2 over a number field. A section of the fundamental exact sequence is locally geometric if it arises from a point of X over every completion. The paper proves that when X is defined over Q and satisfies Kim's conjecture for almost all primes p, every locally geometric section is in fact geometric, i.e., arises from a global point of X. The same conclusion holds, after appropriate formulation, for S-integral points on hyperbolic curves.

What carries the argument

The reduction of the locally geometric section conjecture to Kim's conjecture via finite descent and the Chabauty--Kim method.

If this is right

The section conjecture variant becomes provable for any curve once Kim's conjecture is established at sufficiently many primes.
The thrice-punctured line over Z[1/2] satisfies the locally geometric section conjecture.
The same reduction applies to S-integral points on hyperbolic curves over number fields.
Verification of Kim's conjecture at many primes yields a computational route to instances of the section conjecture.

Where Pith is reading between the lines

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

Progress on Kim's conjecture for a single curve immediately yields the section conjecture for that curve.
The method may extend to other base fields once the appropriate form of Kim's conjecture is formulated.
The reduction isolates the global section problem to a finite check plus local information already encoded in Kim's conjecture.

Load-bearing premise

The curve satisfies Kim's conjecture for almost all auxiliary primes p.

What would settle it

An explicit curve over Q together with a locally geometric section that does not come from a global point, for which Kim's conjecture has already been verified at all but finitely many primes.

read the original abstract

Let $X$ be a smooth projective curve of genus $\geq2$ over a number field. A natural variant of Grothendieck's Section Conjecture postulates that every section of the fundamental exact sequence for $X$ which everywhere locally comes from a point of $X$ in fact globally comes from a point of $X$. We show that $X/\mathbb{Q}$ satisfies this version of the Section Conjecture if it satisfies Kim's Conjecture for almost all choices of auxiliary prime $p$, and give the appropriate generalisation to $S$-integral points on hyperbolic curves. This gives a new "computational" strategy for proving instances of this variant of the Section Conjecture, which we carry out for the thrice-punctured line over $\mathbb{Z}[1/2]$.

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.

Desk Editor's Note private letter to a colleague

This paper reduces a local-to-global Section Conjecture variant to Kim's conjecture for almost all p, with a concrete check on the thrice-punctured line.

read the letter

The main takeaway is that this paper gives a conditional reduction: if a curve over Q satisfies Kim's conjecture for almost all auxiliary primes p, then it satisfies the locally geometric version of the Section Conjecture. They extend the statement to S-integral points on hyperbolic curves and carry out the check explicitly for the thrice-punctured line over Z[1/2], where the Kim hypothesis is known to hold in the relevant range. This is the new piece. The reduction itself is not presented as routine, and the explicit application shows a workable strategy rather than just an abstract implication. The paper does a clean job of framing the link between the two conjectures and pointing to a computational path forward using existing p-adic methods. The logic of the reduction appears free of circularity or hidden fitting, and the stress-test note confirms no load-bearing gaps once the conditional premise is granted. The citation pattern is standard and appropriate for the area. The main limitation is that the result stays conditional on Kim's conjecture, which remains open in most cases. So the paper does not deliver new unconditional instances of the Section Conjecture beyond what was already accessible via Kim's method. The details of the proof are not visible from the abstract alone, but the overall structure is plausible and the authors treat the hypothesis transparently without overclaiming. This work is aimed at specialists in anabelian geometry and arithmetic geometry who already know both the Section Conjecture and Chabauty-Kim techniques. A reader looking for new angles on attacking the Section Conjecture computationally would get direct value from the reduction and the example. It is not broad enough for a general audience. I would bring it to a reading group focused on these topics. It deserves peer review because the connection is fresh and the example is concrete enough to be checked. The thinking is clear and engaged with the literature.

Referee Report

0 major / 2 minor

Summary. The manuscript proves that a smooth projective curve X of genus ≥2 over Q satisfies a natural variant of Grothendieck's Section Conjecture (every section of the fundamental exact sequence that is locally geometric arises from a global point) provided that Kim's Conjecture holds for all but finitely many auxiliary primes p. The result is extended to S-integral points on hyperbolic curves, and the method is carried out explicitly for the thrice-punctured line over Z[1/2].

Significance. If the implication holds, the paper supplies a concrete reduction of one open question to another that may be more amenable to computation in specific cases, together with an explicit verification for a model example. This links the Chabauty–Kim method and finite descent to the Section Conjecture in a usable way and gives a new strategy for producing instances of the conjecture.

minor comments (2)

The statement of the main theorem (presumably in §1 or §2) would benefit from an explicit list of the finitely many exceptional primes that are excluded, even if the list is not computed in general.
Notation for the fundamental exact sequence and the notion of 'locally geometric' sections should be recalled or referenced at the first use in the body of the paper.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary of the manuscript, recognition of its significance in linking Chabauty–Kim methods to the Section Conjecture, and recommendation to accept.

Circularity Check

0 steps flagged

No significant circularity: conditional implication between open statements

full rationale

The paper's central result is an explicit implication: the stated variant of the Section Conjecture for X/Q follows from the assumption that Kim's Conjecture holds for almost all auxiliary primes p (with a parallel statement for S-integral points on hyperbolic curves). This premise is treated as an external open hypothesis rather than derived internally, and the paper demonstrates a concrete verifiable instance (thrice-punctured line over Z[1/2]) where the hypothesis can be checked directly. No self-definitional steps, fitted inputs renamed as predictions, load-bearing self-citations, or ansatzes smuggled via prior work appear in the derivation chain; the argument remains self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

Abstract-only review supplies no explicit list of free parameters or invented entities; the argument relies on standard background results in anabelian geometry and p-adic Hodge theory.

axioms (2)

standard math Standard properties of the étale fundamental group and the exact sequence for a smooth projective curve over a number field
Invoked implicitly in the statement of the Section Conjecture variant
domain assumption Existence and basic properties of the Chabauty-Kim method and Kim's conjecture
Used as the hypothesis that transfers local sections to global points

pith-pipeline@v0.9.0 · 5673 in / 1201 out tokens · 24424 ms · 2026-05-24T08:48:03.792404+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

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

IndisputableMonolith/Foundation/RealityFromDistinction.lean reality_from_one_distinction unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Theorem A: ... Suppose that the refined Kim’s Conjecture holds for (Y, S, p) for all primes p in a set of primes of Dirichlet density 1. Then the S-Selmer Section Conjecture holds for (Y, S).
IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

The reﬁned Chabauty–Kim locus Y(Zp)min S, ∞ ⊆ Y(Zp) ... common vanishing locus of some Coleman analytic functions

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.

Reference graph

Works this paper leans on

2 extracted references · 2 canonical work pages

[1]

The polylog quotient a nd the Gon- charov quotient in computational Chabauty–Kim Theory I

arXiv: 2204.13674v1 [math.NT] . [CDC20a] D. Corwin and I. Dan-Cohen. “The polylog quotient a nd the Gon- charov quotient in computational Chabauty–Kim Theory I”. I n: Int. J. Number Theory 16.8 (2020), pp. 1859–1905. [CDC20b] D. Corwin and I. Dan-Cohen. “The polylog quotient a nd the Gon- charov quotient in computational Chabauty–Kim theory II”. In: Trans...

work page arXiv 2020
[2]

On the ‘Section Conjecture’ in ana belian geome- try

url: https://github.com/martinluedtke/dcw_coefficients. [Koe05] J. Koenigsmann. “On the ‘Section Conjecture’ in ana belian geome- try”. In: J. Reine Angew. Math. 2005.588 (2005), pp. 221 –235. [KT08] M. Kim and A. Tamagawa. “The l-component of the unipotent Al- banese map”. In: Math. Ann. 340.1 (2008), pp. 223–235. [Lev98] M. Levine. Mixed Motives. Vol. 5...

work page 2005

[1] [1]

The polylog quotient a nd the Gon- charov quotient in computational Chabauty–Kim Theory I

arXiv: 2204.13674v1 [math.NT] . [CDC20a] D. Corwin and I. Dan-Cohen. “The polylog quotient a nd the Gon- charov quotient in computational Chabauty–Kim Theory I”. I n: Int. J. Number Theory 16.8 (2020), pp. 1859–1905. [CDC20b] D. Corwin and I. Dan-Cohen. “The polylog quotient a nd the Gon- charov quotient in computational Chabauty–Kim theory II”. In: Trans...

work page arXiv 2020

[2] [2]

On the ‘Section Conjecture’ in ana belian geome- try

url: https://github.com/martinluedtke/dcw_coefficients. [Koe05] J. Koenigsmann. “On the ‘Section Conjecture’ in ana belian geome- try”. In: J. Reine Angew. Math. 2005.588 (2005), pp. 221 –235. [KT08] M. Kim and A. Tamagawa. “The l-component of the unipotent Al- banese map”. In: Math. Ann. 340.1 (2008), pp. 223–235. [Lev98] M. Levine. Mixed Motives. Vol. 5...

work page 2005