Pith. Sign in

REVIEW

Five-Dimensional Supersymmetric Gauge Theories and Degenerations of Calabi-Yau Spaces

PaperPDF from arXiv

data files

ReviewThe objections and verdict, as JSON Paper breakdownThe authors' claims, conditions and measurements, as JSON Signed receiptProof this review has not been altered
X Bluesky LinkedIn Reddit Hacker News
K. Intriligator, D.R. Morrison, N. Seiberg

High Energy Physics - Theory · Submitted 27 Feb 1997 · 47 references

Pith's verdict: The paper that turned Seiberg's SU(2) fixed-point story into a general classification, and it holds up; the only real soft spot is a local, unacknowledged gap in the §5 SU(N) sub-wedge argument.

T0 · AI review

How this review was made: An AI referee (selfhosted/deepseek-v4.1-flash) read the paper on October 29, 2026 and answered a fixed list of questions about it. T0 is the starting level every paper gets. The levels describe how deeply Pith has checked the paper, never the authors.

  1. T0 AI review An AI read the paper and answered a fixed list of questions.
  2. T1 Audit Automatic checks that the references and files the paper relies on exist and match.
  3. T2 Compute The paper's code or calculations re-run with the same results.
  4. T3 Formal statement The claims written out in a formal math language a computer can read.
  5. T4 Proof Those claims proved, and the proof checked by computer.

How Pith checks papers →

· 7 minor · Ask about this paper · The compiled record · Read the full review →
Challenge this review Comment (0) Read on arXiv ↗
Cite ▾
arXiv IDhep-th/9702198 (version 2)
Pith IDHJFGEIZC, Pith's permanent record of this paper and its review
CitationD.R. Morrison, K. Intriligator, N. Seiberg. "Five-Dimensional Supersymmetric Gauge Theories and Degenerations of Calabi-Yau Spaces." arXiv:hep-th/9702198 (1997). https://pith.science/paper/HJFGEIZC
Cite this reviewBibTeX for Pith's review of this paper
Claim paper

Why Pith says this

Highlight any text to comment on it.

Referee report

How Pith checks papers → · Full audit of this paper →

The paper

The paper claims

Five-dimensional supersymmetric gauge theories are sorted by a single convexity test on their exact one-loop prepotential, and the survivors match a class of Calabi–Yau threefold singularities.

The reading

The paper asks which five-dimensional supersymmetric gauge theories can flow to a nontrivial scale-invariant point in the infrared. Its answer is organized around one object: the exact prepotential on the Coulomb branch, which in five dimensions is at most cubic and therefore fixed entirely by a one-loop computation. Requiring that this cubic be convex across the whole Coulomb branch — equivalently, that the effective gauge coupling matrix stay positive semi-definite everywhere — is stated as a necessary condition, and the authors enumerate every simple gauge group and matter content that passes it: $Sp(N)$, $SU(N)$, $Spin(M)$, and the exceptional groups, each with a specific bound on how much matter is allowed. The same enumeration is then read geometrically, through M-theory compactified on a Calabi–Yau threefold in which a configuration of surfaces shrinks to a curve; the authors compute the cubic intersection form on those surfaces and recover the field-theory prepotential exactly, case by case. If the identification holds, the field-theory list and the geometric list are two descriptions of one classification, and the geometry gains a systematic way to recognize which contractions of surfaces can occur at higher-codimension walls of the Kähler cone.

What carries the argument

The load-bearing device is the exact one-loop prepotential, $F = -1 m_0 h_{ij} -1 + -1 c_{cl} d_{ijk} -1 + -1 ( -1 sum_R |R -1 |^3 - -1 sum_f sum_{w in W_f} |w -1 + m_f|^3 )$, together with the statement that its Hessian is the effective gauge coupling matrix. Convexity of this cubic on the Weyl chamber is the criterion: the vector-multiplet sum is automatically convex, the hypermultiplet sum is automatically concave, and the classification amounts to asking when the matter cannot overwhelm the gauge fields. A second device carries the geometry: the negative of the relative Kähler cone $-K(X/X)$ is identified with the Weyl chamber, the weights of the matter representation are required to be represented by connected holomorphic curves, and the cubic form $S^3$ on the exceptional surfaces is evaluated by induction from the self-intersections of the curves along which the surfaces meet. The Chern–Simons coefficient of the field theory emerges from the geometry as an undetermined constant $c'$ in the $SU(N)$ intersection numbers, which is how the authors say they came to notice that such a term is possible at all.

