On Flux Quantization In M-Theory And The Effective Action

Edward Witten

REVIEW

On Flux Quantization In M-Theory And The Effective Action

Edward Witten

High Energy Physics - Theory · Submitted 16 Sep 1996 · 17 references

Pith's verdict: The shifted flux quantization law is correct and became standard; the two derivations are independent, and the residual softness is the acknowledged 'representative situation' framing, not the sign rule the reader flagged.

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.

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

How Pith checks papers →

· 1 major objection · 6 minor · Ask about this paper · The compiled record · Read the full review →

Challenge this review Comment (0) Read on arXiv ↗

Cite ▾

arXiv IDhep-th/9609122 (version 2)

Pith ID7VB4MRSQ, Pith's permanent record of this paper and its review

CitationEdward Witten. "On Flux Quantization In M-Theory And The Effective Action." arXiv:hep-th/9609122 (1996). https://pith.science/paper/7VB4MRSQ

Cite this reviewBibTeX for Pith's review of this paper

Claim paper

Why Pith says this

Highlight any text to comment on it.

Editor's note

read the letter

The thing to know: the shift in the flux quantization law — that [G/2π] − λ/2, not [G/2π], is the integral class — is right, and it turned into textbook material. The paper gives two structurally independent routes to it: the Horava-Witten boundary relation in §2.1 and the membrane worldvolume anomaly in §2.2. That the two agree is the real evidence, and it is why I trust the result rather than just the author's name on it. The applications are not decoration: the brane-counting constraint of [2] closes once you use the Wu formula, the half-integral flux on R5/Z2 falls out of w4, and the Rarita-Schwinger sign ambiguity is canceled by a Chern-Simons term that stays parity-invariant because G cannot be set to zero when λ is odd. That last point is the paper's best idea, and it is a consequence of the shift, not an extra postulate bolted on. The E8 index-theory route in §4 is also a genuinely useful piece of organization — it turns a pile of congruences into one index computation (4.3)-(4.4).

Referee report

Significance

If correct, this is a foundational correction to the standard flux quantization law of M-theory, and the paper supports it with two structurally independent derivations rather than one. The result is parameter-free and topological, and it makes falsifiable contact with existing literature: the half-integral flux on R5/Z2 found in [12] is recovered from ∫_D w4 = 1 (Eqs. 2.6–2.7), while the analogous R8/Z2 and R9/Z2 orbifolds of [13] are predicted to carry no half-integral flux because w4 = 0 there. The resolution of the Rarita–Schwinger sign puzzle in §5 is a genuine conceptual payoff: it explains why M-theory can cancel a potential Z2 anomaly with a Chern–Simons coupling while remaining parity-invariant, with parity violation arising only spontaneously through the choice of a state with non-zero G. The paper also delivers a useful byproduct, an E8-index-theory proof of the Wu congruence x² ≡ x·λ mod 2 (Eq. 4.7), which had been assumed in §3.

Major objections (1)

[§2.1–2.2, Eqs. (1.2), (2.2), (2.5)] The general statement (1.2) for an arbitrary spin eleven-manifold is asserted on the basis of two arguments that are each explicitly local or representative. In §2.1 the step from integrality of [G/2π] − λ/2 on a boundary N to integrality on all of Y is presented as a plausibility argument ('it is natural to suspect'), and in §2.2 the author states 'Rather than aiming for generality, I will formulate the argument in a representative situation,' treating only a product cycle T = S3 × q inside D = S3 × S1. The extrapolation from such product cycles to all of H_4(Y,Z) is standard, since periods on a generating set determine a cohomology class, but the manuscript does not say so explicitly, and the word 'conclusive' applied to §2.2 is therefore slightly stronger than what is written. I would ask for one or two sentences making the generating-set argument explicit, so that the reader is not left to supply the step that carries the global claim. This is a request for completeness of exposition rather than a challenge to the result, which I believe is correct.

Minor objections (6)

[Eq. (1.1)] The typeset expression for λ reads 'p1(Y )2', which is ambiguous between p1(Y)/2 and p1(Y)²; the surrounding text makes clear that λ = p1/2 is intended, but the displayed equation should be corrected.
[§2.2, Eq. (2.5)] It would help the reader to state explicitly that (−1)^∫D λ = exp(2πi ∫D λ/2) and that, since ∫D λ is an integer, single-valuedness of (2.5) is equivalent to integrality of ∫D(G/2π − λ/2) rather than of ∫D(G/2π + λ/2); the two are of course equivalent, but the intermediate step is worth one line.
[§2.3, footnote 4] The computation of w4 for the deleted orbifold is correct but compressed; a brief indication of why the tangent bundle splits as five copies of the same unorientable line bundle ǫ would make the footnote self-contained for readers unfamiliar with the example of [12].
[§4, Eq. (4.3)] The relation I_Q/2π = i(E8)/2 + i(R.S.)/4 is quoted from [1] as 'subsequently extended [15,16]'; since the entire integrality analysis of §4 and the parity discussion of §5 rest on it, a sentence identifying which feature of [15,16] is being used (the numerical normalization of the C∧I8(R) term) would help the reader locate the supporting derivation.
[References [15] and [16]] The author name is rendered 'S. De Alwis' in [15] and 'S. de Alwis' in [16]; the capitalization should be made consistent.
[§5, Eq. (5.1)] The statement that the two limits m → ±∞ differ by 'essentially (up to a sign that depends only on the manifold and not on the metric)' is appropriately qualified in footnote 6, but the main text could point forward to that footnote more explicitly, since the manifold-dependent sign is precisely what a reader comparing M-theory on different manifolds would need.

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

The paper

The paper claims

