Pith. sign in

REVIEW 2 major objections 4 minor 1 cited by

Holomorphic maps between moduli spaces II

T0 review · 2 major / 4 minor · reviewed 2026-08-12 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read This paper proves that for genus g at least 4 and target genus g' at most 3*2^{g-3}, every non-constant holomorphic map between the moduli spaces M_{g,r} and M_{g',r'} is a forgetful map.

desk verdict A credible exponential extension of holomorphic map rigidity, but the main theorem hinges on an unproved companion classification that the referee must check. read the letter →

arxiv 2412.01257 v1 pith:UOM5RDNR submitted 2024-12-02 math.GT math.AGmath.DG

Rodrigo De Pool , Juan Souto This is my paper · ORCID
classification math.GTmath.AGmath.DG MSC 32G1530F6014H1057K20
keywords holomorphicmapsmodulispacesTeichmüllerspacepuremappingclassgroupsWeil-Peterssonmetricforgetfulirreduciblehomomorphismsquasi-projectivevarieties
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

This paper proves that, for genus $g \ge 4$ and target genus $g' \le 3\cdot 2^{g-3}$, the only non-constant holomorphic maps between moduli spaces of Riemann surfaces are forgetful maps, which simply unmark some of the marked points. In particular, any such map can exist only when $g'=g$ and the number of marked points does not increase. This replaces a previous linear bound on $g'$ with an exponential one. The proof works by showing that every holomorphic map induces an irreducible homomorphism between pure mapping class groups, then appealing to a companion classification that, in this range, identifies all such homomorphisms as induced by multi-embeddings—finite collections of embeddings of the surface with disjoint images. A new analytic rigidity theorem about Kähler manifolds with strictly convex functions of subexponential growth is the key step that rules out reducible homomorphisms.

What carries the argument

The mechanism that carries the argument is the strictly convex function $h_\gamma(X) = \operatorname{dist}_{WP}(X, S_\gamma)^2$, the squared Weil-Petersson distance from a point of Teichmüller space to the stratum $S_\gamma$ where a simple multicurve $\gamma$ has been pinched. This function is invariant under the stabilizer of $\gamma$, strictly convex along Weil-Petersson geodesics, and has subexponential growth. If a holomorphic map's induced homomorphism fixed $\gamma$, the map would lift to the quotient by the stabilizer of $\gamma$, where $h_\gamma$ descends to a strictly convex function of subexponential growth; Theorem 1.3 then forbids such a map. Inside Theorem 1.3, the engine is the combination of a gradient flow that strictly decreases the energy of any non-constant map with the Wirtinger inequality, which says holomorphic maps are absolute energy minimizers.

What would settle it

A direct test is to look for a non-constant holomorphic map $F: \mathcal{M}_{4,0} \to \mathcal{M}_{5,0}$, or any pair with $g \ge 4$, $g' \neq g$, and $g' \le 3\cdot 2^{g-3}$. The theorem predicts that none exists, so any explicit construction of such a map would falsify it; checking whether the induced homomorphism of mapping class groups fixes a multicurve would pinpoint where the proof fails.

Watch

Extended reading notes

Core claim

The central claim is Theorem 1.1: whenever $g \ge 4$ and $g' \le 3\cdot 2^{g-3}$, every non-constant holomorphic map $F: \mathcal{M}_{g,r} \to \mathcal{M}_{g',r'}$ is a forgetful map, so $g'=g$ and $r' \le r$. The proof establishes a stronger rigidity principle (Theorem 1.2): for any irreducible quasi-projective variety $M$, a non-constant holomorphic map $M \to \mathcal{M}_{g,r}$ induces a homomorphism from $\pi_1(M)$ to the pure mapping class group whose image does not fix any simple multicurve, meaning a union of pairwise disjoint simple closed curves on the surface. This is obtained from a general non-existence theorem (Theorem 1.3) asserting that no non-constant holomorphic map from such a variety can target a Kähler manifold carrying a strictly convex function with subexponential growth, using an energy-decreasing gradient flow and the Wirtinger inequality for energy-minimality of holomorphic maps. The companion classification of homomorphisms between pure mapping class groups—which in this range says every non-trivial homomorphism is induced by a multi-embedding, a finite collection of disjoint embeddings—then forces the induced homomorphism of a holomorphic map to be a composition of an automorphism and a forgetful homomorphism.

