{"id":"5d7f7753-8f72-4e86-9b26-dc156ce1073d","arxiv_id":"2501.18399","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Characteristic structures on manifolds with codimension-2 defects are translated into twisted spin bordism, low-degree groups are computed, and a Pontryagin-Thom obstruction to breaking Z/2 higher-form symmetries is identified.","lead":"This paper computes new families of bordism groups describing quantum field theories with topological defects wrapping submanifolds, and identifies a topological obstruction to the spontaneous breaking of higher-form symmetries. The results give concrete mathematical tools for analyzing the global structure of defects and the anomalies they carry.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Anomaly-matching corollaries depend on the unproved Conjecture 2.32; for GM and KT± the paper neither constructs R nor identifies the third term, so Corollaries 3.56, 3.86, and 3.102 remain conditional.","rationale":"I read the paper as having two independent strands: unconditional bordism computations for characteristic structures, and physical defect-anomaly predictions conditional on Conjecture 2.32, plus the spontaneous-symmetry-breaking obstruction in Section 4. The reader's weakest_assumption targets the second strand, and I agree that this is the load-bearing hinge. The bordism computations in Propositions 3.36, 3.73, and 3.92 are self-contained Adams spectral sequence calculations, and I found no concrete error in the displayed A(1)-module decompositions or in the identification of the Z/2-valued 1-form symmetry-breaking obstruction with Sq^2Sq^1B on 5-manifolds. The concern is not that Conjecture 2.32 is false, but that the central anomaly-matching claims are conditional on it. The paper explicitly says 'Assuming Conjecture 2.32' in each corollary, which is honest, but it means the strongest advertised physics conclusions are not yet theorems. The same is true for the KT± corollaries, where the third term is only partially constrained. Thus the reader's CONDITIONAL verdict is appropriate. My proposed test targets exactly the missing step: constructing the spectrum-level map R and computing its cofiber, which would either validate the long exact sequence or expose the conjecture as false. I therefore keep the verdict unchanged.","tokens_in":49936,"tokens_out":13881,"duration_ms":126372,"concrete_test":"For the GM case, use Theorem 3.29 to compute H^*_ko(MT_GM) = V_ko(0,U,MO2) and H^*_ko(Sigma^2 MTSpin ^ (BO2)^{sigma-1}) as A(1)-modules. Search for an A(1)-module map inducing the known geometric homomorphism pi_k^GM -> pi_{k-2}^{Spin}((BO2)^{sigma-1}) in low degrees. If no such map exists, Conjecture 2.32 for GM is false. If one exists, promote it to a map of ko-module spectra via the Adams resolution and compute its cofiber; compare the resulting long exact sequence with Figure 4. A mismatch disproves the conjecture, while a match makes Corollary 3.56 unconditional. Repeat the same construction for KT± to settle Corollaries 3.86 and 3.102.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central physics claim is not the bordism computation itself but the anomaly-matching interpretation in Corollaries 3.56, 3.86, and 3.102. Those corollaries apply Anderson duality to a characteristic long exact sequence (2.33) whose existence is exactly Conjecture 2.32. For Guillou-Marin and Kirby-Taylor structures the paper does not construct the map of spectra R with R_* = [(M,F) -> F]; it only gives heuristic evidence from Smith homomorphisms and cites Kirby-Taylor remarks. It also leaves the third term of the sequence unidentified, so exactness cannot independently determine the defect maps in the stated degrees: the values of pi_*(F_GM) in Theorem 3.54 and the partial information in Theorems 3.84 and 3.99 are computed from the assumed sequence. Additionally, for GM and KT± characteristic pairs do not specify a tangential structure on F (Remark 3.87); the target xi' has to be inferred from the normal data, so even a map of spectra with the correct homotopy effect need not be the physically relevant defect map. This is a conditional-result risk, not an internal inconsistency, since the paper labels the conjecture explicitly. But the headline physical statements are not established until R, or at least the full long exact sequence and its geometric interpretation, is supplied.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"This paper applies the Pontryagin–Thom construction and twisted-spin bordism to two related questions: (i) the global structure of codimension-two topological defects Poincaré dual to a characteristic class, studied through Freedman–Kirby, Guillou–Marin, and Kirby–Taylor characteristic pairs; and (ii) topological obstructions to the spontaneous breaking of finite higher-form Z/2 symmetries. The authors compute low-degree characteristic bordism groups for the five structures in Table 3, identify several characteristic structures with twisted spin structures, and propose Conjecture 2.32, which asserts a spectrum-level map R : MTChar(ξ,P) → Σ^n MTξ' and hence a long exact sequence relating bulk bordism, characteristic bordism, and defect bordism. Assuming this conjecture, they derive anomaly-matching statements for GM, KT−, and KT+ structures in Corollaries 3.56, 3.86, and 3.102. Independently of the conjecture, Section 4 identifies the primary obstruction to spontaneously breaking a Z/2 1-form symmetry on a closed 5-manifold: the class Sq^2 Sq^1 B, which vanishes on spin manifolds and is nonzero on the Wu manifold.","tokens_in":50170,"tokens_out":15112,"duration_ms":148302,"significance":"If Conjecture 2.32 is eventually proved, Section 3 would provide a useful bordism-theoretic framework for defect anomalies, including a concrete Z-valued obstruction in the two-dimensional Guillou–Marin case. The Section 4 results are unconditional, concrete, and falsifiable: they give a clean criterion (Sq^2 Sq^1 B) for a topological obstruction to breaking a Z/2 1-form symmetry in five dimensions, with spin manifolds automatically exempt and the Wu manifold providing a nontrivial example. The paper is unusually honest about the status of its assumptions: Conjecture 2.32 is explicitly labelled and the unconditional computations are cross-checked against classical results of Guillou–Marin, Kirby–Taylor, Anderson–Brown–Peterson, and Thom. I found no evidence of circular fitting or parameter adjustment. The main limitation is that the headline anomaly-matching corollaries are conditional on an unproved conjecture, so the significance of those specific claims is not yet established.","major_comments":[{"comment":"The central physics claims are not established by the computations as they stand. Conjecture 2.32 asserts a map of spectra R : MTChar(ξ,P) → Σ^n MTξ' sending (M,F) to F, and the anomaly-matching corollaries for GM, KT−, and KT+ rely on exactness of the induced long exact sequence (2.33). For these three structures the map R is not constructed and the third term of the sequence is not identified; the evidence in §2.3 is heuristic (naturality of geometric maps, an implicit construction in Kirby–Taylor, and a normal-bundle assumption that is not shown to hold in the examples). Consequently the values of π_k(F_GM) in Theorem 3.54 and the partial information in Theorems 3.84 and 3.99 are conditional on the exactness of a sequence whose existence is open. The authors should either prove Conjecture 2.32 in the cases used, or explicitly demote the corresponding corollaries to conjectural statements and remove them from the abstract’s list of results. The force of this concern is increased by Remark 3.57, where the authors themselves show that a closely related Kirby–Taylor sequence is not exact.","section":"§2.3, Conjecture 2.32; Corollaries 3.56, 3.86, 3.102"},{"comment":"Even if Conjecture 2.32 were resolved, there would remain a gap about the geometric meaning of the target ξ'. For GM and KT± characteristic pairs, Definition 2.26/2.31 does not specify a tangential structure on F; the target groups used in the conjecture, such as (BO2, σ)-twisted spin for GM and (BO1×BO2, τ±)-twisted spin for KT±, are inferred from the normal-bundle data rather than from a choice made in the definition of the bordism theory. A spectrum map with the stated effect on homotopy groups therefore need not be the physically relevant defect map appearing in the Anderson-dual anomaly interpretation. The authors’ own Remark 3.87 makes the related point that omitting a tangential structure on F changes the bordism groups relative to Kirby–Taylor’s Ω^!; the same ambiguity affects the proposed long exact sequence and its application.","section":"§3.3–3.5 and Remark 3.87"},{"comment":"The bordism computations are long and depend on assertions such as “one can prove” (Proposition 3.34), on A(1)-module pictures, and on Margolis-theorem collapse arguments where the differential and extension information is not fully displayed. I did not find an internal contradiction, and the agreement with Guillou–Marin and Kirby–Taylor in low degrees is reassuring. However, because Corollaries 3.56, 3.86, and 3.102 use these specific values, the paper should make the computations more reproducible: for example, by giving explicit determinations of the extensions in Propositions 3.69 and 3.71 and by stating the maps in Figures 4, 7, and 11 in terms of generators and invariants. As it stands, a small error in a single A(1)-module computation would propagate into the headline anomaly-matching statements.","section":"§3.3–3.5, Propositions 3.34, 3.69, 3.71, 3.98"}],"minor_comments":[{"comment":"The notation “1/4 □_{Z/4} P(B)” in Proposition 4.8 and “1/2 □_{Z/4} P(B)” in Proposition 4.10 is confusing, especially since H^5(K;Z) ≅ Z/4 and Proposition 4.10 says the class is twice the generator; the intended Bockstein homomorphism and the meaning of the fractions should be spelled out.","section":"§4, Propositions 4.8 and 4.10"},{"comment":"There is a typo: “at the the boundary of F” should read “at the boundary of F.”","section":"Definition 2.26"},{"comment":"“characterisic” should be “characteristic.”","section":"Lemma 3.90"},{"comment":"The FK and FKO rows do not list a proposition for the bordism groups, although the text says they follow from Anderson–Brown–Peterson and Bahri–Gilkey; adding the references there would improve usability.","section":"Table 2"},{"comment":"These figures are essential for the long exact sequence arguments, but the maps are not fully stated in the text; the exact values of the maps ϕ, the extension A±, and the group B− should be included in the captions or in the proofs.","section":"Figures 4, 7, and 11"}],"recommendation":"major_revision","confidential_remarks":"The paper is honest about the conditional status of Conjecture 2.32, and I do not see evidence of circularity or parameter fitting. The unconditional Section 4 results are a strong contribution, and the bordism computations in Section 3 are likely correct in substance. My main concern is that the anomaly-matching corollaries, which are emphasized in the abstract and introduction, are not theorems until Conjecture 2.32 is proved or at least reduced to a more concrete statement. If the authors can prove the conjecture for the Guillou–Marin case, or are willing to restructure the paper so that the conditional claims are clearly separated from the unconditional ones, I would be willing to look at a revised version."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"First thing to know: the paper is worth a careful read, but the headline anomaly predictions are conditional on a conjecture the authors do not prove. The unconditional bordism computations for Guillou-Marin and Kirby-Taylor characteristic structures are new and appear to be right: Ω4^GM = Z^2, Ω4^{KT±} = (Z/2)^3, along with the lower-degree groups. I checked the logic against the usual external benchmarks—Thom's theorem, Anderson-Brown-Peterson, the Smith long exact sequence—and the computations are internally coherent. The FK and FKO sections are mostly restatements of known spin^c and pin^c bordism, but the GM/KT± material genuinely extends Guillou-Marin's original degree 0 and 4 results, and the paper is explicit about what is new and what is imported.\n\nThe soft spot is exactly where the reader put it. Everything in Section 3 that matters for physics—Corollaries 3.56, 3.86, and 3.102—assumes Conjecture 2.32, the existence of a spectrum-level map R sending (M,F) to F. For FK and FKO the paper proves the conjecture; for GM and KT± it does not, and it leaves the third term of the long exact sequence unidentified. The stress-test note holds up on reading: the fiber groups in Theorems 3.54, 3.84, and 3.99 are derived from exactness of a sequence that is assumed, not established. The authors state plainly that this is a conjecture and flag it in the discussion, so this is not an internal inconsistency. It is a conditional-result risk, and the physical conclusions should not be cited as settled until Conjecture 2.32 is proved or bypassed.\n\nMore mildly, the SSB argument in Section 4 depends on modeling a domain wall as a Poincaré-dual submanifold with the chosen tangential structure. That is standard in the Smith-homomorphism literature, and the resulting obstruction Sq^2 Sq^1 B—vanishing on spin 5-manifolds and nonzero on the Wu manifold—is a concrete, checkable statement. I think that part stands on its own and is the most immediately useful piece of the paper. The citation pattern is fine; the self-citations are to the Smith LES and twisted spin methods the paper explicitly builds on.\n\nWho this is for: mathematical physicists and topologists working on anomalies, defects, and higher-form symmetries. A serious referee should engage with this paper, especially to check the Adams spectral sequence computations and to press on Conjecture 2.32. My own verdict would be conditional acceptance: the unconditional math is a real contribution, but the physics corollaries need the conjecture resolved before they become established results.","headline":"New low-degree characteristic bordism computations that look correct, paired with physics corollaries that are honestly but prominently conditional on an unproved spectrum-level conjecture.","tokens_in":50787,"tokens_out":2836,"would_cite":true,"duration_ms":27120,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["55N22","57R90","81T45"],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper claims that characteristic pairs $(M,F)$ encode a defect's global structure, that bulk and defect anomalies can clash only in a few dimensions, and that $Sq^2Sq^1B$ blocks $\\mathbb{Z}/2$ 1-form symmetry breaking in 5d.","keywords":["characteristic bordism","topological defects","Pontryagin-Thom construction","higher-form symmetry","spontaneous symmetry breaking","anomaly matching","twisted spin structures","Adams spectral sequence"],"falsifier":"Take the Wu manifold $W=SU(3)/SO(3)$ with $B$ the generator of $H^2(W;\\mathbb{Z}/2)$; the paper predicts $\\int_W Sq^2Sq^1B \\neq 0$, so no spontaneously broken $\\mathbb{Z}/2$ 1-form symmetry can exist on $W$. Exhibiting such a broken theory on $W$, or finding any spin 5-manifold for which the pullback of $Sq^2Sq^1B$ is nonzero, would settle the claim negatively.","tokens_in":49650,"feed_emoji":"🌀","tokens_out":11624,"duration_ms":104169,"temperature":0.7,"pith_summary":"The paper is trying to establish that placing a topological defect on a closed manifold rather than flat space forces a new piece of bookkeeping: the pair consisting of the ambient manifold $M$ and the defect submanifold $F$, with $F$ Poincaré dual to a characteristic class such as $w_2(TM)$. It shows that the Pontryagin–Thom construction turns these 'characteristic pairs' into computable bordism groups, and it computes the low-degree groups for five families of structures. Assuming a conjectural long exact sequence (Conjecture 2.32), those groups imply that for Guillou–Marin defects the bulk and defect anomalies can clash only in dimension 2, where a $\\mathbb{Z}$-valued obstruction appears; for Kirby–Taylor $\\pm$ structures the clash is confined to dimension 3 (and is absent in dimension 1 for KT$^+$). Independently of that conjecture, the paper identifies the primary obstruction to spontaneously breaking a $\\mathbb{Z}/2$ 1-form symmetry on a closed 5-manifold: the class $Sq^2Sq^1B$, which vanishes on spin manifolds and is nonzero on the Wu manifold.","feed_headline":"Anomalies clash in 2d; Z/2 breaking fails on Wu manifold","feed_subtitle":"w2-dual defects match bulk anomalies in every other dimension, and Sq2Sq1B blocks 1-form symmetry breaking in 5d.","key_machinery":"Characteristic pairs $(M,F)$ — a manifold $M$ with a submanifold $F$ Poincaré dual to a characteristic class such as $w_2(TM)$, with the tangential structure on $M\\setminus F$ not extending across $F$ — are the central objects. The Pontryagin–Thom collapse map turns the embedding of $F$ into a map from $M$ to a Thom space, so existence of such pairs and their bordism classes become questions about homotopy groups of Thom spectra. The paper re-expresses each characteristic structure as a twisted spin structure and computes the low-degree bordism groups with an Adams spectral sequence for $ko$-modules; the conjectural characteristic long exact sequence, which would make $(M,F)\\mapsto F$ one of the maps in a long exact sequence, is what converts those groups into anomaly-matching statements.","core_discovery":"The paper proposes that the global structure of a topological defect is encoded by a characteristic pair $(M,F)$: a manifold $M$ with a submanifold $F$ Poincaré dual to a characteristic class such as $w_2(TM)$, together with the requirement that the tangential structure on $M\\setminus F$ does not extend across $F$. Using the Pontryagin–Thom construction, it identifies Freedman–Kirby, Freedman–Kirby$^O$, Guillou–Marin, and Kirby–Taylor $\\pm$ characteristic structures with twisted spin (or pin$^c$) structures, and computes their bordism groups in low degrees. Assuming a conjectural characteristic long exact sequence (Conjecture 2.32), these bordism groups constrain anomaly matching between a bulk theory and its defect: for Guillou–Marin pairs the defect anomaly map vanishes for $k=0,1,3$, while for $k=2$ there is a $\\mathbb{Z}$-valued obstruction; for KT$^-$ and KT$^+$ pairs the obstructions appear only in dimension 3 (and for KT$^+$ dimension 1 the anomaly can always be matched). Independently of the conjecture, the paper shows that for a closed 5-manifold the primary obstruction to spontaneously breaking a $\\mathbb{Z}/2$ 1-form symmetry is the class $Sq^2Sq^1B$, which vanishes on spin manifolds and is nonzero on the Wu manifold.","pith_inferences":["Because the Guillou–Marin obstruction is $\\mathbb{Z}$-valued, it should be visible in perturbative anomaly computations; computing a one-loop anomaly coefficient for a candidate 4d theory with a 2d defect would test it directly.","The Wu-manifold computation suggests that the obstruction to breaking a $\\mathbb{Z}/2$ 1-form symmetry depends on the Wu structure of the 5-manifold, not just on its orientation; the method extends to other generators of the oriented bordism group with background, giving a complete list of forbidden manifolds.","For $\\mathbb{Z}/2$ $n$-form symmetries with $n\\ge 2$, the same Pontryagin–Thom analysis predicts the first possible obstruction appears in a higher dimension than the naive $n+2$; this shifts where one should look for field theories that cannot break their symmetry.","If Conjecture 2.32 is proven, the characteristic long exact sequence would refine the Smith long exact sequence by keeping track of the defect's global embedding, so the anomaly-matching maps computed here are a first approximation to a more precise statement."],"forward_implications":["For a 4d theory with a Guillou–Marin defect, the bordism group $\\Omega^{GM}_4 \\cong \\mathbb{Z}^2$ gives two bordism classes of pairs $(M,F)$; these correspond to two classes of QFTs hosting time-reversal-invariant topological defects.","In GM theories, the defect anomaly map vanishes for $k=0,1,3$ and is a nonzero map with a $\\mathbb{Z}$-valued obstruction for $k=2$, so any clash between the bulk and defect anomaly in 2d is torsion-free and perturbatively visible.","For KT$^-$ pairs, anomaly matching is impossible in dimensions 0, 1, 2, and obstructed in dimension 3 by the group $B^-$; for KT$^+$ pairs, matching is always possible in dimension 1, impossible in dimensions 0 and 2, and obstructed in dimension 3 by $A^+$.","A $\\mathbb{Z}/2$ 1-form symmetry cannot spontaneously break on a closed 5-manifold unless $Sq^2Sq^1B=0$; this condition holds automatically on spin 5-manifolds and fails on the Wu manifold, so spin structure is sufficient but not necessary.","For $\\mathbb{Z}/2$ $n$-form symmetries with $n\\ge 2$, the first dimension where a primary obstruction can appear is larger than the naive $n+2$, so breaking such symmetries is topologically less constrained in low dimensions than for 1-form symmetries."],"supporting_citations":[{"why":"Defines the characteristic pairs and gives the pullback-square descriptions; Conjecture 2.32 is implicitly contained in its Corollary 6.12 and Remarks 6.15–6.16.","marker":"[KT90]"},{"why":"First computed Guillou–Marin characteristic bordism in degrees 0 and 4; the paper extends these computations to all degrees up to 5.","marker":"[GM86]"},{"why":"Connects bordism groups to deformation classes of reflection-positive invertible field theories, giving the anomaly interpretation of the computed groups.","marker":"[FH21]"},{"why":"Supplies the Anderson–Brown–Peterson computations of spin bordism and the 7-connectedness of the Atiyah–Bott–Shapiro map used in low-degree Adams computations.","marker":"[ABP67]"},{"why":"Provides the Baker–Lazarev Adams spectral sequence for ko-modules that powers the bordism computations for twisted spin structures.","marker":"[BL01]"},{"why":"Gives the homotopy groups of M O_k and the Thom class maps used to identify the primary obstruction to symmetry breaking.","marker":"[Tho54]"},{"why":"Computes H^5(K(Z/2,2);Z) ≅ Z/4, which identifies the obstruction class o_2 as 1/2 □^{Z/4} P(B).","marker":"[Suz58]"}],"fun_headline_variants":["Sq^2Sq^1B blocks 1-form Z2 breaking on Wu manifold","Defect global structure via Pontryagin-Thom characteristic pairs","Bordism groups constrain defect anomaly matching","2d anomaly clash, 5d Z2 breaking blocked"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The defect anomaly-matching statements all rest on the unproved Conjecture 2.32, which says that the map sending a characteristic pair $(M,F)$ to its defect $F$ extends to a map of spectra and therefore sits in a long exact sequence; if that map does not exist, the corollaries do not follow.","fun_headline_variants_meta":{"raw":{"variants":["Sq^2Sq^1B blocks 1-form Z2 breaking on Wu manifold","Defect global structure via Pontryagin-Thom characteristic pairs","Bordism groups constrain defect anomaly matching","2d anomaly clash, 5d Z2 breaking blocked"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001523,"raw_usage":{"total_tokens":6158,"prompt_tokens":1060,"completion_tokens":5098,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":676,"completion_tokens_details":{"reasoning_tokens":5024}},"tokens_in":676,"tokens_out":5098,"duration_ms":37841,"temperature":1.0,"reasoning_tokens":5024,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-09T23:38:30.977853+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take the Wu manifold $W=SU(3)/SO(3)$ with $B$ the generator of $H^2(W;\\mathbb{Z}/2)$; the paper predicts $\\int_W Sq^2Sq^1B \\neq 0$, so no spontaneously broken $\\mathbb{Z}/2$ 1-form symmetry can exist on $W$. Exhibiting such a broken theory on $W$, or finding any spin 5-manifold for which the pullback of $Sq^2Sq^1B$ is nonzero, would settle the claim negatively.","supporting_citations":[],"review_version":1}