{"id":"e2b6bd6e-3f9f-4b7a-90b9-571ebeae9b3f","arxiv_id":"2412.01257","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For g>=4 and g'<=3*2^(g-3), every non-constant holomorphic map between moduli spaces is a forgetful map.","lead":"This paper proves that, for surfaces with at least four holes, the only ways a moduli space can be mapped holomorphically into another are the obvious 'forget a point' maps, up to a large exponential range of target genera. The result vastly extends an earlier linear-range theorem and relies on a new analytic argument showing holomorphic maps cannot fix a multicurve.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 1.1 rests on the unproved companion classification [9, Theorem 1.2]; if that classification fails, the main conclusion does not follow even if the paper's analytic arguments are correct.","rationale":"The paper's abstract claims a complete classification of holomorphic maps between moduli spaces in an exponential range. The proof has two logically independent parts: the new analytic rigidity theorem (Theorems 1.3 and 1.2) and the algebraic classification of mapping class group homomorphisms (Theorem 4.1). The analytic part is intricate but appears internally consistent: the energy argument in Theorem 1.3 correctly uses finite-energy of holomorphic maps from finite-area hyperbolic surfaces, and the orbifold extension can be repaired by passing to the coarse space of the pullback cover. I did not find a fatal internal gap. The genuinely load-bearing assumption is Theorem 4.1, which is a major classification theorem from a companion preprint by the first author. The present paper proves only that the induced homomorphism is irreducible; it does not classify the irreducible homomorphisms. If the companion classification has a counterexample, Theorem 1.1 fails despite the analytic results. The paper itself flags this dependency by stating Theorem 4.1 with a citation and no proof. Since no formal verification or independent check of [9] is offered, the appropriate verdict is CONDITIONAL, as the reader already concluded; my stress-test does not change that verdict.","tokens_in":17628,"tokens_out":23996,"duration_ms":213406,"concrete_test":"Download arXiv:2410.18796 and check that its Theorem 1.2 is exactly the statement used here and that its proof does not depend on the present paper. Then independently re-derive the classification of non-trivial homomorphisms PMap_{5,0}->PMap_{9,0} (the smallest case with g'=9>2g-2=8, hence beyond the previously known bound) using the methods of [4] and the criterion in [9, Lemma 2.19]. If there exists any non-trivial homomorphism PMap_{5,0}->PMap_{9,0} not induced by a multi-embedding, Theorem 1.1 is false and the verdict should be REJECT; if the classification holds for this case, the main risk is reduced but Theorem 4.1 would still need full verification.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim of the paper, Theorem 1.1, is a direct consequence of two ingredients: (i) Theorem 1.2, proved here, which says the group homomorphism F_* induced by a non-constant holomorphic map F:M_{g,r}->M_{g',r'} is irreducible, and (ii) Theorem 4.1, imported from the first author's companion preprint [9], which says that 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. Proposition 4.2, also relying on [9, Lemma 2.19], then identifies irreducible multi-embedding homomorphisms with automorphism-plus-forgetful maps. The analytic part of this paper does not constrain the classification of irreducible homomorphisms; it only rules out reducible ones. Consequently, if [9, Theorem 1.2] is false or has a gap for some pair (g,r,g',r') in the stated range, there could exist an irreducible homomorphism not induced by a multi-embedding, and the corresponding holomorphic map F would be a non-forgetful counterexample to Theorem 1.1, with all arguments in the present paper remaining valid. The paper itself does not prove or independently verify Theorem 4.1; it is stated verbatim as '[9, Theorem 1.2]' in Section 4.2. No formal verification or third-party confirmation of [9] is provided. Thus the paper's main theorem is contingent on an external unverified classification.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","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.","tokens_in":53,"tokens_out":9543,"duration_ms":214755,"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":[{"comment":"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].","section":"Section 4.2, Theorem 4.1"},{"comment":"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.","section":"Section 4.2, Proposition 4.2"}],"minor_comments":[{"comment":"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] ...'.","section":"Section 2.2"},{"comment":"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.","section":"Section 3.4"},{"comment":"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.","section":"Section 2.3"},{"comment":"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.","section":"Section 3.4"}],"recommendation":"major_revision","confidential_remarks":"The only serious obstacle I see is the dependence of Theorem 1.1 on the companion preprint [9] by the first author. The analytic part of the paper appears coherent and I would be comfortable with the paper once the algebraic classification is either proved in the paper or clearly separated as an assumption. The paper is honest about the dependence, and I do not see an internal inconsistency in the present arguments."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Here's my read. The new result is real: Theorem 1.3 is a general rigidity statement that is not in the earlier literature, and the proof is self-contained modulo standard facts about Kähler manifolds and gradient flow. The reduction from 1.3 to the irreducibility of F_* (Theorem 1.2) is clean, and the use of the squared distance to the pinching locus as a strictly convex function with subexponential growth is a nice idea. The comparison-geometry argument for Lemma 2.2 is concise but plausible; I'd want a referee to check the gluing of triangles carefully.\n\nThe headline theorem is exactly as advertised: it extends [2]'s linear bound to exponential. But it inherits almost all of its mapping-class-group content from the first author's companion paper [9]. Theorem 4.1 is stated verbatim as [9, Theorem 1.2], and Proposition 4.2 relies on [9, Lemma 2.19]. If [9] has a gap for some (g,g') in the stated range, the conclusion of Theorem 1.1 need not follow, even though everything in this paper could still be correct. The paper is honest about this dependency, but it does mean the reader cannot evaluate the main theorem without reading [9] carefully. That is the real soft spot.\n\nThere are a couple of smaller things. In the proof of Theorem 1.3, the statement that one can pass to a Riemann surface of finite analytic type assumes that every 1-dimensional complex subspace of T_pM is tangent to an intersection with a linear subspace; that is true for a quasi-projective variety but should be said carefully. The 'we do not care whether the integral is finite' comment is a bit hand-wavy, though the argument works because ρ_L is compactly supported and the positive term is bounded below on the compact core. On the whole, the analytic side looks sound.\n\nWho is this for? Specialists in Teichmüller theory, complex geometry of moduli spaces, and mapping class groups. It deserves a serious referee, with the explicit instruction that the referee must verify the companion classification.\n\nRecommendation: send to a knowledgeable referee. The paper is not ready for final acceptance until the dependence on [9] is resolved—either by the referee approving [9] or by the authors including the needed result. But it is absolutely refereeable, not a desk reject.","headline":"A credible exponential extension of holomorphic map rigidity, but the main theorem hinges on an unproved companion classification that the referee must check.","tokens_in":18517,"tokens_out":3566,"would_cite":true,"duration_ms":32943,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["32G15","30F60","14H10","57K20"],"pacs":[],"model":"deepseek-v4-flash","headline":"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.","keywords":["holomorphic maps","moduli spaces","Teichmüller space","pure mapping class groups","Weil-Petersson metric","forgetful maps","irreducible homomorphisms","quasi-projective varieties"],"falsifier":"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.","tokens_in":17393,"feed_emoji":"📐","tokens_out":19031,"duration_ms":133833,"temperature":0.7,"pith_summary":"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.","feed_headline":"Forgetful maps are the only holomorphic maps between moduli spaces","feed_subtitle":"The new bound is exponential, extending the old linear result to target genus three times two to the power (g-3).","key_machinery":"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.","core_discovery":"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.","pith_inferences":["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."],"forward_implications":["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."],"supporting_citations":[{"why":"Supplies the classification of all non-trivial homomorphisms between pure mapping class groups in the exponential range (Theorem 4.1), the main algebraic input.","marker":"[9]"},{"why":"Proved the linear-range analogue and the overall strategy, and supplies the proposition that non-constant homotopic holomorphic maps to moduli space agree.","marker":"[2]"},{"why":"Provides the earlier classification of homomorphisms between mapping class groups together with the rigidity principle [4, Prop 3.2] used in the introduction.","marker":"[4]"},{"why":"Shows that moduli space is an irreducible quasi-projective variety, enabling the reduction to algebraic curves and the final rigidity argument.","marker":"[8]"},{"why":"Proves geodesic convexity of the Weil-Petersson metric and convexity of geodesic length functions, which are essential for constructing the strictly convex function h_gamma.","marker":"[26]"},{"why":"Gives the approximation of strictly convex functions by smooth strictly convex functions preserving subexponential growth, needed for the gradient-flow energy argument.","marker":"[12]"},{"why":"Provides the Wirtinger inequality, which implies that holomorphic maps are absolute energy minimizers in their homotopy class.","marker":"[10]"},{"why":"Establishes that the Weil-Petersson metric is dominated by a multiple of the Kobayashi metric, a hypothesis of Theorem 1.3 used to ensure holomorphic maps are Lipschitz.","marker":"[18]"}],"fun_headline_variants":["Only forgetful maps: holomorphic rigidity for moduli spaces","Exponential bound: only forgetful maps between moduli spaces","Rigidity result: forgetful maps are the only holomorphic ones","New bound ensures only forgetful maps are holomorphic"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"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.","fun_headline_variants_meta":{"raw":{"variants":["Only forgetful maps: holomorphic rigidity for moduli spaces","Exponential bound: only forgetful maps between moduli spaces","Rigidity result: forgetful maps are the only holomorphic ones","New bound ensures only forgetful maps are holomorphic"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001544,"raw_usage":{"total_tokens":6141,"prompt_tokens":877,"completion_tokens":5264,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":493,"completion_tokens_details":{"reasoning_tokens":5202}},"tokens_in":493,"tokens_out":5264,"duration_ms":30408,"temperature":1.0,"reasoning_tokens":5202,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T04:31:55.941908+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"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.","supporting_citations":[{"cited_title":"Homomorphisms between pure mapping class groups","cited_arxiv_id":"2410.18796","evidence_quote":"Supplies the classification of all non-trivial homomorphisms between pure mapping class groups in the exponential range (Theorem 4.1), the main algebraic input."},{"cited_title":"Antonakoudis, J","cited_arxiv_id":null,"evidence_quote":"Proved the linear-range analogue and the overall strategy, and supplies the proposition that non-constant homotopic holomorphic maps to moduli space agree."},{"cited_title":"Aramayona and J","cited_arxiv_id":null,"evidence_quote":"Provides the earlier classification of homomorphisms between mapping class groups together with the rigidity principle [4, Prop 3.2] used in the introduction."},{"cited_title":"Deligne and D","cited_arxiv_id":null,"evidence_quote":"Shows that moduli space is an irreducible quasi-projective variety, enabling the reduction to algebraic curves and the final rigidity argument."},{"cited_title":"Wolpert, Geodesic length functions and the Nielsen problem , J","cited_arxiv_id":null,"evidence_quote":"Proves geodesic convexity of the Weil-Petersson metric and convexity of geodesic length functions, which are essential for constructing the strictly convex function h_gamma."},{"cited_title":"Greene and H","cited_arxiv_id":null,"evidence_quote":"Gives the approximation of strictly convex functions by smooth strictly convex functions preserving subexponential growth, needed for the gradient-flow energy argument."},{"cited_title":"Eells and J","cited_arxiv_id":null,"evidence_quote":"Provides the Wirtinger inequality, which implies that holomorphic maps are absolute energy minimizers in their homotopy class."},{"cited_title":"McMullen, The moduli space of Riemann surfaces is K¨ ahler hyperbolic , Ann","cited_arxiv_id":null,"evidence_quote":"Establishes that the Weil-Petersson metric is dominated by a multiple of the Kobayashi metric, a hypothesis of Theorem 1.3 used to ensure holomorphic maps are Lipschitz."}],"review_version":1}