Generalised global symmetries in 5d $\mathcal{N}=1$ theories from the blow-up equations

Noppadol Mekareeya; William Harding

Blow-up equations extract 5d 1-form anomalies and 2-group structure from the classical prefactor alone.

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

T0 review · grok-4.5

2026-07-15 09:55 UTC pith:6G4OFKKP

load-bearing objection Abstract-only: a concrete dictionary from blow-up prefactors to 5d 1-form/2-group anomalies looks useful if the classical prefactor really carries the full anomaly data. the 3 major comments →

arxiv 2607.06663 v2 pith:6G4OFKKP submitted 2026-07-07 hep-th

Generalised global symmetries in 5d mathcal{N}=1 theories from the blow-up equations

William Harding , Noppadol Mekareeya This is my paper

classification hep-th PACS 11.30.Pb11.15.-q11.25.Hf

keywords 5d N=1 SCFTsblow-up equations1-form symmetries2-group symmetries't Hooft anomaliesinstanton partition functionssuperconformal indexnon-Lagrangian theories

verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

Five-dimensional N=1 superconformal field theories carry a rich set of generalised global symmetries—1-form symmetries, 2-group symmetries, and their 't Hooft anomalies—that are usually hard to read off. This paper shows that the same data sits inside the classical prefactor of the blow-up equations that govern the instanton partition function on the Omega-background. Evaluating that prefactor on an electric 1-form background turns the fractional parts of its exponents into the cubic self-anomaly of the 1-form symmetry and its mixed anomalies with instanton, flavour, gravitational and R-symmetry currents. Once those numbers are known, a single comparison with the continuous global symmetry of the ultraviolet fixed point (read from the superconformal index) decides whether the theory realises a 2-group or a mixed anomaly. The method is applied both to ordinary gauge theories and to non-Lagrangian families, producing new effective prepotentials and new anomaly coefficients along the way.

Core claim

The fractional parts of the exponents of the classical prefactor exp(-V_n) of the blow-up equations, when evaluated on a background for the electric 1-form symmetry, encode the cubic self-anomaly of that 1-form symmetry together with all of its mixed anomalies with instanton, flavour, gravitational and SU(2)_R symmetries; combined with the UV continuous global symmetry extracted from the superconformal index, the same data decides whether the theory has a 2-group symmetry or a mixed 't Hooft anomaly.

What carries the argument

The classical prefactor exp(-V_n) that weights each magnetic flux in the blow-up equations. Evaluated on an electric 1-form background, the fractional parts of its exponents become the complete set of cubic and mixed 't Hooft anomalies of the 1-form symmetry.

Load-bearing premise

That the classical prefactor of the blow-up equations, once evaluated on an electric 1-form background, already contains the complete and faithful cubic and mixed anomalies of the 1-form symmetry with no missing non-classical contributions.

What would settle it

Compute the 1-form cubic and mixed anomalies of a rank-two theory such as P^2 union F_3 by an independent method (for example a geometric engineering or anomaly inflow calculation) and check whether the fractional parts extracted from exp(-V_n) reproduce the same numbers.

Watch this falsifier — get emailed when new claim-graph text bears on it.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Desk Editor's Note

Abstract-only: a concrete dictionary from blow-up prefactors to 5d 1-form/2-group anomalies looks useful if the classical prefactor really carries the full anomaly data.

read the letter

The one thing to know is that this paper claims a practical extraction of 1-form, mixed, and 2-group data for 5d N=1 SCFTs straight from the classical prefactor exp(-V_n) in the blow-up equations, once you put an electric 1-form background on it. Fractional parts of those exponents are supposed to give the cubic self-anomaly and the mixed anomalies with instanton, flavour, gravity, and SU(2)_R; together with the UV continuous symmetry from the superconformal index, that decides 2-group versus mixed 't Hooft anomaly.

What looks new, if it holds, is the dictionary itself plus the concrete outputs: effective prepotentials for the B_N and B_N^(1,2,3) families, cubic 1-form anomalies for the rank-two geometries P^2 cup F_3 and P^2 cup F_6, and several mixed 1-form–flavour and 1-form–SU(2)_R coefficients. They also walk the method through ordinary gauge theories (SU(4), USp(4) with antisymmetrics, Spin(7)/Spin(8) with vectors) and non-Lagrangian families, which is the right place to check consistency. Blow-up equations and instanton partition functions are standard tools; the claimed advance is treating the classical prefactor as the direct carrier of this anomaly data.

