⚛️ high-energy theory

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

This paper demonstrates that the generalized global symmetries, including higher-form and 2-group symmetries, along with their 't Hooft anomalies in five-dimensional $\mathcal{N}=1$ superconformal field theories, can be directly extracted from the classical prefactor of the blow-up equations governing instanton partition functions, a method the authors apply to derive new results for both Lagrangian and non-Lagrangian theories.

Original authors: William Harding, Noppadol Mekareeya

Published 2026-07-09

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: William Harding, Noppadol Mekareeya

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

Imagine the universe of physics as a giant, complex machine made of invisible gears and springs. Physicists call these machines "theories." Some of these theories are like well-oiled, standard engines (called "Lagrangian" theories) where we know exactly how every part fits together. Others are mysterious, black-box machines (called "non-Lagrangian" theories) where we can see the output, but we don't know the internal blueprint.

This paper is about a new, powerful tool the authors built to peek inside these machines, specifically focusing on a special kind of five-dimensional universe with a lot of symmetry (called 5d N=1 theories).

Here is the breakdown of their discovery, using simple analogies:

1. The Problem: Hidden Symmetries and "Ghost" Rules

In physics, "symmetries" are like rules that say, "If I swap this part for that part, the machine still works." Usually, we look for symmetries that act on single points (like swapping two electrons). But in these 5D theories, there are "Generalised Global Symmetries."

Think of these not as swapping single points, but as swapping entire shapes or loops floating in the machine.

1-form symmetry: Imagine a rubber band floating in the machine. The rule says, "You can stretch or shrink this rubber band, but you can't cut it."
2-group symmetry: This is a more complex rule where the rubber bands interact with the machine's gears in a specific, locked way.

The authors wanted to know: What are these hidden rules? Do they have "anomalies" (glitches where the rules break)? And do they form these complex 2-group structures?

2. The Tool: The "Blow-Up" Equation

To find these rules, the authors used a mathematical technique called the Blow-up Equation.

The Analogy:
Imagine you have a flat, smooth sheet of paper (representing the physics of the theory). To understand its hidden properties, you take a pin and poke a tiny hole in the center, then "blow it up" into a tiny, inflated balloon (a sphere).

This "blow-up" creates a new geometry.
The authors found that the mathematical formula describing this new, puffed-up balloon contains a secret code.
This code is a "classical prefactor" (a specific number attached to the formula) that changes depending on how you twist the rubber bands (the symmetries) around that new balloon.

3. The Discovery: Reading the Code

The authors realized that if you look closely at the exponents (the little numbers in the power of the formula) of this "blow-up" code, you can read the entire rulebook of the theory's symmetries.

The Fractional Parts: When they calculated the numbers, they found "fractional" remainders (like 1/2 or 1/3).
- Analogy: Imagine a clock that usually ticks in whole hours. If the clock suddenly ticks at "12:30" or "12:15," that fractional time tells you something special is happening.
- These fractional ticks revealed the "Anomalies." An anomaly is like a glitch in the rulebook. For example, it might say, "You can stretch the rubber band, but only if you also twist the gear by exactly half a turn."
The "Forced Flux": The math showed that if you try to set a rubber band to a certain position, the machine forces another part (like an "instanton" or a flavor symmetry) to move to a specific spot to compensate.
- If the machine compensates perfectly, it's a 2-group symmetry (a tight, locked team).
- If the compensation is a glitch, it's a mixed anomaly (a broken link).

4. The Challenge: The "Trustworthy" Symmetry

To figure out exactly what kind of team the symmetries form (a tight 2-group or a broken link), the authors needed to know the "Faithful Global Symmetry."

