pith. sign in

arxiv: 2403.06217 · v2 · pith:ITGESGEBnew · submitted 2024-03-10 · 🧮 math.AG

Non-existence of Shimura curves of Mumford type generically in the non-hyperelliptic locus

Xin Lu , Shengli Tan , Kang Zuo This is my paper

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

classification 🧮 math.AG
keywords Shimura curvesTorelli locusHiggs fieldnon-hyperelliptic curvesMumford typemoduli of curves
0
0 comments X

The pith

No Shimura curves with strictly maximal Higgs fields lie generically in the Torelli locus of non-hyperelliptic curves for genus 4 or higher.

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

The paper proves that Shimura curves carrying strictly maximal Higgs fields cannot sit generically inside the Torelli image of the moduli space of non-hyperelliptic curves when the genus is 4 or higher. This rules out Shimura curves of Mumford type from generic position in that locus as well. A reader cares because the result restricts the arithmetic curves that can appear inside the moduli space of curves and separates the non-hyperelliptic case from lower-genus or hyperelliptic behavior. The argument centers on incompatibility between the maximal Higgs field condition and generic embedding in the Torelli locus.

Core claim

We show that there does not exist any Shimura curve with strictly maximal Higgs field generically in the Torelli locus of non-hyperelliptic curves of genus g≥4. In particular, Shimura curves of Mumford type are not generically in the Torelli locus of non-hyperelliptic curves of genus g≥4.

What carries the argument

The strictly maximal Higgs field on the Higgs bundle of a Shimura curve inside the Torelli locus of non-hyperelliptic curves.

Load-bearing premise

The Torelli locus of non-hyperelliptic curves of genus g≥4 admits no Shimura curve whose associated Higgs bundle is strictly maximal.

What would settle it

Finding even one Shimura curve with strictly maximal Higgs field that lies generically in the Torelli locus of non-hyperelliptic curves of some genus g≥4 would disprove the claim.

read the original abstract

We show that there does not exist any Shimura curve with strictly maximal Higgs field generically in the Torelli locus of non-hyperelliptic curves of genus $g\geq 4$. In particular, Shimura curves of Mumford type are not generically in the Torelli locus of non-hyperelliptic curves of genus $g\geq 4$.

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 manuscript proves that no Shimura curve carrying a strictly maximal Higgs field lies generically inside the Torelli image of the non-hyperelliptic locus in the moduli space of curves of genus g ≥ 4. As a corollary, Shimura curves of Mumford type are likewise excluded from this locus.

Significance. The result supplies a concrete non-existence statement that constrains the possible intersections of Shimura varieties with the Torelli locus outside the hyperelliptic locus. Such constraints are useful for the broader program of describing special subvarieties in moduli spaces of curves and for understanding the behavior of maximal Higgs fields on Shimura curves.

minor comments (1)
  1. [Title] The title emphasizes the Mumford-type case, while the main theorem is stated for the strictly maximal Higgs field condition (with Mumford type recovered as a special case). Aligning the title with the primary statement would improve clarity.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary, recognition of the result's significance in constraining Shimura varieties in the Torelli locus, and recommendation to accept the manuscript.

Circularity Check

0 steps flagged

No circularity detected from available text

full rationale

The material supplied consists solely of the abstract and title, which state a non-existence theorem for Shimura curves of Mumford type inside the non-hyperelliptic Torelli locus. No equations, parameter fits, self-citations, or derivation steps are present, so none of the enumerated circularity patterns (self-definitional, fitted-input-called-prediction, self-citation load-bearing, etc.) can be exhibited by direct quotation. The central claim therefore cannot be shown to reduce to its own inputs by construction; the derivation is self-contained against external benchmarks in the sense that no internal reduction is detectable.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract only; no free parameters, axioms, or invented entities are visible.

pith-pipeline@v0.9.0 · 5581 in / 1052 out tokens · 33587 ms · 2026-05-24T03:05:31.767436+00:00 · methodology

discussion (0)

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

Reference graph

Works this paper leans on

