Pith. Sign in

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

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 →

· 3 major objections · 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/9905159 (version 2)
Pith IDLVHKXBAG, Pith's permanent record of this paper and its review
CitationShigeki Sugimoto. "Anomaly Cancellations in the Type I D9-anti-D9 System and the USp(32) String Theory." arXiv:hep-th/9905159 (1999). https://pith.science/paper/LVHKXBAG
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

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

Type I string theory normally needs 32 D9-branes plus an orientifold plane, with the Ramond–Ramond charges adding to zero. Sugimoto asks what happens when some of those branes are replaced by anti-branes, so that the gauge group becomes $SO(n) times SO(m)$, and checks whether the resulting theory is quantum-mechanically consistent. He finds that the gravitational anomaly, the gauge anomaly and the mixed anomalies all cancel precisely when $n - m = 32$, and that the same cancellation pattern reappears for a symplectic $USp(n) times USp(m)$ gauge group with $m - n = 32$. The symplectic case matters because switching off the anti-branes leaves $USp(32)$ open strings with no tachyon and no spacetime supersymmetry, so a consistent non-supersymmetric string background would follow from anomaly cancellation rather than from being postulated. The paper's own framing is that this is a consistency check: the anomaly and tadpole conditions are satisfied, and the tachyon condensation back to ordinary type I is shown to work.

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

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

  • 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.

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

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

The abstract, sentence by sentence

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

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

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 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 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 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
How the literature uses it

124 arXiv papers cite this in 267 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 · 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.