The soft spot is exactly the load-bearing premise the reader flagged: that the classical prefactor is complete and faithful, with no extra non-perturbative pieces. We only have the abstract, so there are no derivations, no side-by-side checks against known anomaly polynomials, and no explicit formulae to inspect. That is not a manufactured flaw; it is simply uncheckable from what we have. Circularity does not look severe—the inputs are external computational frameworks—but if V_n is already fixed by the same geometric data that encodes the anomalies, part of the extraction may be less independent than it sounds.

This is for people who already work on 5d SCFTs, geometric engineering, and generalised symmetries. A serious referee should see the full text; the claim is concrete enough and the listed new results are specific enough that desk rejection would be premature. I would not cite it yet, and I would not bring an abstract-only note to reading group, but I would accept it for peer review and look carefully at whether they verify the prefactor against known cases before trusting the new coefficients.

Referee Report

3 major / 2 minor

Summary. The manuscript proposes that generalised global symmetries (higher-form and 2-group) and their 't Hooft anomalies in five-dimensional N=1 SCFTs can be read off from the classical prefactor exp(-V_n) of the blow-up equations that govern instanton partition functions on the Ω-background. Evaluated on an electric 1-form background, the fractional parts of the exponents of this prefactor are claimed to encode the cubic self-anomaly of the 1-form symmetry together with its mixed anomalies with instanton, flavour, gravitational and SU(2)_R symmetries. Combined with the continuous UV global symmetry extracted from the superconformal index, the same data is said to decide between a 2-group structure and a mixed 't Hooft anomaly. The method is illustrated on several Lagrangian theories (SU(4), USp(4) with antisymmetrics; Spin(7), Spin(8) with vectors) and non-Lagrangian families, with new results listed for effective prepotentials of the B_N and B_N^(1,2,3) series and for cubic and mixed 1-form anomalies of certain rank-two geometries.

Significance. If the extraction procedure is correct and complete, it would supply a systematic, computationally accessible route to higher-form and 2-group anomaly data for a broad class of 5d N=1 theories, including non-Lagrangian ones for which direct anomaly-polynomial computations are difficult. The claimed new results on B_N prepotentials and on the rank-two geometries P^2∪F_3 and P^2∪F_6 would be concrete additions to the literature. The approach builds on established tools (blow-up equations and the superconformal index), which is a methodological strength provided the map from fractional exponents of V_n to anomaly coefficients is independently justified.

major comments (3)

[Abstract (central claim on exp(-V_n))] The central, load-bearing claim—that the fractional parts of the exponents of the classical prefactor exp(-V_n), when evaluated on an electric 1-form background, fully and faithfully encode the cubic 1-form self-anomaly and all mixed anomalies with instanton, flavour, gravitational and SU(2)_R symmetries, and that this data plus the UV continuous symmetry decides 2-group versus mixed anomaly—is asserted in the abstract without a derivation, error control, or explicit comparison to known anomaly polynomials. This premise must be derived and cross-checked against at least one theory whose anomalies are independently known (e.g. pure SU(2) or SU(3)) before the method can be regarded as established.
[Abstract (2-group vs mixed-anomaly decision)] The abstract states that the same data 'decides whether the theory possesses a 2-group symmetry or a mixed 't Hooft anomaly.' The precise decision criterion (which combination of fractional exponents and continuous UV symmetry data selects one structure over the other) is not given. Without an explicit algorithm or diagnostic, the claim that the method resolves the 2-group/mixed-anomaly dichotomy cannot be assessed.
[Abstract (listed new results)] New results are announced for the effective prepotentials of the B_N and B_N^(1,2,3) families and for the cubic 1-form anomalies of P^2∪F_3 and P^2∪F_6, yet no formulae, tables or numerical values appear in the available text. These claims require explicit expressions and, where possible, consistency checks against existing geometric or field-theoretic computations.

minor comments (2)

[Abstract] The abstract is dense and packs several distinct claims (extraction of cubic and mixed anomalies, decision between 2-group and mixed anomaly, new prepotentials, new anomaly coefficients) into a single paragraph. A clearer separation of the general method from the list of new results would improve readability.
[Abstract] Notation for the classical prefactor (V_n) and for the electric 1-form background is introduced without definition in the abstract; even a brief parenthetical clarification would help non-specialist readers.

Circularity Check

0 steps flagged

