{"id":"a6ad64b1-67f2-452a-aab4-649e6ac858f6","arxiv_id":"2606.07056","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"A bordism computation for K(Z,3) produces two new anomaly classes for U(1) 1-form symmetries: a mixed H₃∧p₁ anomaly in 5d and a Z₂-valued uSq²u anomaly in 7d.","lead":"The authors compute the mathematical groups (oriented and spin bordism of the space K(Z,3)) that classify quantum anomalies of U(1) one-form symmetries up to eight dimensions, resolving the hard 'extension problems' with geometric constructions. They find two new anomaly terms — a mixed 5d anomaly between the 1-form symmetry and gravity, and a 7d discrete Z₂ anomaly — and interpret their physical effects on magnetic strings and discrete theta angles.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Spin-side 5d anomaly normalization rests on [23] Thm 3.5: the filtration (93) and ∫_{X^7}¼H3∧p1=1 are not re-derived, so the X^7→−4Y comparison and spin GS coefficient depend on an unchecked external input.","rationale":"The reader's weakest assumption focused on the value Φ=4, but I do not find a genuine flaw there: Φ is a bordism invariant, the Gysin computation is standard, and any value ±4 would still give infinite order and a nonzero extension class. The more exposed step is the spin normalization, which is imported from [23] Thm. 3.5. The spin half of the 5d anomaly claim (the ¼H3∧p1 normalization and the X^7→−4Y comparison) is load-bearing and is not re-derived inside the paper. This is not an internal inconsistency; it is a dependence on a recent external result. A single independent computation of the spin filtration and of the invariant on X^7 would settle it. The abstract/intro novelty discrepancy and the §4.3 boundary realization caveats are real but addressable presentation issues; they do not touch the bordism computation. Because the reader's CONDITIONAL verdict already reflects these concerns, my assessment does not move the verdict: a concrete independent check of [23]'s spin input is still warranted before full acceptance.","tokens_in":37887,"tokens_out":33031,"duration_ms":320698,"concrete_test":"Verify Theorem 3.5 of [23] independently for the specific case: compute Ω̃^Spin_7(K(Z,3)) via the Adams spectral sequence over the Steenrod algebra (or a computer implementation thereof), and on the explicit manifold X^7=(Sp(2)×Sp(1))/(Sp(1)×Sp(1)) with its K(Z,3)-structure, directly calculate ∫_{X^7} f^*ι ∧ p1(TX^7) using the Gysin sequence for the S^3-bundle X^7→S^4. If the result is 4 (so ¼H3∧p1 pairs to 1) and the filtration has the stated quotients Z,Z2,Z2,Z3, the spin normalization and X^7→−4Y comparison stand; if the integral is ±2 or the filtration index differs, the spin half of the 5d anomaly claim needs revision.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central new 5d anomaly claim has two halves. The oriented half is internally supported: Theorem 3.1's non-split extension proof via Φ([M_{1,1},f̃])=4 is sound — Φ is a bordism invariant, and eq. (58)/(61) are standard. The spin half is less secure. The isomorphism Ω̃^Spin_7(K(Z,3)) ≅ Z, the filtration (93) (0⊂G3,4≅Z⊂G5,2≅Z⊂G6,1≅Z⊂G7,0=Z), and the normalization ∫_{X^7} ¼H3∧p1 =1 (eq. 120) are all taken from Theorem 3.5 of [23], not re-derived. The oriented generator Y in §4.2.1 is then normalized via the comparison X^7→−4Y, which uses the index-12 subgroup G3,4^{spin}=12Z and the forgetful map −16 on Ω^Spin_4→Ω^SO_4. If [23]'s filtration or normalization were wrong (e.g., G3,4 of different index, or the invariant actually ½H3∧p1), the spin generator would be a different multiple of H3∧p1. The Anderson dual group would still be Z, but the physical anomaly coefficient and the Green–Schwarz/magnetic-string interpretation in §4.2.2 would shift. This is a normal citation-to-a-recent-preprint issue, not an internal inconsistency, but it is the least-secure load-bearing step.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies anomalies of U(1) 1-form symmetries in the Freed–Hopkins bordism/Anderson-dual framework. It computes the oriented and spin bordism groups of K(Z,3) in degrees up to 8 by the Atiyah–Hirzebruch spectral sequence, resolving extension problems by geometric constructions (Milnor S^3-bundles, SU(3), the Wu manifold) and identifying bordism invariants and geometric generators. It then derives the corresponding groups of invertible phases and interprets them physically: a mixed 5d perturbative anomaly H3∧p1 (normalized as ¼H3∧p1 in the spin case), a 7d Z2 anomaly uSq^2u intrinsic to the U(1) 1-form symmetry, and an additional oriented non-spin anomaly u w2 w3. Magnetic-string/brane interpretations, 5d and 7d Maxwell phases, and top-down string-theory constructions are also discussed.","tokens_in":38064,"tokens_out":48588,"duration_ms":405615,"significance":"The oriented computation is a substantial explicit calculation: E2-pages are displayed, differentials are argued by suspension/naturality or by geometric representatives, and the non-split extension in Theorem 3.1 is pinned down by the invariant Φ=4 together with the relation 3[M]=I(4φ). The consistency checks against known point values and against the spin results of Joyce–Upmeier [23] are valuable. If the stated anomalies are correct, the paper identifies new invertible phases for continuous 1-form symmetries and gives concrete boundary and string-theoretic interpretations. The main concerns are internal inconsistencies in two of the bordism/Anderson-dual statements and a heavy reliance on an external preprint for the spin normalization.","major_comments":[{"comment":"The statements Ω̃^SO_7(Q) ≅ Z2 and Ω̃^Spin_7(Q) ≅ Z2 for Q = K(Z,3)×K(Z,4) are inconsistent with the surrounding AHSS computation and with eq. (146). For total degree 7 the E∞-terms include E∞_{3,4} ≅ Z and E∞_{7,0} ≅ H_7(Q,Z) ≅ Z⊕Z3 (and, in the spin case, additional Z2 terms). The free part therefore has rank at least two. Consistently, the Anderson dual groups in eq. (146) contain Z^2 summands, which require Free Ω̃^SO_7(Q) = Z^2 and Free Ω̃^Spin_7(Q) = Z^2. The text should state the correct groups — for example, Z⊕Z with the non-split extension structure of Theorem 3.1 on the K(Z,3) factor — rather than Z2.","section":"Appendix A, eqs. (175)–(178) and (182)–(188)"},{"comment":"The displayed equalities (IZΩ^SO)_9(K(Z,3)) ≅ Z2⟨uSq^2u⟩ ⊕ Z2⟨u w2 w3⟩ and (IZΩ^Spin)_9(K(Z,3)) ≅ Z2⟨uSq^2u⟩ are incomplete if they are meant as full Anderson-dual groups. Using the canonical decomposition Ω^S_8(K) = Ω^S_8(pt) ⊕ Ω̃^S_8(K), the standard point groups Ω^SO_8(pt) = Z⊕Z2 and Ω^Spin_8(pt) = Z⊕Z2, and the reduced groups from Theorems 3.3 and 3.2.1, the torsion subgroups are Z2^3 (SO) and Z2^2 (Spin). Hence Hom(Tor,R/Z) contributes an additional pure-gravitational Z2 in both cases. If the authors intend to discuss only anomalies involving the 1-form background, this restriction should be stated explicitly and the notation in eq. (151) changed accordingly.","section":"Section 4.3, eq. (151)"},{"comment":"The text states (IZΩ^SO/Spin)_8(K(Z,3)) ≅ Z2. From the universal coefficient sequence (20) and the point groups used in eq. (26), one has Tor Ω^SO_7(K)=0 and Free Ω^SO_8(K)=Z, so (IZΩ^SO)_8(K) ≅ Hom(Free Ω^SO_8(K),Z) ≅ Z, not Z2. The same applies in the spin case. This error affects the n=8 row of Table 2 and should be corrected.","section":"Section 4.1, “Pure gravitational anomalies for d=6”"},{"comment":"The spin-side determination of Ω̃^Spin_7(K(Z,3)), the filtration (93), the vanishing/isomorphism of the d3 differentials, and the normalization ∫_{X^7} ¼H3∧p1 = 1 are all taken from Theorem 3.5 of [23] and are not re-derived here. The subsequent comparison X^7 → −4Y and the spin anomaly coefficient ¼H3∧p1 rely on that external input. This is an acceptable citation, but because it is load-bearing for the new 5d spin anomaly, the paper should either include a proof/adaptation of the relevant parts of [23] or explicitly state that the spin part of the main claim is conditional on that theorem.","section":"Sections 3.2.1 and 4.2.1"},{"comment":"The coefficient −5/96 ∫_{L4} p1(TL4) is derived after saying that background gauge fields from the expansion of a are not considered. However, the flux-quantization shift G4 = a − p1(M10)/4 means the component of a on L4 contributes directly to the H3∧p1 term through the −½ H3∧G4∧G4 coupling. Unless ∫_{L4} a is fixed or argued to vanish, the quoted coefficient is not determined. This should be clarified; otherwise the top-down realization is ambiguous.","section":"Section 5.1, eqs. (169)–(170)"}],"minor_comments":[{"comment":"The sentence “Since Φ=4, we can conclude … and the sequence does not split” skips the argument that in a split group any lift of the generator of Z3 has Φ divisible by 3, so Φ=4 is impossible. The later extension-class paragraph (3[M]=I(4φ), 4≡1 mod 3) supplies the actual proof; the exposition should be reorganized to make this clear.","section":"Section 3.1.1, proof of Theorem 3.1"},{"comment":"Several displayed tables are very hard to read in the current form; the entries for Ω^SO_5, Ω^SO_8, Ω^Spin_8 and the Anderson-dual rows are especially easy to misparse. Please reformat with explicit column separators and unambiguous notation such as Z2^3, Z⊕Z2, etc.","section":"Tables 1, 2 and eqs. (26), (95), (96)"},{"comment":"After computing ∫_Y H3∧p1 = −1, the text calls Y “the desired geometric generator with dual basis H3∧p1.” Since the pairing is −1, the class −H3∧p1 is the actual dual basis if one insists on positive evaluation; the sign convention should be stated explicitly.","section":"Section 4.2.1"},{"comment":"The Steenrod-square expansion of Sq2(θ∪u) is written schematically. It would be clearer to display all terms and then note that only the θ^2 term survives integration over L2.","section":"Section 5.2, eq. (173)"}],"recommendation":"major_revision","confidential_remarks":"The core ideas and the oriented bordism computation are strong and likely correct. The main obstacles are fixable: Appendix A states bordism groups that contradict the paper's own Anderson-dual results, and Section 4.3/Table 2 appear to omit the pure-gravitational torsion summands. I would be comfortable with acceptance after these points are corrected and the dependence on [23] is made explicit. The degree of reliance on a recent external preprint for the spin normalization is the only substantive correctness risk."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The paper deserves a serious referee. Its real content is the bordism computation for K(Z,3) up to degree 8, and on reading, the core of that computation looks sound. The oriented side is especially convincing: the Milnor S3-bundle construction for Ω^SO_7(K(Z,3)), the Φ invariant taking the value 4, and the 3×[M̃] = 4φ cross-check all hang together. The geometric resolution of the Ω̃^SO_8 extension via two independent Z2 invariants, u w2 w3 and uSq²u, is genuinely new and clearly argued. The 7d uSq²u anomaly and its Z2-subgroup analysis are also new, and the authors honestly flag where the boundary realization is not intrinsic.\n\nThe main physical claim, the 5d mixed anomaly H3∧p1, is a bit more delicate. The oriented half is internally supported by Theorem 3.1. The spin half, with the ¼ normalization and the filtration (93), is taken from Theorem 3.5 of [23] and is not re-derived here. If that filtration or normalization were off, the spin generator would be a different multiple of H3∧p1, and the anomaly coefficient and the magnetic-string interpretation would shift. This is a normal citation-to-a-recent-preprint risk, not an internal inconsistency, but it is load-bearing enough that the authors should either re-derive it or state clearly that the spin result is imported.\n\nThere is also an attribution mismatch: the abstract says \"we find a new mixed perturbative anomaly,\" while Section 1 attributes that anomaly to the companion paper [21]. The bordism derivation and the spin normalization are new work, but the wording needs reconciling. The 7d uSq²u boundary realization is explicitly not yet intrinsic (Conclusions); the paper would be stronger if that claim were framed as classification-only, or supplemented with a true boundary construction. The top-down examples in Section 5 are honestly labeled non-examples (K3 is not an AdS background; RP² yields a Z2 2-form symmetry), so they do not overclaim.\n\nWho is this for? Anyone doing anomaly classification with higher-form symmetries or using bordism to find new invertible phases. The AHSS computations and geometric generator constructions will be useful as a template. I would accept it for peer review; the math is careful and the soft spots are addressable. I would ask the referee to push on the spin normalization and the abstract's attribution, but I do not see a load-bearing flaw in the oriented computation.","headline":"The bordism computation is the real content and it looks right; the headline spin-side anomaly claim rests on an imported normalization that needs either re-derivation or explicit flagging.","tokens_in":732,"tokens_out":766,"would_cite":true,"duration_ms":28223,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper computes the full bordism classification for U(1) one-form symmetry backgrounds and derives two previously unseen anomalies: a 5d mixed diffeomorphism anomaly and a 7d intrinsic discrete anomaly.","keywords":["higher-form symmetries","1-form symmetry anomaly","bordism classification","invertible phases","gerbe gauge field","spectral sequence and extension problems","discrete anomaly","anomaly inflow"],"falsifier":"Recompute the bordism invariant Φ([M_{1,1},f̃]) = ∫ f̃*ι ⌣ p1(T M_{1,1}) from the long exact sequence of the S³-bundle, checking that the value is exactly 4 (not ±4 with the opposite sign convention, not 4 mod something); any deviation would make the short exact sequence 0→Z→Ω^SO_7→Z3→0 split, destroying the claimed uniqueness of the 5d anomaly. Alternatively, construct a spin 7-manifold with K(Z,3)-structure on which ∫ ¼H3∧p1 evaluates to 1 but whose class is divisible by 2 in Ω^Spin_7, which would disprove the claimed generator normalization.","tokens_in":37539,"feed_emoji":"⚛️","tokens_out":10064,"duration_ms":84885,"temperature":0.7,"pith_summary":"The paper aims to show that the anomalies of a continuous U(1) one-form symmetry are fully captured, at the level of invertible phases, by the oriented and spin bordism groups of the classifying space K(Z,3), computed through degree eight. It resolves the two tricky extension problems geometrically, proving that the degree-seven oriented bordism group is Z (not Z ⊕ Z3) and that the reduced degree-eight group is Z2 ⊕ Z2. Physically, this yields a new mixed perturbative anomaly in five dimensions between the one-form symmetry and diffeomorphisms, generated by H3 ∧ p1 (with spin normalization ¼H3 ∧ p1), and a new Z2 discrete anomaly in seven dimensions generated by u Sq²u, plus a mixed u w2 w3 class on non-spin manifolds. A sympathetic reader would care because these bordism-level results organize both perturbative and nonperturbative anomalies in one table, give explicit geometric generators for every anomaly class, and make concrete predictions about the extra topological data carried by magnetic strings and magnetic branes.","feed_headline":"New 5d and 7d anomalies found for 1-form symmetries","feed_subtitle":"Bordism computations place every perturbative and discrete anomaly in one table, and give magnetic strings an extra topological label.","key_machinery":"The engine is the spectral sequence of the fibration pt → K(Z,3) → K(Z,3), plus geometric representatives that settle the extension problems. For degree 7, the generator is an S³-bundle over S⁴ with e=0 and p1=4α, pulled back to make f*ι the fiber class; the invariant Φ = ∫ f*ι⌣p1 evaluates to 4, proving infinite order and non-splitting. For degree 8, two mod-2 invariants, u w2 w3 and u Sq²u, detect the two Z2 factors. The spin generator obeys ∫ ¼H3∧p1 = 1, fixed by the filtration of the spin bordism group.","core_discovery":"The paper computes the oriented and spin bordism groups of the classifying space K(Z,3) up to degree 8. Its central results: Ω^SO_7(K(Z,3)) is isomorphic to Z, as a non-split extension 0 → Z → Z → Z3 → 0, with geometric generator an S³-bundle over S⁴ whose pullback of the fundamental degree-3 class is the fiber class; and the reduced group Ω~^SO_8 ≅ Z2 ⊕ Z2, detected by u w2 w3 and u Sq²u. The spin generator is normalized by ∫ ¼H3∧p1 = 1. The paper concludes that 5d theories with this symmetry have a mixed anomaly H3∧p1 with diffeomorphisms, while 7d theories carry a Z2 discrete anomaly uSq²u (plus u w2 w3 on non-spin manifolds).","pith_inferences":["Beyond the paper: the same geometric strategy — spectral sequence plus explicit sphere-bundle generators — should carry over to K(Z,p+2) for continuous U(1) p-form symmetries, suggesting that each higher p will have its own pair of new anomalies in dimensions 2p+3 and 2p+5.","Beyond the paper: the H1(Σ,Z) sector of the magnetic string suggests a physical interpretation of the 5d anomaly as a kind of framing or trivialization data on string worldsheets; one testable consequence is that in a 5d theory in this phase, magnetic strings of zero charge should have a degeneracy labeled by H1 of the worldsheet.","Beyond the paper: the anomaly interplay result points to a general principle for continuous higher-form symmetries: a Z2 anomaly of a U(1) p-form symmetry need not come from a Z2 anomaly of the finite subgroup; detecting it may require the full U(1) classifying space even though the anomaly class is mod-2.","Beyond the paper: the top-down reduction suggests that the H3∧p1 anomaly is tied to the signature of the compactification manifold; a six-dimensional (2,0) compactification on a circle has zero signature and no anomaly, so searching for 5d theories on compact four-manifolds with nonzero signature would be a concrete avenue."],"forward_implications":["Five-dimensional theories with a U(1) one-form symmetry and dynamical gravity generically carry a mixed anomaly proportional to H3∧p1; the anomaly is Z-valued, and in spin theories the minimal generator is normalized to ¼H3∧p1 rather than H3∧p1.","A magnetic string in such a 5d phase is not just a charged embedded surface: after excising a tubular neighborhood, anomaly inflow requires a trivialization of p1 (or ½p1 in spin) on the boundary sphere bundle, and the distinct trivializations are classified by H1(Σ,Z), giving the string an extra topological sector.","Seven-dimensional theories with a U(1) one-form symmetry have an intrinsic Z2-valued discrete anomaly u Sq²u, invisible to any local anomaly polynomial, and on non-spin manifolds a further mixed anomaly u w2 w3.","Restricting the 7d anomaly to the Z2 subgroup of U(1) does not trivialize it; it survives as an order-two element of the Z8-valued anomaly group of the Z2 one-form symmetry.","The anomaly polynomials can be engineered from string-theory reductions: compactification on a four-manifold with nonzero signature produces H3∧p1, and a reduction over RP² produces u Sq²u (though the latter is naturally interpreted as a Z2 2-form background)."],"fun_headline_variants":["Bordism uncovers 5d and 7d 1-form symmetry anomalies","5d mixed anomaly and 7d discrete Z2 from 1-form symmetries","New 1-form symmetry anomalies in 5d and 7d via bordism","5d diffeomorphism anomaly and 7d discrete anomaly for U(1) 1-form"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"The load-bearing geometric check is the evaluation ∫_{M_{1,1}} f̃*ι ⌣ p1 = 4 for the S³-bundle with e=0 and p1=4α; if that number is wrong, the extension could split and the 5d anomaly generator would not be unique, and a second borrowed input — the filtration of the spin bordism group that fixes the ¼ normalization — is not re-derived in this paper.","fun_headline_variants_meta":{"raw":{"variants":["Bordism uncovers 5d and 7d 1-form symmetry anomalies","5d mixed anomaly and 7d discrete Z2 from 1-form symmetries","New 1-form symmetry anomalies in 5d and 7d via bordism","5d diffeomorphism anomaly and 7d discrete anomaly for U(1) 1-form"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000174,"raw_usage":{"total_tokens":1131,"prompt_tokens":768,"completion_tokens":363,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":512,"completion_tokens_details":{"reasoning_tokens":269}},"tokens_in":512,"tokens_out":363,"duration_ms":3976,"temperature":1.0,"reasoning_tokens":269,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-02T12:13:07.389365+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Recompute the bordism invariant Φ([M_{1,1},f̃]) = ∫ f̃*ι ⌣ p1(T M_{1,1}) from the long exact sequence of the S³-bundle, checking that the value is exactly 4 (not ±4 with the opposite sign convention, not 4 mod something); any deviation would make the short exact sequence 0→Z→Ω^SO_7→Z3→0 split, destroying the claimed uniqueness of the 5d anomaly. Alternatively, construct a spin 7-manifold with K(Z,3)-structure on which ∫ ¼H3∧p1 evaluates to 1 but whose class is divisible by 2 in Ω^Spin_7, which would disprove the claimed generator normalization.","supporting_citations":[],"review_version":2}