pith. sign in

arxiv: 2105.02286 · v1 · submitted 2021-05-05 · 🧮 math.NT · math.AG

Data for Shimura varieties intersecting the Torelli locus

Wanlin Li , Elena Mantovan , Rachel Pries This is my paper

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

classification 🧮 math.NT math.AG
keywords Hurwitz spacescyclic coversShimura varietiesTorelli morphismPEL datummoduli of curvesTorelli locus
0
0 comments X

The pith

A method determines the integral PEL datum of the Shimura variety containing the Torelli image of a Hurwitz space for infinitely many cyclic covers of the line.

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

The paper gives an explicit method to read off the integral PEL datum from the parameters of a cyclic cover, for infinitely many Hurwitz spaces. This datum identifies the Shimura variety that must contain the image of the Hurwitz space inside the moduli space of abelian varieties. A reader would care because the Torelli morphism embeds the moduli space of curves into the moduli space of abelian varieties, and knowing the ambient Shimura variety supplies arithmetic and geometric tools for studying the image. The method therefore turns an abstract intersection problem into a concrete computation with PEL data.

Core claim

For infinitely many Hurwitz spaces parametrizing cyclic covers of the projective line, the integral PEL datum of the Shimura variety that contains the image of the Hurwitz space under the Torelli morphism is computable directly from the cyclic cover data.

What carries the argument

The integral PEL datum, extracted from the ramification and monodromy data of the cyclic cover, which identifies the Shimura variety containing the Torelli image.

If this is right

  • The arithmetic invariants of these intersections become accessible through the theory of PEL Shimura varieties.
  • Explicit families of positive-dimensional intersections between the Torelli locus and Shimura varieties can be listed by their PEL types.
  • The dimension and Hodge type of each such intersection are determined once the PEL datum is known.
  • The method supplies data for studying the integral models of the intersections.

Where Pith is reading between the lines

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

  • The same extraction technique might be tested on non-cyclic covers to see whether the PEL datum remains readable from monodromy data alone.
  • Knowing the PEL datum for infinitely many cases could allow enumeration of all Shimura varieties that meet the Torelli locus in positive dimension for cyclic covers.
  • The resulting list of PEL types could be compared with existing tables of Shimura varieties to locate previously unrecognized intersections.

Load-bearing premise

That the image of each such Hurwitz space under the Torelli morphism lies inside a Shimura variety whose integral PEL datum is computable from the cyclic cover data.

What would settle it

A concrete cyclic cover whose computed PEL datum fails to match the actual Shimura variety containing its Torelli image, detected by comparing endomorphism algebras or dimensions.

read the original abstract

For infinitely many Hurwitz spaces parametrizing cyclic covers of the projective line, we provide a method to determine the integral PEL datum of the Shimura variety that contains the image of the Hurwitz space under the Torelli morphism.

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 / 3 minor

Summary. The manuscript claims that for infinitely many Hurwitz spaces parametrizing cyclic covers of the projective line, there exists an explicit method to determine the integral PEL datum of the Shimura variety containing the image of the Hurwitz space under the Torelli morphism; the method is constructed via the action of the cyclic group on the cohomology and the resulting Hodge structure, with infinitude obtained by varying ramification data in a controlled arithmetic progression.

Significance. If the claimed correspondence holds, the result supplies an explicit, computable link between cyclic cover data and integral PEL data for an infinite family of Shimura varieties intersecting the Torelli locus. The explicit construction via group action on cohomology and the arithmetic-progression argument for infinitude are concrete strengths that could facilitate further explicit computations in this area of arithmetic geometry.

minor comments (3)
  1. [Abstract] The abstract states the existence of a method but does not indicate the key steps (cyclic-group action on cohomology, Hodge structure, arithmetic progression); a one-sentence outline of the construction would improve readability without lengthening the abstract unduly.
  2. Notation for the integral PEL datum, the Torelli image, and the ramification data should be introduced once with a clear reference to the relevant moduli spaces or cohomology groups before being used repeatedly.
  3. If the paper contains tables or lists of explicit examples for small ramification data, ensure each row or entry cites the corresponding section or proposition that verifies the PEL datum computation.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive summary, significance assessment, and recommendation of minor revision. No specific major comments were raised in the report.

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained

full rationale

The paper asserts an explicit computational method mapping cyclic cover data (ramification, group action on cohomology, induced Hodge structures) to the integral PEL datum of the containing Shimura variety, with infinitude obtained by varying ramification in arithmetic progressions. No quoted equations, self-citations, or steps reduce the claimed correspondence to a definition, fit, or prior author result by construction. The construction is presented as independent of the target datum, satisfying the default expectation of a non-circular mathematical derivation.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Only the abstract is available; no free parameters, axioms, or invented entities can be identified from the given text.