Extended reading notes

Core claim

The central claim is a classification, in both field theory and geometry, of five-dimensional supersymmetric gauge theories that can reach a nontrivial renormalization group fixed point. The field-theory side rests on the exact prepotential $F$ on the Coulomb branch, which is at most cubic because five-dimensional gauge invariance plus the quantization of the Chern–Simons coefficient $c_{ijk}$ forbids higher terms; it is therefore determined by a one-loop sum over the roots of the gauge group and the weights of the matter representations. The criterion for a fixed point is that $F$ be convex throughout the Weyl chamber, so that the metric $t_{ij} = -1$ and the effective couplings remain non-negative when the classical coupling is taken to zero. Applying this yields concrete bounds: $n_A$ at most 1 and $n_F$ at most $2N+4$ for $Sp(N)$; $n_F + 2|c_{cl}|$ at most $2N$ for $SU(N)$, with antisymmetric matter allowed only for $N$ at most 8; $n_V$ at most $M-4$ for $Spin(M)$, with spinors only for small $M$; $n_7$ at most 4, $n_{26}$ at most 3, $n_{27}$ at most 4, $n_{56}$ at most 3, and no matter at all for $E_8$. The geometric side identifies each such theory with M-theory on a Calabi–Yau threefold containing surfaces $S_j$ that shrink to a curve, computes the cubic intersection numbers $S_i S_j S_k$ for the classical groups, and shows the resulting $F = -1$ matches the gauge-theory formula term by term.

Load-bearing premise

The classification treats convexity of the one-loop prepotential as the dividing line between theories that do and do not have a nontrivial fixed point, but the paper states this only as a necessary condition and then has to establish existence case by case.

Editorial extensions

If this is right

  • Every five-dimensional simple gauge theory whose one-loop prepotential is convex on the Coulomb branch appears on a finite list, with explicit matter bounds for $Sp(N)$, $SU(N)$, $Spin(M)$, $G_2$, $F_4$, $E_6$, $E_7$, and $E_8$.
  • The parity anomaly forces a Wess–Zumino-type Chern–Simons term whenever the number of fundamental flavors is odd for $SU(N)$, so those theories necessarily break $C$ and $P$ while preserving $CP$.
  • The same list classifies a family of Calabi–Yau threefold singularities, contractions of a curve of surfaces that generalize del Pezzo contractions and sit at higher-codimension walls of the Kähler cone.
  • The cubic intersection forms on those Calabi–Yau configurations reproduce the gauge-theory prepotentials exactly, giving a geometric handle on prepotentials for theories whose field-theory description is strongly coupled.
  • Several fixed points that were not reachable by brane-probe arguments, such as $Sp(N)$ with no antisymmetric tensor and $n_F$ up to $2N+4$, are shown to exist by exhibiting explicit Calabi–Yau degenerations.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The convexity test behaves like a five-dimensional analogue of the asymptotic-freedom sign, but it is not the same inequality: for $Sp(N)$ with no antisymmetric matter the five-dimensional bound $n_F \le 2N+4$ is weaker than the four-dimensional one, while for $Sp(2)$ with antisymmetric matter it is stronger, so dimensional reduction does not simply inherit the classification.
  • If the correspondence is exact in both directions, the geometry gives an independent computational route to prepotentials of strongly coupled five-dimensional theories, which could be used to test any proposed matter content that field theory alone cannot decide.
  • The pattern suggests a broader question the paper does not pursue: whether the convexity criterion can be derived from a unitarity or positivity requirement on the five-dimensional superconformal algebra, which would turn a computational test into a structural one.
