{"id":"2852e2c6-efcb-47ce-8c3d-e35ee36528e0","arxiv_id":"2512.18277","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"Nested cobordism of manifolds is, whenever the outer submanifold has a framed normal direction, identical to link cobordism, transferring Wang's link invariants to nested manifolds.","lead":"Nested manifolds are shapes containing smaller shapes inside them, which may themselves contain even smaller shapes. When the outer shape carries a special 'framed' direction, this paper proves that nested shapes up to deformation match separated pairs of shapes (links) exactly, making existing link invariants applicable.","discovery_kind":"unification","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 3.9's diagram commutativity is underproved: the one-sentence projection/collapse check from Lemma 3.10 fixes only the K-component of the wedge and does not track the K'-component, so the unnesting map's identification with the PT equivalence (5) is not established.","rationale":"Read in good faith: the paper's central new result is Thm 3.9, and everything else (stable splitting, examples) supports it. The chain (5) itself is sound; the cofiber-sequence retract in Prop 2.16 and the stable splitting are clean and I see no error. The weakest link is the claimed commutativity of the PT diagram, because the proof as written checks only the outer-submanifold projection. The reader's weakest_assumption matches this. Since this is a proof gap rather than a known counterexample, and the missing argument is likely fillable from Lemma 3.10, the appropriate verdict remains CONDITIONAL (as the reader said). I do not recommend REJECT: the theorem is probably true and the missing tracking is local. I also do not recommend ACCEPT because the one-sentence coherence is load-bearing and should be expanded. Agreement: agree.","tokens_in":19970,"tokens_out":19873,"duration_ms":200441,"concrete_test":"Model the coherence with the smallest nontrivial case: take M=S^2, θ=θ'=* (framed, d=d'=1), so X=Th(θ'*γ^1)=S^1, Y=Th(eθ*γ^0)=S^0, A=S^1_+∧S^1≃S^2∨S^1, B=S^2∨S^1. Write h:B→A as the explicit composition in (5) using the concrete homotopy equivalence of Lemma 3.10. Let φ:S^2→A be the PT map of a framed point inside a framed equator and ψ:S^2→B the PT map of the unlinked disjoint union. Compute the first-summand component (projection to S^2 collapsing the S^1 summand) of h∘φ and compare it with that of ψ; if they differ, the diagram does not commute. A second, independent check is to prove directly that h^{-1} carries the wedge summand Th((θ'×θ)*γ^{d+d'}) into the complement of B in A, not merely after composing with p.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Thm 3.9 asserts Υ: NCob→LCob is bijective by commutativity of the PT diagram. The proof of (5) is a valid chain of equivalences, but the final paragraph of §3.3 verifies commutativity only through the collapse q: it shows p∘h ≃ q, hence q∘(h∘φ) ≃ p∘φ, i.e. the maps agree after projecting to the Th(θ*γ^d) summand. That projection detects only the outer submanifold K, not the inner submanifold K'. A map M→Th((θ'×θ)*γ^{d+d'})∨Th(θ*γ^d) is not determined by its composite with q; the first summand (which carries the unlinked K' with its θ'×θ structure) must also be checked. Neither the proof of well-definedness of Υ nor the diagram chase tracks the image of the Th(θ'*γ^{d'})_+ factor through Lemma 3.10's equivalence Σ(X_+)≃ΣX∨S^1, distributivity, and re-association into the first wedge summand. This is the single load-bearing step: if h twisted the two summands, h∘φ would give a different link class than Υ(K'⊆K), and the bijection would fail even though (5) holds. The reader's weakest assumption identifies exactly this. It is a proof gap, not an observed contradiction; the coherence may be true, but it is asserted, not demonstrated.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper develops a Pontryagin–Thom construction for nested submanifolds (pairs K′ ⊆ K inside a closed manifold M, and stable versions) with tangential structures. Theorem 2.14 gives a bijection NCob(θ′,θ)(M) ≅ [M, Th(θ′∗γ^{d′})_+ ∧ Th(θ∗γ^d)] and a stable analog for nested cobordism groups. Proposition 2.16 produces a cofiber sequence with a retract, yielding a concise alternative proof of Wall's stable splitting of nested cobordism groups (Proposition 2.18). The main new result is Theorem 3.9: when θ factors over BO(d−1), the geometrically defined unnesting map Υ: NCob(θ′,θ)(M) → LCob(θ′×θ,θ)(M) is bijective, realized by a homotopy equivalence between the nested and link Pontryagin–Thom spaces. Consequences include nested cobordism invariants from Wang's link invariants (Corollaries 3.11 and 3.12) and examples showing that without the framed-direction assumption the unstable nested cobordism sets need not split.","tokens_in":20145,"tokens_out":8763,"duration_ms":93859,"significance":"If Theorem 3.9 holds, the paper makes a genuine contribution: it connects nested cobordism to the well-studied cobordism of links, gives a conceptual explanation for the failure of unstable splitting, and yields concrete new invariants. The stable splitting proof via the cofiber sequence in Proposition 2.16 is elegant and avoids Wall's geometric argument. The paper is careful in crediting prior work (Stong, Wall, Wang) and the main constructions are natural. However, the proof of Theorem 3.9 contains a specific gap: the commutativity of the Pontryagin–Thom diagram is only checked on one wedge summand. This is not a matter of disagreement with consensus but a missing verification in a load-bearing step.","major_comments":[{"comment":"The commutativity of the diagram after Eq. (5) is the load-bearing step, but only the projection to the Th(θ∗γ^d) summand is checked. The final paragraph verifies p∘h ≃ q, i.e. that after collapsing the first wedge summand the maps agree. Since the target is a wedge, a map M → A∨B is not determined by its composite with the collapse A∨B → B; the first summand Th((θ′×θ)∗γ^{d+d′}) must also be tracked. In particular, one must show that the chain of equivalences in (5), when applied to the nested PT map, sends the K′-data (with its θ′×θ structure) into that first summand and not, for example, into a Whitehead-product component. The paper asserts this without supplying the required diagram chase. This is not a purely cosmetic omission: Theorem 3.9 and Corollaries 3.11–3.12 rest on it.","section":"§3.3, proof of Theorem 3.9"},{"comment":"The geometric definition of Υ is informal. For a fixed nested submanifold, the displacement of K′ along the framed normal direction of K is not shown to be independent of the choice of displacement up to link cobordism. The proof that a nested cobordism can be unnested addresses independence of the nested representative, but not the choice of isotopy for a single representative. A rigorous treatment would either prove this independence directly or define Υ via the Pontryagin–Thom correspondence once the missing commutativity is established. As written, well-definedness of Υ is asserted rather than demonstrated.","section":"§3.3, definition of Υ"}],"minor_comments":[{"comment":"Typo: 'and and the same happens' should read 'and the same happens'.","section":"§2.1"},{"comment":"The symbol '⇐=⇒' should be '⇔' (or 'if and only if').","section":"Corollary 3.12 and Introduction"},{"comment":"The claim that NCob(θ′,θ)(S^2) has exactly two elements is asserted without proof. A short justification of the classification of unoriented circles with points would improve readability.","section":"Example 3.16"},{"comment":"The notation θ′ is used in §3.1 with codimension m−k2 but in §3.3 with codimension k1−k2. This is not a logical error because the structure is redefined, but the reuse of the same symbol for different codimensions may confuse readers.","section":"§3.3"}],"recommendation":"major_revision","confidential_remarks":"The referee report identifies a genuine gap in the proof of Theorem 3.9; the stress-test concern is valid. The gap is localized and likely repairable by an explicit homotopy-commutativity proof at the space level. The rest of the paper is sound and well contextualized, so I recommend major revision rather than rejection."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The genuinely new result is Theorem 3.9: when the outer submanifold has a framed normal direction, nested cobordism classes are in bijection with link cobordism classes, and Wang's invariants descend to nested cobordism. That is a clean and useful bridge, and Corollaries 3.11–3.12 plus the examples give it real content. The paper is also honest about provenance: the nested Pontryagin–Thom statement is credited to Stong and Wall, and the stable splitting in Proposition 2.18 is explicitly an alternative proof of Wall's result. The cofiber-sequence retract proof of that splitting is neat, and I hand-checked the main algebra; it works.\n\nThe soft spot is exactly where the stress-test lands. The proof of Theorem 3.9 shows that p∘h is homotopic to q, where p is projection to the outer Thom space and q collapses the first wedge summand. That only verifies that the outer submanifold K is tracked correctly. The inner submanifold K' lives in the other factor/summand, and the proof does not track it through Lemma 3.10, distributivity, and reassociation. The commutativity of the diagram is asserted in one sentence, and the bijection hangs on it. This is not an observed contradiction, and my guess is the coherence is true: the equivalences in (5) are natural enough that tracing K' should force the first summand to behave. But as written, it is a proof gap, and it is load-bearing. I would want the author to spell out the tracking, perhaps by showing the whole homotopy h∘φ is homotopic to ψ, not just the q-composite.\n\nThe examples in Section 3.4 are also sketchier than the rest. Example 3.17, in particular, relies on a geometric classification of nested submanifolds of S² that is plausible but not fully argued. Minor, but worth tightening.\n\nOverall: this is a worthwhile paper for people working in cobordism, links, and Pontryagin–Thom theory. The central theorem is likely correct and the framework is useful. It deserves peer review, not desk rejection, but the referee should send it back with a request for a complete proof of the diagram commutativity and fuller arguments in the examples.","headline":"Nice new bridge between nested cobordism and link cobordism, but the proof of the main theorem skips a load-bearing coherence check that needs to be written out.","tokens_in":20914,"tokens_out":4263,"would_cite":false,"duration_ms":47341,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["57R19","57R90","57R15","57K45","55Q15"],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper proves that when the highest-dimensional submanifold of a nested manifold has a normal bundle with a framed direction, nested cobordism classes are in bijection with cobordism classes of links, so link invariants apply to nested","keywords":["cobordism groups","nested manifolds","links","normal structures","Pontryagin-Thom construction","Whitehead products","Hilton-Milnor splitting","framed normal direction"],"falsifier":"Compute the two possible unnested links for the nested S⁰ ⊆ S¹ ⊆ S² with unoriented normal structures described in Example 3.16: if the two unnestings are actually link-cobordant, the unnesting map might still be well-defined in general; if they are not, then no such bijection exists without a framed direction. For the framed case, explicitly track a representative class through both sides of the homotopy equivalence (5) and check whether the projection and collapse maps agree on a low-dimensional example such as the Figure 4 nested pair; a homotopy commuting diagram would confirm the key step","tokens_in":19626,"feed_emoji":"🔗","tokens_out":3676,"duration_ms":38458,"temperature":0.7,"pith_summary":"The paper develops a Pontryagin–Thom construction for nested manifolds—manifolds carrying submanifolds that themselves carry submanifolds—and shows that when the outer submanifold's normal bundle has a framed direction, the cobordism theory of nested manifolds collapses to the cobordism theory of links. Its central theorem gives a bijection between nested and link cobordism classes, realized by an 'unnesting' map that pushes the inner submanifold off the outer one using the framed direction. The consequence is that previously studied cobordism invariants for links, including Wang's Whitehead-product invariants, become nested cobordism invariants; in the framed case these form a complete nullbordism criterion. The paper also reproves Wall's splitting of the stable nested cobordism groups via a retractive cofiber sequence of Thom spectra.","feed_headline":"Framed nesting is link cobordism","feed_subtitle":"When the outer manifold carries a framed normal direction, nested cobordism matches link cobordism, so link invariants apply.","key_machinery":"The unnesting map Υ sends a nested submanifold K′ ⊆ K to the disjoint union K ⊔ K′, displacing K′ off K using the framed normal direction of K. Its bijectivity is proven via the homotopy equivalence (5) between the nested Thom space Th(θ′∗γ^{d′})₊ ∧ Th(θ∗γ^d) and the link Thom space Th((θ′×θ)∗γ^{d+d′}) ∨ Th(θ∗γ^d); the equivalence is built from Lemma 3.10, which identifies Σ(X₊) with ΣX ∨ S¹, together with distributivity of smash products over wedges. The key step is showing that the projection to Th(θ∗γ^d) in the nested space corresponds to the collapse map in the link space, making the Pontryagin–Thom correspondence commute.","core_discovery":"Theorem 3.9: for a θ-structure that factors over BO(d−1), i.e. when the normal bundle of the highest-dimensional submanifold has a framed direction, the unnesting map Υ from the set of (θ′, θ)-nested cobordism classes to the set of (θ′×θ, θ)-link cobordism classes is bijective. At the space level, the bijection is carried by the homotopy equivalence Th(θ′∗γ^{d′})₊ ∧ Th(θ∗γ^d) ≃ Th((θ′×θ)∗γ^{d+d′}) ∨ Th(θ∗γ^d), which identifies the nested Pontryagin–Thom space with the link Pontryagin–Thom wedge. This says that, under the framed-direction assumption, forgetting the nesting loses no cobordism information.","pith_inferences":["Editorial inference: the bijection suggests a broader principle: any cobordism invariant of links becomes an invariant of nested manifolds with a framed outer normal direction, potentially offering a systematic source of new secondary invariants for nested manifolds.","Editorial inference: iterated nesting could be handled inductively: if the outer level is framed, the bijection reduces a twice-nested manifold to a once-nested one, so the same machinery may apply level by level, though this is not worked out in the paper.","Editorial inference: a testable extension is to check whether the bijection remains true for manifolds with boundary or for families of nested manifolds (parametrized cobordism), which would yield a stronger statement about the classifying spaces of nested cobordism categories.","Editorial inference: the stable splitting and the unstable bijection together suggest that the failure of splitting in the unstable range is entirely captured by the framed direction's twist, a fact that could be made quantitative by computing the relevant Toda brackets or Whitehead products in low dimensions."],"forward_implications":["Wang's invariants Δ_λ, originally defined for link cobordism, descend to nested cobordism invariants whenever the outer submanifold has a framed normal direction.","In the framed case with codimension larger than 1, the vanishing of all Δ_λ on the unnested link is equivalent to the nested manifold being nullbordant, giving a complete nullbordism criterion.","Wall's splitting of stable nested cobordism groups, Ω^{(θ′,Θ)}_{k1} ≅ Ω^{θ′×Θ}_{k2} ⊕ Ω^{Θ}_{k1}, is reproved as an immediate consequence of a cofiber sequence of Thom spectra admitting a retract.","Unstable nested cobordism sets do not generally split as a product of cobordism sets of the individual components, as demonstrated by explicit examples in S².","When no framed direction is present, the unnesting map cannot be defined, and the nested and link theories genuinely differ, as shown by a non-linked example in Section 3.4."],"fun_headline_variants":["Framed nesting: link cobordism","With a framed outer normal, nesting equals linking","Framed direction: nested and link cobordism agree","Nested cobordism collapses to links when framed","Frame the top manifold, and nesting is linking"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"The proof relies on a coherence claim, asserted in one sentence, that the specific chain of homotopy equivalences in (5) carries the projection onto Th(θ∗γ^d) to the collapse map onto Th(θ∗γ^d); if this tracking fails, the bijection between nested and link cobordism would not follow from the stated Pontryagin–Thom isomorphisms.","fun_headline_variants_meta":{"raw":{"variants":["Framed nesting: link cobordism","With a framed outer normal, nesting equals linking","Framed direction: nested and link cobordism agree","Nested cobordism collapses to links when framed","Frame the top manifold, and nesting is linking"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000226,"raw_usage":{"total_tokens":1272,"prompt_tokens":681,"completion_tokens":591,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":425,"completion_tokens_details":{"reasoning_tokens":516}},"tokens_in":425,"tokens_out":591,"duration_ms":6675,"temperature":1.0,"reasoning_tokens":516,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-03T15:05:49.969405+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the two possible unnested links for the nested S⁰ ⊆ S¹ ⊆ S² with unoriented normal structures described in Example 3.16: if the two unnestings are actually link-cobordant, the unnesting map might still be well-defined in general; if they are not, then no such bijection exists without a framed direction. For the framed case, explicitly track a representative class through both sides of the homotopy equivalence (5) and check whether the projection and collapse maps agree on a low-dimensional example such as the Figure 4 nested pair; a homotopy commuting diagram would confirm the key step","supporting_citations":[],"review_version":1}