Load-bearing premise

The paper depends on the companion classification [9] that every non-trivial homomorphism between pure mapping class groups in the stated range is induced by a multi-embedding; if that classification fails for some pair, the conclusion that only forgetful maps occur may fail too.

Editorial extensions

If this is right

  • Within the range $g \ge 4$ and $g' \le 3\cdot 2^{g-3}$, holomorphic maps between moduli spaces preserve genus and only forget marked points.
  • The classification range for holomorphic maps between moduli spaces jumps from the linear bound $g' \le 2g-2$ to the exponential bound $3\cdot 2^{g-3}$.
  • Every non-constant holomorphic map from an irreducible quasi-projective variety to moduli space induces an irreducible homomorphism of pure mapping class groups, so reducible multi-embedding homomorphisms can never be realized holomorphically.
  • There are no non-constant holomorphic maps from an irreducible quasi-projective variety into the quotient of Teichmüller space by the stabilizer of a multicurve.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • If the companion classification [9] extends beyond $3\cdot 2^{g-3}$, the analytic part of this paper would extend the holomorphic classification accordingly, leaving the bottleneck purely algebraic.
  • Theorem 1.3 is a general statement about Kähler targets with a strictly convex subexponential function, and may apply to other incomplete negatively curved quotients beyond Teichmüller space.
  • The subexponential growth condition is likely close to sharp: if a convex function on the target grew exponentially, the boundary term in the energy estimate would not vanish and reducible homomorphisms might become realizable.
  • The irreducibility conclusion of Theorem 1.2 should hold for maps from higher-dimensional quasi-projective varieties into moduli space, so the same analytic mechanism could constrain fundamental groups in broader settings.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

2 major / 4 minor

Summary. The paper proves that, for g >= 4 and g' <= 3*2^(g-3), every non-constant holomorphic map between the moduli spaces M_{g,r} and M_{g',r'} is a forgetful map (Theorem 1.1). The proof has three layers. First, Sections 2 and 3 develop an analytic non-existence result, Theorem 1.3, for holomorphic maps from compact Kähler manifolds or quasi-projective varieties into a Kähler manifold admitting a strictly convex function with subexponential growth. The main new ingredient is the squared Weil-Petersson distance function h_gamma to a stratum of nodal surfaces, which is shown to be strictly convex and to have subexponential growth. The energy argument uses the Wirtinger inequality together with a gradient-flow deformation to obtain a contradiction. Second, Theorem 1.2 uses Theorem 1.3 to prove that the homomorphism F_*: pi_1(M) -> PMap_{g,r} induced by a non-constant holomorphic map into M_{g,r} is irreducible, meaning its image fixes no simple multicurve. Third, the paper imports from the companion preprint [9] the classification Theorem 4.1, which says that in the stated genus range every non-trivial homomorphism PMap_{g,r} -> PMap_{g',r'} is induced by a multi-embedding, and then uses Proposition 4.2 to identify the irreducible such homomorphisms with automorphism-plus-forgetful maps. Combining these ingredients yields Theorem 1.1.

Significance. If Theorem 4.1 is correct, the paper is a substantial advance: it replaces the linear bound g' <= 2g-2 of [2] with an exponential bound, and it introduces a clean analytic mechanism, based on the squared Weil-Petersson distance to the nodal stratum S_gamma, that is likely to be useful beyond the present application. The proof of Theorem 1.2 is self-contained modulo standard facts on Weil-Petersson geometry, and the paper is transparent about where the heavy algebraic input comes from. The main reservation is that the central theorem depends on an unverified classification imported from a companion preprint by the first author; the present paper does not prove or independently verify that classification. Thus the contribution is a coherent reduction to a strong external algebraic theorem rather than a fully self-contained proof of Theorem 1.1.

