REVIEW
Anomaly Cancellations in the Type I D9-anti-D9 System and the USp(32) String Theory
High Energy Physics - Theory · Submitted 21 May 1999 · 10 references
Pith's verdict: The USp(32) vacuum is the real contribution here; the SO(n)×SO(m) part is a careful extension of Green-Schwarz, and the paper is honest that the O9+ background is not shown to be a solution.
T0 · AI review
Why Pith says this
Highlight any text to comment on it.
Referee report
The paper
The paper claims
The D9–anti-D9 bookkeeping of type I string theory cancels all anomalies when the brane count minus the anti-brane count is 32, and the same arithmetic admits a symplectic USp(32) vacuum with no supersymmetry.
The reading
What carries the argument
The argument is carried by the Green–Schwarz mechanism applied to a two-group system, plus a set of trace identities that convert adjoint and symmetric-tensor traces into fundamental traces. The anomaly polynomial of the would-be $SO(n) times SO(m)$ theory is rewritten using $mathrm{Tr}_1 F_1^6 = (n-32), mathrm{tr}_1 F_1^6 + 15, mathrm{tr}_1 F_1^2, mathrm{tr}_1 F_1^4$ and $mathrm{Tr}_2 F_2^6 = (m+32), mathrm{tr}_2 F_2^6 + 15, mathrm{tr}_2 F_2^2, mathrm{tr}_2 F_2^4$, together with the corresponding quartic and quadratic identities. The leftover anomaly collapses to the factorised form $(mathrm{tr} R^2 - mathrm{tr}_1 F_1^2 + mathrm{tr}_2 F_2^2), X'_8$ and is removed by a counterterm built on $X'_8$, which in turn requires the two-form field strength to be promoted to $H = dB + omega_{3L} - omega_{3Y_1} + omega_{3Y_2}$. On the string side the same condition appears as Ramond–Ramond tadpole cancellation, where the cylinder, Möbius strip and Klein bottle divergences sum to $(n - m - 32)^2$, and as a worldsheet sign rule: an extra minus sign for each endpoint of a fermion cut on a boundary carrying anti-D9 Chan–Paton indices, which is what makes the mixed strings carry the opposite GSO projection and the Ramond sector of the anti-brane strings the opposite orientifold projection.
Extended reading notes
Core claim
The paper establishes that the D9–anti-D9 system in type I string theory is anomaly-free exactly when the difference of the brane and anti-brane counts is 32, and that this condition has a second solution in which the gauge group is symplectic rather than orthogonal. Concretely, for $SO(n) times SO(m)$ the massless fermions are taken to be a positive-chirality adjoint fermion for $SO(n)$, a positive-chirality second-rank symmetric tensor fermion for $SO(m)$, and a negative-chirality bifundamental fermion from the mixed strings; with these assignments the coefficients of $mathrm{tr}_1 F_1^6$ and $mathrm{tr}_2 F_2^6$ in the anomaly polynomial vanish if and only if $n - m = 32$. The same analysis with $USp(n) times USp(m)$ goes through with the roles reversed, giving $m - n = 32$, and the Ramond–Ramond tadpole computation reproduces both conditions as the single vanishing statement $(n - m - 32)^2 = 0$ (or its symplectic analogue). Setting $n = 0$, $m = 32$ then leaves a tachyon-free $USp(32)$ theory whose open-string fermion sits in the second-rank antisymmetric tensor, so it cannot pair with the gauge field and spacetime supersymmetry is absent.
Load-bearing premise
The whole string-theoretic side rests on a proposed rule, not a derived one: that each endpoint of a worldsheet fermion cut on a boundary carrying anti-D9 Chan–Paton indices contributes an extra minus sign, which is what fixes the orientifold projection of the mixed strings and hence the existence of the $USp(32)$ theory as a genuine string background.
Editorial extensions
If this is right
- A $USp(32)$ string theory with no spacetime supersymmetry is anomaly-free and tachyon-free, so it is a candidate non-supersymmetric string vacuum whose consistency is derived from anomaly and tadpole cancellation rather than assumed.
- The D9–anti-D9 pairs are shown to be removable by tachyon condensation: the Yukawa couplings pair the mixed fermions with the antisymmetric and off-diagonal fermions so that exactly an $SO(32)$ adjoint fermion survives, matching ordinary type I.
- Because there is no supersymmetry in the $USp(32)$ case, the vacuum energy need not cancel; the paper expects an uncancelled Neveu–Schwarz–Neveu–Schwarz tadpole to be handled by the Fischler–Susskind mechanism, leaving a cosmological-constant term $\sqrt{-g}, e^{-\varphi}$ in the effective action.
- The K-theory classification of the resulting theory differs from ordinary type I: the stable branes are those of $KSp(\mathbb{R}^k)$, with D1-branes carrying symplectic and D5-branes carrying orthogonal Chan–Paton factors.
- The worldsheet sign rule reproduces the field-theory anomaly result as $(n - m + 32\ell)G$ with $\ell = +1, 0, -1$ for $USp$, $U$ and $SO$ groups, unifying the type IIB ($n = m$), type I ($n - m = 32$) and symplectic ($m - n = 32$) cases in one formula.
Reading between the lines
- If the $USp(32)$ vacuum is real, it is a natural laboratory for the general question of whether non-supersymmetric string backgrounds are stable: the paper itself leaves the fate of the Neveu–Schwarz–Neveu–Schwarz tadpole to the Fischler–Susskind mechanism, so a one-loop computation of the dilaton potential in this background would be the sharpest follow-up.
- The construction suggests a broader pattern in which the sign of the orientifold projection, not the rank of the gauge group, decides which string vacuum one lands in; one could ask whether the same reversal produces consistent non-supersymmetric partners of other type I brane configurations, such as the D5–anti-D5 system the paper already invokes for its K-theory argument.
- The claim that a $USp(32)$ theory has a heterotic dual, hinted at by the analogy with the type I–heterotic S-duality pair and by the worldsheet action proposed for a probe D1-brane, is left as a suggestion; checking whether the corresponding heterotic string has the same massless spectrum would be a concrete test of the whole picture.
Original abstract
We check some consistency conditions for the D9-anti-D9 system in type I string theory. The gravitational anomaly and gauge anomaly for SO(n) x SO(m) gauge symmetry are shown to be cancelled when n-m=32. In addition, we find that a string theory with USp(n) x USp(m) gauge symmetry also satisfies the anomaly cancellation conditions. After tachyon condensation, the theory reduces to a tachyon-free USp(32) string theory, though there is no spacetime supersymmetry.
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.
The abstract, sentence by sentence
We check some consistency conditions for the D9-anti-D9 system in type I string theory. The gravitational anomaly and gauge anomaly for SO(n) x SO(m) gauge symmetry are shown to be cancelled when n-m=32. In addition, we find that a string theory with USp(n) x USp(m) gauge symmetry also satisfies the anomaly cancellation conditions. After tachyon condensation, the theory reduces to a tachyon-free USp(32) string theory, though there is no spacetime supersymmetry.
background contribution method result interpretation main claim
| # | sentence | role | the authors' own work | states the main conclusion | strength |
|---|---|---|---|---|---|
| s0 | We check some consistency conditions for the D9-anti-D9 system in type I string theory. | contribution 0.93 | 0.91 | 0.04 | asserted 0.71 |
| s1 | The gravitational anomaly and gauge anomaly for SO(n) x SO(m) gauge symmetry are shown to be cancelled when n-m=32. | result 1.00 | 0.87 | 0.31 | asserted 1.00 |
| s2 | In addition, we find that a string theory with USp(n) x USp(m) gauge symmetry also satisfies the anomaly cancellation conditions. | result 0.99 | 0.93 | 0.17 | asserted 1.00 |
| s3 | After tachyon condensation, the theory reduces to a tachyon-free USp(32) string theory, though there is no spacetime supersymmetry. | result 0.97 | 0.85 | 0.67 | asserted 1.00 |
What was examined, and what was not
- arXiv listing abstract v2
- full text
- figures and tables
- references and citing sentences
- relations to other papers
- P abstract
- S sections
- T body sentences
- C citations
- R cross-paper relations
References
How the literature uses it
124 arXiv papers cite this in 267 sentences
Papers citing it · 177 sentences without a confident label
Builds on it 5 papers
-
Applying the logic to the orientifold action for the Sugimoto model “pairs” D1s instead of D5s [ref] .
Anomaly Inflow and Gauge Group Topology in the 10d Sugimoto String Theory · Anomaly inflow onto charged defects · 0.89
-
In this paper we build upon the results in [ref] , considering Anti de-Sitter ($$) vacua in ten-dimensional tachyon-free string models [ref] where, initially at least, large fluxes result in small string couplings and large $$ radii, justifying the recourse to the low-energy (super)gravity.
Brane annihilation in non-supersymmetric strings · Introduction · 0.95
-
In order to illustrate that these ideas can apply more generally, and can serve as useful tools for the study of non-supersymmetric theories, we present a quick discussion of the 10d non-supersymmetric $USp(32)$ theory [ref] , building on the solution constructed in [ref] and revised in [ref] [For other references related to dynamical tadpoles in non-supersymmetric theories, see [ref] .].
Dynamical Cobordism and Swampland Distance Conjectures · Walls in 10d non-supersymmetric strings · 0.88
Compares with it 5 papers
-
This choice also breaks supersymmetry in the open-string sector, but is now incompatible with a supersymmetric vacuum, contrary to the construction in [ref] .
Rigid Vacua with Brane Supersymmetry Breaking · Introduction · 0.91
-
Interestingly, these potential shapes have generically the look of corrected forms of the leading tadpole potential of the orientifold models of [ref] .
Integrable Models and Supersymmetry Breaking · Introduction · 0.84
-
However, in the 10d example the same closed string spectrum can couple to the supersymmetric $SO(32)$ type I superstring or to its non-supersymmetric $USp(32)$ cousin [ref] .
String Defects, Supersymmetry and the Swampland · Introduction and Motivations · 0.85
Cites it as support 2 papers
-
In conclusion, the considerations in [ref] , inspired by String Theory, and in particular by the supersymmetry breaking mechanism of [ref] and the related cosmological dynamics of [ref] , provided the original motivation for the present analysis.
Observational Hints of a Pre--Inflationary Scale? · Introduction · 1.00
-
One of our original motivations for seeking an extension of Goldstone's theorem that applied to non-invertible symmetries was the observation that in string theory there are fields which appear to be exactly massless, even in non-supersymmetric configurations (as in [ref] , for instance).
A Goldstone theorem for continuous non-invertible symmetries · Goldstone bosons and string theory · 0.97
Cites it as background 62 papers
-
In this work we focus on the 10d Sugimoto model [ref] , which can be constructed from type IIB string theory with a spacetime filling orientifold plane with positive tension and Ramond-Ramonod charge (an O9$^+$).
Anomaly Inflow and Gauge Group Topology in the 10d Sugimoto String Theory · Introduction · 0.93
-
The first, drawn from String Theory [ref] , is the existence of a class of orientifold vacua [ref] with “brane supersymmetry breaking” [ref] .
Pre - Inflationary Clues from String Theory ? · Conclusions · 0.86
-
In the past decades of search, only three non-supersymmetric tachyon-free strings have been found in 10d: the $O(16)×O(16)$ heterotic string [ref] , the USp(32) string [ref] and the type 0'B string [ref] , with all having positive vacuum energy at leading order.
New Non-Supersymmetric Tachyon-Free Strings · Introduction · 0.80
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.