Analogy: Imagine a group of people holding hands. You need to know if they are holding hands with everyone (faithful) or if some are just pretending.
The authors used a "Superconformal Index" (a detailed inventory list of the machine's parts) to determine exactly who is really holding hands.
The Result: They found that for some theories (like those with specific numbers of "hypermultiplets" or matter), the same mathematical "forced flux" could mean two different things depending on the "faithful" symmetry. It's like a traffic light that looks red but is actually green, depending on which side of the street you are standing on.

5. The New Results: Cracking the Black Boxes

The paper didn't just check known machines; they cracked open the "non-Lagrangian" black boxes (theories with no known blueprint).

New Blueprints: They calculated the "effective prepotentials" (the master energy formulas) for families of these mysterious theories (named $B_N$ , $P_2 \cup F_3$ , etc.) for the first time.
New Glitches: They discovered specific "cubic anomalies" (complex 3-way glitches) and "mixed anomalies" (glitches between the rubber bands and the flavor gears) for theories that had never been analyzed before.
The "Spin" Twist: For some theories involving "Spin" groups (like Spin(7) and Spin(8)), they had to be very careful about "spinc offsets."
- Analogy: Imagine walking on a floor that is slightly tilted. If you don't account for the tilt, your steps will be wrong. The authors found that for these specific theories, the "floor" is tilted by a half-step, and you must adjust your math to account for it, or the symmetry rules break.

Summary

In short, the authors took a complex mathematical tool (the blow-up equation), which was originally designed to count particles, and realized it acts like a decoder ring. By decoding the "fractional remainders" in the equation, they could:

Identify hidden symmetry rules (1-form symmetries).
Detect glitches in those rules (anomalies).
Determine if the symmetries are tightly locked together (2-groups) or broken.
Solve the mysteries of "black box" theories that previously had no known blueprints.

They proved that the "blow-up" method is a universal key that works for both the known, standard theories and the mysterious, non-Lagrangian ones.

Technical Summary: Generalised Global Symmetries in 5d $N=1$ Theories from the Blow-up Equations

Problem Statement
Five-dimensional $\mathcal{N}=1$ superconformal field theories (SCFTs) exhibit a rich structure of generalised global symmetries, including higher-form symmetries, 2-group symmetries, and their associated 't Hooft anomalies. While these structures have been extensively analyzed using geometric engineering (Calabi-Yau threefold singularities) and symmetry topological field theories, a purely field-theoretic diagnostic capable of extracting this data directly from the partition function has been less developed. Specifically, determining the faithful continuous global symmetry of the ultraviolet (UV) fixed point and distinguishing between genuine 2-group symmetries, mixed 't Hooft anomalies, and split extensions often requires combining geometric intuition with field-theoretic computations.

Methodology
The authors propose a method to extract data regarding generalised global symmetries directly from the blow-up equations, which govern the instanton partition functions of 5d $\mathcal{N}=1$ theories on the $\Omega$ -background. The central object of this analysis is the classical prefactor $\exp(-V_n)$ , which weights each magnetic flux $n$ on the blown-up geometry.

The methodology proceeds through the following steps:

Evaluation on Backgrounds: The authors evaluate the exponent of the blow-up function, $V_n$ , on specific background fluxes corresponding to the electric 1-form symmetry. These fluxes take values in non-trivial cosets of the coweight lattice modulo the coroot lattice.
Extraction of Anomalies: The fractional parts of the exponents in $\exp(-V_n)$ $exp (- V_{n})$ encode the 't Hooft anomalies:
- The exponent of the instanton fugacity $q$ measures the fractional instanton number, revealing the mixed 1-form– $U(1)_I$ anomaly.
- The constant part of the $(p_1 p_2)$ -exponent (related to the $\Omega$ -background parameters) encodes the cubic self-anomaly of the 1-form symmetry, as well as mixed gravitational and $SU(2)_R$ couplings.
- The exponents of flavour fugacities yield mixed 1-form–flavour anomalies.
Determination of Faithful Symmetry: To distinguish between 2-group symmetries and mixed anomalies, the authors determine the faithful continuous global symmetry of the UV fixed point. This is achieved by computing the superconformal index, which captures the protected multiplets of the SCFT.
Flux Criterion for 2-Groups: By demanding the integrality of gauge-fugacity exponents at the generator of the genuine 1-form symmetry, the authors identify "forced fluxes" for partner instanton and flavour symmetries. The nature of the resulting structure (2-group vs. anomaly vs. split extension) is decided by comparing these forced fluxes against the faithful symmetry group derived from the index.

Key Contributions and Results

Generalised Diagnostic: The paper establishes that the blow-up equations inherently contain the data of generalised global symmetries. The authors provide a practical, purely field-theoretic recipe to extract 't Hooft anomalies and 2-group structures without relying on geometric engineering.
Quantisation Rules: The authors derive closed-form expressions for the blow-up function $\exp(-V_n)$ $exp (- V_{n})$ for general gauge groups with hypermultiplet matter. They establish a two-step recipe for fixing the quantisation of background magnetic fluxes:
1. Fixing flavour fluxes ( $B_{m_h} = \pm 1/2$ ) by requiring independence from gauge fugacities at zero gauge flux.
2. Fixing instanton fluxes ( $B_{m_0}$ ) by requiring integer powers of gauge fugacities on non-trivial 1-form symmetry cosets.
New Results for Non-Lagrangian Theories: The method is applied to several families of non-Lagrangian theories, yielding new results:
- Effective Prepotentials: Closed-form effective prepotentials are obtained for the $B_N$ and $B^{(1,2,3)}_N$ families.
- Anomalies: The cubic 1-form anomalies for rank-two theories $P_2 \cup F_3$ and $P_2 \cup F_6$ are computed. Notably, the anomaly of $P_2 \cup F_3$ , initially appearing as a mixed 1-form–gravitational anomaly, is recast as a purely cubic one using a mod 24 counterterm ambiguity.
- Mixed Anomalies: New mixed 1-form–flavour anomalies are identified for the $B^{(2)}_N$ and $B^{(3)}_N$ families.
Lagrangian Theories: The analysis covers pure $SU(N)_{k_{CS}}$ $S U (N)_{k_{C S}}$ gauge theories, $SU(4)$ and $USp(4)$ with antisymmetric hypermultiplets, and $Spin(7)$ and $Spin(8)$ with vector hypermultiplets.
- For $SU(4)_{k_{CS}}$ with antisymmetric matter, the authors demonstrate that the blow-up equations return the same "forced flux" for $k_{CS} = 0, 2, 4$ . The distinction between non-split 2-groups, mixed anomalies, and split extensions is determined solely by the variation of the faithful symmetry (which changes with $k_{CS}$ ) as revealed by the superconformal index.
- The paper clarifies the quantisation of $B_{m_0}$ for theories with matter, showing how it depends on the number of hypermultiplets and the Chern-Simons level.
Superconformal Indices: The authors compute the superconformal index for $USp(4)_{\theta=0} + 2\Lambda^2$ and $SU(3)_{k_{CS}=6}$ , resolving subtleties regarding decoupled free hypermultiplets and $\Lambda$ factors. These computations confirm the faithful global symmetries (e.g., $SO(3)$ vs. $SU(2)$) necessary for the 2-group analysis.

Significance
The paper claims that the blow-up equations serve as a powerful, self-contained tool for diagnosing the global structure of 5d SCFTs. By linking the fractional parts of the blow-up function exponents directly to 't Hooft anomalies and combining this with the superconformal index to fix the faithful symmetry group, the authors provide a unified framework to determine 2-group symmetries. This approach reproduces previously known geometric results and extends them to non-Lagrangian theories where geometric extraction is more complex. The work highlights that the distinction between different global structures (2-groups vs. anomalies) often hinges on the specific realization of the continuous global symmetry, which can be precisely determined via the index.