K-theory (physics)

In string theory, the K-theory classification refers to a conjectured application of "K-theory" (in abstract algebra and algebraic topology) to superstrings, to classify the allowed Ramond-Ramond field strengths as well as the charges of stable D-branes.

History

This conjecture, applied to D-brane charges, was first proposed by harvtxt|Minasian|Moore|1997. It was popularized by harvtxt|Witten|1998 who demonstrated that in type IIB string theory arises naturally from Ashoke Sen's realization of arbitrary D-brane configurations as stacks of D9 and anti-D9-branes after tachyon condensation.

Such stacks of branes are inconsistent in a non-torsion Neveu-Schwarz (NS) 3-form background, which, as was highlighted by harvtxt|Kapustin|2000, complicates the extension of the K-theory classification to such cases. harvtxt|Bouwknegt|Varghese|2000 suggested a solution to this problem: D-branes are in general classified by a twisted K-theory, that had earlier been defined by harvtxt|Rosenberg|1989.

Applications

The K-theory classification of D-branes has had numerous applications. For example, harvtxt|Hanany|Kol|2000 used it to argue that there are eight species of orientifold one-plane. harvtxt|Uranga|2001 applied the K-theory classification to derive new consistency conditions for flux compactifications. K-theory has also been used to conjecture a formula for the topologies of T-dual manifolds by harvtxt|Bouwknegt|Evslin|Varghese|2004. Recently K-theory has been conjectured to classify the spinors in compactifications on generalized complex manifolds.

Open problems

Despite these successes, RR fluxes are not quite classified by K-theory. harvtxt|Diaconescu|Moore|Witten|2003 argued that the K-theory classification is incompatible with S-duality in IIB string theory.

In addition, if one attempts to classify fluxes on a compact ten-dimensional spacetime, then a complication arises due to the self-duality of the RR fluxes. The duality uses the Hodge star, which depends on the metric and so is continuously valued and in particular is generically irrational. Thus not all of the RR fluxes, which are interpreted as the Chern characters in K-theory, can be rational. However Chern characters are always rational, and so the K-theory classification must be replaced. One needs to choose a half of the fluxes to quantize, or a polarization in the geometric quantization-inspired language of Diaconescu, Moore, and Witten and later of harvtxt|Varghese|Sati|2004. Alternately one may use the K-theory of a 9-dimensional time slice as has been done by harvtxt|Maldacena|Moore|Seiburg|2001.

K-theory classification of RR fluxes

In the classical limit of type II string theory, which is type II supergravity, the Ramond-Ramond field strengths are differential forms. In the quantum theory the well-definedness of the partition functions of D-branes implies that the RR field strengths obey Dirac quantization conditions when spacetime is compact, or when a spatial slice is compact and one considers only the (magnetic) components of the field strength which lie along the spatial directions. This led twentieth century physicists to classify RR field strengths using cohomology with integral coefficients.

However some authors have argued that the cohomology of spacetime with integral coefficients is too big. For example, in the presence of Neveu-Schwarz H-flux or non-spin cycles some RR fluxes dictate the presence of D-branes. In the former case this is a consequence of the supergravity equation of motion which states that the product of a RR flux with the NS 3-form is a D-brane charge density. Thus the set of topologically distinct RR field strengths that can exist in brane-free configurations is only a subset of the cohomology with integral coefficients.

This subset is still too big, because some of these classes are related by large gauge transformations. In QED there are large gauge transformations which add integral multiples of two pi to Wilson loops. The p-form potentials in type II supergravity theories also enjoy these large gauge transformations, but due to the presence of Chern-Simons terms in the supergravity actions these large gauge transformations transform not only the p-form potentials but also simultaneously the (p+3)-form field strengths. Thus to obtain the space of inequivalent field strengths from the forementioned subset of integral cohomology we must quotient by these large gauge transformations.

The Atiyah-Hirzebruch spectral sequence constructs twisted K-theory, with a twist given by the NS 3-form field strength, as a quotient of a subset of the cohomology with integral coefficients. In the classical limit, which corresponds to working with rational coefficients, this is precisely the quotient of a subset described above in supergravity. The quantum corrections come from torsion classes and contain mod 2 torsion corrections due to the Freed-Witten anomaly.

Thus twisted K-theory classifies the subset of RR field strengths that can exist in the absence of D-branes quotiented by large gauge transformations. Daniel Freed has attempted to extend this classification to include also the RR potentials using differential K-theory.

K-theory classification of D-branes