major comments (2)
  1. [Section 4.2, Theorem 4.1] Theorem 4.1 is stated verbatim as [9, Theorem 1.2] and no proof is given in this paper. This is the load-bearing algebraic input: Theorem 1.1 follows only after Theorem 4.1 classifies every non-trivial homomorphism PMap_{g,r} -> PMap_{g',r'} as induced by a multi-embedding. If [9, Theorem 1.2] has a gap for any pair in the stated range, there could exist an irreducible homomorphism not induced by a multi-embedding, and the corresponding holomorphic map would be a non-forgetful counterexample to Theorem 1.1 while all arguments in the present paper remain valid. The manuscript should either include a self-contained proof of Theorem 4.1 in the range used, or explicitly state Theorem 1.1 as conditional on [9].
  2. [Section 4.2, Proposition 4.2] Proposition 4.2, which identifies irreducible multi-embedding homomorphisms with automorphism-plus-forgetful maps, relies on [9, Lemma 2.19] in an essential way: the proof uses that lemma to produce a curve gamma homotopic to a cusp whose image under one of the embeddings is a non-trivial non-cuspidal curve. Since [9, Lemma 2.19] is also not proved or independently verified here, the second algebraic step in the proof of Theorem 1.1 is likewise external. This should be acknowledged explicitly, and the relevant part of [9] needs to be made available to the reader or proved in the paper.
minor comments (4)
  1. [Section 2.2] The sentence 'We refer to for example [5] for facts about Kähler manifolds' contains a word-order typo; it should read 'We refer, for example, to [5] ...'.
  2. [Section 3.4] After reducing to a Riemann surface, the text says 'the holomorphic map F : M -> N is 1-Lipschitz'. The hypothesis only gives that the metric of N is dominated by a multiple of the Kobayashi metric, so the Lipschitz constant is some C, not necessarily 1. The subsequent estimates absorb constants, so this is a harmless wording issue, but it should be corrected.
  3. [Section 2.3] The definition of subexponential growth quantifies over points where the differential exists and says 'for some, and hence any point p0'. A short justification of the independence of p0 would help, since the distance function changes by a constant when the basepoint changes.
  4. [Section 3.4] The proof of Theorem 1.3 for the closed Kähler domain case is left to the reader with the comment that it is 'actually a bit simpler'. Since the theorem statement includes this case, a few sentences or a precise reference would make the paper more self-contained.

Circularity Check

2 steps flagged · score 4.0 of 10

Main theorem is contingent on the first author's companion classification [9, Theorem 1.2]; no definitional or fitted-input circularity, but the central rigidity claim is self-citation load-bearing.

  1. self citation load bearing [Section 1 (strategy) and Section 4.2, Theorem 4.1]
    "The first and main ingredient is a theorem by the first author [9] classifying all non-trivial homomorphisms ρ : PMap_{g,r} → PMap_{g',r'} for g, g' as in Theorem 1.1. ... Theorem 4.1. [9, Theorem 1.2] Let g ≥ 4 and g′ ≤ 3 · 2^{g−3}. Every non-trivial homomorphism φ : PMap_{g,r} → PMap_{g',r′} is induced by a multi-embedding."

    Theorem 1.1 is the central claim of the paper, and its proof in Section 4.3 combines Theorem 1.2, proved here, with Theorem 4.1 and Proposition 4.2. Theorem 1.2 only shows that the homomorphism induced by a holomorphic map is irreducible; it does not classify irreducible homomorphisms. That classification is imported verbatim from [9, Theorem 1.2], a companion preprint by the first author, and is not proved or independently verified in this paper. Thus the main rigidity statement is directly contingent on an unstated same-author result: if any irreducible homomorphism in the stated range were not induced by a multi-embedding, the present analytic arguments would remain valid while Theorem 1.1 would fail.

  2. self citation load bearing [Section 4.2, Proposition 4.2 and its proof]
    "If I contains two embeddings, then g′ > g. Even more, by [9, Lemma 2.19] there is a curve γ ⊂ S_{g,r} homotopic to a cusp and an embedding ι ∈ I such that ι(γ) ⊂ S_{g′,r′} is a non-trivial curve non-homotopic to a cusp."

    Proposition 4.2 is the bridge that turns the imported classification into the conclusion that irreducible homomorphisms are exactly automorphism-and-forgetful maps. Its proof relies on [9, Lemma 2.19] to decide when a multi-embedding induces a homomorphism and when some curve is fixed by its image. This lemma is another load-bearing input from the same companion preprint and is not reproved here. It is precisely this step that forces any multi-embedding with more than one component to be reducible, so the paper's final classification of holomorphic maps inherits its core reduction from the first author's unverified companion result.

