{"id":"b7653295-1793-465a-a661-0fd30ad9a938","arxiv_id":"1908.08324","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For non-dicritical complex hyperbolic foliations in any dimension, every connected component of the exceptional divisor minus the nodal separator set is met by the strict transform of an invariant hypersurface, and s separator blocks split the divisor into exactly s+1 components.","lead":"This paper proves a higher-dimensional version of a classical result about holomorphic foliations: after resolving singularities and deleting the nodal separator set from the exceptional divisor, every remaining connected region contains the trace of a genuine invariant hypersurface. This generalizes the refined Camacho-Sad theorem beyond dimension two, but the proof depends on a resolution-of-singularities assumption that is openly unproved in dimension four and higher.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorems 1 and 2 are conditional on the unproved admissible-desingularization statement in Remark 2, so the abstract's 'any ambient dimension' overstates what is established.","rationale":"I read the paper with the central claim in view: after a nodal reduction, the nodal separator set partitions the exceptional divisor into components, each decorated by an invariant hypersurface whose strict transform stays inside that component. The proof is a two-part structure: a combinatorial/topological count of components (Theorem 2, via Theorem 3 and the simple-connectedness of the combinatorial strata structure), and a geometric passage from the two-dimensional base case to arbitrary dimension (Theorem 5, via two-equireduction and reduction to dimension two). Both parts are plausible and I found no clear internal gap in the displayed arguments. The identified concern is the explicit unproved premise in Remark 2 of Section 3: the existence of admissible reductions of singularities for hypersurface pairs in arbitrary dimension. This premise is genuinely load-bearing because Proposition 2 uses it to produce the nodal reductions to which both theorems apply, and Appendix 10 only outlines dimension three. The authors state this assumption openly, so the paper is honest, but the abstract's unqualified 'any ambient dimension' is stronger than what is established. The reader's CONDITIONAL verdict is the right one: the mathematical structure of the proof is sound conditional on this external statement, and the statement is likely true in light of Hironaka-style resolution, but it is not proved here. My stress-test therefore confirms the reader's weakest-assumption analysis and does not change the verdict.","tokens_in":34107,"tokens_out":4804,"duration_ms":52835,"concrete_test":"Determine whether the Remark 2 existence statement has a complete proof in the literature (e.g., in later works by Cano, Ravara-Vago, or others on admissible desingularization of hypersurface pairs). If none exists, attempt to extend the Appendix 10 invariant (ν_p, d_p, ζ_p) to n = 4 and prove that the 'simple' condition—pairwise disjoint strict transforms and connected intersections—can be enforced by blow-ups whose centers lie in the singular locus of E ∪ H. A successful proof would make Theorems 1 and 2 unconditional; a counterexample would invalidate them.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central results are stated for nodal reductions of a GH-foliation, and the existence of such reductions is obtained from Proposition 2, which in turn rests entirely on the assumption in Remark 2: every ambient space M0 and finite list L0 of irreducible hypersurfaces admits an admissible reduction of singularities. The paper explicitly notes that this is only outlined for dimension three (Appendix 10) and that for n >= 4 'there are no explicit statements in the literature'. This is not an internal inconsistency, but it is load-bearing: if the assumed embedded desingularization with the paper's unusually strong 'simple' condition (pairwise disjoint strict transforms and connected intersections) fails in some dimension, the nodal reductions to which Theorems 1 and 2 apply may not exist, and the theorems lose their stated domain. The proof itself appears internally coherent: the combinatorial-topological counting in Sections 6-7 and the reduction to the two-dimensional base case in Section 8 are plausible and the external base case [24] is cited. The decisive weakness is precisely the unproved desingularization premise, which the authors openly flag but do not supply for n >= 4.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The manuscript generalizes to arbitrary ambient dimension the two-dimensional theorem of Ortiz-Rosales-Voronin: after a nodal reduction of singularities of a non-dicritical complex-hyperbolic (GH) foliation on (C^n,0), each connected component of the exceptional divisor minus the nodal separator set is met by the strict transform of an invariant hypersurface whose intersection with the divisor lies in that component (Theorem 1). It also proves that if the separator set has s nodal separating blocks, the complement has exactly s+1 connected components (Theorem 2). The main tools are: nodal separating blocks and nodally reduced GH-foliated spaces (Section 5); a purely combinatorial theorem counting connected components for simply connected strata structures with a datum of nodal strata (Theorems 3, Sections 6-7); and a reduction to the two-dimensional case via two-equireduction (Section 8). The paper is explicit that the existence of nodal reductions is taken as an assumption (Remark 2, Section 3), with only an outline of the required desingularization in dimension three (Appendix 10).","tokens_in":34190,"tokens_out":8360,"duration_ms":91692,"significance":"If the standing assumptions are met, the results provide a natural higher-dimensional counterpart of the refined Camacho-Sad theorem and a clean statement that nodal separating blocks separate the exceptional divisor exactly like nodal points in dimension two. The combinatorial core is worked out in detail: the parity lemma (Lemma 4), the component-counting Proposition 6, and the stability of simple connectedness under blow-up (Section 7.3) are plausible and internally consistent. The paper is also honest about its main standing assumption, which is a genuine strength of the exposition. The value of the paper would be substantially increased if the admissible-desingularization premise were proved, or if the statements were made explicitly conditional on it.","major_comments":[{"comment":"Theorems 1 and 2 are stated unconditionally in the abstract and introduction, but their domain of validity is exactly the domain of the unproved admissible-desingularization statement in Remark 2. Proposition 2 derives the existence of reductions of singularities of GH-foliations from that statement, and Proposition 3 converts any such reduction into a nodal reduction; hence the very objects to which Theorems 1 and 2 apply may fail to exist in dimension n >= 4 if the assumption fails. The paper itself notes that the statement is only outlined in dimension three (Appendix 10) and that 'there are no explicit statements in the literature' for n >= 4. This is load-bearing rather than cosmetic. Please either prove the admissible-desingularization statement, cite a published theorem that implies it, or restate the main results explicitly as conditional on this assumption and adjust the abstract accordingly.","section":"§3, Remark 2; §5.1; §10"},{"comment":"The reduction to dimension two, which is the core of the proof of Theorem 1, depends on Propositions 9 and 10, but their proofs are not given in the manuscript: the text says the proof is 'essentially contained in [4]' and 'See [4]'. Since the present paper claims a result in arbitrary ambient dimension and uses the framework of standard ambient spaces and nodal separator sets, the precise statements in [4] that imply Propositions 9 and 10 should be identified, or the proofs should be included. Without this, the induction in Section 8.4 is not self-contained and the applicability of the two-dimensional theorem [24, Corollary 4.1] cannot be verified from the material presented.","section":"§8.2, Propositions 9 and 10"}],"minor_comments":[{"comment":"The text contains an unresolved cross-reference 'see Remark ??'; this should be replaced by the number of the intended remark.","section":"§5.2, Example 2"},{"comment":"The notation 'Ei ⊂ C' for a connected component C of the open set E \\ |S| is inconsistent; since C is open in E, the correct formulation should be 'Ei ∩ C ≠ ∅' or 'Ei ⊂ \\overline{C}'.","section":"§8.1, Remark 16"},{"comment":"In the statement of Theorem 2, 'separator set of (M, E, ~F)' contains a stray tilde before F; it should read '(M, E, F)'.","section":"§1, Theorem 2"},{"comment":"There is a typo in the proof: 'admisible transformation' should be 'admissible transformation'.","section":"§5.1, Proposition 3"},{"comment":"The subsection title 'Combinatorial Strata Sructure After Blow-up' contains a typo; 'Sructure' should be 'Structure'.","section":"§7.2"}],"recommendation":"major_revision","confidential_remarks":"The combinatorial-topological part of the paper appears sound, and the authors are to be credited for stating their main standing assumption explicitly. However, the abstract and the statements of Theorems 1 and 2 overstate what is proved unless the admissible-desingularization assumption in Remark 2 is supplied or the theorems are presented conditionally. The editor may also wish to verify that [4] indeed contains Propositions 9 and 10 in the exact form needed here, since the geometric reduction depends on them."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Read the full text. Theorems 1 and 2 are new relative to the cited literature—[24] gives the two-dimensional base case, and the component-wise statement plus the s+1 count are not in any of the references. The proof has two separate halves. The combinatorial-topological half (Sections 6–7) is the strongest part: the parity lemma, the counting via the Φ_m maps, and the blow-up stability of simple connectedness are written out in detail and internally consistent. The geometric half (Section 8) is more compressed; it reduces to dimension two by two-equireduction and leans on the authors' own previous work [4]. That is acceptable if the cited base case holds, but it means a referee needs to trust those steps.\n\nThe soft spot is the one the paper itself points at. Remark 2 assumes, without proof, that admissible reductions of singularities exist for hypersurface pairs in arbitrary dimension, and Proposition 2 turns that into existence of nodal reductions. Theorems 1 and 2 are then stated for those reductions. The authors give an outline for dimension three and say explicitly that for n ≥ 4 the literature has no such statement. So the abstract's \"any ambient dimension\" is an overstatement: what is established is conditional on a strong desingularization result. This is not an internal contradiction, and it is not a manufactured flaw; it is just where the paper stands. If the desingularization result is supplied, the theorems carry through.\n\nI do not see a circularity problem. The base case is external [24], and the higher-dimensional proof reduces to it by restriction to transversals. The counting results are independent of the geometric input. The reliance on prior work is heavy, but it is concentrated in background that is cited, not reinvented.\n\nWho gets value: people working on desingularization of foliations and separatrix existence in higher dimension. This is a serious paper with a real new result, conditional on an open input it openly names. It deserves a serious referee, but the referee's first job is to verify whether the Remark 2 assumption is truly missing or can be imported from Hironaka-style resolution with the connectivity condition. If the authors can prove it, or restate the theorems conditionally in the abstract, I would take the theorems.","headline":"New conditional result: the nodal separating block counting and invariant hypersurface statement are genuinely new, but the 'any dimension' claim rests on an unproved desingularization assumption that the authors explicitly flag.","tokens_in":34924,"tokens_out":2426,"would_cite":false,"duration_ms":24882,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["37F75","32S65","14B05","32S45"],"pacs":[],"model":"deepseek-v4-flash","headline":"After resolving a singular foliation, every region cut out by nodal barriers contains an invariant hypersurface.","keywords":["singular holomorphic foliations","invariant hypersurfaces","nodal separating blocks","reduction of singularities","generalized hypersurface foliations","separatrices","exceptional divisor combinatorics","holomorphic foliations in higher dimension"],"falsifier":"A concrete counterexample would be a GH-foliation on $(\\mathbb{C}^4,0)$ with a nodal reduction for which some connected component $C$ of $E\\setminus|S|$ fails to meet any invariant hypersurface, contradicting Theorem 1; alternatively, exhibiting a four-dimensional pair $(M_0,L_0)$ of an ambient space and a finite list of irreducible hypersurfaces that admits no admissible reduction of singularities would remove the stated domain of the theorems, since the existence of nodal reductions is derived from that assumption.","tokens_in":33702,"feed_emoji":"","tokens_out":11823,"duration_ms":107523,"temperature":0.7,"pith_summary":"This paper proves a higher-dimensional analogue of the two-dimensional result that, after a nodal reduction of singularities of a holomorphic foliation germ, every connected component of the exceptional divisor minus the nodal points meets an invariant curve. For a non-dicritical complex hyperbolic (GH) foliation on $(\\mathbb{C}^n,0)$, the paper shows that each connected component $C$ of $E \\setminus |S|$ is met by the strict transform of a genuine invariant hypersurface of the original germ, and that this strict transform meets the divisor only inside $C$. A second result counts the regions: if the nodal separator set has $s$ nodal separating blocks, then $E \\setminus |S|$ has exactly $s+1$ connected components. The interest is that the leaf-space separation observed in dimension two persists in every ambient dimension, with invariant hypersurfaces witnessing each region.","feed_headline":"Nodal barriers leave an invariant hypersurface in every region","feed_subtitle":"In any dimension, resolved divisor regions each carry a genuine invariant hypersurface of the original foliation.","key_machinery":"The load-bearing objects are nodal separating blocks and combinatorial strata structures. A nodal separating block is a connected union of irreducible components of the singular locus of generic nodal type that meets only nodal and real saddle components; after a nodal reduction these blocks sit at corners of the exceptional divisor and act as barriers in the space of leaves. The separator set $S$ is their union, and the complement $E\\setminus|S|$ is studied through the combinatorial strata structure $H_M$ of the divisor, an abstract simplicial complex whose $1$-connected components are the connected components of the divisor. The counting mechanism is Theorem 3: on a simply connected strata structure with a datum of nodal strata, the number of $1$-connected components of the structure minus the separator closure is $n+1$, proved by a parity argument counting how many times a path crosses a given separating block, together with a combinatorial Seifert–van Kampen theorem. The ambient dimension is reduced by two-equireduction points, where a chosen transverse surface inherits a genuine two-dimensional reduction of singularities, so the known two-dimensional refined theorem can be applied at the end.","core_discovery":"The central claim is Theorem 1: for any nodal reduction $\\pi:(M,E,F)\\to((\\mathbb{C}^n,0),\\varnothing,F_0)$ of a GH-foliation, if $|S|$ is the support of the nodal separator set, every connected component $C$ of $E\\setminus|S|$ has an invariant hypersurface $H_0$ of $F_0$ whose strict transform $H$ satisfies $H\\cap C\\neq\\varnothing$ and $H\\cap E\\subset C$. The paper derives this from the more general Theorem 5, which allows an initial divisor $E_0$ and states that each component $C$ either contains the strict transform of an irreducible component of $E_0$ or contains a trace-type point through which an invariant branch passes. The proof joins the two-dimensional refined theorem on invariant branches, a two-equireduction argument that reduces the ambient dimension, and a purely combinatorial counting result (Theorem 3) showing that each nodal separating block splits one connected component of the divisor complement into two. The same count gives Theorem 2: $s$ separating blocks produce exactly $s+1$ components of $E\\setminus|S|$.","pith_inferences":["If the assumed admissible-reduction statement fails in dimension $\\geq 4$, the theorem's stated domain shrinks, but the conclusion could still hold for every concrete nodal reduction that exists, since the proof uses the reduction only through its combinatorial strata structure and two-equireduction properties.","The parity counting behind Theorem 3 suggests viewing the separator set as a cut locus in the dual complex of the divisor; one could ask whether a Morse-theoretic or Euler-characteristic proof of the $s+1$ count exists without the simple-connectivity hypothesis.","At a nodal separating block, local linearization supplies a real invariant hypersurface separating leaves; a testable extension would be to use these local real barriers to name the complex invariant hypersurface assigned to each component $C$, instead of proving existence only.","The same combinatorial counting may extend to dicritical or saddle-node foliations if 'nodal separating blocks' are replaced by a broader class of separating strata, although the paper explicitly restricts to GH-foliations."],"forward_implications":["For a GH-foliation germ, the number of invariant hypersurfaces that meet the exceptional divisor is at least the number $s+1$ of regions cut out by the nodal separator set, so no region between nodal barriers can be empty.","Because the strict transform of each found hypersurface meets the divisor only inside its own region, invariant hypersurfaces never cross a nodal separating block, matching the leaf-space separation seen at nodal points.","Theorem 2 gives the exact count: if exactly $s$ nodal separating blocks appear, the divisor complement has exactly $s+1$ connected components, so in any dimension the separator set behaves like $s$ nodal points in the plane.","Through the bijection between invariant hypersurfaces of the desingularized space and those of $F_0$, each region yields a genuine irreducible invariant germ $(H_0,0)\\subset(\\mathbb{C}^n,0)$, not merely a local or formal hypersurface.","The two-equireduction argument shows the higher-dimensional statement is ultimately a consequence of the two-dimensional refined theorem applied along carefully chosen transverse surfaces."],"supporting_citations":[{"why":"supplies the original two-dimensional invariant-branch theorem that this paper refines.","marker":"[8]"},{"why":"supplies the two-dimensional refined nodal-component theorem used as the base case in the induction.","marker":"[24]"},{"why":"supplies desingularization of non-dicritical holomorphic foliations and the existence of separatrices underlying GH-foliated spaces.","marker":"[3]"},{"why":"provides the two-equireduction and surface-reduction results that reduce the ambient dimension in the proof.","marker":"[4]"},{"why":"gives the simple-corner characterization showing that reduction of invariant hypersurfaces induces reduction of the foliation.","marker":"[13]"},{"why":"introduces nodal points and their leaf-space separation in dimension two, motivating the separator set.","marker":"[19]"},{"why":"supplies the combinatorial algebraic topology and Seifert–van Kampen tools used for the $s+1$ counting theorem.","marker":"[18]"},{"why":"supports the three-dimensional strong desingularization algorithm outlined in the appendix for the assumed admissible-reduction statement.","marker":"[12]"}],"fun_headline_variants":["Every nodal region holds an invariant hypersurface","Nodal separators ensure invariant hypersurfaces in all components","In any dimension, each divisor region has an invariant hypersurface","No nodal component is without an invariant hypersurface"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The argument assumes that every finite collection of hypersurfaces in any dimension can be resolved by a sequence of admissible blow-ups; the paper outlines this only in dimension three and notes that dimension four and higher have no explicit statement in the literature.","fun_headline_variants_meta":{"raw":{"variants":["Every nodal region holds an invariant hypersurface","Nodal separators ensure invariant hypersurfaces in all components","In any dimension, each divisor region has an invariant hypersurface","No nodal component is without an invariant hypersurface"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000782,"raw_usage":{"total_tokens":3395,"prompt_tokens":829,"completion_tokens":2566,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":445,"completion_tokens_details":{"reasoning_tokens":2502}},"tokens_in":445,"tokens_out":2566,"duration_ms":18852,"temperature":1.0,"reasoning_tokens":2502,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T11:43:35.371410+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"A concrete counterexample would be a GH-foliation on $(\\mathbb{C}^4,0)$ with a nodal reduction for which some connected component $C$ of $E\\setminus|S|$ fails to meet any invariant hypersurface, contradicting Theorem 1; alternatively, exhibiting a four-dimensional pair $(M_0,L_0)$ of an ambient space and a finite list of irreducible hypersurfaces that admits no admissible reduction of singularities would remove the stated domain of the theorems, since the existence of nodal reductions is derived from that assumption.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"supplies the original two-dimensional invariant-branch theorem that this paper refines."},{"cited_title":"Moscow Mathematical Journal, V 12 (2012), no.4, 825-862","cited_arxiv_id":null,"evidence_quote":"supplies the two-dimensional refined nodal-component theorem used as the base case in the induction."},{"cited_title":"Acta Mathematica, 169, (1992), pp","cited_arxiv_id":null,"evidence_quote":"supplies desingularization of non-dicritical holomorphic foliations and the existence of separatrices underlying GH-foliated spaces."},{"cited_title":"Annales de l’Institut Fourier, 42, 1-2, (1992), 49-72","cited_arxiv_id":null,"evidence_quote":"provides the two-equireduction and surface-reduction results that reduce the ambient dimension in the proof."},{"cited_title":"Ast´ erisque 319, (2008), 261-268","cited_arxiv_id":null,"evidence_quote":"gives the simple-corner characterization showing that reduction of invariant hypersurfaces induces reduction of the foliation."},{"cited_title":"Ann.Sci.Ec","cited_arxiv_id":null,"evidence_quote":"introduces nodal points and their leaf-space separation in dimension two, motivating the separator set."},{"cited_title":"Springer","cited_arxiv_id":null,"evidence_quote":"supplies the combinatorial algebraic topology and Seifert–van Kampen tools used for the $s+1$ counting theorem."},{"cited_title":"Springer","cited_arxiv_id":null,"evidence_quote":"supports the three-dimensional strong desingularization algorithm outlined in the appendix for the assumed admissible-reduction statement."}],"review_version":1}