The quantum of M-theory's three-form flux is not an integer: a curvature term shifts the quantization law, and with the shift the eleven-dimensional effective action becomes well-defined.

The reading

M-theory is eleven-dimensional supergravity plus the extended objects it implies, and its bosonic data include a three-form field $C$ with field strength $G=dC$. The working assumption had been that, in suitable units, the periods of $G/2π$ are integers, full stop. This paper argues that the correct statement is that $G/2π - λ/2$ has integral periods, where $λ = p_1(Y)/2$ is half the first Pontryagin class of spacetime; equivalently, $G/2π$ carries a half-integral period on exactly those four-cycles on which $λ$ is odd. The point is not bookkeeping: once the shift is included, the classical $C∧G∧G$ term, its gravitational one-loop correction, and the sign ambiguity of the Rarita-Schwinger determinant fit together into a single well-defined phase for the low-energy effective action. A reader should care because this is the statement that M-theory's effective action makes sense as a quantum object, and because it shows the feared parity anomaly of eleven-dimensional supergravity is absent.

What carries the argument

The load-bearing object is the class $λ = p_1(Y)/2$, half the first Pontryagin class, which on a spin manifold is a canonically defined integral class and which measures the gravitational contribution to the flux law. Its two faces are what make the paper work. Topologically, $λ$ is congruent mod two to the fourth Stiefel-Whitney class $w_4$, so the shift can be restated as $∫_D G/2π = ½∫_D w_4$ mod $ℤ$, which is the form that survives on unorientable spacetimes such as $R^5/ℤ_2$ with a neighborhood of the singular point removed. Analytically, $λ$ enters the eleven-dimensional Chern-Simons couplings through the index theorem: the assertion $I_Q/2π = i(E_8)/2 + i(R.S.)/4$ expresses the twelve-dimensional Chern-Simons phase as half the index of the Dirac operator twisted by an $E_8$ bundle with $w = α + λ/2$, plus a quarter of the Rarita-Schwinger index. Because the $E_8$ index is even in $8k+4$ dimensions, all dependence on $G$ drops out of the ambiguity, leaving only a $G$-independent sign that the Rarita-Schwinger determinant supplies.

Extended reading notes

Core claim

The paper's central claim is the shifted flux quantization law $[G/2π] - λ/2 ∈ H^4(Y,ℤ)$, stated in equation (1.2), with $λ = p_1(Y)/2$. Two independent arguments are offered. The first uses the relation of M-theory to the $E_8×E_8$ heterotic string: on a boundary $N$ of spacetime the boundary value of $G$ is fixed by the ten-dimensional anomaly polynomial, $G/2π|_N = (1/16π^2)(tr F∧F - ½ tr R∧R)$, whose cohomology class is $w(V) - λ/2$ with $w(V)$ integral, so the shift holds at least on $N$; the paper then argues it must hold everywhere, since otherwise a local measurement could reveal whether a distant boundary exists. The second argument wraps a membrane world-volume over $S^3×q$ inside a four-cycle $D = S^3×S^1$ and follows the phase as $q$ circles the $S^1$: the $C$-coupling contributes $exp(i∫_D G)$ while the world-volume fermion determinant contributes a sign $(-1)^{∫_D λ}$, so only the product is single-valued. The paper then draws consequences: the tadpole cancellation condition of an earlier compactification analysis follows from the shift; the $C∧G∧G$ coupling, which naively fails to be single-valued by a factor of six, becomes well-defined once gravitational corrections are included; and the residual $G$-independent half-integrality of the Chern-Simons phase cancels the sign ambiguity of the Rarita-Schwinger path integral without breaking parity.

Load-bearing premise