full rationale

There is no equation-level circularity, no fitted parameter renamed as a prediction, and no definitional identification of the conclusion with the hypotheses. The analytic core (Theorem 1.3 and Theorem 1.2) is argued from independent geometric inputs: the Weil-Petersson metric is Kahler and dominated by the Kobayashi metric; the square of the distance to the pinching stratum is strictly convex with subexponential growth; and holomorphic maps are energy minimizers via the Wirtinger inequality. The final statement that every non-constant holomorphic map is a forgetful map is not a restatement of any input in this paper; it is a genuine rigidity conclusion. However, the paper itself identifies the classification of homomorphisms as 'the first and main ingredient,' and Theorem 4.1 is quoted from the first author's companion preprint [9], with Proposition 4.2 also depending on [9, Lemma 2.19]. No independent verification, machine-checked proof, or third-party reproduction of [9] is supplied, so the central theorem is load-bearing on a same-author external result. This warrants a score of 4: the citation is significant and central, but the present paper still contains independent analytic content and there is no constructed equivalence between the main theorem and its inputs.

Assumptions & free parameters 0 free parameters · 6 assumptions · 0 invented entities

No fitted parameters or invented entities appear; the paper is a pure mathematics proof. The axioms listed are the external theorems and imported classification results on which the argument depends.

assumptions (6)
  • standard math M_{g,r} is an irreducible quasi-projective variety (Deligne-Mumford [8]), so moduli space can be treated as an analytic orbifold and rigidity results such as [2, Prop 3.2] apply.
    Invoked in the introduction and in Section 4 to apply quasi-projective and holomorphic rigidity to moduli spaces.
  • standard math The Weil-Petersson metric on Teichmüller space is Kähler, dominated by a multiple of the Kobayashi metric, geodesically convex, and its completion is CAT(0) (Ahlfors, Wolpert, Yamada, Tromba).
    This is the geometric input behind the strictly convex function h_gamma in Proposition 2.3 and hence behind Theorem 1.3.
  • standard math Every strictly convex function on a not necessarily complete manifold can be approximated by smooth strictly convex functions while preserving subexponential growth (Greene-Wu [12]).
    Used at the start of the proof of Theorem 1.3 to justify assuming that the convex function f is smooth.
  • standard math Teichmüller space is a classifying space for proper actions of the pure mapping class group (Ji-Wolpert [14]), so the induced homomorphism F* determines the map up to homotopy.
    Used in the final step of Theorem 1.1 to identify F with a forgetful map.
  • ad hoc to paper [9, Theorem 1.2]: for g>=4 and g'<=3*2^(g-3), every non-trivial homomorphism PMap_{g,r} -> PMap_{g',r'} is induced by a multi-embedding.
    Quoted from the first author's companion preprint; it is the main algebraic engine of Theorem 1.1 and is not proved in this paper.
  • domain assumption The orbifold T_{g,r}/Stab(γ) is good, that is, finitely covered by a manifold.
    Required to apply Theorem 1.3 in the orbifold setting in the proof of Theorem 1.2; follows from the existence of a finite-index torsion-free subgroup of the pure mapping class group.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Holomorphic maps between moduli spaces II." pith.science (2026). https://pith.science/paper/UOM5RDNR

@misc{pith2026241201257,
  author       = {Pith},
  title        = {Pith review of: Holomorphic maps between moduli spaces II},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/UOM5RDNR}},
  note         = {Machine review of arXiv:2412.01257}
}
abstract

We prove that forgetful maps are the only non-constant holomorphic maps $\mathcal{M}_{g,r}\to \mathcal{M}_{g',r'}$ between moduli spaces, as long as $g\ge 4$ and $g'\le 3\cdot 2^{g-3}$.

Figures

Figures reproduced from arXiv: 2412.01257 by the authors.