K-theory classifies D-branes in noncompact spacetimes, intuitively in spacetimes in which we are not concerned about the flux sourced by the brane having nowhere to go. While the K-theory of a 10d spacetime classifies D-branes as subsets of that spacetime, if the spacetime is the product of time and a fixed 9-manifold then K-theory also classifies the conserved D-brane charges on each 9-dimensional spatial slice. While we were required to forget about RR potentials to obtain the K-theory classification of RR field strengths, we are required to forget about RR field strengths to obtain the K-theory classification of D-branes.

K-theory charge versus BPS charge

As has been stressed by Petr Hořava, the K-theory classification of D-branes is independent of, and in some ways stronger than, the classification of BPS states. K-theory appears to classify stable D-branes missed by supersymmetry based classifications.

For example, D-branes with torsion charges, that is with charges in the order N cyclic group $mathbf\; Z\_N$, attract each other and so can never be BPS. In fact, N such branes can decay, where as no superposition of branes that satisfy a Bogomolny bound may ever decay. However the charge of such branes is conserved modulo N, and this is captured by the K-theory classification but not by a BPS classification. Such torsion branes have been applied, for example, to model Douglas-Shenker strings in supersymmetric U(N) gauge theories.

K-theory from tachyon condensation

Ashoke Sen has conjectured that, in the absence of a topologically nontrivial NS 3-form flux, all IIB brane configurations can be obtained from stacks of spacefilling D9 and anti D9 branes via tachyon condensation. The topology of the resulting branes is encoded in the topology of the gauge bundle on the stack of the spacefilling branes. The topology of the gauge bundle of a stack of D9s and anti D9s can be decomposed into a gauge bundle on the D9's and another bundle on the anti D9's. Tachyon condensation transforms such a pair of bundles to another pair in which the same bundle is direct summed with each component in the pair. Thus the tachyon condensation invariant quantity, that is, the charge which is conserved by the tachyon condensation process, is not a pair of bundles but rather the equivalence class of a pair of bundles under direct sums of the same bundle on both sides of the pair. This is precisely the usual construction of topological K-theory. Thus the gauge bundles on stacks of D9's and anti-D9's are classified by topological K-theory. If Sen's conjecture is right, all D-brane configurations in type IIB are then classified by K-theory. Petr Horava has extended this conjecture to type IIA using D8-branes.

Twisted K-theory from MMS instantons

While the tachyon condensation picture of the K-theory classification classifies D-branes as subsets of a 10-dimensional spacetime with no NS 3-form flux, the Maldacena, Moore, Seiberg picture classifies stable D-branes with finite mass as subsets of a 9-dimensional spatial slice of spacetime.

The central observation is that D-branes are not classified by integral homology because Dp-branes wrapping certain cycles suffer from a Freed-Witten anomaly, which is cancelled by the insertion of D(p-2)-branes and sometimes D(p-4)-branes that end on the afflicted Dp-brane. These inserted branes may either continue to infinity, in which case the composite object has an infinite mass, or else they may end on an anti-Dp-brane, in which case the total Dp-brane charge is zero. In either case, one may wish to remove the anomalous Dp-branes from the spectrum, leaving only a subset of the original integral cohomology.

The inserted branes are unstable. To see this, imagine that they extend in time away (into the past) from the anomalous brane. This corresponds to a process in which the inserted branes decay via a Dp-brane that forms, wraps the forementioned cycle and then disappears. MMS refer to this process as an instanton, although really it need not be instantonic.

The conserved charges are thus the nonanomolous subset quotiented by the unstable insertions. This is precisely the Atiyah-Hirzebruch spectral sequence construction of twisted K-theory as a set.

Reconciling twisted K-theory and S-duality

Diaconescu, Moore, and Witten have pointed out that the twisted K-theory classification is not compatible with the S-duality covariance of type IIB string theory. For example, consider the constraint on the Ramond-Ramond 3-form field strength G₃ in the Atiyah-Hirzebruch spectral sequence (AHSS):

:$d\_3G\_3=Sq^3G\_3+Hcup\; G\_3=G\_3cup\; G\_3+Hcup\; G\_3=0$

where d₃=Sq³+H is the first nontrivial differential in the AHSS, Sq³ is the third Steenrod square and the last equality follows from the fact that the nth Steenrod square acting on any n-form x is x$cup$x.

The above equation is not invariant under S-duality, which exchanges G₃ and H. Instead Diaconescu, Moore, and Witten have proposed the following S-duality covariant extension

:$G\_3cup\; G\_3+Hcup\; G\_3+Hcup\; H=P$

where P is an unknown characteristic class that depends only on the topology, and in particular not on the fluxes. harvtxt|Diaconescu|Freed|Moore|2007 have found a constraint on P using the E₈ gauge theory approach to M-theory pioneered by Diaconescu, Moore, and Witten.

