{"id":"2e5d0a29-7050-4e58-a9df-260be2efde64","arxiv_id":"2505.07190","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For meromorphic differentials, the boundary of a stratum is connected in every complete algebraic compactification; for holomorphic differentials, the horizontal boundary meets every vertical boundary component.","lead":"This paper shows that for meromorphic differentials, every boundary of any complete algebraic compactification of a stratum is connected, because these strata are affine varieties. It also sketches an alternative proof, via Teichmuller curves, of a known result about holomorphic boundaries.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 1.1(2) rests on an unexpanded 'applies verbatim' assertion that P(μ)^∘ ∪ Δ'_H is affine; if Che24's class relations only prove affineness of P(μ)^∘, the vertical-boundary corollary is not established.","rationale":"The reader's weakest_assumption identifies the Che24 affineness facts as load-bearing, and I agree. My stress-test singles out the part that is not a direct citation: the affineness of U = P(μ)^∘ ⊔ Δ'_H, which is the entire support for Theorem 1.1(2) and hence for Corollary 1.2's vertical-boundary connectedness. This is a missing verification rather than a known false statement; the concern can be settled by checking whether Che24 Section 4.4 proves exactly the needed statement. The holomorphic Claim 1.5 has a hand-wavy 'scaling produces integral periods' sentence, but the underlying fact (existence of square-tiled surfaces) is standard and is not the central meromorphic theorem; I would treat it as a wording repair, not a reason to reject. With the requested expansion of Theorem 1.1(2)'s proof, the paper's main claim is plausible and the CONDITIONAL verdict remains appropriate.","tokens_in":4841,"tokens_out":17901,"duration_ms":198404,"concrete_test":"Open Che24, Section 4.4 and determine the precise statement proved there. If it proves only affineness of P(μ)^∘, then re-run the same class computation on U = MS(μ)^∘ \\ Δ_V for a representative meromorphic stratum with dim ≥ 2, e.g. μ = (2,-1,-1) in genus 1. Concretely: write the Q-divisor class constructed in Che24 Section 4.4, restrict it to U, and verify (i) its support lies in Δ_V and (ii) it is ample on U. If the class has nonzero coefficient on Δ_H, the restriction fails and Theorem 1.1(2) needs a new argument. If Che24 Section 4.4 already states that U is affine, record that exact statement and the concern is resolved.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The clean part is Theorem 1.1(1): if Che24, Thm 1.2 really states that every component P(μ)^∘ of a meromorphic stratum is affine, then Goodman's theorem gives connected complement in any complete compactification. I have no objection to that step.\n\nThe load-bearing soft spot is Theorem 1.1(2). Its entire proof is the sentence: 'the proof in [Che24, Section 4.4] applies verbatim to P(μ)^∘ ⊔ Δ'_H, because the divisor class relations therein still hold over the locus of stable differentials with horizontal nodes only.' This is asserted, not shown. The set U := P(μ)^∘ ⊔ Δ'_H = MS(μ)^∘ \\ Δ_V is a partial compactification: it keeps horizontal-only boundary and removes vertical boundary. Affineness of U is strictly stronger than affineness of P(μ)^∘ unless Che24's Section 4.4 already proves that the vertical boundary Δ_V is an ample divisor, or otherwise proves U affine. If Che24's proof instead exhibits the full boundary Δ_H ∪ Δ_V as the support of an ample divisor, then deleting Δ_V destroys the divisor whose ampleness was used, and one must redo the computation with a divisor supported on Δ_V. The divisor class cone on U differs from that on MS(μ)^∘, so 'verbatim' is not automatic. Since Corollary 1.2's vertical-boundary connectedness and the subvariety corollaries all inherit this step, the missing verification is load-bearing. The paper itself flags the reliance: the proof of Theorem 1.1 singles out the horizontal-only locus and then cites 'verbatim', leaving an omitted proof in the text.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper addresses the connectedness of the boundary of components of strata of differentials. For meromorphic signatures μ with dim_C P(μ)^∘ ≥ 2, it proves (Theorem 1.1(1)) that in any irreducible complete algebraic compactification, the complement of P(μ)^∘ is connected, using the affineness of P(μ)^∘ from a previous paper (Che24) and Goodman's theorem. Theorem 1.1(2) claims the analogous statement for the partial compactification P(μ)^∘ ⊔ Δ'_H that adds only horizontal-boundary points. The paper derives as corollaries the connectedness of the total boundary and of the vertical boundary in the multi-scale compactification, and extends these results to irreducible subvarieties, linear subvarieties, and k-differentials with a pole of order at least k. For holomorphic differentials, it offers an alternative proof of two claims from DGL25 concerning the nonemptiness of the horizontal boundary and its intersection with every irreducible component of the vertical boundary.","tokens_in":5173,"tokens_out":7345,"duration_ms":74101,"significance":"If the main results hold, the meromorphic part gives a conceptual, intrinsic explanation of boundary connectedness, going beyond the explicit degeneration analysis of DGL25 and applying to arbitrary complete compactifications. The proof is attractively short and the corollaries for subvarieties and k-differentials are valuable. The use of affineness plus Goodman's theorem is elegant and machine-checkable in principle. However, the proof of Theorem 1.1(2) hinges on an unexpanded 'applies verbatim' assertion, and the alternative argument for the holomorphic case contains a flawed scaling step; these gaps currently prevent the paper from being fully convincing.","major_comments":[{"comment":"The claim that 'the proof in [Che24, Section 4.4] applies verbatim to P(μ)^∘ ⊔ Δ'_H' is not demonstrated. Affineness of P(μ)^∘ alone does not imply affineness of P(μ)^∘ ⊔ Δ'_H; the argument in Che24 likely exhibits the full boundary Δ_H ∪ Δ_V as the support of an ample divisor, and deleting Δ_V can destroy the divisor whose ampleness was used. The divisor class cone on the partial compactification differs from that on the full multi-scale compactification, so 'verbatim' is not automatic. This step is load-bearing for Corollary 1.2's vertical-boundary connectedness and for Corollaries 1.3(2) and 1.4. The paper should either provide a complete proof of this affineness assertion or formulate Theorem 1.1(2) only under a precise quoted theorem from Che24 that covers this locus.","section":"Section 1, proof of Theorem 1.1(2)"},{"comment":"The proof of the nonemptiness of the horizontal boundary is invalid as written. In a projectivized stratum P(μ)^∘, scaling a differential is trivial, and multiplying an arbitrary differential by a scalar cannot force its period coordinates to have integral real and imaginary parts. The existence of square-tiled surfaces in every component of every holomorphic stratum is a standard but nontrivial fact, and it is not justified by the sentence 'By scaling the differentials to be arbitrarily large...'. Since Claim 1.5 is attributed to [DGL25], the paper could simply cite DGL25 for these statements, but the alternative proof presented here is incorrect and should be repaired or removed.","section":"Section 1, Claim 1.5(1)"},{"comment":"Theorem 1.1 is stated for an 'irreducible, complete variety', while the multi-scale compactification MS(μ)^∘ is described earlier as a complex orbifold with normal crossings boundary. The application in Corollary 1.2 therefore needs justification: one must either note that MS(μ)^∘ has a coarse moduli space that is a projective variety and that boundary connectedness is preserved, or state and use a stack-theoretic version of Goodman's theorem. As written, this is a logical gap in the derivation of the corollary from the theorem.","section":"Corollary 1.2"}],"minor_comments":[{"comment":"The title contains 'STRA T A' with a spurious space; this appears to be a formatting artifact but should be corrected.","section":"Title and abstract"},{"comment":"The definition Δ'_H = Δ_H \\ (Δ_H ∩ Δ_V) is clear, but in Corollary 1.3(2) the notation Δ'_H(N) is used before the locus is precisely described; a brief clarification of how Δ'_H(N) is induced from the multi-scale boundary of the closure of N would help.","section":"Section 1, Introduction, notation Δ'_H"},{"comment":"The sentence about the connectedness of the total boundary following from connectedness of Δ_H references [DGL25, Claim B] without a self-contained argument; given the paper's goal of offering independent explanations, a one-sentence summary of that implication would improve readability.","section":"Final paragraph of Section 1"}],"recommendation":"major_revision","confidential_remarks":"The dependence on the author's own published work (Che24) is legitimate and clearly disclosed. The main unresolved issue is whether the affineness of P(μ)^∘ ⊔ Δ'_H is actually proved in Che24 Section 4.4; if so, the author should quote the precise result and show how it applies after deleting Δ_V. If not, Theorem 1.1(2) and the vertical-boundary corollaries would not follow. The holomorphic alternative proof's scaling error is fixable by citing a standard existence theorem for square-tiled surfaces or by relying directly on DGL25. The paper is very short, and these gaps are localized; a careful revision could make it acceptable."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The useful new observation here is Theorem 1.1(1): once you know meromorphic strata are affine (Che24), Goodman's theorem gives connected boundary in every complete algebraic compactification, not just the multi-scale one. That is a genuine conceptual upgrade over DGL25's degeneration argument, and it explains the phenomenon in the meromorphic case without explicit boundary computations. The subvariety and k-differential corollaries are sensible add-ons, and the paper is honest about what it does and does not do.\n\nI agree with the reader's conditional verdict. The clean part is real. If Che24's affineness theorem is right, part (1) follows immediately, and I have no objection to that step. The subvariety corollary also follows from the fact that closed subsets of affine varieties are affine; that's standard.\n\nThe soft spot is Theorem 1.1(2). The proof is essentially one sentence: the proof in Che24 Section 4.4 applies 'verbatim' to P(μ)^∘ ⊔ Δ'_H because the divisor class relations still hold over horizontal-only stable differentials. That is not shown. Affineness of P(μ)^∘ plus the full boundary is one statement; affineness of the partial compactification keeping only horizontal nodes is strictly stronger unless Che24's argument explicitly exhibits the vertical boundary as an ample divisor and then deletes it. The divisor class cone on the partial compactification is different, and the 'verbatim' step needs a real check. Since Corollary 1.2's vertical-boundary connectedness and the subvariety corollaries inherit this step, this is load-bearing, not cosmetic.\n\nThere is a second, smaller issue in the holomorphic part. Claim 1.5's proof says that by scaling differentials to be arbitrarily large, one gets integral period coordinates. Scaling multiplies all periods by a common complex number; it does not independently force real and imaginary parts to be integral. Square-tiled surfaces exist, but the justification as written is at best incomplete. This affects an alternative argument, not the main meromorphic theorem, but it should be corrected.\n\nThe citation pattern is heavy on self-citations, but Che24 is a published, independent result, so that is not a problem. The paper is not fully self-contained, and it should say more explicitly that Theorem 1.1 rests on Che24's affineness theorem.\n\nBottom line: the core idea is correct and worth publishing; part (2) needs a real proof, and the holomorphic remark needs fixing. Send it to peer review, with the expectation of a modest revision.","headline":"A short, mostly clean note: affine strata plus Goodman's theorem gives boundary connectedness in any compactification; part (2) of the main theorem, however, has a load-bearing 'applies verbatim' step that needs real verification.","tokens_in":5733,"tokens_out":1270,"would_cite":true,"duration_ms":15233,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["14H10","32G15","30F30"],"pacs":[],"model":"deepseek-v4-flash","headline":"Meromorphic strata of differentials have connected boundaries in every complete algebraic compactification.","keywords":["meromorphic differentials","strata of differentials","multi-scale compactification","affine varieties","boundary connectedness","Teichmüller curves","k-differentials","linear subvarieties"],"falsifier":"A concrete way to decide the claim is to compute the boundary of the multi-scale compactification for the genus-one meromorphic stratum with signature $\\mu=(2,-1,-1)$; if the total boundary $\\Delta_H \\cup \\Delta_V$ or the vertical boundary $\\Delta_V$ has more than one connected component, the theorem is false. Equivalently, any meromorphic signature of dimension at least two admitting a complete algebraic compactification with disconnected boundary would refute the affineness-to-connectedness mechanism.","tokens_in":4594,"feed_emoji":"📐","tokens_out":18682,"duration_ms":160936,"temperature":0.7,"pith_summary":"The paper studies moduli spaces that parameterize curves equipped with a meromorphic differential whose zeros and poles have fixed orders. Its main point is that once such a stratum component has dimension at least two, its boundary is connected in every complete algebraic compactification—a compact algebraic space containing the stratum as a dense open subset—no matter how the compactification is chosen. This answers a question left open by earlier work that proved boundary connectedness only for the standard multi-scale compactification of these spaces. The explanation is intrinsic: meromorphic strata are affine varieties, and a classical result says the complement of an affine open set in a complete variety is connected. The same mechanism extends to subvarieties, to strata of $k$-differentials with a pole of order at least $k$, and—by a different Teichmüller-curve argument—to the horizontal and vertical boundary pieces in the holomorphic case.","feed_headline":"Boundaries of meromorphic differential strata are always connected","feed_subtitle":"A short affineness argument proves it for every algebraic compactification, not just the multi-scale one","key_machinery":"The load-bearing object is the affineness of the stratum $P(\\mu)^{\\circ}$ for meromorphic signatures—the fact that this space can be embedded as a closed subset of affine space, not merely of projective space—established in the cited work [Che24, Theorem 1.2]. Affineness triggers a classical topological fact: in an irreducible complete variety of dimension at least two, the complement of an affine open subset is connected. The paper's second move is to show that the same proof works for $P(\\mu)^{\\circ} \\sqcup \\Delta'_H$, the stratum enlarged by the horizontal-only boundary locus—stable differentials whose level graph has a single level and at least one horizontal edge, with simple poles of opposite residues on the two branches—so that this larger open set is also affine. This single affineness statement carries the entire argument: every boundary-connectedness conclusion in the paper is a corollary of it.","core_discovery":"The paper's central claim is Theorem 1.1(1): for a meromorphic signature $\\mu$ with $\\dim_{\\mathbb{C}} P(\\mu)^{\\circ} \\ge 2$, if $\\bar{P}(\\mu)^{\\circ}$ is any irreducible complete algebraic variety containing $P(\\mu)^{\\circ}$ as an open subset, then the complement $\\bar{P}(\\mu)^{\\circ} \\setminus P(\\mu)^{\\circ}$ is connected. In other words, all compactifications of a meromorphic stratum component have connected boundary, so the property is intrinsic to the stratum rather than to a chosen compactification. Theorem 1.1(2) widens the statement: the union $P(\\mu)^{\\circ} \\sqcup \\Delta'_H$, where $\\Delta'_H$ is the locus of stable differentials with horizontal nodes only, is also affine, and hence the complement of this union in any complete compactification is connected. From these two statements the paper derives connectedness of the total and vertical boundary in the multi-scale compactification, and transfers the result to irreducible subvarieties and to $k$-differentials with a pole of order at least $k$. For holomorphic strata, it proves that the horizontal boundary meets every irreducible component of the vertical boundary, recovering the key steps of the earlier degeneration proof.","pith_inferences":["The proof decouples boundary connectedness from the explicit combinatorics of a specific compactification; the same mechanism would predict connected boundaries for any moduli space whose open stratum is known to be affine, such as some strata of quadratic differentials, if affineness can be established there.","The affineness of $P(\\mu)^{\\circ} \\sqcup \\Delta'_H$ is stronger than the main theorem strictly requires, and suggests that the horizontal-only boundary locus is a natural affine enlargement of the stratum; further boundary strata might admit similar affine enlargements if the divisor-class relations extend to them.","The holomorphic argument shows that square-tiled surfaces, or arithmetic Teichmüller curves, are enough to force every vertical boundary component to meet the horizontal boundary; a testable extension would be whether non-arithmetic Teichmüller curves yield the same intersection pattern."],"forward_implications":["For meromorphic signatures with dimension at least two, the total boundary $\\Delta_H \\cup \\Delta_V$ and the vertical boundary $\\Delta_V$ of the multi-scale compactification are both connected.","Any irreducible subvariety $N$ of a meromorphic stratum with $\\dim_{\\mathbb{C}} N \\ge 2$ has connected boundary in every complete compactification, as does the union of $N$ with its horizontal-only boundary locus.","Irreducible linear subvarieties of meromorphic strata, and irreducible components of strata of $k$-differentials with a pole of order at least $k$, have connected total and vertical boundaries in the multi-scale compactification.","Because affineness is preserved by finite morphisms, the result covers fully labeled, partly labeled, and unlabeled versions of the strata.","For holomorphic differentials, the horizontal boundary is non-empty and intersects every irreducible component of the vertical boundary, so the total boundary is connected once the horizontal boundary is known to be connected."],"supporting_citations":[{"why":"Supplies the theorem that meromorphic strata P(μ)^∘ are affine, and the Section 4.4 divisor-class proof that the paper extends to P(μ)^∘ ⊔ Δ'_H.","marker":"[Che24]"},{"why":"Provides the classical result used in the proof: the complement of an affine open subset in a complete variety is connected.","marker":"[Goo69]"},{"why":"Defines the multi-scale compactification and the horizontal/vertical boundary divisors that appear in the corollaries.","marker":"[BCGGM24]"},{"why":"The earlier work that established boundary connectedness in the multi-scale compactification and whose claims for holomorphic strata are recovered by the Teichmüller-curve argument.","marker":"[DGL25]"},{"why":"Classifies connected components of meromorphic strata and of strata with two simple poles, needed for the component notation and for connectedness of the horizontal boundary.","marker":"[Boi15]"},{"why":"Records that closed subsets of affine varieties are affine, used to extend the results from strata to subvarieties.","marker":"[Mum99]"},{"why":"Supplies the fact that Teichmüller curve closures meet only the horizontal boundary, used in the holomorphic proof.","marker":"[CM12]"}],"fun_headline_variants":["Meromorphic strata: boundaries connected in every compactification","Affine argument shows meromorphic stratum boundaries always connected","Boundary connectedness is intrinsic for meromorphic differential strata","All compactifications of meromorphic strata have connected boundaries","Simple proof: meromorphic strata have universally connected boundaries"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The whole argument rests on two cited affineness facts—that $P(\\mu)^{\\circ}$ is affine and that $P(\\mu)^{\\circ} \\sqcup \\Delta'_H$ is affine—and this paper does not prove either, so the boundary-connectedness conclusions stand or fall with those affineness statements.","fun_headline_variants_meta":{"raw":{"variants":["Meromorphic strata: boundaries connected in every compactification","Affine argument shows meromorphic stratum boundaries always connected","Boundary connectedness is intrinsic for meromorphic differential strata","All compactifications of meromorphic strata have connected boundaries","Simple proof: meromorphic strata have universally connected boundaries"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000332,"raw_usage":{"total_tokens":1911,"prompt_tokens":1073,"completion_tokens":838,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":689,"completion_tokens_details":{"reasoning_tokens":761}},"tokens_in":689,"tokens_out":838,"duration_ms":8157,"temperature":1.0,"reasoning_tokens":761,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-15T22:24:46.491792+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"A concrete way to decide the claim is to compute the boundary of the multi-scale compactification for the genus-one meromorphic stratum with signature $\\mu=(2,-1,-1)$; if the total boundary $\\Delta_H \\cup \\Delta_V$ or the vertical boundary $\\Delta_V$ has more than one connected component, the theorem is false. Equivalently, any meromorphic signature of dimension at least two admitting a complete algebraic compactification with disconnected boundary would refute the affineness-to-connectedness mechanism.","supporting_citations":[],"review_version":1}