Figure 1
Figure 1. The bold printed lines represent Sγ. The lines joining x ± to Sγ represent the segments I ±. The points y ± are chosen so that dT (y ±, Sγ) = δ0 and the point m is the projection of α(0) to [y −1 , y+]. Since T g,r is CAT(0) we have that dT (m, Sγ) ⩽ δ0. As in [PITH_FULL_IMAGE:figures/full_fig_p008_1.png] view at source ↗

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Rigidity of maps between configuration spaces

    math.GT 2026-07 accept novelty 7.0 of 10

    Irreducible non-cyclic braid homomorphisms B_n o B_m (n≥5,m≥3) force m=n and central equivalence to an automorphism, implying holomorphic configuration-space maps are affine to the identity or constant.

Reference graph

Works this paper leans on

30 extracted references · 30 canonical work pages · cited by 1 Pith paper

  1. [2]

    Antonakoudis, J

    S. Antonakoudis, J. Aramayona, and J. Souto, Holomorphic maps between moduli spaces, Ann. Inst. Fourier 68, 2018

    work page 2018

  2. [9]

    Homomorphisms between pure mapping class groups

    R. De Pool, Homomorphisms between pure mapping class groups , preprint in arXiv: 2410.18796[math]

    work page Pith review arXiv

  3. [1]

    Ahlfors, Some remarks on Teichm¨ uller’s space of Riemann surfaces, Ann

    L. Ahlfors, Some remarks on Teichm¨ uller’s space of Riemann surfaces, Ann. of Math. 74, 1961

    work page 1961

  4. [3]

    Aramayona, C

    J. Aramayona, C. Leininger, and J. Souto, Injections of mapping class groups , Geom. Topol. 13, 2009

    work page 2009

  5. [4]

    Aramayona and J

    J. Aramayona and J. Souto, Homomorphisms between mapping class groups , Geom. Topol. 16, 2012

    work page 2012

  6. [5]

    Ballmann, Lectures on K¨ ahler manifolds, ESI Lect

    W. Ballmann, Lectures on K¨ ahler manifolds, ESI Lect. Math. Phys., European Math- ematical Society, 2006. 22 RODRIGO DE POOL AND JUAN SOUTO

    work page 2006

  7. [6]

    Bridson and A

    M. Bridson and A. Haefliger, Metric spaces of non-positive curvature , Grundlehren Math. Wiss. 319, Springer-Verlag, 1999

    work page 1999

  8. [7]

    Buser, Geometry and spectra of compact Riemann surfaces , Progr

    P. Buser, Geometry and spectra of compact Riemann surfaces , Progr. Math. 106, Birkh¨ auser, 1992

    work page 1992

