The Absolute Anabelian Geometry of Virtual Curves of Arbitrary Genus

Zeming Sun

arxiv: 2604.23485 · v1 · submitted 2026-04-26 · 🧮 math.NT · math.AG

The Absolute Anabelian Geometry of Virtual Curves of Arbitrary Genus

Zeming Sun This is my paper

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

classification 🧮 math.NT math.AG

keywords anabelian geometryvirtual curvesarithmetic fundamental groupsGalois sectionsrational pointspointed curvesgeometricity criteria

0 comments

The pith

Anabelian reconstruction extends to virtual curves of arbitrary genus by detecting when group sections come from rational points.

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

The paper extends previous anabelian results on pointed virtual curves from the genus-zero case to curves of any genus. It introduces the group-theoretic notion of an inclusion of CAVC-type together with the categorical notion of a virtual decuspidaloid to carry the extension. With these tools it gives group-theoretic criteria that decide whether a section of an arithmetic fundamental group is geometric, meaning it arises from a rational point. A sympathetic reader would care because the extension removes the genus restriction that had limited the scope of reconstructing geometric data purely from fundamental-group data in arithmetic settings.

Core claim

By defining inclusions of CAVC-type and virtual decuspidaloids, the central anabelian results previously established in genus zero carry over to pointed virtual curves of arbitrary genus, yielding explicit group-theoretic conditions under which a section of an arithmetic fundamental group arises from a rational point.

What carries the argument

The inclusion of CAVC-type together with the virtual decuspidaloid, which together preserve anabelian reconstruction properties when the genus is allowed to become arbitrary.

If this is right

Rational points on virtual curves of any genus become detectable from purely group-theoretic data.
The arithmetic fundamental group of a higher-genus virtual curve determines its geometricity status via the new criteria.
Galois sections that fail the geometricity test cannot arise from rational points on the virtual curve.
Anabelian reconstruction applies uniformly across all genera once the CAVC-type and decuspidaloid structures are fixed.

Where Pith is reading between the lines

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

The same group-theoretic test might be used to decide whether certain Diophantine equations have solutions by checking geometricity of associated sections.
If the criteria hold in practice, they could give a uniform way to study rational points on families of curves without computing the curves themselves.
The extension suggests that virtual curves form a single anabelian category closed under the operations needed for arbitrary genus.

Load-bearing premise

The new notions of inclusion of CAVC-type and virtual decuspidaloid continue to encode the same anabelian reconstruction data when the underlying curve has positive genus.

What would settle it

A concrete virtual curve of genus one together with a section of its arithmetic fundamental group for which the proposed CAVC-type criterion returns the wrong geometricity verdict.

read the original abstract

The objective of this paper is to further study the anabelian object referred to as \emph{pointed virtual curves}. Building upon previous work that investigated these fundamental-group-theoretic pullbacks of Galois sections in the genus-zero situation, we extend the central anabelian results to curves of arbitrary genus. To facilitate this generalization, we introduce the group-theoretic notion of an inclusion of CAVC-type and the categorical-theoretic notion of a virtual decuspidaloid. Furthermore, we establish a criterion regarding the "geometricity" of certain virtual curves, providing group-theoretic conditions under which a section of an arithmetic fundamental group arises from a rational point.

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

The paper extends anabelian results on virtual curves from genus zero to arbitrary genus via two new technical notions, but the abstract supplies no definitions or proof steps to check whether the extension actually works.

read the letter

The main takeaway is that this paper generalizes some anabelian geometry results for pointed virtual curves beyond the genus-zero setting by introducing an inclusion of CAVC-type and a virtual decuspidaloid, then using them to give group-theoretic conditions under which a section of an arithmetic fundamental group comes from a rational point. It builds explicitly on the earlier genus-zero work rather than claiming a standalone breakthrough. That framing is reasonable for this narrow subfield. The new notions are presented as the tools needed to handle higher genus, and the criterion for geometricity looks like a concrete addition that could be useful if it holds. The abstract keeps the claims focused and avoids inflating the scope. The soft spot is straightforward: we have only the abstract, so there are no actual definitions of the new concepts or any outline of how the proofs proceed. Without those, it is impossible to see whether the CAVC-type inclusions and virtual decuspidaloids preserve the reconstruction properties or introduce inconsistencies in the fundamental group data. The stress-test found no concrete flaw, which is positive, but the lack of visible verification steps remains the central limitation. This paper is for people already working on anabelian geometry and Galois sections of curves. Someone who knows the genus-zero literature might get value from seeing the attempted lift, even if they later disagree with details. It deserves a serious referee because the topic sits at the core of the program and the claims are specific enough to be checked by experts. I would send it to peer review so the technical extension can be evaluated properly.

Referee Report

1 major / 0 minor