Original abstract

We discuss five-dimensional supersymmetric gauge theories. An anomaly renders some theories inconsistent and others consistent only upon including a Wess-Zumino type Chern-Simons term. We discuss some necessary conditions for existence of nontrivial renormalization group fixed points and find all possible gauge groups and matter content which satisfy them. In some cases, the existence of these fixed points can be inferred from string duality considerations. In other cases, they arise from M-theory on Calabi-Yau threefolds. We explore connections between aspects of the gauge theory and Calabi-Yau geometry. A consequence of our classification of field theories with nontrivial fixed points is a fairly complete classification of a class of singularities of Calabi-Yau threefolds which generalize the ``del Pezzo contractions'' and occur at higher codimension walls of the K\"{a}hler cone.

The compiled record

The paper's own sentences, arranged, kept beside the review and separate from it. Each label is drawn from a closed vocabulary; the number beside it is the probability the classifier gave that label. Numbers in the tables are the authors', checked by code. No sentence in this record was written by a model.

Compiled by classifier-1.13-20260917 via OpenRouter, question bank abstract-p1-20260923, 2026-09-23: 1 request, 5,530 input tokens, $0.0002 reported.

What the abstract itself states, as probabilities: claims first 0.03 · states limitation 0.21 · human participants 0.01 · controlled comparison 0.01 · randomized assignment 0.01 · states quantitative result 0.08 · compares with prior results 0.09 · mentions code or data availability 0.01.

The abstract, sentence by sentence

arXiv listing abstract v2. Results and the main claim are underlined; .

We discuss five-dimensional supersymmetric gauge theories. An anomaly renders some theories inconsistent and others consistent only upon including a Wess-Zumino type Chern-Simons term. We discuss some necessary conditions for existence of nontrivial renormalization group fixed points and find all possible gauge groups and matter content which satisfy them. In some cases, the existence of these fixed points can be inferred from string duality considerations. In other cases, they arise from M-theory on Calabi-Yau threefolds. We explore connections between aspects of the gauge theory and Calabi-Yau geometry. A consequence of our classification of field theories with nontrivial fixed points is a fairly complete classification of a class of singularities of Calabi-Yau threefolds which generalize the ``del Pezzo contractions'' and occur at higher codimension walls of the K\"{a}hler cone.

background contribution method result interpretation main claim

What the classifier reports for each sentence. The number is the probability it gave the label.
#sentencerolethe authors' own workstates the main conclusionstrength
s0 We discuss five-dimensional supersymmetric gauge theories. background 0.76 0.74 0.02 asserted 0.66
s1 An anomaly renders some theories inconsistent and others consistent only upon including a Wess-Zumino type Chern-Simons term. background 0.67 0.32 0.05 asserted 1.00
s2 We discuss some necessary conditions for existence of nontrivial renormalization group fixed points and find all possible gauge groups and matter content which satisfy them. contribution 0.87 0.96 0.12 asserted 1.00
s3 In some cases, the existence of these fixed points can be inferred from string duality considerations. method 0.74 0.21 0.03 hedged possibility 0.78
s4 In other cases, they arise from M-theory on Calabi-Yau threefolds. method 0.55 0.30 0.04 asserted 0.99
s5 We explore connections between aspects of the gauge theory and Calabi-Yau geometry. contribution 0.97 0.87 0.06 asserted 0.89
s6 A consequence of our classification of field theories with nontrivial fixed points is a fairly complete classification of a class of singularities of Calabi-Yau threefolds which generalize the ``del Pezzo contractions'' and occur at higher codimension walls of the K\"{a}hler cone. result 0.85 0.92 0.74 asserted 1.00

What kind of paper the classifier reports this is: theoretical result 1.00 · evidence from proof or derivation 0.83.

What was examined, and what was not

sources read
  • arXiv listing abstract v2
not examined
  • full text
  • figures and tables
  • references and citing sentences
  • relations to other papers