Show all 30 references
  1. [8]

    Deligne and D

    P. Deligne and D. Mumford, The irreducibility of the space of curves of given genus , Publ. Math., Inst. Hautes ´Etud. Sci. 36, 1969

    1969

  2. [10]

    Eells and J

    J. Eells and J. Sampson, Harmonic mappings of Riemannian manifolds , Amer. J. Math. 86, 1964

    1964

  3. [11]

    Farb and D

    B. Farb and D. Margalit, A primer on mapping class groups , Princeton University Press, 2012,

    2012

  4. [12]

    Greene and H

    R. Greene and H. Wu, C ∞ convex functions and manifolds of positive curvature, Acta Math. 137, 1976

    1976

  5. [13]

    Imayoshi and M

    Y. Imayoshi and M. Taniguchi, An introduction to Teichm¨ uller spaces, Springer- Verlag, 1992

    1992

  6. [14]

    Ji and S

    L. Ji and S. A. Wolpert, A cofinite universal space for proper actions for mapping class groups, in In the tradition of Ahlfors-Bers. V, Contemporary Mathematics, vol. 510, American Mathematical Society, p. 151-163, 2010

    2010

  7. [15]

    Kobayashi, (1998), Hyperbolic Complex Spaces , Grundlehren Math

    S. Kobayashi, (1998), Hyperbolic Complex Spaces , Grundlehren Math. Wiss. 318, Springer, 1998

    1998

  8. [16]

    Lawson, Lectures on minimal submanifolds

    B. Lawson, Lectures on minimal submanifolds. Vol. I , Math. Lecture Ser. 9, Publish or Perish, 1980

    1980

  9. [17]

    McMullen, From dynamics on surfaces to rational points on curves , Bull

    C. McMullen, From dynamics on surfaces to rational points on curves , Bull. Amer. Math. Soc. 37, 2000

    2000

  10. [18]

    McMullen, The moduli space of Riemann surfaces is K¨ ahler hyperbolic , Ann

    C. McMullen, The moduli space of Riemann surfaces is K¨ ahler hyperbolic , Ann. of Math. (2) 151, 2000

    2000

  11. [19]

    Nag, The complex analytic theory of Teichm¨ uller spaces, Canad

    S. Nag, The complex analytic theory of Teichm¨ uller spaces, Canad. Math. Soc. Ser. Monogr. Adv. Texts, Wiley-Intersci. Publ., 1988

    1988

  12. [20]

    Royden, Report on the Teichm¨ uller metric, Proc Natl Acad Sci 65, 1970

    H. Royden, Report on the Teichm¨ uller metric, Proc Natl Acad Sci 65, 1970

    1970

  13. [21]

    Thurston, The Geometry and Topology of Three-Manifolds

    W. Thurston, The Geometry and Topology of Three-Manifolds . Princeton University lecture notes (1978—1981)

    1978

  14. [22]

    A. Tromba, On a natural algebraic affine connection on the space of almost complex structures and the curvature of Teichm¨ uller space with respect to its Weil-Petersson metric, Manuscripta Math. 56 (1986)

    1986

  15. [23]

    Weil, Modules des surfaces de Riemann , S´ eminaire Bourbaki, Expos´ e 168, 1958

    A. Weil, Modules des surfaces de Riemann , S´ eminaire Bourbaki, Expos´ e 168, 1958

    1958

  16. [24]

    Wolpert, Noncompleteness of the Weil-Petersson metric for Teichm¨ uller space , Pacific J

    S. Wolpert, Noncompleteness of the Weil-Petersson metric for Teichm¨ uller space , Pacific J. Math. 61, 1975

    1975

  17. [25]

    Wolpert, Chern forms and the Riemann tensor for the moduli space of curves , Invent

    S. Wolpert, Chern forms and the Riemann tensor for the moduli space of curves , Invent. Math. 85, 1986

    1986

  18. [26]

    Wolpert, Geodesic length functions and the Nielsen problem , J

    S. Wolpert, Geodesic length functions and the Nielsen problem , J. Differential Geom. 25, 1987

    1987

  19. [27]

    Wolpert, Geometry of the Weil-Petersson completion of Teichm¨ uller space, Surveys in differential geometry VIII, International Press, 2003

    S. Wolpert, Geometry of the Weil-Petersson completion of Teichm¨ uller space, Surveys in differential geometry VIII, International Press, 2003

    2003

  20. [28]

    Wolpert, Weil-Petersson perspectives, in Problems on mapping class groups and related topics, Proc

    S. Wolpert, Weil-Petersson perspectives, in Problems on mapping class groups and related topics, Proc. Sympos. Pure Math., 74, AMS, 2006

    2006

  21. [29]

    Wolpert, The Weil-Petersson metric geometry , in Handbook of Teichm¨ uller theory II, IRMA Lect

    S. Wolpert, The Weil-Petersson metric geometry , in Handbook of Teichm¨ uller theory II, IRMA Lect. Math. Theor. Phys. 13, European Mathematical Society, 2009

    2009

  22. [30]

    Yamada, On the geometry of Weil-Petersson completion of Teichm¨ uller spaces , Math

    S. Yamada, On the geometry of Weil-Petersson completion of Teichm¨ uller spaces , Math. Res. Lett. 11, 2004. 23 Instituto de Ciencias Matem ´aticas (ICMAT), Madrid, Spain Email address : rodrigo.depool@icmat.es UNIV RENNES, CNRS, IRMAR - UMR 6625, F-35000 RENNES, FRANCE Email ...

    2004

Pith tools

Reviewed August 12, 2026 · model on record in the stance chip above.