The second, called conclusive, derivation assumes that the membrane world-volume fermion path integral changes sign by $(-1)^{∫_D λ}$ as the membrane wraps the transverse circle, with $λ(N')$ equal to the restriction of $λ(Y)$ to the four-cycle; if that sign rule or its applicability to this embedding fails, only the boundary-based $E_8×E_8$ argument for the shift remains.

Editorial extensions

If this is right

Compactification of M-theory on an eight-manifold $X$ with vanishing $G$ is consistent only when $λ(X)$ is even, which is the same as the intersection form on $H^4(X,ℤ)$ being even; when $λ/2$ is not integral one must turn on $G$ with half-integral periods rather than set it to zero.
The tadpole integrality argument of the earlier compactification paper follows: with $λ = 2x$, the Wu formula $x^2 ≅ x·λ$ mod 2 makes $(p_2 - λ^2)/48$ integral, so the required number of two-branes is an integer.
The $C∧G∧G$ interaction is a genuine Chern-Simons coupling only after gravitational corrections are included; the naive normalization is too small by a factor of six, and the discrepancy is absorbed by the $λ/2$ shift together with the $C I_8(R)$ term.
The feared parity anomaly of eleven-dimensional supergravity and M-theory does not occur: the Chern-Simons coupling that cancels the sign ambiguity of the Rarita-Schwinger determinant is parity-invariant, with $C$ and $G$ odd under parity, so the relation to the $E_8×E_8$ heterotic string survives.
Half-integral flux trapped at an $R^5/ℤ_2$ orbifold singularity, previously found from spacetime anomaly cancellation, is reproduced as a special case of the shift, while the analogous $R^8/ℤ_2$ and $R^9/ℤ_2$ orbifolds have $w_4 = 0$ and so carry no such flux.
When $λ$ is not divisible by two, the required non-zero $G$ realizes parity violation as spontaneous breaking by the choice of state rather than as an explicit violation in the theory, because $G$ is a field and not a coupling constant.

Reading between the lines

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

If the shift is right, the same bookkeeping should constrain flux vacua of M-theory on eight-manifolds more tightly than has been customary: any construction that sets $G=0$ on a manifold with odd $λ$ is not a consistent vacuum, which turns the evenness of the intersection form into a selection rule for admissible compactifications.
The membrane world-volume argument is a template that should apply to other extended objects whose world-volume fermion determinants are anomalous, so one could look for analogous half-integral shifts in the flux laws of related theories by computing the same kind of spectral-flow sign around a transverse circle.
Because the $G$-independent half-integrality of the Chern-Simons phase is tied to the Rarita-Schwinger index modulo four, the question of whether the fermion determinant has a consistent sign on a given compactification becomes a computable topological question about that index rather than a matter of convention.
The paper's remark that a refinement using the eta invariant rather than Chern-Simons would be needed to compare M-theory on different manifolds points toward a gravitational-instanton calculus in which the overall manifold-dependent sign is itself a physical datum.

Original abstract

The quantization law for the antisymmetric tensor field of $M$-theory contains a gravitational contribution not known previously. When it is included, the low energy effective action of $M$-theory, including one-loop and Chern-Simons contributions, is well-defined. The relation of $M$-theory to the $E_8\times E_8$ heterotic string greatly facilitates the analysis.

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, 2,933 input tokens, $0.0001 reported.

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

The abstract, sentence by sentence

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

The quantization law for the antisymmetric tensor field of $M$-theory contains a gravitational contribution not known previously. When it is included, the low energy effective action of $M$-theory, including one-loop and Chern-Simons contributions, is well-defined. The relation of $M$-theory to the $E_8\times E_8$ heterotic string greatly facilitates the analysis.

background contribution method result interpretation main claim

What the classifier reports for each sentence. The number is the probability it gave the label.
#	sentence	role	the authors' own work	states the main conclusion	strength
s0	The quantization law for the antisymmetric tensor field of $M$-theory contains a gravitational contribution not known previously.	result 0.74	0.75	0.67	asserted 1.00
s1	When it is included, the low energy effective action of $M$-theory, including one-loop and Chern-Simons contributions, is well-defined.	result 0.97	0.71	0.43	asserted 1.00
s2	The relation of $M$-theory to the $E_8\times E_8$ heterotic string greatly facilitates the analysis.	method 0.88	0.21	0.07	asserted 1.00

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

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

References

Works cited (17)

[2]

S. Sethi, C. Vafa, and E. Witten, “Constraints On Low-Dim ensional String Compact- iﬁcations,” hepth/9606122

View on Pith
[12]

E. Witten, “Five-Branes And M -Theory On An Orbifold,” hepth/9512219

View on Pith
[13]

K. Dasgupta and S. Mukhi, “Orbifolds Of M -Theory,” hepth/9512196

View on Pith
[1]

P. Horava and E. Witten, “Heterotic And Type I String Dyna mics From Eleven Di- mensions,” Nucl. Phys. B460 (1996) 506, hepth/9510209; “Eleven-Dimensional Su- pergravity On A Manifold With Boundary,” hepth/9603142

View on Pith 1996
[3]

K. Becker and M. Becker, “ M -Theory On Eight-Manifolds,” hepth/9605053

View on Pith
[4]

M. J. Duﬀ, B. E. W. Nilsson, and C. N. Pope, “Spontaneous Su persymmetry Breaking By The Squashed Seven Sphere,” Phys. Rev. Lett. 50 (1983) 2043

View on Pith 1983
[5]

C. Vafa and E. Witten, “A One-Loop Test Of String Duality, ” Nucl. Phys. B447 (1995), hep-th/9505053

View on Pith Pith review arXiv 1995
[6]

M. J. Duﬀ, J. T. Liu, and R. Minasian, “Eleven-Dimensiona l Origin Of String/String Duality: A One Loop Test,” hepth/9506126

View on Pith
[7]

L. Alvarez-Gaum´ e and E. Witten, “Gravitational Anomal ies,” Nucl. Phys. B234 (1983) 269; see p. 309

View on Pith 1983
[8]

A. N. Redlich, “Gauge Non-Invariance And Parity Noncons ervation Of Three- Dimensional Fermions,” Phys. Rev. Lett. 52 (1984) 18

View on Pith 1984
[9]

A. J. Niemi and G. W. Semenoﬀ, “Axial-Anomaly-Induced Fe rmion Fractionalization And Eﬀective Gauge Theory Action In Odd Dimensional Space-T imes,” Phys. Rev. Lett. 51 (1983) 2077

View on Pith 1983
[10]

L. Alvarez-Gaum´ e, S. Della Pietra, and G. Moore, “Anom alies And Odd Dimensions,” Ann. Phys. 163 (1985) 288

View on Pith 1985
[11]

I. M. Singer, “Families Of Dirac Operators With Applica tions To Physics,” in The Mathematical Heritage Of Elie Cartan , Asterisque (1985) 323

View on Pith 1985
[14]

R. Stong, “Calculation Of Ω spin11 (K(Z, 4)),” in Uniﬁed String Theories , eds. M. B. Green and D. J. Gross (World Scientiﬁc, 1986)

View on Pith 1986
[15]

S. De Alwis, “Anomaly Cancellation In M -Theory,” hepth/9609211

View on Pith
[16]

S. de Alwis, “A Note On Brane Tension And M -Theory,” hepth/9607011

View on Pith
[17]

M. J. Duﬀ, “ E8 × SO(16) Symmetry of d = 11 Supergravity?” in Quantum Field Theory And Quantum Statistics , eds. I. A. Batalin, C. J. Isham, and G. A. Vilkoviski (Adam Hilger, Ltd., Bristol, 1987), vol. 2., p, 209. 15

View on Pith 1987

Forward citations

Showing 60 of 85 Pith papers that cite this

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. OpenAlex reports about 340 citations worldwide. See all 85 Pith citations

Beyond the polynomial ansatz: regular $AdS_3\times M_8$ solutions of M-theory
hep-th 2026-10 accept novelty 8.0 of 10

Within the GMMW cohomogeneity-one ansatz, a positive-curvature factor is necessary and sufficient for regular compact AdS3 x M8 solutions, and non-polynomial solutions are generic with four radial shape parameters.
The AdS/$\mathsf{C}$-$\mathsf{P}$-${\mathsf T}$ Correspondence
hep-th 2025-07 conditional novelty 8.0 of 10

N=4 super Yang-Mills has P and T symmetries that mix with CP and CT under S-duality, and these map to specific worldsheet and geometric symmetries of Type IIB string theory.
Consistency of M-Theory on nonorientable manifolds
hep-th 2019-08 conditional novelty 8.0 of 10

The total anomaly from the Rarita-Schwinger field and the C-field cancels on 12-dimensional mc-manifolds, so M-theory is anomaly-free on pin+ manifolds.
The gravity duals of N=2 superconformal field theories
hep-th 2009-04 conditional novelty 8.0 of 10

The gravity duals of Gaiotto's N=2 generalized quiver theories are M-theory backgrounds fixed by a Toda equation whose piecewise-linear line-charge profile encodes the quiver ranks and the punctures' global symmetries.
Model Building with F-Theory
hep-th 2008-02 conditional novelty 8.0 of 10

Charged chiral matter and Yukawa couplings in F-theory GUT models come from flux on 7-brane intersections, and the resulting spectrum reproduces the dual heterotic spectral-cover computation.

Show 55 more citing papers

Type IIA Moduli Stabilization
hep-th 2005-05 accept novelty 8.0 of 10

Fluxes in a type IIA orientifold compactification stabilize all geometric moduli, yielding an infinite family of supersymmetric anti-de Sitter vacua with parametrically large volume and weak coupling.
Setting the quantum integrand of M-theory
hep-th 2004-09 conditional novelty 8.0 of 10

A canonical trivialization of pfaffian line bundles of Dirac operators in 8k+3 dimensions fixes the phase of the M-theory integrand, provably on closed 11-manifolds and conjecturally with spatial boundary.
Quadratic functions in geometry, topology,and M-theory
math.AT 2002-11 accept novelty 8.0 of 10

Differential function spaces generalize Cheeger-Simons characters to any cohomology theory and yield a canonical quadratic refinement of the intersection pairing, which produces Witten's fivebrane partition function l...
Triples, Fluxes, and Strings
hep-th 2001-03 accept novelty 8.0 of 10

Compactifications with sixteen supersymmetries have six distinct seven-dimensional components, labelled by a cyclic group, each with a proposed M theory dual on a singular space carrying frozen singularities.
Perturbative Anomaly Inflow on Orbifolds
hep-th 2026-08 conditional novelty 7.0 of 10

The non-identity ALE fixed-point contribution on the M9 wall reproduces the Kac-label-dependent remainder of the tensor-branch anomaly polynomial for A-type orbi-instanton theories.
On Quantum Aspects of 1-Form Symmetries II: Bordism, Invertible Phases, and Anomalies
hep-th 2026-06 unverdicted novelty 7.0 of 10

Bordism computation for K(Z,3) identifies a new mixed perturbative anomaly in 5D and a new Z2 discrete anomaly in 7D for U(1) 1-form symmetries.
Towards the Non-Perturbative Completion of 4d N=1 Effective Theories of Gravity
hep-th 2025-10 conditional novelty 7.0 of 10

Small-volume regimes of flop curves in 4d N=1 F-theory require non-perturbative states—blow-up moduli and D3-string excitations—to complete the locally enhanced N=2 spectrum.
An M-theory dS maximum from Casimir energies on Riemann-flat manifolds
hep-th 2025-07 unverdicted novelty 7.0 of 10

Explicit scale-separated dS5 maximum in M-theory on a 6D Riemann-flat manifold with vacuum energy 10^{-8} in Planck units, obtained via Casimir energies and fluxes.
Anomaly Matching in 6d $\mathcal{N}=(2,0)$ SCFTs from M5 Cobordism
hep-th 2025-01 conditional novelty 7.0 of 10

M5 bordism classifies the invertible phases of 6d (2,0) anomaly theories, and the Hopf-Wess-Zumino term is the phase that transgresses to the second Pontryagin class.
SymTFTs and Non-Invertible Symmetries of 6d (2,0) SCFTs of Type $D$ from M-theory
hep-th 2024-12 conditional novelty 7.0 of 10

The 7d SymTFT for 6d (2,0) D_N SCFTs is derived from M-theory on AdS7 × RP4, including the outer-automorphism Z2 sector, and is used to derive non-invertible symmetries and anomaly polynomials.
Mixed 't Hooft Anomalies and the Witten Effect for AdS Black Holes
hep-th 2024-12 conditional novelty 7.0 of 10

Near-BPS dyonic AdS4 black holes with a theta angle show a Witten-effect charge shift that reduces the mass gap and the index, and at the special angle both the Bekenstein-Hawking entropy and the supersymmetric index ...
The Chronicles of IIBordia: Dualities, Bordisms, and the Swampland
hep-th 2023-01 conditional novelty 7.0 of 10

A complete computation of type IIB duality-bundle bordism groups through dimension 11 reproduces known F-theory defects and predicts one new non-supersymmetric 7-brane.
Symmetry TFTs from String Theory
hep-th 2021-12 unverdicted novelty 7.0 of 10

Constructs Symmetry TFTs for M-theory compactifications by reducing the topological sector of 11d supergravity on the boundary of X using differential cohomology, with applications to 7d SYM and 5d SCFTs confirmed via...
The anomaly that was not meant IIB
hep-th 2021-07 conditional novelty 7.0 of 10

The type IIB duality group has nonvanishing bordism anomalies, and a modified ten-dimensional Chern-Simons term cancels them in every case the authors can explicitly evaluate.
F-theory flux vacua at large complex structure
hep-th 2021-05 unverdicted novelty 7.0 of 10

At large complex structure in F-theory, the F-term potential simplifies to V = Z^{AB} ρ_A ρ_B, yielding two families of flux vacua with all complex structure moduli fixed, one with bounded saxion vevs and one with unb...
Generalized Global Symmetries of $T[M]$ Theories. I
hep-th 2020-10 conditional novelty 7.0 of 10

Refined polarizations on a compactification manifold classify the absolute lower-dimensional theories obtained from six-dimensional relative theories and determine their extended operators, symmetries, and anomalies.
$G_4$ Flux, Algebraic Cycles and Complex Structure Moduli Stabilization
hep-th 2020-09 conditional novelty 7.0 of 10

An explicit algebraic-cycle G4 flux on the Fermat sextic fourfold stabilizes all 426 complex structure moduli but overshoots the M2-tadpole bound, while a Greene-Plesser symmetric flux leaves 285 flat directions.
Cobordism Conjecture, Anomalies, and the String Lamppost Principle
hep-th 2020-08 conditional novelty 7.0 of 10

The cobordism conjecture plus anomaly cancellation forces the gauge-group rank in 16-supercharge supergravity in d>6 to be 1 mod 8 (9d), 2 mod 8 (8d), or odd (7d), matching known string constructions.
A geometric dual of $c$-extremization
hep-th 2018-10 accept novelty 7.0 of 10

The R-symmetry vector and central charge of a supersymmetric AdS3 x Y7 solution follow from extremizing a functional of purely topological data on the internal manifold, giving a geometric dual of c-extremization.
The Global Gauge Group Structure of F-theory Compactification with U(1)s
hep-th 2017-06 conditional novelty 7.0 of 10

The Shioda map of a Mordell-Weil section forces a discrete centre in the global gauge group of any F-theory compactification with a U(1), and the Standard Model case yields [SU(3)xSU(2)xU(1)]/Z6.
F-theory and 2d (0,2) Theories
hep-th 2016-01 conditional novelty 7.0 of 10

Compactifying F-theory on singular elliptic Calabi-Yau five-folds yields 2d N=(0,2) gauge theories whose matter content, holomorphic couplings, and anomalies are read off from the geometry of the elliptic fibration.
Landscaping with fluxes and the E8 Yukawa Point in F-theory
hep-th 2014-04 conditional novelty 7.0 of 10

An integral monodromy basis for Calabi-Yau fourfold periods is constructed and cross-checked, then used to argue that integer fluxes can drive F-theory moduli to orbifold and gauge-enhancement loci.
Anomaly polynomial of E-string theories
hep-th 2014-04 accept novelty 7.0 of 10

The anomaly polynomial of the rank-Q E-string theory is Q^3 p2(N)/6 + Q^2 chi4(N) I4/2 + Q(I4^2/2 - I8), derived by anomaly inflow from M-theory Chern-Simons terms.
Box Graphs and Singular Fibers
hep-th 2014-02 accept novelty 7.0 of 10

Decorated box graphs, sign-colored representation graphs obeying flow rules, enumerate the crepant resolutions and higher-codimension fiber types of elliptically fibered Calabi-Yau fourfolds, revealing new non-Kodaira...
New Global F-theory GUTs with U(1) symmetries
hep-th 2013-02 conditional novelty 7.0 of 10

An explicit F-theory compactification on a resolved Calabi-Yau fourfold yields an SU(5)×U(1) GUT whose matter spectrum does not descend from E8 and evades the hypercharge-flux no-go theorem.
Conifold Transitions in M-theory on Calabi-Yau Fourfolds with Background Fluxes
hep-th 2012-03 accept novelty 7.0 of 10

For M-theory on a Calabi-Yau fourfold, conifold transitions survive background G-flux precisely when the canonical bundle of the singular curve splits into two line bundles, and a new class of mixed horizontal/vertica...
Gauge Fluxes in F-theory and Type IIB Orientifolds
hep-th 2012-02 accept novelty 7.0 of 10

The universal spectral cover flux of F-theory SU(5) models is identified with the Type IIB gauge flux of the massive diagonal U(1), and the extra massless U(1) flux is matched to a specific linear combination of brane fluxes.
Yukawas, G-flux, and Spectral Covers from Resolved Calabi-Yau's
hep-th 2011-08 accept novelty 7.0 of 10

An explicit resolution of elliptically fibered Calabi-Yau fourfolds with A4 singularities yields exact Chern classes, proves a conjectured Euler-characteristic shift, and derives the local Higgs-bundle spectral cover ...
On Flux Quantization in F-Theory
hep-th 2010-11 conditional novelty 7.0 of 10

Smooth F-theory fourfolds always have integrally quantized four-form flux; half-integral quantization arises only from 7-brane singularities on non-spin surfaces, matching the Freed-Witten anomaly.
Global Spinors and Orientable Five-Branes
hep-th 2006-04 conditional novelty 7.0 of 10

Every oriented Lorentzian six-manifold admits a generalized spin structure with group Sp(2)⋉Spin(1,5), so M5-brane worldvolume fermions are globally defined.
Distributions of flux vacua
hep-th 2004-04 accept novelty 7.0 of 10

Flux vacua in IIb Calabi-Yau compactification follow a computable density built from special geometry, strongly enhanced near conifold points, with a cosmological constant distribution that is uniform near zero.
T-Duality: Topology Change from H-flux
hep-th 2003-06 accept novelty 7.0 of 10

T-duality of a circle bundle exchanges the first Chern class with the fiber integral of the H-flux, and this exchange is an isomorphism of twisted K-theory and twisted cohomology.
2-Group global symmetry in the compactified M2-brane
hep-th 2026-07 conditional novelty 6.5 of 10

Wess–Zumino coupling of the compactified M2-brane forces its monopole 0-form and winding 1-form symmetries into a 2-group whose Postnikov class is the mixed quantized flux.
Unorientable supersymmetric compactifications of M-theory
hep-th 2026-09 conditional novelty 6.0 of 10

By combining a freely-acting isometry on a Calabi-Yau manifold with the (-1)^{F_L} symmetry, the authors produce consistent M-theory compactifications on unorientable manifolds with SU(3)×Z2 holonomy.
On M2-, M5-, and D3-branes from 12d anomalies: an equivariant perspective on duality
hep-th 2026-08 conditional novelty 6.0 of 10

M2, M5, and D3 brane partition functions are shown to follow from one twelve-dimensional anomaly polynomial by choosing the order of equivariant integration.
Moduli-Space Laplacians, Asymptotic Geometry, and the Emergent String Conjecture
hep-th 2026-07 conditional novelty 6.0 of 10

Under the Emergent String Conjecture, the logarithm of any principal tower mass has a moduli-space Laplacian eigenvalue quantized to N/(D-d) for KK towers and N/2 for string oscillators, equal to the instanton-weighte...
What makes spacetime spin in string theory?
hep-th 2026-06 unverdicted novelty 6.0 of 10

GSO projection consistency in Type II string theory requires the target space X to admit a spin structure (or G-equivariant spin structure for orbifolds), identified by computing the mixed bordism group Ω₃^spin(Bℤ₂ × ...
Continuous symmetries and charge measurement of boundary operators in holography
hep-th 2026-02 conditional novelty 6.0 of 10

Continuous symmetry operators in holography are U-shaped hanging brane bound states (D5-KK in Type IIB, M5-KK in M-theory) whose worldvolume couplings reproduce the Gauss-law symmetry operators and measure charges of ...
Anomaly-induced vanishing of brane partition functions
hep-th 2025-10 conditional novelty 6.0 of 10

Anomalies imply vanishing brane partition functions; this yields unified derivations of the Freed-Witten and M5 shifted-quantization conditions and new S-fold D3-brane constraints.
R7-Branes as Charge Conjugation Operators
hep-th 2023-05 conditional novelty 6.0 of 10

Wrapping an R7-brane at infinity implements a zero-form charge conjugation symmetry in 6D N=(2,0) SCFTs, and its self-fusion yields a projection operator built from three discrete gaugings.
Holography and the KKLT Scenario
hep-th 2022-04 conditional novelty 6.0 of 10

A holographic bound on the central charge of the dual conformal field theory forces the KKLT anti-de Sitter vacuum to sit at or below the species scale, so the effective field theory used to construct it is invalid.
Discrete and higher-form symmetries in SCFTs from wrapped M5-branes
hep-th 2020-07 conditional novelty 6.0 of 10

Different boundary conditions on bulk BF terms produce dual 4d SCFTs with distinct discrete 0-, 1-, and 2-form global symmetries, and the inflow anomaly polynomial encodes their 't Hooft anomalies.
Higher Form Symmetries and M-theory
hep-th 2020-05 conditional novelty 6.0 of 10

The discrete higher-form symmetries and their mixed 't Hooft anomalies of 5d SCFTs engineered from M-theory on toric Calabi-Yau threefolds are computed from the torsion of the internal geometry and its linking pairing.
Modular Fluxes, Elliptic Genera, and Weak Gravity Conjectures in Four Dimensions
hep-th 2019-01 conditional novelty 6.0 of 10

In four-dimensional N=1 F-theory with U(1) flux, the elliptic genus of the emergent tensionless string yields a tower of states whose charge-to-mass ratios exceed those of extremal dilatonic black holes, confirming th...
Why are fractional charges of orientifolds compatible with Dirac quantization?
hep-th 2018-05 accept novelty 6.0 of 10

The apparent conflict between fractional orientifold charges and Dirac quantization is resolved because the worldvolume fermion anomaly of the dual probe brane supplies a compensating phase, computed via eta invariant...
F-theory and AdS_3/CFT_2 (2,0)
hep-th 2017-12 conditional novelty 6.0 of 10

Varying the Type IIB axio-dilaton over the internal space yields new AdS3 solutions dual to 2d (0,2) SCFTs, with holographic and field-theory central charges agreeing to subleading order in N.
Quantization of anomaly coefficients in 6D $\mathcal{N}=(1,0)$ supergravity
hep-th 2017-11 conditional novelty 6.0 of 10

The anomaly coefficients of 6D N=(1,0) supergravity must lie in 2H^4(BG;Z) ⊗ Λ_S, a constraint realized in F-theory and used to identify the global structure of the gauge group from geometry.
Supersymmetry Breaking by Fluxes
hep-th 2017-09 conditional novelty 6.0 of 10

Supersymmetry-breaking flux backgrounds in string theory are argued to be generically time-dependent rolling solutions rather than static vacua, which would invalidate standard de Sitter landscape constructions.
6D Fractional Quantum Hall Effect
hep-th 2017-08 conditional novelty 6.0 of 10

A 7D Chern-Simons-like theory of abelian three-form potentials produces fractional quantum Hall physics on its 6D boundary, with continued fractions playing the role of filling fractions.
F-theory and AdS_3/CFT_2
hep-th 2017-05 accept novelty 6.0 of 10

The paper constructs the first AdS3 solutions of Type IIB supergravity with a genuinely varying axio-dilaton and shows their holographic central charges match field-theory and anomaly computations.
Chow groups, Deligne cohomology and massless matter in F-theory
hep-th 2014-02 conditional novelty 6.0 of 10

A Chow-group and Deligne-cohomology construction extracts a line bundle on each F-theory matter curve whose cohomology groups are conjectured to count the exact charged massless spectrum.
T-Branes and Geometry
hep-th 2013-10 conditional novelty 6.0 of 10

T-brane data in six-dimensional F-theory is the singular limit of three-form potential periods in the intermediate Jacobian, and that limit is the fiber of a Hitchin system with defects.
Chiral Four-Dimensional F-Theory Compactifications With SU(5) and Multiple U(1)-Factors
hep-th 2013-06 conditional novelty 6.0 of 10

The authors compute all four-dimensional matter chiralities for F-theory on dP2-fibered Calabi-Yau fourfolds with rank-two Mordell-Weil group, including the previously untreated case of a non-holomorphic zero section,...
Anomaly Cancellation And Abelian Gauge Symmetries In F-theory
hep-th 2012-10 conditional novelty 6.0 of 10

F-theory fluxes automatically implement the four-dimensional Green-Schwarz mechanism, and the mixed Abelian-gravitational anomaly is the coefficient of a three-dimensional Chern-Simons term for the Kaluza-Klein vector.
G_4 flux, chiral matter and singularity resolution in F-theory compactifications
hep-th 2011-09 conditional novelty 6.0 of 10

A U(1)-restricted F-theory compactification with SU(5) gauge group yields chirality-inducing G4 fluxes whose chiral index equals the U(1) charge times the flux integral over the matter curve, realized in an explicit t...

See all 85 Pith citations

How later papers used it

201 later papers cite it

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

Pith read 29 of the 367 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

2 later papers by other authors are listed below: 2 used its method or tool.

Uses its method or tool 2 of 4 papers with this label

Followed Witten's argument in this paper.

Consistency of M-Theory on nonorientable manifolds (2019) · 0.95 · paraphrased: the licence does not allow quoting
Assumed both factors in this paper's shifted quantization condition to be in integral cohomology to compute the mod q reduction.

An approach to anomalies in M-theory via KSpin (2007) · 0.84 · paraphrased: the licence does not allow quoting

How the literature uses it

195 arXiv papers cite this in 353 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 · 288 sentences without a confident label

Builds on it 3 papers

As shown in [ref] and generalized here, the four-form vacuum expectation value $G$ obeys a quantization condition derived by demanding that the supermembrane path integral be well-defined in the background under consideration.

Flux, Gaugino Condensation and Anti-Branes in Heterotic M-theory · Flux quantization and the derivation of the 4d potential. · 0.88
The following discussion is an application of the arguments in [ref] , that immediately carry over to elliptic fibrations $X̂$ with $dP_2$-elliptic curve.

Chiral Four-Dimensional F-Theory Compactifications With SU(5) and Multiple U(1)-Factors · Integral D3-Tadpole on General Fourfolds with U$(1)×$U(1) · 0.88
(This generalizes [ref] where a similar choice of spin structure is required, and [ref] where a choice of Wu structure is required.) See Appendix [ref] for more details about the quantization of the coefficient matrix $K$.

Generalized Global Symmetries of $T[M]$ Theories. I · The 7d TQFT · 0.84

Uses its method or tool 4 papers

In order to diagnose whether $G_4$ has integral or half-integral periods on a four-cycle $_4$, we can compute the integral of the fourth Stiefel-Whitney class of the tangent bundle $T _11$ on $_4$ [ref] , ∫__4 G_4 = 1/2 ∫__4 w_4(T_11) 1 , where the pullback to $_4$ is implicit.

Symmetry TFTs from String Theory · Integral Quantization of $G_4$-flux · 0.81
We follow Witten's argument in [ref] .

Consistency of M-Theory on nonorientable manifolds · The cubic form on spin 12-manifolds · 0.95
This would come from assuming both factors in the shifted quantization condition [ref] to be in integral cohomology, an so the mod $q$ reduction is in mod $q$ cohomology.] 1/2 [ 1/2P_3^1 G_4 + G_4 ∪G_4 ] = 1/2 [ 1/2P_3^1 ( ρ_3(a) - ρ_3(λ/2) ) + ( ρ_3(a) - ρ_3(λ/2) ) ∪( ρ_3(a) - ρ_3(λ/2) ) ] = ρ_3(a) ∪ρ_3(a) - ρ_3(λ/2) ∪ρ_3(λ/2) + ρ_3(a) ∪ρ_3(a) + ρ_3(λ/2) ∪ρ_3(λ/2) - ρ_3(a) ∪ρ_3(λ) = [ 2 ρ_3(a) ∪ρ_3(a) - ρ_3(a) ∪ρ_3(λ)) ] = Θ( ρ_3(a) ), the DFM class with the degree eight term set to zero.