levels run
  • P abstract
not run
  • S sections
  • T body sentences
  • C citations
  • R cross-paper relations

Every quoted sentence on this record is the authors'. Every label is from Pith's closed vocabulary, with the probability shown beside it. Every number in the measurements table is the authors', checked by code. Record as JSON

Figures
Figure 1. The configuration of surfaces yielding Sp(N) with nF fundamentals. Following [29], we note that each of the adjoint weights (which can all be written as combinations of the εk’s) is responsible for either g or g ′ hypermultiplets of charged matter, depending on whether the corresponding parameter curve has genus g or g ′ . These hypermultiplets can be collected into g copies of the adjoint representation and g ′−g copies of the antisymmetric representation. In fact, this is the only way that the antisymmetric representation can arise, so we find that nA = g ′ − g. For each copy of
Figure 2. The configuration of surfaces yielding SU(N) with nF fundamentals. 30
Figure 3. The configuration of surfaces yielding Spin(2N + 1) with nV vectors. 3 There is another way to get Spin(2N + 1) gauge symmetry [29], but it leads to charged matter in the antisymmetric rather than the vector representation. 34
Figure 4. The configuration of surfaces yielding Spin(2N) with nV vectors. There is one additional detail about the configuration which we need. Since SN ·δ (α) = SN · εN−1 = 0, we see that δ (α) is a holomorphic curve whose self-intersection on SN is −2. Under those circumstances, the only way that δ (α) + 2σ (α) N can be a fiber in the ruling is if the exceptional curve σ (α) N passes through an ordinary double point, and indeed a local computation shows that this happens [42]. This implies that the exceptional curve σ (α) N does not arise from an ordinary blowup, but rather from one
Figure 5. Two triangulations of toric data for SU(3) with nF = 4. 9.4. Spin(2N + 1) In our next example, we consider Spin(2N + 1) with g = 0 adjoints and nV = 2N − 3 vectors. The geometry is represented by

Figures reproduced from arXiv:hep-th/9702198 by the authors.

References
How later papers used it

269 later papers cite it

Evidence: substantial. 261 of the citing papers share no author with it, and 21 of those carry a confident label from Pith's citation classifier.

Pith read 40 of the 609 citing sentences, choosing only those whose citation markers point at this paper alone, and wrote the paraphrases from them. The summary, the counts, the evidence level, the links and the quotes come from code; the summary counts the papers listed below. A later paper is listed under a label when Pith's citation classifier gives one of its sentences that label at probability 0.8 or more (0.95 for support), Pith's reading finds that the citing paper itself did it, and a second check confirms the paraphrase against the sentence. This section lists uses only. It does not list criticism or disagreement, so their absence here says nothing about how the paper has been received. Papers that share an author with this one are listed apart, under "By the same authors". A quote is the citing authors' own sentence, shown when their paper's licence is CC BY, CC BY-SA or CC0. JSON

Builds on it 1 of 3 papers with this label
Uses its method or tool 1 of 5 papers with this label

  • Followed this paper's methodology to present the geometric construction of the IR non-Abelian gauge theory description of T_N theory.

    Trifectas for $T_N$ in 5d (2020) · 0.99 · paraphrased: the licence does not allow quoting

Compares with it 3 of 12 papers with this label
Cites it as support 1 of 3 papers with this label · 1 by the same authors

By the same authors

  • Used this paper's argument as evidence, noting that it applies when there is more than one gauge group factor.

    6D SCFTs and Phases of 5D Theories (2017) (same authors) · 0.97 · paraphrased: the licence does not allow quoting

How the literature uses it

257 arXiv papers cite this in 589 sentences

Each citing sentence is taken from the citing paper's LaTeX source and typed by Pith's classifier. A label appears at probability 0.8 or more (0.95 for support), a contest at 0.7 or more; the quoted words are the citing authors'. How each label was checked · JSON

Papers citing it · 374 sentences without a confident label

