{"id":"d34719d9-abc8-48ee-9bbf-dac7b6d594f5","arxiv_id":"1908.09390","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Normal crossings symplectic divisors and varieties are defined from local and global viewpoints and shown to be equivalent, extending prior simple-crossings results.","lead":"This paper gives a symplectic-topology definition of normal crossings singularities, both locally and globally, and proves the two perspectives agree. It extends the authors' earlier simple-crossings framework to arbitrary normal crossings, a foundation for degeneration and Gromov-Witten applications.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 4.5 rests on an unproven ψ-equivariant transfer of the cut-down lemmas from [5]; a written proof is needed before the weak homotopy equivalence is established.","rationale":"The reader's verdict is CONDITIONAL, and the reader identified the transfer of Lemmas 5.8 and 5.9 from [5] to the NC setting as the weakest assumption. My reading agrees that this transfer is the central load-bearing step, but I sharpen it: the transfer must be equivariant with respect to the involution ψ that defines an NC variety globally. The paper's Section 5 gives an inductive construction for weak regularizations but does not prove that the cut-down from weak to strong can be made ψ-equivariant. This is not a question of external consensus or mathematical taste; it is an internal gap between what Theorem 4.5 states and what the proof establishes. The paper is otherwise careful: definitions are precise, local/global equivalences are proved, and the examples are consistent. No red flags such as data fitting or invented entities appear. The concern does not change the reader's verdict: CONDITIONAL remains appropriate, since the gap is real but plausibly fillable. A full proof of the equivariant cut-down, or at least a verification in a nontrivial example such as Example 4.17, would settle the matter.","tokens_in":36653,"tokens_out":5341,"duration_ms":54760,"concrete_test":"State and prove the equivariant version of [5, Lemma 5.8] for a compatible pair (ι,ψ): show that any weak ~ω-regularization for (ι,ψ) can be cut down to an ~ω-regularization in the sense of Definition 4.8, preserving the ψ-equivariance conditions (4.30)–(4.31). As a minimal nontrivial case, work out Example 4.16 (two disjoint copies of a divisor V identified by a fixed-point-free symplectomorphism ψ) and Example 4.17 (folding along V), verifying explicitly that the domain-extension in the cut-down can be chosen invariant under the induced maps Dψ_k on the normal bundles. If the cut-down can be made equivariant in these cases, Theorem 4.5 is plausible but still needs a written proof; if not, Theorem 4.5 is false or requires additional hypotheses.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The paper's central claim, Theorem 4.5, is not proved directly. Section 5 reduces it to two assertions: (i) weak regularizations (Definition 5.2) can be cut down to strong regularizations by [5, Lemma 5.8 and Corollary 5.9]; and (ii) 'the same reasoning applies' to arbitrary NC varieties from the global perspective of Sections 4.2 or 4.4. Assertion (ii) is the load-bearing step. In the global perspective, a regularization for an NC variety is a tuple (Ψ_{k;i}) for the quotient data (ι,ψ) satisfying the ψ-equivariance conditions (4.17)–(4.18), or equivalently a refined ι-regularization satisfying (4.30)–(4.31) by Proposition 4.12. The cut-down lemmas in [5] are stated for the SC setting, where the normalization is a disjoint union of smooth components and the involution merely interchanges local branches along double loci. An arbitrary NC variety allows the involution ψ to act nontrivially on higher strata and on normal bundles, as in the '3-fold' example of Figure 4 and in Example 4.17. The domain-extension procedure that converts a weak regularization into a strong one must be performed ψ-equivariantly; the paper does not show that the [5] construction can be made equivariant, nor does it prove the needed analogue of Lemma 5.8 for the compatible pair (ι,ψ). Without this, the weak-homotopy-equivalence conclusion of Theorem 4.5 is unsupported. The paper itself flags this gap: Section 5 says the proof 'revolves around' the weak notion and asserts the transfer rather than carrying it out.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper extends the authors' previous work on simple crossings (SC) symplectic divisors and varieties to arbitrary normal crossings (NC) symplectic divisors and varieties. It gives local and global definitions of NC divisors and NC varieties, proves that these perspectives are equivalent (Propositions 3.6 and 4.12, and the correspondence in Section 4.3), and states Theorem 4.5 as the NC analogue of [5, Theorem 2.17], asserting that the projection from the space of regularizations to the space of symplectic structures is a weak homotopy equivalence. Section 5 sketches the proof of Theorem 4.5 by reducing to a weaker notion of regularization and asserting that the cut-down lemmas of [5] transfer to the NC setting.","tokens_in":36977,"tokens_out":3965,"duration_ms":39713,"significance":"If Theorem 4.5 is established, the paper provides a foundational framework for regularized almost complex structures on normal crossings symplectic varieties, with direct applications to Gromov-Witten theory and symplectic sum constructions. The manuscript is careful and detailed in its definitions, and it contains substantial new material: the local-global equivalence for NC varieties, the resolution uniqueness result (Proposition 3.14), the alternative global characterization of regularizations (Proposition 4.12), and a range of clarifying examples, including non-SC NC varieties. However, the load-bearing existence theorem is not proved in the manuscript: the proof in Section 5 depends on an unproven transfer of cut-down lemmas from the SC setting, and the required equivariance is precisely the new difficulty in the NC case. The central claim is therefore currently conditional on a nontrivial missing argument.","major_comments":[{"comment":"The reduction of Theorem 4.5 to weak regularizations is not complete without a proof of the cut-down step in the NC setting. The manuscript states: 'By Lemma 5.8 and Corollary 5.9 in [5], weak regularizations and equivalences between them in the simple NC setting can be cut down to regularizations and equivalences between regularizations. The same reasoning applies in the arbitrary NC setting viewed from the global perspective of either Section 4.2 or 4.4.' This is the only justification for passing from weak to strong regularizations. In the SC setting of [5], the normalization is a disjoint union of smooth components and the involution ψ only interchanges branches along double loci; in the NC setting, ψ acts on higher strata and on normal bundles, as illustrated by Example 4.17 and Figure 4. The compatibility conditions (4.17)–(4.18), or equivalently (4.30)–(4.31) via Proposition 4.12, require the cut-down construction to be ψ-equivariant. The manuscript does not prove that [5, Lemma 5.8] and [5, Corollary 5.9] admit such an equivariant extension. Since the weak-homotopy-equivalence conclusion of Theorem 4.5 depends exactly on this step, the central claim is currently unsupported.","section":"Section 5, final two paragraphs"},{"comment":"The global notion of a weak ω-regularization for the pair (ι,ψ) is introduced only informally. The paragraph beginning 'Suppose (~X,~ω) and (ι,ψ) are as in Definition 4.8' describes a tuple satisfying (4.21) and a list of conditions, with the first condition in (3.23) 'may not hold' and the second holding only over an intersection of domains. No explicit space of weak regularizations, no topology, and no equivalence relation for weak regularizations in the global perspective is defined. The inductive proof later uses equivalences of weak regularizations over open sets, so these missing definitions are not merely cosmetic. Theorem 4.5 is a statement about families and homotopy equivalences; without a precise global notion of weak regularization, the argument in Section 5 cannot be verified.","section":"Section 5, weak regularization in the global perspective"},{"comment":"Theorem 3.4, the NC divisor analogue of [5, Theorem 2.13], is stated without a direct proof; the text says it 'is implied by Theorem 4.5' and refers to Example 4.15. Since the proof of Theorem 4.5 contains the gap described above, the status of Theorem 3.4 is also unresolved. The authors should either give a direct proof of Theorem 3.4 or complete the proof of Theorem 4.5 so that the implication is valid.","section":"Theorem 3.4 and its relation to Theorem 4.5"}],"minor_comments":[{"comment":"The sentence 'The last task is readily accomplished by combining the proof of [5, Theorem 2.7] with the local perspective of Section 4.1' appears to contain a typo: the reference is likely to [5, Theorem 2.17] or [5, Theorem 2.13]. Please check the intended theorem.","section":"Section 5, first paragraph after Definition 5.2"},{"comment":"The title reads 'Normal Crossings Singularities for Symplectic Topology, I I' with an extra space; this is a formatting typo.","section":"Title page"}],"recommendation":"major_revision","confidential_remarks":null},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The real news here is the extension of the authors' SC framework to arbitrary normal crossings, and the local/global equivalence is actually worked out rather than hand-waved. Proposition 3.6 identifying NC symplectic divisors with transverse immersions whose k-fold pullbacks are symplectic, and Lemma 4.9 matching the global quotient picture with NC atlases, are genuine contributions. The examples at the end (the fold construction, the 3-fold with the non-trivial ψ action) are useful and show the new definitions are not vacuous. I also appreciate that the paper is honest about what is and isn't proved.\n\nThe soft spot is exactly where the stress test points: Theorem 4.5 is the main result, and its proof is not actually carried out. Section 5 reduces it to cutting weak regularizations down to strong ones, citing Lemmas 5.8 and 5.9 from [5], and then says 'the same reasoning applies' for arbitrary NC viewed from the global perspective. The concern is not minor. In the arbitrary NC case the involution ψ can act nontrivially on higher strata and on normal bundles, as in their own examples, and the cut-down in [5] was not proved ψ-equivariantly. Proposition 4.12 shows that ψ-equivariance is equivalent to conditions (4.30)–(4.31), but it does not prove those conditions survive the cut-down. So the weak homotopy equivalence is plausible but unsupported in this text. I do not see circularity or invented entities: the paper is open about relying on [5], and the new equivalence theorems are benchmarked against classical geometry. The gap is a proof-transfer gap, not a disguised fitting problem.\n\nFor whom? Symplectic topologists working on Gromov–Witten degeneration formulas, symplectic sums, or log-style structures in the symplectic category. They will want the definitions and equivalences, and they will want to know whether Theorem 4.5 really holds. The paper deserves a serious referee, but the referee should be asked to demand a fuller proof of the transfer step—either written out or with a precise reference to a companion paper where the ψ-equivariant cut-down is proved. If the authors cannot supply that, Theorem 4.5 should be downgraded to a conjecture with strong evidence.","headline":"Extends their SC symplectic divisor/variety program to arbitrary normal crossings with real new equivalences, but the central homotopy theorem still rests on an unproved transfer from their earlier paper.","tokens_in":37511,"tokens_out":1291,"would_cite":true,"duration_ms":16573,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["53D35","53D45","14J17"],"pacs":[],"model":"deepseek-v4-flash","headline":"For any normal crossings symplectic variety, the paper claims regularizations exist virtually: the space of regularizations is weakly homotopy equivalent to the space of symplectic structures.","keywords":["normal crossings singularities","symplectic divisors","symplectic varieties","regularizations","weak homotopy equivalence","transverse immersions","Gromov-Witten theory","almost complex structures"],"falsifier":"Take the 3-fold folding example of Section 4.5 and explicitly compute the normal-bundle isomorphisms that the overlap of two NC charts induces; if a positive-area triple point forces the product Hermitian structure on one chart to differ from the pulled-back structure on the other by a nonzero multiple of the symplectic class, then the weak regularizations cannot be strengthened and Theorem 4.5 would fail for that family.","tokens_in":36441,"feed_emoji":"","tokens_out":4170,"duration_ms":46450,"temperature":0.7,"pith_summary":"This paper extends the authors' earlier topological treatment of simple normal crossings (SC) symplectic divisors and varieties to arbitrary normal crossings (NC) singularities. It gives two equivalent descriptions: local models that look like SC configurations in charts, and global models as images of transverse immersions with compatible involutions. The central reach is Theorem 4.5, which claims that for any NC symplectic variety, the space of regularizations maps to the space of symplectic structures as a weak homotopy equivalence. If correct, every NC symplectic variety admits the regularized almost complex structures needed for Gromov-Witten type constructions, generalizing the simple-crossings theorem.","feed_headline":"Normal-crossing singularities get symplectic regularization","feed_subtitle":"A weak homotopy equivalence extends simple-crossings machinery to all normal-crossing divisors and varieties.","key_machinery":"The load-bearing object is a regularization: a compatible system of tubular-neighborhood diffeomorphisms, one for each stratum of the divisor or variety, equipped with Hermitian line-bundle data that turns the model normal-bundle symplectic form into the ambient symplectic form. For NC objects the regularization is assembled from local SC regularizations via chart compatibility, or globally from reified regularizations of the transverse immersion. A deliberately weaker version, weak regularizations, is the proof device: Section 5 argues that the SC proof of the weak homotopy equivalence goes through for weak regularizations in the NC setting, then cites the SC lemmas saying weak regularizations can be strengthened to genuine ones.","core_discovery":"The paper's central claim is that the topological SC symplectic divisor and variety notions, and their regularization machinery, survive passage to arbitrary normal crossings. An NC symplectic divisor is defined locally as an SC symplectic divisor, and equivalently as the image of a closed transverse immersion of codimension two whose multiple-point strata inherit symplectic forms with matching intersection orientations. An NC symplectic variety is defined by an NC atlas whose local models are SC symplectic configurations, and equivalently as a quotient of a symplectic manifold by a compatible involution on its normalization. The main theorem, Theorem 4.5, asserts that the projection from the space of regularizations for an NC symplectic variety to the space of its symplectic structures is a weak homotopy equivalence; the proof is sketched in Section 5 by reducing to weak regularizations and transferring the SC proof, rather than carried out in full here.","pith_inferences":["If the weak homotopy equivalence is established, Gromov-Witten invariants for NC symplectic varieties can likely be constructed by the same regularization route used for SC varieties, without adding smoothness assumptions on the singularities.","The global immersion viewpoint suggests a computational extension: many NC varieties can be encoded by finitely many local charts and an involution, reducing regularization questions to patching Hermitian bundles over the multiple-point strata.","The weak-regularization strategy, if it succeeds, may also apply to log or exploded variants of Gromov-Witten theory, where only local compatibility of almost complex structures is required.","A natural test beyond the paper is whether the weak homotopy equivalence remains true for families of NC varieties with varying symplectic structures; the paper's local inductive proof structure indicates this should be checked stratum by stratum."],"forward_implications":["If Theorem 4.5 holds, the projection from regularizations to symplectic structures is a weak homotopy equivalence, giving a virtual existence of regularized almost complex structures for every NC symplectic variety.","The local and global perspectives on NC symplectic divisors and varieties are interchangeable, so a construction can be checked either chart-by-chart or via transverse immersions.","The divisor-level analogue, Theorem 3.4, follows from the variety-level theorem, matching the situation for SC singularities.","The regularization framework extends symplectic sum and degeneration techniques from SC to arbitrary NC symplectic divisors and varieties.","The examples show that genuinely non-SC NC configurations, including folded varieties and 3-fold identifications, are admitted by the new definitions."],"supporting_citations":[{"why":"The prior SC theorem and its proof that Theorem 4.5 extends; supplies the SC regularization definitions, Theorem 2.17, and the weak-regularization lemmas 5.8 and 5.9.","marker":"[5]"},{"why":"Warner's manifold theory supplies the inverse/implicit function theorem and immersion embedding results used in Lemma 3.5 and in the resolution uniqueness arguments.","marker":"[20]"},{"why":"Gromov's introduction of pseudoholomorphic curves motivates the need for symplectic notions of singular subvarieties.","marker":"[9]"},{"why":"The survey of the authors' program describes the intended applications of the NC symplectic divisor and variety framework.","marker":"[4]"},{"why":"The subsequent smoothability criterion for NC symplectic varieties is the announced payoff that the present definitions and regularizations are designed to support.","marker":"[6]"}],"fun_headline_variants":["Symplectic regularization extends to all normal crossings","Normal crossings: from simple to all in symplectic topology","Weak homotopy equivalence for regularized NC symplectic varieties","All normal crossings gain symplectic divisor equivalence"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The result rests on the assertion that weak regularizations, which are easier to glue in the general normal-crossings setting, can be cut down to genuine regularizations exactly as in the simple-crossings case; the paper sketches this transfer rather than proving it in the NC context.","fun_headline_variants_meta":{"raw":{"variants":["Symplectic regularization extends to all normal crossings","Normal crossings: from simple to all in symplectic topology","Weak homotopy equivalence for regularized NC symplectic varieties","All normal crossings gain symplectic divisor equivalence"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000243,"raw_usage":{"total_tokens":1464,"prompt_tokens":813,"completion_tokens":651,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":429,"completion_tokens_details":{"reasoning_tokens":585}},"tokens_in":429,"tokens_out":651,"duration_ms":6253,"temperature":1.0,"reasoning_tokens":585,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T11:12:34.732159+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take the 3-fold folding example of Section 4.5 and explicitly compute the normal-bundle isomorphisms that the overlap of two NC charts induces; if a positive-area triple point forces the product Hermitian structure on one chart to differ from the pulled-back structure on the other by a nonzero multiple of the symplectic class, then the weak regularizations cannot be strengthened and Theorem 4.5 would fail for that family.","supporting_citations":[{"cited_title":"Farajzadeh Tehrani, M","cited_arxiv_id":null,"evidence_quote":"The prior SC theorem and its proof that Theorem 4.5 extends; supplies the SC regularization definitions, Theorem 2.17, and the weak-regularization lemmas 5.8 and 5.9."},{"cited_title":"Warner, Foundations of Differentiable Manifolds and Lie Groups , GTM 94, Springer- Verlag, 1983 40","cited_arxiv_id":null,"evidence_quote":"Warner's manifold theory supplies the inverse/implicit function theorem and immersion embedding results used in Lemma 3.5 and in the resolution uniqueness arguments."},{"cited_title":"Gromov, Pseudoholomorphic curves in symplectic manifolds , Invent","cited_arxiv_id":null,"evidence_quote":"Gromov's introduction of pseudoholomorphic curves motivates the need for symplectic notions of singular subvarieties."},{"cited_title":"Farajzadeh Tehrani, M","cited_arxiv_id":null,"evidence_quote":"The survey of the authors' program describes the intended applications of the NC symplectic divisor and variety framework."},{"cited_title":"The Smoothability of Normal Crossings Symplectic Varieties","cited_arxiv_id":"1410.2573","evidence_quote":"The subsequent smoothability criterion for NC symplectic varieties is the announced payoff that the present definitions and regularizations are designed to support."}],"review_version":1}