Pith. Sign in

REVIEW

Fivebranes, Membranes and Non-Perturbative String Theory

High Energy Physics - Theory · Submitted 28 Jul 1995 · 52 references

Pith's verdict: The e^{-1/g_s} scaling and the supersymmetric 3-cycle conditions are derived and hold up; the precise instanton measure, multiple covers, and the genericity of the four-zero-mode case are open, and the paper says so itself.

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 →

· 4 major objections · 9 minor · Ask about this paper · The compiled record · Read the full review →
Challenge this review Comment (0) Read on arXiv ↗
Cite ▾
arXiv IDhep-th/9507158 (version 3)
Pith IDJLKSDTRU, Pith's permanent record of this paper and its review
CitationAndrew Strominger, Katrin Becker, Melanie Becker. "Fivebranes, Membranes and Non-Perturbative String Theory." arXiv:hep-th/9507158 (1995). https://pith.science/paper/JLKSDTRU
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
The paper

The paper claims

Membranes wrapped on three-dimensional cycles generate string-theory corrections that scale as $e^{-1/g_s}$, and their geometry is fixed by a pair of conditions on the Calabi-Yau.

The reading

Perturbation theory in string theory is an expansion in the string coupling $g_s$, and it cannot see effects that behave like $e^{-1/g_s}$. This paper argues that such effects exist, are computable, and correct the geometry of the hypermultiplet moduli space of type IIA string theory compactified on a Calabi-Yau threefold. The carriers are membranes (two-dimensional extended objects) that wrap three-dimensional cycles of the Calabi-Yau; the weight of each contribution is the exponential of minus the membrane's volume, which in string units is $e^{-1/g_s}$. The authors derive the condition for a wrapped membrane to preserve half the supersymmetry — the pullback of the Kähler form must vanish and the pullback of the holomorphic three-form must be a constant multiple of the volume element — and confirm it with a Bogomol'nyi bound relating the membrane volume to the period of the holomorphic three-form. If the argument holds, the low-energy supergravity of these compactifications already encodes non-perturbative physics, and mirror symmetry becomes a statement equating a sum over odd-dimensional cycles in one Calabi-Yau with a sum over even-dimensional cycles in its mirror.

What carries the argument

The load-bearing device is the pair of supersymmetry conditions for a membrane wrapping a 3-cycle, derived from the kappa symmetry of the covariant supermembrane action and independently enforced by a Bogomol'nyi bound: the pullback of the Kähler form vanishes, and the pullback of the holomorphic three-form is a constant multiple of the volume element. This turns a dynamical question (which maps extremize the membrane volume?) into a geometric one about calibrated cycles, and it fixes the instanton action to be $e^{-K}|int_{C_3} Omega|$, which in string units becomes $e^{-1/g_s}$. The second device is the membrane vertex operator, built from the worldbrane fields and the zero-mode wave functions of the five-dimensional hypermultiplet fermions, which converts the four fermion zero-modes of the instanton into a correction to the four-fermion coupling of the low-energy theory, with the integral over the cycle reducing to $int_{C_3} d_I$ for a basis of harmonic three-forms.

Extended reading notes

Core claim

The central claim is that type IIA string theory on a Calabi-Yau space receives non-perturbative corrections to its hypermultiplet moduli space of order $e^{-1/g_s}$, produced by membrane instantons wrapping supersymmetric 3-cycles. The authors first work in eleven-dimensional supergravity, where the membrane is described by a covariant supermembrane action; requiring that a bosonic membrane configuration leave a global supersymmetry unbroken, compensated by a local fermionic transformation, reduces to two conditions on the map: the pullback of the Kähler form onto the membrane vanishes, $i/2$ times the pullback of the holomorphic three-form equals a constant phase times the volume element. These conditions are shown to be necessary and sufficient, and a Bogomol'nyi argument shows they saturate the bound $V_3^0 = e^{-K}|int_{C_3} Omega|$ on the membrane volume, so supersymmetric cycles are exactly the volume-minimizing ones in their homology class. Dimensional reduction on a circle then turns the eleven-dimensional membrane into the IIA two-brane, whose wrapping on a 3-cycle gives the $e^{-1/g_s}$ correction to hypermultiplet geometry, while a membrane wrapping both the circle and a Calabi-Yau 2-cycle reduces to the familiar worldsheet instanton and reproduces the standard formula for corrections to the vector-multiplet Yukawa couplings. Fivebrane instantons wrapping the whole Calabi-Yau contribute at order $e^{-1/g_s^2}$, and the paper closes by conjecturing the IIB side of the story — string, threebrane and fivebrane instantons on even cycles — as the mirror image of the IIA sum.