Contests it 3 papers
  • In the previous section, we confirmed that some 5d theories which go beyond the constraints introduced in [ref] are in fact consistent theories with interacting fixed points.

    Towards Classification of 5d SCFTs: Single Gauge Node · Rank 2 · contest 0.72

  • However, it had turned out that 5-brane web diagrams can realize 5d gauge theories that lie beyond the bound given in [ref] .

    Dualities and 5-brane webs for 5d rank 2 SCFTs · Introduction · contest 0.71

  • For gauge theories with a simple gauge group, the data is summarized[We note that we rectify the typographical error in [ref] whereby the classical flavor symmetry rotating $N_27$ fundamental hypermultiplets of $E_6$ was written as $SU(N_27)$ rather than $U(N_27)$.] in table [ref].

    Fibers add Flavor, Part II: 5d SCFTs, Gauge Theories, and Dualities · Box Graphs and Flavor Symmetries · contest 0.85

Builds on it 2 papers
  • Building on an observation made in [ref] , we translate this requirement into the restriction that the lengths of the weights of a given representation be no larger than those of the adjoint representation.

    Towards Classification of 5d SCFTs: Single Gauge Node · Classification overview · 0.93

  • The previous brane set-up could be seen as a generalisation of the 5-brane webs in the presence of O7 fixed planes describing $USp(2N)$ fixed point theories, discussed in [ref] , which satisfy that the number of flavours is $N_F≤2N+4$, as required for the existence of a 5d fixed point in the absence of antisymmetric hypermultiplets [ref] [The absence of antisymmetric hypermultiplets is in agreement with the global symmetries of the non-Abelian T-dual solution, as seen in section [ref].].

    AdS$_6$ T-duals and AdS$_6 \times S^2$ geometries in Type IIB · On the CFT interpretation of the non-Abelian T-dual solution · 0.88

Uses its method or tool 5 papers
Compares with it 11 papers
Cites it as support 2 papers
  • This again follows from the criterion put forward in [ref] , because we always have a product gauge group with bifundamental matter.

    6D SCFTs and Phases of 5D Theories · Non-Higgsable Clusters · 0.96

  • An infinite tower of states becoming massless at finite distance in moduli space is only possible together with a strong coupling regime and a non-Lagrangian description of the theory, which in a gravity-decoupling regime becomes a non-trivial 5d SCFT [ref] .

    On the moduli space curvature at infinity · M-theory analysis · 0.97

Cites it as background 149 papers
  • In the mid-1990's, it was realized that many supersymmetric 5d gauge theories could be viewed as the low-energy description of certain deformations of superconformal field theories (SCFTs) in five and six dimensions [ref] .[For instance, five-dimensional maximal SYM is believed to describe the 6d $=(2,0)$ theory compactified on a circle with radius $R=g^2$—in the $SU(N)$ case, this is directly implied by the M-theory/type IIA duality [ref] , since a stack of $N$ M5-branes wrapping a circle is dual to a stack of $N$ D4-branes in flat space.] A key feature of these RG flows is that a given SCFT can admit several deformations of this kind, leading to apparently inequivalent gauge theory phases in the infrared (IR) [ref] , a phenomenon sometimes called an “ultraviolet (UV) duality” [ref] .

    Five-dimensional SCFTs and gauge theory phases: an M-theory/type IIA perspective · Introduction · 0.87

  • For minimal supersymmetric gauge theories in five dimensional spacetime, the Coulomb phase is characterized by a real function $ℱ: 𝔥→ℝ$ called the Intriligator-Morrison-Seiberg potential [ref] .

    Incidence Geometry in a Weyl Chamber II: $SL_n$ · Physical motivation · 0.89

  • In [ref] , the above supersymmetry protected data is used to attempt a classification of possible 5d SCFTs admitting low energy gauge theory descriptions.

    On Geometric Classification of 5d SCFTs · Gauge theory description · 0.87

Discussion

Disagree with the review, or know something it missed? Leave a comment, highlight any passage above to comment on it, or challenge this review formally.