Summary. The manuscript extends previous anabelian results on pointed virtual curves from the genus-zero case to curves of arbitrary genus. It introduces the group-theoretic notion of an inclusion of CAVC-type and the categorical notion of a virtual decuspidaloid to enable the generalization. It further establishes a criterion for the geometricity of certain virtual curves, supplying group-theoretic conditions under which a section of an arithmetic fundamental group arises from a rational point.

Significance. If the new notions are rigorously defined without introducing inconsistencies in the fundamental-group data and the proofs of the extension and geometricity criterion are complete, the work would represent a meaningful advance in absolute anabelian geometry by broadening reconstruction techniques to higher-genus virtual curves. The group-theoretic criterion for sections arising from rational points could offer concrete tools for studying arithmetic fundamental groups beyond the genus-zero setting.

major comments (1)

The abstract and available description provide no explicit verification steps or derivation details for the extension of the central anabelian results or for the preservation of reconstruction properties under the new notions of inclusion of CAVC-type and virtual decuspidaloid; this absence makes it impossible to confirm that the generalization from genus zero proceeds without inconsistencies in the fundamental-group data.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We are grateful to the referee for their positive evaluation of the significance of our manuscript and for suggesting a major revision. We respond to the major comment as follows and plan to incorporate clarifications in the revised version.

read point-by-point responses

Referee: The abstract and available description provide no explicit verification steps or derivation details for the extension of the central anabelian results or for the preservation of reconstruction properties under the new notions of inclusion of CAVC-type and virtual decuspidaloid; this absence makes it impossible to confirm that the generalization from genus zero proceeds without inconsistencies in the fundamental-group data.

Authors: The abstract is intended as a high-level summary and thus omits detailed verification steps, which are instead provided in the body of the manuscript. Specifically, the group-theoretic notion of an inclusion of CAVC-type is introduced and its properties verified in Section 2, ensuring compatibility with the fundamental group data from the genus-zero case. The categorical notion of a virtual decuspidaloid is defined in Section 3, with proofs that reconstruction properties are preserved. The extension of the central anabelian results is detailed in Section 4, including explicit derivations showing no inconsistencies arise. The group-theoretic criterion for geometricity is proven in Section 5. We will revise the introduction to provide a brief roadmap of these sections and key verification arguments to address the concern about accessibility. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation builds on prior independent results

full rationale

The abstract and provided context describe an extension of genus-zero anabelian results to arbitrary genus via newly introduced group-theoretic notions (inclusion of CAVC-type, virtual decuspidaloid) and a geometricity criterion. No equations, definitions, or proofs are supplied that reduce any claimed prediction or reconstruction to a fitted input, self-definition, or load-bearing self-citation chain. The paper explicitly positions itself as building upon previous work rather than deriving its central claims by construction from its own inputs. Without concrete technical reductions visible in the given material, the derivation chain remains self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 3 invented entities

The abstract does not specify any free parameters, axioms, or invented entities beyond the new notions introduced to enable the generalization.

invented entities (3)

pointed virtual curves no independent evidence
purpose: Fundamental-group-theoretic pullbacks of Galois sections for anabelian study
Central object whose definition is extended from genus zero
inclusion of CAVC-type no independent evidence
purpose: Group-theoretic notion to facilitate generalization to arbitrary genus
Newly introduced concept
virtual decuspidaloid no independent evidence
purpose: Categorical-theoretic notion to facilitate generalization
Newly introduced concept

pith-pipeline@v0.9.0 · 5394 in / 1249 out tokens · 59179 ms · 2026-05-08T05:27:14.078354+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

14 extracted references · 14 canonical work pages

[1]

Grothendieck

A. Grothendieck. Revêtements Étales et Groupe Fondamental (SGA 1) . Lecture Notes in Mathematics, 224. Springer- Verlag, 1971

work page 1971
[2]

Y. Hoshi. The Grothendieck Conjecture for Hyperbolic Polycurves of Lower Dimension. J. Math. Sci. Univ. Tokyo , 21(2):153–219, 2014

work page 2014
[3]

Mochizuki

S. Mochizuki. The Local Pro- p Anabelian Geometry of Curves. Invent. Math. , 138:319–423, 1999

work page 1999
[4]

Mochizuki

S. Mochizuki. The Absolute Anabelian Geometry of Canonical Curves. In Kazuya Kato’s Fiftieth Birthday, Doc. Math., Extra Vol., pages 609–640, 2003

work page 2003
[5]

Mochizuki

S. Mochizuki. The Absolute Anabelian Geometry of Hyperbolic Curves. In Galois Theory and Modular Forms . 77-122. Kluwer Acad. Publ., 2004. 30 ZEMING SUN

work page 2004
[6]

Mochizuki

S. Mochizuki. A Combinatorial Version of the Grothendieck Conjecture. Tohoku Mathematical Journal , 59:455–479, 2007

work page 2007
[7]

Mochizuki

S. Mochizuki. Absolute Anabelian Cuspidalizations of Proper Hyperbolic Curves. J. Math. Kyoto Univ. , 47:451–539, 2007