Thus D-branes in IIB are not classified by twisted K-theory after all, but some unknown S-duality-covariant object that inevitably also classifies both fundamental strings and NS5-branes.

However the MMS prescription for calculating twisted K-theory is easily S-covariantized, as the Freed-Witten anomalies respect S-duality. Thus the S-covariantized form of the MMS construction may be applied to construct the S-covariantized twisted K-theory, as a set, without knowing having any geometric description for just what this strange covariant object is. This program has been carried out in a number of papers, such as harvtxt|Evslin|Varadarajan|2003 and harvtxt|Evslin|2003a, and was also applied to the classification of fluxes by harvtxt|Evslin|2003b. harvtxt|Bouwknegt|Evslin|Jurco|Varghese|2006 use this approach to prove Diaconescu, Moore, and Witten's conjectured constraint on the 3-fluxes, and they show that there is an additional term equal to the D3-brane charge. harvtxt|Evslin|2006 shows that the Klebanov-Strassler cascade of Seiberg dualities consists of a series of S-dual MMS instantons, one for each Seiberg duality. The group, $mathbf\; Z\_N$ of universality classes of the $SU(M+N)\; imes\; SU(M)$ supersymmetric gauge theory is then shown to agree with the S-dual twisted K-theory and not with the original twisted K-theory.

Some authors have proposed radically different solutions to this puzzle. For example, harvtxt|Kriz|Sati|2005 propose that instead of twisted K-theory, II string theory configurations should be classified by elliptic cohomology.

Researchers

Prominent researchers in this area include Peter Bouwknegt, Angel Uranga, Emanuel Diaconescu, Gregory Moore, Anton Kapustin, Jonathan Rosenberg, Ruben Minasian, Amihay Hanany, Hisham Sati, Nathan Seiberg, Juan Maldacena, Daniel Freed, and Igor Kriz.

ee also

*Twisted K-theory
*Ramond-Ramond field
*Kalb-Ramond field
*D-brane

References

*citation
last1 = Bouwknegt | first1 = Peter
last2 = Evslin | first2 = Jarah
last3 = Jurco | first3 = Branislav
last4 = Varghese | first4 = Mathai | authorlink3 = Mathai Varghese
last5 = Sati | first5 = Hisham
title = Flux Compactifications on Projective Spaces and The S-Duality Puzzle
id = arxiv|hep-th/0501110
journal = Advances in Theoretical and Mathematical Physics
volume = 10 | year = 2006 | pages = 345–394.

*citation
last1 = Bouwknegt | first1 = Peter
last2 = Evslin | first2 = Jarah
last3 = Varghese | first3 = Mathai | authorlink3 = Mathai Varghese
title = T-Duality: Topology Change from H-flux
id = arxiv|hep-th/0306062
journal = Communications in Mathematical Physics
volume = 249 | year = 2004 | pages = 383–415
doi = 10.1007/s00220-004-1115-6.

*citation
last1 = Bouwknegt | first1 = Peter
last2 = Varghese | first2 = Mathai | authorlink2 = Mathai Varghese
title = D-branes, B-fields and twisted K-theory
id = arxiv|hep-th/0002023
journal = Journal of High Energy Physics
year = 2000
volume = 0003
issue = 007
doi = 10.1088/1126-6708/2000/03/007.

*citation
last1 = Diaconescu | first1 = Emanuel
last2 = Freed | first2 = Daniel S.
last3 = Moore | first3 = Gregory
contribution = The M-theory 3-form and E₈ gauge theory
id = arxiv|hep-th/0312069
title = Elliptic Cohomology: Geometry, Applications, and Higher Chromatic Analogues
editor1-last = Miller | editor1-first = Haynes R.
editor2-last = Ravenel | editor2-first = Douglas C.
publisher = Cambridge University Press
year = 2007 | pages = 44–88.

*citation
last1 = Diaconescu | first1 = Emanuel
last2 = Moore | first2 = Gregory
last3 = Witten | first3 = Edward | authorlink3 = Edward Witten
title = E₈ Gauge Theory, and a Derivation of K-Theory from M-Theory
id = arxiv|hep-th/0005090
journal = Advances in Theoretical and Mathematical Physics
volume = 6 | year = 2003 | pages = 1031–1134.

*citation
last = Evslin | first = Jarah
title = IIB Soliton Spectra with All Fluxes Activated
journal = Nuclear Physics B
volume = 657
year = 2003a
pages = 139–168
doi = 10.1016/S0550-3213(03)00154-8.

*citation
last = Evslin | first = Jarah
title = Twisted K-Theory from Monodromies
id = arxiv|hep-th/0302081
journal = Journal of High Energy Physics
volume = 0305 | year = 2003b | issue = 030
doi = 10.1088/1126-6708/2003/05/030.