pith-pipeline@v0.9.0 · 5547 in / 926 out tokens · 34717 ms · 2026-05-24T12:57:06.593253+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 internal anchor

  1. [1]

    21, Springer-V erlag, Berlin, 1990

    Siegfried Bosch, W erner L ¨ utkebohmert, and Michel Raynaud, N´ eron models, Ergebnisse der Mathematik und ihrer Grenzgebiete (3) [Results in Mathematics and Rela ted Areas (3)], vol. 21, Springer-V erlag, Berlin, 1990. MR 1045822 (91i:14034)

    work page 1990

  2. [2]

    P . E. Conner and J. Hurrelbrink, Class number parity, Series in Pure Mathematics, vol. 8, W orld Scientific Publishing Co., Singapore, 1988. MR 963648

    work page 1988

  3. [3]

    Keith Conrad, The different ideal, https://kconrad.math.uconn.edu/blurbs/gradnumthy/different.pdf

    work page

  4. [4]

    Deligne and G

    P . Deligne and G. D. Mostow , Monodromy of hypergeometric functions and nonlattice inte gral monodromy , Inst. Hautes ´Etudes Sci. Publ. Math. (1986), no. 63, 5–89. MR 849651

    work page 1986

  5. [5]

    Pierre Deligne, Vari´ et´ es de Shimura: interpr´ etation modulaire, et techniques de construction de mod` eles canon- iques, Automorphic forms, representations and L-functions (Proc. Sympos. Pure Math., Oregon State Univ ., Corvallis, Ore., 1977), Part 2, Proc. Sympos. Pure Ma th., XXXIII, Amer. Math. Soc., Providence, R.I., 1979, pp. 247–289. MR 546620 ...

    work page 1977

  6. [6]

    Neal Koblitz and David Rohrlich, Simple factors in the Jacobian of a Fermat curve , Canadian J. Math. 30 (1978), no. 6, 1183–1205. MR 511556

    work page 1978

  7. [7]

    Kottwitz, Points on some Shimura varieties over finite fields , J

    Robert E. Kottwitz, Points on some Shimura varieties over finite fields , J. Amer. Math. Soc. 5 (1992), no. 2, 373–444. MR 1124982

    work page 1992

  8. [8]

    36, Princeton University Press, Pr inceton, NJ, 2013

    Kai-W en Lan, Arithmetic compactifications of PEL-type Shimura varietie s, London Mathematical Society Monographs Series, vol. 36, Princeton University Press, Pr inceton, NJ, 2013. MR 3186092

    work page 2013

  9. [9]

    255, Springer- V erlag, New Y ork, 1983

    Serge Lang, Complex multiplication , Grundlehren der Mathematischen Wissenschaften [Fundame ntal Principles of Mathematical Sciences], vol. 255, Springer- V erlag, New Y ork, 1983. MR 713612

    work page 1983

  10. [10]

    W anlin Li, Elena Mantovan, Rachel Pries, and Yunqing T an g, Newton polygon stratification of the Torelli locus in PEL-type Shimura varieties , to appear in International Math Research Notices, availab le on arXiv:1811.00604

    work page arXiv

  11. [11]

    , Newton polygons of cyclic covers of the projective line bran ched at three points , Research Directions in Number Theory: W omen in Numbers IV , AWM series, pages 115-132, available on arXiv:1805.04598

    work page internal anchor Pith review Pith/arXiv arXiv

  12. [12]

    Number Theory 5 (2019), no

    , Newton polygons arising from special families of cyclic cov ers of the projective line , Res. Number Theory 5 (2019), no. 1, Art. 12, 31. MR 3897613

    work page 2019

  13. [13]

    J. S. Milne, Shimura varieties and moduli , Handbook of moduli. Vol. II, Adv . Lect. Math. (ALM), vol. 25 , Int. Press, Somerville, MA, 2013, pp. 467–548. MR 3184183

    work page 2013

  14. [14]

    Ben Moonen, Linearity properties of Shimura varieties. I , J. Algebraic Geom. 7 (1998), no. 3, 539–567. MR 1618140

    work page 1998

  15. [15]

    , Special subvarieties arising from families of cyclic cover s of the projective line , Doc. Math. 15 (2010), 793–819. MR 2735989

    work page 2010

  16. [16]

    Goro Shimura, On analytic families of polarized abelian varieties and aut omorphic functions , Ann. of Math. (2) 78 (1963), 149–192. MR 156001

    work page 1963

  17. [17]

    , Arithmetic of unitary groups , Ann. of Math. (2) 79 (1964), 369–409. MR 158882

    work page 1964

  18. [18]

    , On purely transcendental fields automorphic functions of se veral variable , Osaka Math. J. 1 (1964), no. 1, 1–14. MR 176113

    work page 1964

  19. [19]

    Paul van W amelen, Examples of genus two CM curves defined over the rationals , Math. Comp. 68 (1999), no. 225, 307–320. MR 1609658

    work page 1999

  20. [20]

    W ashington, Introduction to cyclotomic fields , second ed., Graduate T exts in Mathematics, vol

    Lawrence C. W ashington, Introduction to cyclotomic fields , second ed., Graduate T exts in Mathematics, vol. 83, Springer-V erlag, New Y ork, 1997. MR 1421575 CENTRE DE RECHERCHES MATH ´EMATIQUES , U NIVERSIT ´E DE MONTR ´EAL , 2920 C HEMIN DE LA TOUR , MONTR ´EAL (Q U ´EBEC ) H3T 1J4, C ANADA Email address: liwanlin@crm.umontreal.ca DEPARTMENT OF MATHEMA...

    work page 1997