Load-bearing premise

The paper assumes each supersymmetric cycle contributes with weight equal to the exponential of minus its volume times a prefactor determinant it does not compute, and that multiple covers and extra zero-modes can be handled by a straightforward sum — both of which the authors flag as unresolved.

Editorial extensions

If this is right

  • The hypermultiplet moduli space of type IIA compactifications is not protected by supersymmetry and is corrected at order $e^{-1/g_s}$; only the vector-multiplet geometry is protected.
  • Supersymmetric 3-cycles in a Calabi-Yau are characterized by the vanishing of the pullback of the Kähler form and proportionality of the pulled-back holomorphic three-form to the volume element, giving a concrete geometric criterion for calibrated cycles.
  • The same cycle condition is expected to characterize extremal black holes in the IIB theory, since a threebrane wrapping a 3-cycle has a mass bounded below by the period of the holomorphic three-form.
  • The eleven-dimensional origin of the membrane means the IIA worldsheet instanton formula for Yukawa couplings is recovered as a special case, providing a check on the whole scheme.
  • Quantum mirror symmetry becomes the statement that a weighted sum over odd-dimensional supersymmetric cycles in one Calabi-Yau equals a weighted sum over even-dimensional cycles in the mirror.
  • Fivebrane instantons wrapping the entire Calabi-Yau give corrections at order $e^{-1/g_s^2}$, so the non-perturbative expansion has a hierarchy set by the dimensionality of the wrapped cycle.

Reading between the lines

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

  • If the cycle conditions are correct, they give a practical algorithm for enumerating non-perturbative contributions: find the calibrated 3-cycles, integrate the holomorphic three-form over them, and weight by the exponential of the resulting volume. That is a finite, if hard, geometric computation rather than a statement about string dynamics.
  • The paper's own framing suggests a broader test: wherever a heterotic dual with an exact tree-level hypermultiplet metric exists, the exact metric should reproduce the sum of these exponential terms. K3-fibered dualities are the natural place to look, and a mismatch there would be informative.
  • Because the argument only uses kappa symmetry and a Bogomol'nyi bound, it should extend to any brane whose worldvolume action is known and whose wrapped cycle is calibrated by a closed form — the same logic would predict which cycles of a manifold with exceptional holonomy contribute.
  • The unresolved multiple-cover question is not a technicality: a membrane wrapping a cycle $n$ times would contribute with weight $e^{-n \cdot \mathrm{Vol}}$, and whether such configurations count as one object or $n$ objects changes the sum in a way that could be visible in a mirror-symmetry comparison.
Original abstract

Non-perturbative instanton corrections to the moduli space geometry of type IIA string theory compactified on a Calabi-Yau space are derived and found to contain order $e^{-1/g_s}$ contributions, where $g_s$ is the string coupling. The computation reduces to a weighted sum of supersymmetric extremal maps of strings, membranes and fivebranes into the Calabi-Yau space, all three of which enter on equal footing. It is shown that a supersymmetric 3-cycle is one for which the pullback of the K\"ahler form vanishes and the pullback of the holomorphic three-form is a constant multiple of the volume element. Quantum mirror symmetry relates the sum in the IIA theory over supersymmetric, odd-dimensional cycles in the Calabi-Yau space to a sum in the IIB theory over supersymmetric, even-dimensional cycles in the mirror.

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, 3,841 input tokens, $0.0002 reported.

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

The abstract, sentence by sentence

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