*citation
last = Evslin | first = Jarah
contribution = The Cascade is a MMS Instanton
id = arxiv|hep-th/0405210
title = Advances in Soliton Research
publisher = Nova Science Publishers
year = 2006
pages = 153–187.

*citation
last1 = Evslin | first1 = Jarah
last2 = Varadarajan | first2 = Uday
title = K-Theory and S-Duality: Starting Over from Square 3
id = arxiv|hep-th/0112084
journal = Journal of High Energy Physics
volume = 0303 | year = 2003 | issue = 026
doi = 10.1088/1126-6708/2003/03/026.

*citation
last = Hanany | first1 = Amihay
last2 = Kol | first2 = Barak | authorlink2 = Barak Kol
title = On Orientifolds, Discrete Torsion, Branes and M Theory
id = arxiv|hep-th/0003025
journal = Journal of High Energy Physics
year = 2000
volume = 0006
issue = 013
doi = 10.1088/1126-6708/2000/06/013.

*citation
last = Kapustin
first = Anton
title = D-branes in a topologically nontrivial B-field
id = arxiv|hep-th/9909089
journal = Advances in Theoretical and Mathematical Physics
volume = 4
year = 2000
pages = 127–154.

*citation
last1 = Kriz | first1 = Igor
last2 = Sati | first2 = Hisham
title = Type IIB String Theory, S-Duality, and Generalized Cohomology
id = arxiv|hep-th/0410293
journal = Nuclear Physics B
volume = 715 | year = 2005 | pages = 639–664
doi = 10.1016/j.nuclphysb.2005.02.016.

*citation
last1 = Maldacena | first1 = Juan | authorlink1 = Juan Maldacena
last2 = Moore | first2 = Gregory
last3 = Seiburg | first3 = Nathan | authorlink3 = Nathan Seiberg
id = arxiv|hep-th/0108100
title = D-Brane Instantons and K-Theory Charges
journal = Journal of High Energy Physics
volume = 0111 | year = 2001 | issue = 062
doi = 10.1088/1126-6708/2001/11/062.

*citation
last1 = Minasian | first1 = Ruben
last2 = Moore | first2 = Gregory
title = K-theory and Ramond-Ramond charge
id = arxiv|hep-th/9710230
journal = Journal of High Energy Physics
volume = 9711
year = 1997
issue = 002
doi = 10.1088/1126-6708/1997/11/002.

*citation
last1 = Olsen | first1 = Kasper
last2 = Szabo | first2 = Richard J. | authorlink2 = Richard J. Szabo
title = Constructing D-Branes from K-Theory
id = arxiv|hep-th/9907140
journal = Advances in Theoretical and Mathematical Physics
volume = 3 | year = 1999 | pages = 889–1025.

*citation
last = Rosenberg | first = Jonathan
title = Continuous-Trace Algebras from the Bundle Theoretic Point of View
journal = Journal of the Australian Mathematical Society, Series A
volume = 47 | year = 1989 | pages = 368–381
url = http://anziamj.austms.org.au/JAMSA/V47/Part3/Rosenberg.html.

*citation
last = Uranga | first = Angel M.
title = D-brane probes, RR tadpole cancellation and K-theory charge
id = arxiv|hep-th/0011048
journal = Nuclear Physics B
volume = 598 | year = 2001 | pages = 225–246
doi = 10.1016/S0550-3213(00)00787-2.

*citation
last1 = Varghese | first1 = Mathai | authorlink1 = Mathai Varghese
last2 = Sati | first2 = Hisham
title = Some Relations between Twisted K-theory and E₈ Gauge Theory
id = arxiv|hep-th/0312033
journal = Journal of High Energy Physics
volume = 0403 | year = 2004 | issue = 016
doi = 10.1088/1126-6708/2004/03/016.

*citation
last = Witten | first = Edward | authorlink = Edward Witten
title = D-Branes and K-Theory
id = arxiv|hep-th/9810188
journal = Journal of High Energy Physics
volume = 9812
year = 1998
issue = 019
doi = 10.1088/1126-6708/1998/12/019.

Further reading

An excellent introduction to the K-theory classification of D-branes in 10 dimensions via Ashoke Sen's conjecture is the original paper "D-branes and K-theory" by Edward Witten; there is also an extensive review by harvtxt|Olsen|Szabo|1999.

A very comprehensible introduction to the twisted K-theory classification of conserved D-brane charges on a 9-dimensional timeslice in the presence of Neveu-Schwarz flux is harvtxt|Maldacena|Moore|Seiburg|2001.

External links

* [http://xstructure.inr.ac.ru/x-bin/theme3.py?level=1&index1=296918 K-theory on arxiv.org]