An approach to anomalies in M-theory via KSpin · The Degree eight `dual' field $Θ$ · 0.84

Compares with it 8 papers

The de Sitter maxima we look for have $G_4$ flux as an essential ingredient—in this appendix we work out the normalization of the kinetic term from first principles, finding agreement with [ref] .

An M-theory dS maximum from Casimir energies on Riemann-flat manifolds · G4 flux quantization in M-theory · 0.96
[ref] reproduces the correct mod 2 congruence condition for $G_4^form∧G_4^form$, previously obtained using $E_8$-gauge theory in [ref] .

Differential cohomotopy versus differential cohomology for M-theory and differential lifts of Postnikov towers · Differential cohomotopy vs. differential cohomology · 0.98
Hence the whole expression is integral and we are essentially back to the result of [ref] .

Geometry of Spin and Spin^c structures in the M-theory partition function · Effect of the $Spin^c$ condition on the $C$-field · 0.85

Cites it as support 6 papers

The proposed flux $G^♭$ was required for consistency reasons so as to match the tadpole cancellation condition — due to the change of Euler characteristic along the extremal transition [ref] — and to fulfill the flux quantization condition of M-theory [ref] .

SU(N) transitions in M-theory on Calabi-Yau fourfolds and background fluxes · Conclusions · 0.99
In particular, the tangentially twisted version of 4-Cohomotopy [ref] (which we disregard here just for brevity) does imply [ref] the subtle half-integral shifting (by $14p_1$) of the de Rham class of $G_4$ that had famously been argued for in [ref] .

Flux Quantization on M-Strings · Flux Quantization · 0.98
Moreover, one can argue that the presence of self-dual 2-form fields also requires $w_4=0$ [ref] .

4-manifolds and topological modular forms · Relativeness and quantization of coefficients of the anomaly polynomials · 0.98

Cites it as background 39 papers

In this paper we will address the the quantization rule for the M-theory $G_4$ flux [ref] in its relation to the Freed-Witten quantization condition for gauge fluxes on 7-brane configurations [ref] .

On Flux Quantization in F-Theory II: Unitary and Symplectic Gauge Groups · Introduction · 0.87
In his seminal work [ref] , Witten derived the general rule for flux quantization in M-theory: G_4-λ/2 ∈ H^4(M_11,ℤ) , where $λ$ is one half the first Pontryagin class of the eleven-dimensional spacetime.

On Flux Quantization in F-Theory · Introduction · 0.84
Finally, in section [ref], we address two subtle and related issues, the quantization condition [ref] for gauge fluxes and the cancellation of discrete gauge anomalies.

Fluxes in F-theory Compactifications on Genus-One Fibrations · Introduction · 0.82

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.

[1] [2]

S. Sethi, C. Vafa, and E. Witten, “Constraints On Low-Dim ensional String Compact- iﬁcations,” hepth/9606122

View on Pith

[2] [12]

E. Witten, “Five-Branes And M -Theory On An Orbifold,” hepth/9512219

View on Pith

[3] [13]

K. Dasgupta and S. Mukhi, “Orbifolds Of M -Theory,” hepth/9512196

View on Pith

[4] [1]

P. Horava and E. Witten, “Heterotic And Type I String Dyna mics From Eleven Di- mensions,” Nucl. Phys. B460 (1996) 506, hepth/9510209; “Eleven-Dimensional Su- pergravity On A Manifold With Boundary,” hepth/9603142

View on Pith 1996

[5] [3]

K. Becker and M. Becker, “ M -Theory On Eight-Manifolds,” hepth/9605053

View on Pith

[6] [4]

M. J. Duﬀ, B. E. W. Nilsson, and C. N. Pope, “Spontaneous Su persymmetry Breaking By The Squashed Seven Sphere,” Phys. Rev. Lett. 50 (1983) 2043

View on Pith 1983

[7] [5]

C. Vafa and E. Witten, “A One-Loop Test Of String Duality, ” Nucl. Phys. B447 (1995), hep-th/9505053

View on Pith Pith review arXiv 1995

[8] [6]

M. J. Duﬀ, J. T. Liu, and R. Minasian, “Eleven-Dimensiona l Origin Of String/String Duality: A One Loop Test,” hepth/9506126

View on Pith

[9] [7]

L. Alvarez-Gaum´ e and E. Witten, “Gravitational Anomal ies,” Nucl. Phys. B234 (1983) 269; see p. 309

View on Pith 1983

[10] [8]

A. N. Redlich, “Gauge Non-Invariance And Parity Noncons ervation Of Three- Dimensional Fermions,” Phys. Rev. Lett. 52 (1984) 18

View on Pith 1984

[11] [9]

A. J. Niemi and G. W. Semenoﬀ, “Axial-Anomaly-Induced Fe rmion Fractionalization And Eﬀective Gauge Theory Action In Odd Dimensional Space-T imes,” Phys. Rev. Lett. 51 (1983) 2077

View on Pith 1983

[12] [10]

L. Alvarez-Gaum´ e, S. Della Pietra, and G. Moore, “Anom alies And Odd Dimensions,” Ann. Phys. 163 (1985) 288

View on Pith 1985

[13] [11]

I. M. Singer, “Families Of Dirac Operators With Applica tions To Physics,” in The Mathematical Heritage Of Elie Cartan , Asterisque (1985) 323

View on Pith 1985

[14] [14]

R. Stong, “Calculation Of Ω spin11 (K(Z, 4)),” in Uniﬁed String Theories , eds. M. B. Green and D. J. Gross (World Scientiﬁc, 1986)

View on Pith 1986

[15] [15]

S. De Alwis, “Anomaly Cancellation In M -Theory,” hepth/9609211

View on Pith

[16] [16]

S. de Alwis, “A Note On Brane Tension And M -Theory,” hepth/9607011

View on Pith

[17] [17]

M. J. Duﬀ, “ E8 × SO(16) Symmetry of d = 11 Supergravity?” in Quantum Field Theory And Quantum Statistics , eds. I. A. Batalin, C. J. Isham, and G. A. Vilkoviski (Adam Hilger, Ltd., Bristol, 1987), vol. 2., p, 209. 15

View on Pith 1987