Non-perturbative instanton corrections to the moduli space geometry of type IIA string theory compactified on a Calabi-Yau space are derived and found to contain order $e^{-1/g_s}$ contributions, where $g_s$ is the string coupling. The computation reduces to a weighted sum of supersymmetric extremal maps of strings, membranes and fivebranes into the Calabi-Yau space, all three of which enter on equal footing. It is shown that a supersymmetric 3-cycle is one for which the pullback of the K\"ahler form vanishes and the pullback of the holomorphic three-form is a constant multiple of the volume element. Quantum mirror symmetry relates the sum in the IIA theory over supersymmetric, odd-dimensional cycles in the Calabi-Yau space to a sum in the IIB theory over supersymmetric, even-dimensional cycles in the mirror.

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 Non-perturbative instanton corrections to the moduli space geometry of type IIA string theory compactified on a Calabi-Yau space are derived and found to contain order $e^{-1/g_s}$ contributions, where $g_s$ is the string coupling. result 0.95 0.93 0.61 asserted 1.00
s1 The computation reduces to a weighted sum of supersymmetric extremal maps of strings, membranes and fivebranes into the Calabi-Yau space, all three of which enter on equal footing. method 0.49 0.87 0.32 asserted 1.00
s2 It is shown that a supersymmetric 3-cycle is one for which the pullback of the K\"ahler form vanishes and the pullback of the holomorphic three-form is a constant multiple of the volume element. result 0.73 0.58 0.07 asserted 1.00
s3 Quantum mirror symmetry relates the sum in the IIA theory over supersymmetric, odd-dimensional cycles in the Calabi-Yau space to a sum in the IIB theory over supersymmetric, even-dimensional cycles in the mirror. result 0.82 0.57 0.22 asserted 1.00

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

What was examined, and what was not

sources read
  • arXiv listing abstract v3
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

References
How the literature uses it

140 arXiv papers cite this in 202 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 · 146 sentences without a confident label

Builds on it 1 paper
  • These non-perturbative and non-local contributions typically come from the BBS [ref] and KKLT [ref] -type instantons whose properties were derived for specific cases in [ref] and here we generalize the story.

    de Sitter Space as a Glauber-Sudarshan State: II · Organization and a brief summary of the paper · 0.94

Uses its method or tool 3 papers
  • Having mapped the problem to a heterotic-like set-up, one could now try to apply heterotic techniques to compute instanton correlators. >From the $F$-theory perspective it is natural to try and apply the rules of [ref] et al to compute instanton correlators, instead of using the old worldsheet techniques.

    MSW Instantons · Introduction · 0.92

  • The condition for supersymmetry [ref] 3! ε^abc Γ_mnp_a X^m _b X^n _c X^pη=-ηreduces, in the static gauge, to Γ_04Γ_C̃η=-η ,

    Loop operators and S-duality from curves on Riemann surfaces · M2-branes as holographic loop operators · 0.83

  • To derive the volume of the 3-cycle from CY$_3$ data we will use a property of the special Lagrangian submanifold (supersymmetric cycle) [ref] .

    Wrapped brane gas as a candidate for Dark Matter · mass of wrapped branes with Calabi-Yau threefold · 0.98

Compares with it 1 paper
  • Interestingly, in this limit, the first term looks suspiciously close[Close, but not exactly the same: the integral structure here is a bit different from an actual BBS instanton gas contribution.] to the action of a gas of neutral BBS M5-instantons [ref] wrapped on the base $M_4 ×M_2$ of our eight-manifold [ref] once we absorb the function $𝔽^(1)(- y')$ in the quantum series [ref] (see Table [ref]).

    de Sitter Space as a Glauber-Sudarshan State · Case 1: The BBS type instanton gas · 0.93

Cites it as support 1 paper
Cites it as background 49 papers
  • Being a quaternion-Kähler (QK) manifold [ref] , $_H$ receives instanton corrections coming from branes wrapping non-trivial cycles of the Calabi-Yau [ref] .

    Fivebrane instantons in Calabi-Yau compactifications · Introduction · 0.94

  • Their contributions may be classified as BBS [ref] and KKLT [ref] type instantons, both in localized and de-localized forms.

    de Sitter Vacua in the String Landscape · Non-perturbative effects from instantons · 0.86

  • While D-instanton effects are fundamental to the dynamics of string theory [ref] , and have been determined in some cases by a combination of on-shell worldsheet methods and string dualities [ref] , a systematic framework for computing them has been lacking until recent work of Sen [ref] based on open+closed string field theory [ref] .

    D-instanton Effects in Type IIB String Theory · Introduction · 0.84

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.