{"id":"2b22276b-1e09-478c-b4b3-1b0e6e8acbb5","arxiv_id":"2506.19218","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Every stratum in a birationally admissible stratification of Birkar's moduli stack of stable minimal models is Picard hyperbolic, Borel hyperbolic, and Brody hyperbolic.","lead":"This paper proves Big Picard, Borel, and Brody hyperbolicity for every stratum of the moduli stack of stable minimal models. It extends Hodge-theoretic hyperbolicity methods from smooth families to singular stable minimal models and to moduli stacks.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 3.9 is unproven here yet is the exact bridge: without its maximal-variation conclusion, Theorem 2.8 cannot be applied and Theorems 1.1 and 1.2 do not follow.","rationale":"The reader's weakest assumption identifies Theorem 3.9 as the load-bearing bridge, and my reading agrees. The paper's main results, Theorems 1.1 and 1.2, rest on Theorem 3.14, whose proof invokes Theorem 3.9 to produce a variation of mixed Hodge structure with maximal variation in the sense of Definition 2.7. Without a proof of Theorem 3.9, the chain from Hodge theory to hyperbolicity is incomplete. I considered secondary concerns, such as the extension of the classifying map to a morphism S → Mslc in Theorem 3.14 and the preservation of strict birational admissibility under base change and desingularization; these are genuine but likely repairable if Theorem 3.9 holds. The decisive and most specific gap remains Theorem 3.9: it is stated without proof, it is stronger than the standard Viehweg-Zuo theorem, and the log-pole condition along D rather than E is exactly the maximal-variation property needed for Theorem 2.8. A concrete residue computation along E\\D in a model example would settle whether the stated pole condition is actually satisfied. Since the reader already judged the paper CONDITIONAL for essentially this reason, no adjustment to the verdict is needed.","tokens_in":17054,"tokens_out":5532,"duration_ms":59430,"concrete_test":"Independently derive Theorem 3.9 for a non-isotrivial strictly birationally admissible family with dim S = 2, D a simple normal crossing divisor, and E\\D nonempty. Starting from the construction in [21, §6], trace the lower canonical Higgs bundle and explicitly compute the residue of the Higgs field along a component of E\\D. If the residue does not annihilate L^p for all p, then the condition θ(L^p) ⊂ L^{p+1} ⊗ Ω_U(log D) fails and Theorem 3.9 is false as stated. Separately, check the inclusion L|_U ⊂ eH^w for the ample line bundle L used in Theorem 3.14; standard Viehweg-Zuo positivity only yields such an inclusion for specific line bundles, not for arbitrary choices of L. If the derivation cannot be completed without additional assumptions, Theorem 3.9 remains unproven and the main theorem is conditional.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central argument hinges on Theorem 3.9, which asserts that for a birationally admissible family over a smooth projective S, there exists an admissible graded R-polarized variation of mixed Hodge structure on U\\E such that L|_U sits inside eH^w and the generated Higgs subsheaf has logarithmic poles only along D, not along E. This is precisely the 'maximal variation' hypothesis required by Theorem 2.8. However, Theorem 3.9 is not proved in this paper: Section 3.3 is presented as a review, and the theorem is stated with no proof, with the reader referred to the companion paper [21] and to the Viehweg-Zuo / Popa-Taji-Wu / Deng circle. The statement is also stronger than standard Viehweg-Zuo constructions: it allows an arbitrary line bundle L on S, whereas the known construction produces specific pluri-canonical direct-image line bundles, and it requires the Higgs field to be holomorphic with respect to log D only, even though the ambient lower canonical Higgs bundle is a priori defined with log poles along E. If either the inclusion L|_U into eH^w or the log-pole condition along D fails, then the maximal-variation hypothesis in Definition 2.7 is not verified, Theorem 2.8 does not apply, and the extension argument in Theorem 3.14 collapses. Since Theorems 1.1 and 1.2 are direct formal consequences of Theorem 3.14, the validity of the main claims is hostage to an unproved theorem in a companion paper.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper develops a stratified hyperbolicity theory for Birkar's moduli stack Mslc(d,Φc,Γ,σ) of stable minimal models. Section 2 formulates a Hodge-theoretic big Picard theorem (Theorem 2.8) for admissible graded R-polarized variations of mixed Hodge structure with \"maximal variation,\" following the template of Deng-Lu-Sun-Zuo [8]; the analytic proof via Finsler metrics is carried out in the text. Section 3 introduces birationally admissible families and states Theorem 3.9, which asserts the existence of an admissible VMHS whose lower canonical Higgs bundle contains an arbitrary ample line bundle and has logarithmic poles only along the boundary divisor D. Section 3.4 derives Picard, Borel, and Brody hyperbolicity for strictly admissible families (Theorem 3.14) and hence for strata of birationally admissible stratifications of the moduli stack. Section 4 translates these results to Deligne-Mumford stacks, gives criteria for stacky hyperbolicity, and deduces hyperbolicity for strata of M_g,n from logarithmic uniformisation.","tokens_in":17314,"tokens_out":5881,"duration_ms":61971,"significance":"If the statements hold, the paper would establish a substantial generalization of the Viehweg-Zuo, Popa-Taji-Wu, and Deng hyperbolicity results, extending them to moduli of stable minimal models with singular fibers and to the stack-theoretic setting, and it would provide new evidence toward the Javanpeykar-Sun-Zuo conjecture. The conceptual reduction from geometry to a single Hodge-theoretic maximal variation statement is clean, and the analytic Section 2 is written in sufficient detail to be checked. The paper also gives a useful stack-theoretic framework for schematic hyperbolicity and a worked example for M_g,n. However, the decisive input, Theorem 3.9, is not proved in this manuscript; the main theorems are therefore conditional on that assertion and on a few unsupported claims in the proof of Theorem 3.14.","major_comments":[{"comment":"Theorem 3.9 is the load-bearing bridge from the geometric setup to Definition 2.7, but it is only stated and reviewed, not proved. The statement is also stronger than the standard Viehweg-Zuo/Popa-Taji-Wu/Deng output: it allows an arbitrary line bundle L on S, whereas the usual constructions produce specific pluri-canonical direct-image line bundles, and it requires the generated Higgs subsheaf to have logarithmic poles along D rather than along the full boundary E, which is precisely the maximal-variation condition needed for Theorem 2.8. Since Theorem 2.8 is applied only after quoting Theorem 3.9, and since Theorems 1.1 and 1.2 are direct consequences, the main results are unproved unless Theorem 3.9 is proved in this paper or a precise location of its proof in the companion paper [21] is supplied.","section":"Section 3.3, Theorem 3.9"},{"comment":"The proof asserts, without demonstration, that after desingularizing the closure B of the image of gamma, \"the classifying map can be extended to a morphism S to Mslc(d,Φc,Γ,σ).\" A generically finite morphism from a smooth quasi-projective variety to the proper DM stack Mslc does not automatically extend to a projective compactification; extension to a proper stack is not a formal property and requires an argument, typically using stable reduction or a modification of the compactification. This is not supplied, so the reduction to the situation of Theorem 3.9 is not justified as written.","section":"Section 3.4, proof of Theorem 3.14"},{"comment":"There is a mismatch between the data produced by Theorem 3.9 and the hypotheses of Theorem 2.8. Theorem 3.9 yields the VMHS on U\\E, where U = S\\Z with Z of codimension at least 2 and E ⊂ U, while Theorem 2.8 requires a VMHS on S\\E' for some closed E' ⊂ S containing D. The proof of Theorem 3.14 jumps from the former to the latter without explaining how the variation on U\\E is extended across Z, or how the inclusion L|_U ⊂ eH^w and the logarithmic-pole condition along D survive that extension. This is needed to verify maximal variation with respect to (S,D).","section":"Section 3.4, application of Theorem 2.8"}],"minor_comments":[{"comment":"The conclusion says the map extends to a holomorphic map γ : Δ → X, but X has not been defined; it should be S.","section":"Theorem 2.8"},{"comment":"In the definition of schematic Brody hyperbolicity, the wording \"X is Borel hyperbolic (resp. Borel hyperbolic)\" repeats \"Borel hyperbolic\"; the second instance should be \"Brody hyperbolic.\"","section":"Definition 4.1"},{"comment":"The variation is said to be \"graded Q-polarized\" whereas the paper works throughout with graded R-polarized variations; this is presumably a typo for R-polarized.","section":"Theorem 3.9, item (2)"},{"comment":"The notation \"∂∂ log\" should be \"∂∂̄ log\" (or \"∂\\bar∂ log\") for the current inequality, since the proof uses the Poincaré-Lelong equation.","section":"Proposition 2.11"},{"comment":"Reference [18] is incomplete: it ends with \"arXiv:math.\" and lacks the full identifier and title.","section":"References"},{"comment":"The reference to \"Chapter VXI\" should almost certainly be \"Chapter XVI\" of [1], and the displayed local coordinate formula mixes z_i and w_i in a way that should be clarified.","section":"Proposition 4.12"}],"recommendation":"major_revision","confidential_remarks":"The main theorems are all conditional on Theorem 3.9, which is not proved in this manuscript and is referred to only through a sketch and a companion paper [21]. Given that Theorem 3.9 is substantially stronger than the standard constructions cited, I would advise the editor that acceptance should require either a complete proof of Theorem 3.9 in this paper or an explicit statement in [21] with a fully detailed proof that is verifiable. The proof of Theorem 3.14 also contains a nontrivial extension claim for the classifying map that needs justification. These are not mere presentation issues."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Here's my read of arXiv:2506.19218. The paper genuinely extends the Deng-Lu-Sun-Zuo Hodge-theoretic big Picard criterion to admissible variations of mixed Hodge structure, and then uses that to prove Picard, Borel, and Brody hyperbolicity for strata of Birkar's moduli stack of stable minimal models. That is a real advance in scope: previous results were mostly for smooth or good minimal models, and the stratification lets you handle singular and non-normal fibers. The stacky formulations (schematic Picard, etc.) are also well thought out, and the paper is honest about depending on the companion [21].\n\nThe main problem is exactly what the stress test flags. Theorem 3.9 is the load-bearing bridge: given a birationally admissible family and an arbitrary line bundle L, it produces an admissible graded R-polarized VMHS whose lower canonical Higgs bundle contains L in top weight and whose Higgs field has log poles only along D. Without it, Definition 2.7's maximal variation isn't checked, and Theorem 2.8 doesn't apply. But Theorem 3.9 is not proven in this paper. Section 3.3 is a review, and the actual derivation is deferred to [21] and the Viehweg-Zuo/Popa-Taji-Wu/Deng circle. The statement is strong—standard Viehweg-Zuo constructions don't start with an arbitrary L—so this isn't a harmless reference. A referee needs to see the proof.\n\nThere's also a smaller gap in Theorem 3.14: after desingularizing the curve closure, it asserts the classifying map extends to a morphism S -> Mslc without justification. Maybe 'strictly birationally admissible' plus the moduli properties give this, but it needs a sentence.\n\nMinor things: Theorem 2.8 says 'extends to γ: ∆→X' but X is never defined (should be S or S\\D?); Definition 4.6/4.8 have a duplicated phrase in Proposition 4.7; and the grammar needs a pass. These don't affect the math.\n\nNet: the architecture is sound and the result is significant if the external inputs hold. But the current manuscript is not self-contained on its central lemma, and the main theorem is contingent on a companion paper I haven't seen. I would send this to a serious referee—someone should check [21] and force the author to either include the proof of 3.9 or state it as an explicit theorem from [21] with a pointer. I wouldn't cite it in my own work until that's settled, but I'd happily discuss it in a reading group.","headline":"A serious extension of the Hodge-theoretic big Picard theorem to singular moduli strata, but the main theorem is hostage to an unproved companion-paper lemma (Theorem 3.9) that the referee must see.","tokens_in":17915,"tokens_out":2668,"would_cite":false,"duration_ms":26275,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["14D23","14D07","32Q45","14J10","14E30"],"pacs":[],"model":"deepseek-v4-flash","headline":"Every stratum of the moduli stack of stable minimal models is Picard, Borel, and Brody hyperbolic.","keywords":["Picard hyperbolicity","Brody hyperbolicity","Borel hyperbolicity","moduli of stable minimal models","variation of mixed Hodge structure","logarithmic Higgs bundle","Deligne-Mumford stack","stratification"],"falsifier":"Construct a strictly birationally admissible family over a quasi-projective base $S^o$ whose classifying map is quasi-finite and whose base admits a nonconstant holomorphic map $\\mathbb{C}\\to S^o$, or a holomorphic map $\\Delta^*\\to S^o$ that neither hits the boundary nor extends after any finite base change. A more local falsifier is to write down the lower canonical Higgs bundle for a concrete stratum and check whether the Higgs subsheaf generated by an ample line bundle acquires poles along a divisor not contained in the stratum boundary; if it does, Theorem 3.9 is false and the proof of Theorem 1.1 breaks.","tokens_in":16784,"feed_emoji":"📐","tokens_out":9658,"duration_ms":92519,"temperature":0.7,"pith_summary":"This paper establishes a stratified hyperbolicity theorem for the moduli stack of stable minimal models: after cutting the stack into finitely many locally closed strata along which the universal family admits a simple normal crossing log birational model, every stratum is Picard hyperbolic, Borel hyperbolic, and Brody hyperbolic. The first statement is a big Picard theorem for each stratum: any holomorphic map from a punctured disk into the stratum either hits the boundary divisor or extends across the puncture, and the other two hyperbolicity properties follow formally. The proof works by attaching to each admissible family an admissible graded $\\mathbb{R}$-polarized variation of mixed Hodge structure whose logarithmic Higgs bundle contains an ample line bundle with poles controlled by the stratum boundary, and then running a Finsler-metric argument that forces holomorphic extension. If the Hodge-theoretic input holds, the result settles a natural expectation: the moduli of stable minimal models, including its singular boundary strata, behaves like a hyperbolic space.","feed_headline":"Every moduli stratum obeys the big Picard theorem","feed_subtitle":"A Hodge-theoretic variation makes each stratum of stable minimal models Picard, Borel, and Brody hyperbolic.","key_machinery":"The engine is the variation of mixed Hodge structure attached to an admissible family and its lower canonical system of logarithmic Higgs bundles $(\\tilde{H},\\theta)$ on a log smooth compactification. The crucial property, packaged in Theorem 3.9, is that for a birationally admissible family the Higgs bundle contains a chosen ample line bundle $L$ in the top piece $\\tilde{H}^w$, and the Higgs subsheaf generated by $L$ has logarithmic poles only along the boundary $D$; this is what 'maximal variation' means in Definition 2.7. Theorem 2.8 converts that data into a Finsler pseudometric on the logarithmic tangent bundle whose curvature is bounded below by a positive form along any punctured-disk map, and a criterion from the literature [8, Theorem A] turns that into holomorphic extension across the puncture.","core_discovery":"The paper's central claim is Theorem 1.1: for a strictly birationally admissible family $f^o\\colon (X^o,B^o),A^o\\to S^o$ of $(d,\\Phi_c,\\Gamma,\\sigma)$-stable minimal models with quasi-finite classifying map $S^o\\to \\mathcal{M}_{\\mathrm{slc}}(d,\\Phi_c,\\Gamma,\\sigma)$, every projective compactification $S$ makes $(S,S\\setminus S^o)$ a Picard pair; $S^o$ is Borel hyperbolic and Brody hyperbolic. Theorem 1.2 upgrades this to every stratum of a birationally admissible stratification of the moduli stack: for every quasi-finite scheme mapping to the stratum, the same three properties hold schematically. Along the way the paper proves Theorem 2.8, a Hodge-theoretic big Picard theorem: an admissible graded $\\mathbb{R}$-polarized variation of mixed Hodge structure with maximal variation on $S\\setminus E$ forces every Zariski-dense holomorphic map $\\Delta^*\\to S\\setminus D$ to extend. The string of implications is: birational admissibility, simple normal crossing model, variation of mixed Hodge structure with maximal variation, Finsler negativity, holomorphic extension, and then Picard, Borel, and Brody hyperbolicity.","pith_inferences":["Because a birationally admissible stratification is not unique, the theorem as stated gives hyperbolicity for every admissible stratification; a natural extrapolation is that any locally closed substack carrying a strictly admissible family with quasi-finite classifying map is itself hyperbolic, without needing a global stratification.","Theorem 2.8 is a standalone Hodge-theoretic criterion: it should be testable on any quasi-projective base carrying an admissible graded $\\mathbb{R}$-polarized variation of mixed Hodge structure whose lower canonical Higgs bundle contains an ample line bundle generated by its top piece with poles only along a boundary divisor, and such bases need not come from moduli of stable minimal models.","The paper's Conjecture 4.14, if true, would imply the stacky, not merely schematic, versions of Picard, Borel, and Brody hyperbolicity for every stratum; the model is the admissible $G$-cover construction used for $\\mathcal{M}_{g,n}$."],"forward_implications":["Every stratum of a birationally admissible stratification of $\\mathcal{M}_{\\mathrm{slc}}(d,\\Phi_c,\\Gamma,\\sigma)$ is schematic Picard hyperbolic, schematic Borel hyperbolic, and schematic Brody hyperbolic (Corollary 4.10).","For the canonical stratification of $\\mathcal{M}_{g,n}$, each stratum is a Picard pair, Borel hyperbolic, and Brody hyperbolic in the stacky sense, not merely schematically (Corollaries 1.3 and 4.13).","Any holomorphic map from a punctured disk into a stratum that misses the boundary extends across the puncture after a finite base change $z\\mapsto z^n$; this is the stacky big Picard statement.","If a stratum is uniformisable, then it is Borel and Brody hyperbolic; if the pair is logarithmically uniformisable, then it is a Picard pair (Corollary 4.11)."],"supporting_citations":[{"why":"Constructs the moduli stack of stable minimal models and its projective coarse space, the object being stratified.","marker":"[4]"},{"why":"Supplies the Finsler-metric criterion used in Theorem 2.12, the external input that turns curvature positivity into holomorphic extension.","marker":"[8]"},{"why":"Provides the generic injectivity of the Higgs-bundle map used to start the Finsler argument.","marker":"[7]"},{"why":"Defines admissible variations of mixed Hodge structure and gives the extension of the Hodge filtration used to build the logarithmic Higgs bundle.","marker":"[13]"},{"why":"Gives existence and uniqueness of the lower canonical extension of a flat connection, from which the canonical Higgs bundle is constructed.","marker":"[6]"},{"why":"Introduces birationally admissible stratifications and supplies the companion arguments for admissible families used in Theorem 3.9.","marker":"[21]"},{"why":"Records that Picard pairs are Borel and Brody hyperbolic, the formal bridge from the big Picard theorem to the other two statements.","marker":"[10]"}],"fun_headline_variants":["Big Picard theorem for every stratum of stable minimal models","Big Picard for every stratum of stable minimal models","Hodge-theoretic big Picard for moduli of stable minimal models","Stable minimal model strata are Picard, Borel, and Brody hyperbolic","Hodge theory yields big Picard for moduli strata"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The argument stands or falls on the existence theorem that every birationally admissible family carries a variation of mixed Hodge structure over the base whose Higgs bundle contains an ample line bundle with logarithmic poles only along the boundary divisor; Section 3.3 gives only a sketch of this existence, citing the companion paper [21] and earlier results. If that existence fails, the maximal-variation hypothesis in the Hodge-theoretic big Picard theorem is not verified and the main theorems do not follow.","fun_headline_variants_meta":{"raw":{"variants":["Big Picard theorem for every stratum of stable minimal models","Big Picard for every stratum of stable minimal models","Hodge-theoretic big Picard for moduli of stable minimal models","Stable minimal model strata are Picard, Borel, and Brody hyperbolic","Hodge theory yields big Picard for moduli strata"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001655,"raw_usage":{"total_tokens":6568,"prompt_tokens":941,"completion_tokens":5627,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":557,"completion_tokens_details":{"reasoning_tokens":5539}},"tokens_in":557,"tokens_out":5627,"duration_ms":35393,"temperature":1.0,"reasoning_tokens":5539,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-15T18:34:56.228674+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Construct a strictly birationally admissible family over a quasi-projective base $S^o$ whose classifying map is quasi-finite and whose base admits a nonconstant holomorphic map $\\mathbb{C}\\to S^o$, or a holomorphic map $\\Delta^*\\to S^o$ that neither hits the boundary nor extends after any finite base change. A more local falsifier is to write down the lower canonical Higgs bundle for a concrete stratum and check whether the Higgs subsheaf generated by an ample line bundle acquires poles along a divisor not contained in the stratum boundary; if it does, Theorem 3.9 is false and the proof of Theorem 1.1 breaks.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the Finsler-metric criterion used in Theorem 2.12, the external input that turns curvature positivity into holomorphic extension."},{"cited_title":"Deng, On the hyperbolicity of base spaces for maximally variational families of smooth projective varieties , J","cited_arxiv_id":null,"evidence_quote":"Provides the generic injectivity of the Higgs-bundle map used to start the Finsler argument."},{"cited_title":"Kashiwara, A study of variation of mixed Hodge structure , Publ","cited_arxiv_id":null,"evidence_quote":"Defines admissible variations of mixed Hodge structure and gives the extension of the Hodge filtration used to build the logarithmic Higgs bundle."},{"cited_title":"Javanpeykar and R","cited_arxiv_id":null,"evidence_quote":"Records that Picard pairs are Borel and Brody hyperbolic, the formal bridge from the big Picard theorem to the other two statements."}],"review_version":2}