20 extracted references · 20 canonical work pages

  1. [1]

    Baldi, B

    G. Baldi, B. Klingler, and E. Ullmo. On the distribution of the H odge locus . Invent. Math., 235(2):\,441--487, 2024

    work page 2024

  2. [2]

    K. Chen, X. Lu, and K. Zuo. Finiteness of superelliptic curves with CM J acobians . Ann. Sci. \' E c. Norm. Sup\' e r. (4), 54(6):\,1591--1662, 2021

    work page 2021

  3. [3]

    R. F. Coleman. Torsion points on curves . In Galois representations and arithmetic algebraic geometry ( K yoto, 1985/ T okyo, 1986) , volume 12 of Adv. Stud. Pure Math. , pages 235--247. North-Holland, Amsterdam, 1987

    work page 1985

  4. [4]

    T. Fujita. On K \" a hler fiber spaces over curves . J. Math. Soc. Japan, 30(4):\,779--794, 1978

    work page 1978

  5. [5]

    Hartshorne

    R. Hartshorne. Algebraic geometry . Graduate Texts in Mathematics, No. 52. Springer-Verlag, New York-Heidelberg, 1977

    work page 1977

  6. [6]

    J.-i. Igusa. On the irreducibility of S chottky's divisor . J. Fac. Sci. Univ. Tokyo Sect. IA Math., 28(3):\,531--545 (1982), 1981

    work page 1982

  7. [7]

    Lu and K

    X. Lu and K. Zuo. The O ort conjecture on S himura curves in the T orelli locus of hyperelliptic curves . J. Math. Pures Appl. (9), 108(4):\,532--552, 2017

    work page 2017

  8. [8]

    Lu and K

    X. Lu and K. Zuo. The O ort conjecture on S himura curves in the T orelli locus of curves . J. Math. Pures Appl. (9), 123:\,41--77, 2019

    work page 2019

  9. [9]

    o ller. Shimura and T eichm\

    M. M\" o ller. Shimura and T eichm\" u ller curves . J. Mod. Dyn., 5(1):\,1--32, 2011

    work page 2011

  10. [10]

    Moonen and F

    B. Moonen and F. Oort. The T orelli locus and special subvarieties . In Handbook of moduli. V ol. II , volume 25 of Adv. Lect. Math. (ALM) , pages 549--594. Int. Press, Somerville, MA, 2013

    work page 2013

  11. [11]

    B. Moonen. Linearity properties of S himura varieties. I . J. Algebraic Geom., 7(3):\,539--567, 1998

    work page 1998

  12. [12]

    Moriwaki

    A. Moriwaki. Relative B ogomolov's inequality and the cone of positive divisors on the moduli space of stable curves . J. Amer. Math. Soc., 11(3):\,569--600, 1998

    work page 1998

  13. [13]

    D. Mumford. A note of S himura's paper `` D iscontinuous groups and abelian varieties'' . Math. Ann., 181:\,345--351, 1969

    work page 1969

  14. [14]

    R. Noot. Abelian varieties with l -adic G alois representation of M umford's type . J. Reine Angew. Math., 519:\,155--169, 2000

    work page 2000

  15. [15]

    R. Noot. On M umford's families of abelian varieties . J. Pure Appl. Algebra, 157(1):\,87--106, 2001

    work page 2001

  16. [16]

    F. Oort. Canonical liftings and dense sets of CM -points . In Arithmetic geometry ( C ortona, 1994) , Sympos. Math., XXXVII, pages 228--234. Cambridge Univ. Press, Cambridge, 1997

    work page 1994

  17. [17]

    F. Oort. Appendix 1: S ome questions in algebraic geometry . In Open problems in arithmetic algebraic geometry , volume 46 of Adv. Lect. Math. (ALM) , pages 263--283. Int. Press, Somerville, MA, [2019] 2019. Reprint of 1995 original

    work page 2019

  18. [18]

    S.-L. Tan. On the invariants of base changes of pencils of curves. II . Math. Z., 222(4):\,655--676, 1996

    work page 1996

  19. [19]

    Viehweg and K

    E. Viehweg and K. Zuo. Families over curves with a strictly maximal H iggs field . Asian J. Math., 7(4):\,575--598, 2003

    work page 2003

  20. [20]

    Viehweg and K

    E. Viehweg and K. Zuo. A characterization of certain S himura curves in the moduli stack of abelian varieties . J. Differential Geom., 66(2):\,233--287, 2004

    work page 2004