{"id":"caab8500-da91-4e75-90f4-49691775f3b0","arxiv_id":"1908.08372","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Coarse moduli spaces of canonically polarized and polarized Calabi-Yau manifolds are Kobayashi V-hyperbolic, which implies Campana-type isotriviality over hyperbolically special bases.","lead":"This paper proves that the coarse moduli spaces of canonically polarized and of polarized Calabi-Yau manifolds are hyperbolic in a generalized orbifold sense. It then shows that smooth families over bases with vanishing Kobayashi pseudo-distance must be isotrivial, and that for Calabi-Yau families the essential dimension of the base bounds the variation.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem B's proof assumes the To-Yeung coefficient c_1 in (5) is at least 1 to conclude h ≥ h_{β,1}; the cited theorem only guarantees c_i > 0. The gap is repairable by replacing κ with c_1 κ.","rationale":"The reader's verdict of CONDITIONAL is appropriate. The most concrete, load-bearing gap is the unstated lower bound on c_1 in the To-Yeung combination (5). The written proof asserts h ≥ h_1 without justification, and the cited theorem only guarantees positivity of all coefficients. This affects the central proof of Theorem B, so the manuscript needs a correction. Yet the repair is straightforward: because h ≥ c_1 h_1, the final hyperbolicity constant can be rescaled by c_1, and the conclusion remains valid. The reader's second concern about curvature pullback in Theorem C is less convincing: for a holomorphic isometric immersion into a Kähler manifold, the induced holomorphic sectional curvature is the ambient curvature minus a nonnegative second-fundamental term, so a uniform negative horizontal curvature bound is inherited. Thus I do not regard the period-map curvature step as a serious obstacle, but the paper should still be conditional because the c_1 issue is left unaddressed and the proof of Theorem C compresses several curvature computations into a single citation. The proposed test settles the c_1 question directly and would confirm that the manuscript is only missing a short clarification rather than a substantive new ingredient.","tokens_in":19109,"tokens_out":36264,"duration_ms":411050,"concrete_test":"Trace the To-Yeung algorithm referenced in equation (5) for the Proof of Theorem B. Determine whether c_1 can be chosen at least 1 while retaining the stated negative curvature bound. If c_1 can be less than 1, rerun the comparison using h ≥ c_1 h_1 and verify that the modified constant κ' = min_{1≤r≤n} c_1(r) κ_r is positive and independent of the V-disk. If this modified constant is positive, the proof of Theorem B is complete as repaired.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central assertion of Theorem B depends on the comparison h|_{C_β^0} ≥ h_{β,1} = γ^*h_WP|_{C_β^0} in the Proof of Theorem B, Section 4, immediately after equation (5). There h = Σ c_i h_i, where c_i are the constants produced by the To-Yeung algorithm. The theorem cited by the paper only asserts c_i > 0 and does not state c_1 ≥ 1. If c_1 < 1, the inequality h ≥ h_1 is simply false as written, and the subsequent bound h_D ≥ γ^*(κ_r h_WP) is not justified. This is a genuine logical gap in the written proof. However, it is not fatal: since all c_i are positive, h ≥ c_1 h_1, so the same argument gives h_D ≥ γ^*(c_1 κ_r h_WP). One can then replace κ_r by min_{1≤r≤n} c_1(r) κ_r, which is still a positive constant depending only on the Hilbert polynomial and the length r. Thus the conclusion of Theorem B survives with a modified constant. The reader's separate worry about the period-map pullback in Theorem C appears less pressing: for a Kähler submanifold, Gauss's equation gives induced holomorphic sectional curvature equal to the ambient horizontal value minus a nonnegative second-fundamental contribution, so a uniform negative ambient horizontal bound is preserved, not weakened.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proves several strong hyperbolicity and isotriviality results for families of canonically polarized and polarized Calabi-Yau manifolds. Specifically, it defines Kobayashi V-hyperbolicity for complex V-spaces, proves in Theorem B that the coarse moduli space of canonically polarized manifolds is Kobayashi V-hyperbolic, proves in Theorem C that the coarse moduli space of polarized Calabi-Yau manifolds admits a Kähler V-metric with non-positive holomorphic bisectional curvature and negative holomorphic sectional curvature, and deduces Theorem A that smooth families over H-special bases are isotrivial. It also proves Theorem D, asserting that for smooth projective families of Calabi-Yau manifolds the essential dimension of the base is at least the variation of the family, with consequences for special bases and Kodaira dimension. The proofs combine the To-Yeung curvature algorithm for augmented Weil-Petersson metrics, Schumacher's extension results, the Fujiki-Schumacher theory of coarse moduli spaces, and period-domain techniques of Griffiths-Schmid and Brunebarbe-Cadorel.","tokens_in":19333,"tokens_out":33582,"duration_ms":348179,"significance":"If correct, the main theorems constitute a substantial advance: Theorem B gives a hyperbolic version of Campana's isotriviality conjecture for canonically polarized manifolds, and Theorem C is a strong hyperbolicity statement for the coarse moduli space of polarized Calabi-Yau manifolds, going beyond previously known special cases. The proof strategy is coherent and makes sophisticated use of deep external results, and the paper is clearly organized around the key V-space framework. The argument for Theorem D is elegant and combines known results on log-general-type bases of variations of Hodge structure with Campana's essential dimension. The main caveats are concentrated in Section 4, where several technical hypotheses and extension arguments need to be stated precisely; these appear repairable without changing the overall strategy.","major_comments":[{"comment":"The step \"h|_{C^0_\\beta} \\geq h_{\\beta,1}\" uses the inequality c_1 \\geq 1 for the To-Yeung coefficient c_1. The cited theorem only guarantees c_i > 0, so if c_1 < 1 the displayed inequality is not justified. This gap is load-bearing because it is used to conclude h_D \\geq \\gamma^*(\\kappa_r h_{WP}). The proof can be repaired by observing that h \\geq c_1 h_1, hence h_D \\geq \\gamma^*(c_1 \\kappa_r h_{WP}), and then replacing \\kappa_r by \\min_{1\\leq r\\leq n} c_1(r)\\kappa_r, which is still a positive constant depending only on the Hilbert polynomial and the length r. The paper should state this normalization or the modified constant explicitly.","section":"§4, Proof of Theorem B, after Eq. (5)"},{"comment":"The paper introduces the To-Yeung construction for effectively parametrized families, but the families f_\\beta : X_\\beta \\to C_\\beta obtained by pulling back a Kuranishi family along a V-disk \\gamma are not shown to be effectively parametrized. A nonconstant V-morphism may have critical points, and then the Kodaira-Spencer map \\tau_1 can vanish at those points. If the cited curvature theorem requires effectiveness, the proof is incomplete as written. If the theorem is intended to hold without effectiveness, the statement of Theorem 4.2 should make this explicit and indicate how the possible degeneracies of the metrics h_{\\beta,k} are handled. This is a central technical point for Theorem B and should be clarified.","section":"§4, Proof of Theorem B, Theorem 4.2 and its application"},{"comment":"The assertion that \"the Gaussian curvature of \\gamma^*h is bounded above by -c\" for every V-disk \\gamma needs justification when \\gamma is not an immersion. In that case \\gamma^*h is a degenerate Hermitian form at critical points, and the Gaussian curvature is not defined there. This is a repairable issue: one should apply the Ahlfors-Schwarz inequality on the complement of the critical locus and then extend the resulting inequality by continuity, but the proof should say this explicitly. As written, the argument skips a nontrivial degenerate-metric case that is relevant for proving Kobayashi V-hyperbolicity.","section":"§4, Proof of Theorem C, final curvature estimate for V-disks"}],"minor_comments":[{"comment":"After the psh extension of \\varphi_\\beta, the inequality (8) should be stated as an inequality of positive currents, since \\varphi_\\beta may vanish at critical points of the V-morphism and \\log\\varphi_\\beta is then not a smooth function.","section":"§4, after Eq. (8)"},{"comment":"The notation \"(\\varphi^*)^{-1}h_{S2}=h_{S1}\" is confusing; it should be written as \\varphi^*h_{S2}=h_{S1}, where \\varphi^* denotes pullback of the metric by the biholomorphism \\varphi:S_1\\to S_2.","section":"§5, Claim 4.2.1, last sentence"},{"comment":"The phrase \"generically immersive for \\mu is finite\" is terse; adding a sentence that a finite morphism between complex spaces of equal dimension is generically unramified in characteristic zero would make the step transparent.","section":"§5, Proof of Theorem D"}],"recommendation":"major_revision","confidential_remarks":"The central strategy is sound and the results are significant if the technical gaps in Section 4 are closed. I do not see grounds for rejection, but the proof of Theorem B needs a corrected statement of the To-Yeung coefficient normalization and a clear treatment of the effectiveness/non-effectiveness issue for pullback families. The curvature-decreasing step in Theorem C is valid for Kähler submanifolds via the Gauss equation, but the degenerate V-disk case should be addressed in the revision."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Ya Deng's paper proves a hyperbolic version of Campana's isotriviality conjecture for canonically polarized and polarized Calabi-Yau families, and establishes V-hyperbolicity of the corresponding coarse moduli spaces. The main theorems are new and the strategy is coherent: use To-Yeung's augmented Weil-Petersson metrics for the canonically polarized case, and the Hodge metric via period maps for the Calabi-Yau case, then import the Brunebarbe-Cadorel general-type theorem for the essential dimension bound. The V-space framework is handled carefully, with the pull-back and distance-decreasing lemmas in place. Theorem D, in particular, is a nice unification of Shafarevich-type and isotriviality statements.\n\nThe proof of Theorem B has a genuine written gap, exactly as the stress-test notes: the comparison h ≥ h_{β,1} requires the To-Yeung coefficient c_1 ≥ 1, and the cited theorem only guarantees c_i > 0. This is not fatal. Since all coefficients are positive, h ≥ c_1 h_1, so the same argument yields h_D ≥ γ^*(c_1 κ_r h_WP); replacing κ_r by the minimum of c_1(r)κ_r over r ≤ n repairs the proof. The conclusion survives unchanged.\n\nThe reader's second worry, about curvature inheritance in Theorem C, does not land. The period map is an immersion, the image is a complex submanifold (locally), and its tangent space lies in the horizontal subbundle. For a complex submanifold of a Kähler manifold, Gauss's equation gives induced holomorphic sectional curvature equal to the ambient horizontal value minus a nonnegative second fundamental form contribution, so an upper bound −c on the ambient horizontal curvature is inherited, not weakened. So the pulled-back Hodge metric has the required uniform negative holomorphic sectional curvature bound.\n\nThe remaining technical points—the psh extension/gluing on the disk and the uniformity of the constants c_i over Kuranishi charts—are plausible and sit inside the cited work of To-Yeung and Schumacher; I could not find a further load-bearing issue. The citation pattern is healthy: the only self-citation appears in the related-results discussion and is not used in the proofs.\n\nThis paper is for anyone working on moduli hyperbolicity, Shafarevich-type problems, or Campana's specialness. It deserves a serious referee: the main theorems are likely correct, the one real gap is repairable with a constant adjustment, and the V-space formulation is worth having in the literature.","headline":"A substantial, likely correct paper on V-hyperbolicity of coarse moduli spaces; the one real gap in the proof of Theorem B is a constant issue, easily fixed.","tokens_in":19948,"tokens_out":7786,"would_cite":true,"duration_ms":73835,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["32Q45","32G13","14D22","14D07","14J15"],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper proves that the coarse moduli spaces of canonically polarized and of polarized Calabi-Yau manifolds are Kobayashi V-hyperbolic, and derives isotriviality for smooth families over H-special bases.","keywords":["Kobayashi V-hyperbolicity","coarse moduli space","complex V-space","isotriviality conjecture","canonically polarized manifolds","Calabi-Yau manifolds","period domain","essential dimension"],"falsifier":"Compute the holomorphic sectional curvature of the Hodge metric pulled back through the period map on any polarized Calabi-Yau Kuranishi base of dimension at least two; a single point where some holomorphic sectional curvature is nonnegative, or a sequence of points where the supremum approaches zero, would contradict Theorem C's uniform negative bound.","tokens_in":18815,"feed_emoji":"📐","tokens_out":9857,"duration_ms":84978,"temperature":0.7,"pith_summary":"This paper proves that the coarse moduli spaces of canonically polarized manifolds and of polarized Calabi-Yau manifolds are hyperbolic in a sense adapted to their quotient singularities, called Kobayashi V-hyperbolicity. The payoff is an isotriviality theorem: any smooth family of such manifolds over a base whose Kobayashi pseudo-distance vanishes identically must have all fibers isomorphic. For polarized Calabi-Yau manifolds the paper constructs a Kähler V-metric on moduli space with non-positive holomorphic bisectional curvature and negative holomorphic sectional curvature, giving hyperbolicity directly. It also proves that for a smooth projective family of Calabi-Yau manifolds the essential dimension of the base is at least the variation of the family, yielding new cases of the isotriviality conjecture and a lower bound on Kodaira dimension.","feed_headline":"Calabi-Yau and canonically polarized moduli spaces are hyperbolic","feed_subtitle":"A metric proof shows that no nontrivial family can live over a base with zero Kobayashi distance.","key_machinery":"The central object is the complex V-space, a complex space locally presented as a quotient of an analytic space by a finite group action, together with V-morphisms that lift locally to the covering spaces. The argument runs on two metric mechanisms. For canonically polarized manifolds, it assembles Weil-Petersson metrics of all orders, pulled back through iterated Kodaira-Spencer maps, into a Finsler V-metric with uniformly negative Gaussian curvature, and applies a Schwarz-Pick criterion to conclude Kobayashi V-hyperbolicity. For polarized Calabi-Yau manifolds, the mechanism is the period map from each local Kuranishi base to a period domain; the Hodge metric there has negative holomorphic sectional curvature along horizontal directions, and the paper proves the pullback glues into a globally defined Kähler V-metric with the same curvature signs, so the Ahlfors-Schwarz lemma applies.","core_discovery":"The paper's central claim is that the coarse moduli spaces of canonically polarized manifolds and of polarized Calabi-Yau manifolds are Kobayashi V-hyperbolic: no nonconstant V-morphism from the unit disk can identify two distinct points, where V-morphisms are maps that lift locally through the finite group covers defining the space. For canonically polarized manifolds, the proof combines the local description of moduli space as finite quotients of Kuranishi spaces with Finsler metrics built from higher-order Kodaira-Spencer maps, and shows that a suitable positive combination of these metrics has uniformly negative Gaussian curvature. For polarized Calabi-Yau manifolds, the paper shows that the Hodge metric pulled back from the period domain glues to a Kähler V-metric whose holomorphic sectional curvature is uniformly negative and whose bisectional curvature is non-positive; the Ahlfors-Schwarz lemma then gives hyperbolicity. From these hyperbolicity statements, every smooth family over an H-special base has constant moduli map and is therefore isotrivial.","pith_inferences":["The same V-space metric strategy should apply to any moduli problem with smooth local deformation spaces, finite automorphism groups, and an immersive period map; Kobayashi V-hyperbolicity would then follow by the same gluing and curvature arguments.","Theorem D's inequality suggests a general principle: for any smooth family whose period map is generically immersive and whose image is of log general type, the essential dimension of the base should bound the variation of the family from below.","A concrete test of the load-bearing curvature assumption is to compute the pulled-back Hodge metric on an explicit multiparameter Calabi-Yau Kuranishi space; if its holomorphic sectional curvature ever reaches zero, the uniform negative bound in Theorem C would require an additional argument."],"forward_implications":["Any smooth proper family of canonically polarized or polarized Calabi-Yau manifolds over a complex manifold whose Kobayashi pseudo-distance vanishes identically is isotrivial: all fibers are isomorphic.","The coarse moduli space of canonically polarized manifolds admits no nonconstant V-morphism from the complex line, or from any H-special complex manifold.","The coarse moduli space of polarized Calabi-Yau manifolds carries a Kähler V-metric with non-positive holomorphic bisectional curvature and uniformly negative holomorphic sectional curvature.","For a smooth projective family of Calabi-Yau manifolds over a quasi-projective base $Y$, one has $\\mathrm{ess}(Y) \\geq \\mathrm{Var}(f)$; in particular a special base forces isotriviality, and either $\\kappa(Y) = -\\infty$ or $\\kappa(Y) \\geq \\mathrm{Var}(f)$."],"supporting_citations":[{"why":"Constructs the coarse moduli space as a Hausdorff reduced complex V-space and supplies the local quotient description by Kuranishi spaces and automorphism groups.","marker":"[FS90]"},{"why":"Provides the augmented Weil-Petersson Finsler metrics with uniformly negative Gaussian curvature used in the Pick-Schwarz proof for canonically polarized moduli.","marker":"[TY15]"},{"why":"Gives positivity and curvature estimates for relative canonical bundles and higher direct images that underlie the p-th order Weil-Petersson metrics.","marker":"[Sch12]"},{"why":"Establishes negative holomorphic sectional curvature of period domains in horizontal directions, the source of the Calabi-Yau moduli metric's curvature bound.","marker":"[GS69]"},{"why":"Gives the period-domain curvature computations used to bound holomorphic sectional curvature along horizontal tangent directions.","marker":"[Pet91]"},{"why":"Provides the standard reference statement of the horizontal curvature bound on period domains used in Theorems C and D.","marker":"[CMSP17, Theorem 13.6.3]"},{"why":"Shows the Hodge metric pulled back through the period map is Kähler on each local Kuranishi base.","marker":"[Lu99]"},{"why":"Proves that bases supporting a generically immersive variation of Hodge structure are of log general type, a step in Theorem D.","marker":"[BC17]"},{"why":"Gives extension and properness properties of period maps under trivial or finite local monodromy used in the proof of Theorem D.","marker":"[Gri70]"},{"why":"Supplies the essential-dimension properties, including invariance under etale covers and the relation between specialness and essential dimension zero, used in Theorem D.","marker":"[Cam11]"}],"fun_headline_variants":["Hyperbolic moduli for Calabi-Yau and canonically polarized","Kobayashi hyperbolicity: no variation over zero-distance bases","Zero Kobayashi distance forces isotrivial families","Canonically polarized and Calabi-Yau moduli are hyperbolic","Hyperbolicity of moduli spaces yields isotriviality"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The argument needs the uniform negative bound on holomorphic sectional curvature to survive when the period-domain metric is pulled back to each local Kuranishi base of a polarized Calabi-Yau family; if that curvature becomes less negative, or fails to stay uniformly negative, the Kähler V-metric and hyperbolicity conclusion do not follow.","fun_headline_variants_meta":{"raw":{"variants":["Hyperbolic moduli for Calabi-Yau and canonically polarized","Kobayashi hyperbolicity: no variation over zero-distance bases","Zero Kobayashi distance forces isotrivial families","Canonically polarized and Calabi-Yau moduli are hyperbolic","Hyperbolicity of moduli spaces yields isotriviality"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000968,"raw_usage":{"total_tokens":4094,"prompt_tokens":895,"completion_tokens":3199,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":511,"completion_tokens_details":{"reasoning_tokens":3113}},"tokens_in":511,"tokens_out":3199,"duration_ms":22498,"temperature":1.0,"reasoning_tokens":3113,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T11:42:16.265885+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the holomorphic sectional curvature of the Hodge metric pulled back through the period map on any polarized Calabi-Yau Kuranishi base of dimension at least two; a single point where some holomorphic sectional curvature is nonnegative, or a sequence of points where the supremum approaches zero, would contradict Theorem C's uniform negative bound.","supporting_citations":[],"review_version":1}