REVIEW
D-Branes And K-Theory
High Energy Physics - Theory · Submitted 23 Oct 1998 · 41 references
Pith's verdict: The derivation of the K-theory classification is the real contribution, and it holds; the completeness direction rests on an annihilation hypothesis the paper states but does not close.
T0 · AI review
Why Pith says this
Highlight any text to comment on it.
Referee report
The paper
The paper claims
D-brane charge is not a differential form but an element of the K-theory of spacetime, and the tachyon vortex that builds a brane is exactly the K-theory construction that produces it.
The reading
What carries the argument
The load-bearing object is the pair of bundles $(E,F)$ over spacetime together with a bundle map $T: F o E$ that is invertible away from the brane, with the equivalence $(E,F) ~ (E , F )$ for any bundle $H$ carrying a compatible action. This pair is the definition of a K-theory class, and $T$ is the tachyon field. Sen's vortex tachyon $T = (x)$ supplies, in a tubular neighborhood of the worldvolume, exactly the map that the K-theory construction needs; the stabilisation by $H$ is the same freedom that lets a bundle be extended over the complement of the tubular neighborhood when it is not trivial there. The second piece of machinery is the Clifford-module description of the generators: the tachyon built from Gamma matrices generates $π_{2k-1}(U(2^{k-1}))$ and, in the real case, the generators of $KO(R^9)$ and $KO(R^{10})$, which is what makes the Type I zerobrane and $-1$-brane explicit rather than merely conjectured. Bott periodicity then relates these objects to the sevenbrane and eightbrane.
Extended reading notes
Core claim
The paper's central claim is that D-brane charge takes values in K-theory: $K(X)$ for Type IIB, $K^1(X)$ (classes on $S^1$ times $X$ that are trivial on $X$) for Type IIA, and $KO(X)$ for Type I. The derivation runs through Sen's construction, in which a $p$-brane is a vortex of the tachyon field on a $(p+2k)$-brane-antibrane system, with the tachyon taking the form $T = f(|x|) (x)$, where $x$ is a unit vector in the normal directions. Read globally, with $Z$ the brane worldvolume and $N$ its normal bundle, this is the standard K-theory operation: a pair of bundles $E,F$ on a neighborhood of $Z$ with a bundle map $T: F o E$ that is an isomorphism on the boundary of a tubular neighborhood determines a class on all of $X$. The match is confirmed by an independent check. The previously obscure condition $W_3(Z)=0$ for a brane to be wrappable on $Z$, taken from earlier work, is exactly the condition under which the corresponding K-theory class exists, since $W_3(N)=W_3(Z)$ when spacetime is spin. The paper then extends the statement to orbifolds (equivariant K-theory $K_G(X)$), to orientifolds (Atiyah's $KR(X)$ for the orientation-reversing involution, a $K^{}(X)$ group for the involution combined with $(-1)^{F_L}$, computed as $K^1_{Z/2}(X S^1)$), and to a nonzero Neveu-Schwarz three-form class $[H]$, where the proposal is a twisted K-theory $K^{[H]}(X)$ whose transition functions obey $g_{ij}g_{jk}g_{ki} = h_{ijk} _{}φ_{ijk}$. For Type I, where $[H]$ is of order two, this twisted condition is shown to coincide with the known description of $SO(n)/Z_2$ bundles without vector structure, which the paper treats as strong support for the general picture.
Load-bearing premise
The classification is only as good as the hypothesis, stated in section three and called there the basic technical assumption, that any collection of $m$ ninebranes and $m$ anti-ninebranes carrying the same bundle $H$ can be freely created or annihilated, so that $(E,F)$ is physically equivalent to $(E , F )$; if such pairs cannot annihilate, the equivalence relation defining K-theory is not the physical one.
Editorial extensions
If this is right
- Type I superstring theory must contain a stable zerobrane and a stable $-1$-brane, associated with $KO(S^9)=Z_2$ and $KO(S^{10})=Z_2$, and the zerobrane must transform in a spinor representation of $SO(32)$.
- Charges of these discrete objects are conserved only modulo two, because $k$ coincident Type I zerobranes or $-1$-branes carry a tachyon described by an antisymmetric $k k$ matrix, so pairs can annihilate.
- A brane cannot wrap a submanifold $Z$ unless $W_3(Z)=0$ (or, with a nonzero Neveu-Schwarz class, $[H] + W_3(Z) = 0$), which is now understood as the condition for the corresponding K-theory class to exist rather than as an isolated anomaly.
- Type I has no stable two-, four-, or sixbrane, matching $KO(S^3)=KO(S^5)=KO(S^7)=0$, and a theory with symplectic ninebrane Chan-Paton factors would instead have a stable threebrane and no zerobrane or eightbrane.
- Discrete electric-magnetic duality pairs branes carrying $Z_2$ charge by $p+q=7$, rather than the $p+q=6$ of ordinary additive charges, so a $-1$-brane and an eightbrane, and a zerobrane and a sevenbrane, are dual in this sense.
Reading between the lines
- If brane charge is a K-theory class, then the long-suspected torsion contributions to Ramond-Ramond charge are not optional refinements but the generic phenomenon: any experiment or computation sensitive only to Chern classes will systematically miss charges that are pure torsion, so tests of the proposal should target configurations whose charge vanishes in cohomology.
- The identification suggests that the classification of stable but nonsupersymmetric brane states is not an open-ended problem but a computation: once the spacetime, its involution, and the Neveu-Schwarz class are fixed, the stable objects should be read off from the appropriate K-group, with the remaining physics confined to which classes are realised by perturbative states.
- The paper's treatment of the non-torsion case, where it declines to propose a K-theory and suggests the answer may lie off-shell or in noncommutative geometry, marks a natural boundary: a sharpened formulation of D-brane charge for non-torsion $[H]$ would be the single most informative extension of this work.
- The matching between the wrapping obstruction and the existence of a K-theory class is a two-way constraint. Any future example of a brane that wraps a cycle with nonzero $W_3$, or of a K-theory class with no brane realisation, would break the correspondence at a point the paper treats as its strongest evidence.
Original abstract
By exploiting recent arguments about stable nonsupersymmetric D-brane states, we argue that D-brane charge takes values in the K-theory of spacetime, as has been suspected before. In the process, we gain a new understanding of some novel objects proposed recently - such as the Type I zerobrane - and we describe some new objects - such as a -1-brane in Type I superstring theory.
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
By exploiting recent arguments about stable nonsupersymmetric D-brane states, we argue that D-brane charge takes values in the K-theory of spacetime, as has been suspected before. In the process, we gain a new understanding of some novel objects proposed recently - such as the Type I zerobrane - and we describe some new objects - such as a -1-brane in Type I superstring theory.
background contribution method result interpretation main claim
| # | sentence | role | the authors' own work | states the main conclusion | strength |
|---|---|---|---|---|---|
| s0 | By exploiting recent arguments about stable nonsupersymmetric D-brane states, we argue that D-brane charge takes values in the K-theory of spacetime, as has been suspected before. | result 0.86 | 0.78 | 0.94 | asserted 0.82 |
| s1 | In the process, we gain a new understanding of some novel objects proposed recently - such as the Type I zerobrane - and we describe some new objects - such as a -1-brane in Type I superstring theory. | contribution 0.95 | 0.90 | 0.07 | 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
154 arXiv papers cite this in 263 sentences
Papers citing it · 191 sentences without a confident label
Builds on it 5 papers
-
We will generalize the construction [ref] , establishing that the charge of a D-brane supported on $W$ with Chan-Paton gauge bundle $E→W$ in Type II superstring theory without $H$-flux takes values in the complex K-theory of spacetime $X$, to D-branes represented by generic topological K-cycles $(W,E,f)$, i.e., including those D-branes which are not representable as wrapping embedded cycles in $X$.
Ramond-Ramond Fields, Fractional Branes and Orbifold Differential K-Theory · Geometric definition · 1.00
-
As important cases, we manage to find the structure of the Chan-Paton factors for D-branes of all dimensions in Type I string theory, extending earlier results by [ref] .
On The Structure Of The Chan-Paton Factors For D-Branes In Type II Orientifolds · Introduction · 0.99
-
The original example [ref] concerns the charge group of D$p$-branes in Type IIB string theory on flat space $X=^10$ given by [equation] where we have used Bott periodicity.
D-branes and bivariant K-theory · Tachyon condensation and the Sen-Witten construction · 0.94
Uses its method or tool 2 papers
-
We begin with the angular theory for the 7-brane, for which gravitational anomaly $-2(c_L-c_R)=-31$ is $+1$ mod $8$, so we can consider the mod-2 elliptic genus of [ref] .[ When gravitational anomaly $ν$ is odd, we take the convention that $(-1)^$ is not defined on the R-sector; see e.g. the discussions around Eq. (6.3) of [ref] .] Then $_m$ mod 2 is a deformation invariant.
On non-supersymmetric heterotic branes · The 7-brane · 0.84
-
They can be described via tachyon condensation [ref] by Koszul complexes, which we define below.
Orientifolds and D-branes in N=2 gauged linear sigma models · Koszul complexes · 0.86
Compares with it 2 papers
-
In this respect, the present analysis does not contract the usual K-theoretic analysis of brane charges [ref] (reviewed in [ref] ), which would be given by \(𝒜\) being the K-theory spectrum [ref] .
Generalised Symmetries and Swampland-Type Constraints from Charge Quantisation via Rational Homotopy Theory · String theory with 16 supercharges and adjusted higher gauge theory · 0.91
-
We also observe that for even $n$ one in fact gets spinors of both chiralities; this is in contrast with other instances of non-BPS spinor states (such as the type D0-brane) for which a worldvolume $_2$ gauge symmetry enforces a projection eliminating one of the chiralities [ref] .
SymTFT Fans: The Symmetry Theory of 4d N=4 Super Yang-Mills on spaces with boundaries · The 1-form symmetries · 0.91
Cites it as support 1 paper
-
Subsequent analysis of nonperturbative non-BPS objects in type I showed that they are responsible for amending the perturbative gauge group $O(32)/ℤ_2$ to $Spin(32)/ℤ_2$ on the type I side [ref] .
Spin cobordism and the gauge group of type I/heterotic string theory · Introduction · 0.99
Cites it as background 56 papers
-
It is known that the stable D-branes in the type IIB theory on spacetime $X$ are classified by complex K-theory [ref] .
Anomalies and D-branes in the Dabholkar-Park background · Classification of D-brane charge · 0.89
-
It is a long-standing conjecture [ref] that the charge lattice of fractional D-branes [ref] stuck at $G$-orientifold singularities is the $G$-equivariant K-theory of the singular point, hence the representation ring of $G$ (e.g. [ref] ).
Lift of fractional D-brane charge to equivariant Cohomotopy theory · Fractional brane charge quantization in M-theory · 0.92
-
Since the work [ref] , it is a well established fact that D-branes in string theory are not classified by homology but by K-theory.
Open-Closed Correspondence of K-theory and Cobordism · D-branes and K-theory · 0.92
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.