work page 2007
[8]

Mochizuki

S. Mochizuki. Topics in Absolute Anabelian Geometry I: Generalities. J. Math. Sci. Univ. Tokyo , 19(2):139–242, 2012

work page 2012
[9]

Mochizuki

S. Mochizuki. Topics in Absolute Anabelian Geometry III: Global Reconstruction Algorithms. J. Math. Sci. Univ. Tokyo , 22(4):939–1156, 2015

work page 2015
[10]

Mochizuki and A

S. Mochizuki and A. Tamagawa. The Algebraic and Anabelian Geometry of Conﬁguration Spaces. Hokkaido Math. J. , 37(1):75–131, 2008

work page 2008
[11]

Mochizuki and S

S. Mochizuki and S. Tsujimura. Resolution of Nonsingularities, Point-theoreticity, and Metric-admissibility for p-adic Hyperbolic Curves. RIMS Preprint 1974 , 2023

work page 1974
[12]

D. Mumford. Abelian Varieties. Oxford Univ. Press, 1974

work page 1974
[13]

Cohomology of Number Fields , volume 323 of Grundlehren der mathematischen Wissenschaften

Jürgen Neukirch, Alexander Schmidt, and Kay Wingberg. Cohomology of Number Fields , volume 323 of Grundlehren der mathematischen Wissenschaften . Springer, Berlin, 2nd edition, 2013

work page 2013
[14]

Z. Sun. The Absolute Anabelian Geometry of Virtual Curves Arising from Sections of Arithmetic Fundamental Groups of Conﬁguration Spaces. arXiv preprint arXiv:2505.06826, 2021

work page arXiv 2021

[1] [1]

Grothendieck

A. Grothendieck. Revêtements Étales et Groupe Fondamental (SGA 1) . Lecture Notes in Mathematics, 224. Springer- Verlag, 1971

work page 1971

[2] [2]

Y. Hoshi. The Grothendieck Conjecture for Hyperbolic Polycurves of Lower Dimension. J. Math. Sci. Univ. Tokyo , 21(2):153–219, 2014

work page 2014

[3] [3]

Mochizuki

S. Mochizuki. The Local Pro- p Anabelian Geometry of Curves. Invent. Math. , 138:319–423, 1999

work page 1999

[4] [4]

Mochizuki

S. Mochizuki. The Absolute Anabelian Geometry of Canonical Curves. In Kazuya Kato’s Fiftieth Birthday, Doc. Math., Extra Vol., pages 609–640, 2003

work page 2003

[5] [5]

Mochizuki

S. Mochizuki. The Absolute Anabelian Geometry of Hyperbolic Curves. In Galois Theory and Modular Forms . 77-122. Kluwer Acad. Publ., 2004. 30 ZEMING SUN

work page 2004

[6] [6]

Mochizuki

S. Mochizuki. A Combinatorial Version of the Grothendieck Conjecture. Tohoku Mathematical Journal , 59:455–479, 2007

work page 2007

[7] [7]

Mochizuki

S. Mochizuki. Absolute Anabelian Cuspidalizations of Proper Hyperbolic Curves. J. Math. Kyoto Univ. , 47:451–539, 2007

work page 2007

[8] [8]

Mochizuki

S. Mochizuki. Topics in Absolute Anabelian Geometry I: Generalities. J. Math. Sci. Univ. Tokyo , 19(2):139–242, 2012

work page 2012

[9] [9]

Mochizuki

S. Mochizuki. Topics in Absolute Anabelian Geometry III: Global Reconstruction Algorithms. J. Math. Sci. Univ. Tokyo , 22(4):939–1156, 2015

work page 2015

[10] [10]

Mochizuki and A

S. Mochizuki and A. Tamagawa. The Algebraic and Anabelian Geometry of Conﬁguration Spaces. Hokkaido Math. J. , 37(1):75–131, 2008

work page 2008

[11] [11]

Mochizuki and S

S. Mochizuki and S. Tsujimura. Resolution of Nonsingularities, Point-theoreticity, and Metric-admissibility for p-adic Hyperbolic Curves. RIMS Preprint 1974 , 2023

work page 1974

[12] [12]

D. Mumford. Abelian Varieties. Oxford Univ. Press, 1974

work page 1974

[13] [13]

Cohomology of Number Fields , volume 323 of Grundlehren der mathematischen Wissenschaften

Jürgen Neukirch, Alexander Schmidt, and Kay Wingberg. Cohomology of Number Fields , volume 323 of Grundlehren der mathematischen Wissenschaften . Springer, Berlin, 2nd edition, 2013

work page 2013

[14] [14]

Z. Sun. The Absolute Anabelian Geometry of Virtual Curves Arising from Sections of Arithmetic Fundamental Groups of Conﬁguration Spaces. arXiv preprint arXiv:2505.06826, 2021

work page arXiv 2021