No circularity detectable from abstract alone; claimed extraction uses external blow-up equations and index data as independent inputs.

full rationale

Only the abstract is available, so no internal equations, definitions of V_n, or derivation steps can be inspected for self-definitional reductions or fitted-parameter renamings. The abstract presents the classical prefactor exp(-V_n) of the blow-up equations (an established external computational framework for 5d instanton partition functions) as the carrier of fractional anomaly data when evaluated on an electric 1-form background, and combines it with the UV continuous global symmetry from the superconformal index (likewise an external input). These are standard tools in the literature, not tautological redefinitions of the target anomalies. New results (effective prepotentials of B_N families, cubic 1-form anomalies of rank-two geometries, mixed anomalies) are stated as outputs of the method rather than as inputs re-labeled. Without the full text there is no quotable reduction of the form 'Eq. X = Eq. Y by construction' or 'parameter fitted to data then called prediction'. Per the hard rules, absence of inspectable circular steps yields score 0; the Reader's concern about whether V_n is a complete carrier is a correctness/completeness risk, not a demonstrated circularity.

Axiom & Free-Parameter Ledger

0 free parameters · 3 axioms · 0 invented entities

Abstract-only review: free parameters and invented entities cannot be exhaustively listed. The method rests on the standard mathematical framework of blow-up equations for 5d instanton partition functions on the Omega-background, the existence of a classical prefactor exp(-V_n), and the domain assumption that fractional parts of its exponents on 1-form backgrounds equal the physical 't Hooft anomalies. No new particles or forces are introduced; the 'entities' are anomaly coefficients extracted from existing geometric data.

axioms (3)

domain assumption Blow-up equations govern the instanton partition functions of 5d N=1 theories on the Omega-background, with a classical prefactor exp(-V_n) weighting each magnetic flux.
Standard in the 5d SCFT / geometric engineering literature; invoked as the starting point of the method.
ad hoc to paper Fractional parts of the exponents of exp(-V_n) evaluated on an electric 1-form background equal the cubic 1-form self-anomaly and mixed anomalies with instanton, flavour, gravity, and SU(2)_R.
This is the central identification claimed by the paper; it is not a standard theorem stated as already proved in the abstract.
domain assumption The faithful continuous global symmetry of the UV fixed point is determined from the superconformal index and, combined with the anomaly data from V_n, decides 2-group vs mixed 't Hooft anomaly.
Uses established index techniques plus the paper's anomaly extraction to classify the global structure.

pith-pipeline@v1.1.0-grok45 · 6249 in / 2793 out tokens · 17400 ms · 2026-07-15T09:55:55.931050+00:00 · methodology

0 comments

read the original abstract

Five-dimensional $\mathcal{N}=1$ superconformal field theories admit a rich variety of generalised global symmetries, including higher-form and 2-group symmetries and their 't$~$Hooft anomalies. We show that this data can be extracted directly from the blow-up equations governing the instanton partition functions of such theories on the $\Omega$-background. The central object is the classical prefactor $\exp(-V_n)$ weighting each magnetic flux on the blown-up geometry: evaluated on a background for the electric 1-form symmetry, the fractional parts of its exponents encode the cubic self-anomaly of the 1-form symmetry and its mixed anomalies with the instanton, flavour, gravitational, and $\mathrm{SU}(2)_R$ symmetries. Combined with the faithful continuous global symmetry of the ultraviolet fixed point, determined from the superconformal index, the same data decides whether the theory possesses a 2-group symmetry or a mixed 't$~$Hooft anomaly. We illustrate the method in gauge theories, including $\mathrm{SU}(4)$ and $\mathrm{USp}(4)$ with antisymmetric hypermultiplets and $\mathrm{Spin}(7)$ and $\mathrm{Spin}(8)$ with vector hypermultiplets, as well as in several families of non-Lagrangian theories. New results include the effective prepotentials of the $B_N$ and $B_N^{(1,2,3)}$ families, the cubic 1-form anomalies of the rank-two theories $\mathbb{P}^2\cup\mathbb{F}_3$ and $\mathbb{P}^2\cup\mathbb{F}_6$, and several mixed 1-form--flavour and 1-form--$\mathrm{SU}(2)_R$ anomalies.

Review history (2 revisions) →

Generalised global symmetries in 5d mathcal{N}=1 theories from the blow-up equations

Core claim

What carries the argument

Load-bearing premise

What would settle it

discussion (0)