K-theory (physics)

From Wikipedia, the free encyclopedia

You have new messages (last change).

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.

Contents

[edit] History

This conjecture, applied to D-brane charges, was first proposed in 1997 by Ruben Minasian and Gregory Moore in K-theory and Ramond-Ramond Charge[1]. It was popularized by Edward Witten in D-branes and K-theory[2] who demonstrated that in type IIB string theory it 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 Anton Kapustin in D-branes in a topologically nontrivial B-field[3], complicates the extension of the K-theory classification to such cases. In D-branes, B-fields and twisted K-theory[4], Peter Bouwknegt and Mathai Varghese suggested a solution to this problem, D-branes are in general classified by a twisted K-theory, that had earlier been defined in 1989 by Jonathan Rosenberg in Continuous-Trace Algebras from the Bundle Theoretic Point of View[5].

[edit] Applications

String theory
v • d • e
Related topics
See also

The K-theory classification of D-branes has had numerous applications. For example, Amihay Hanany and Barak Kol used it in On Orientifolds, Discrete Torsion, Branes and M Theory[6] to argue that there are eight species of orientifold one-plane. In D-brane probes, RR tadpole cancellation and K-theory charge[7], Angel Uranga 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 in T-duality: Topology Change from H-flux[8]. Recently K-theory has been conjectured to classify the spinors in compactifications on generalized complex manifolds.

[edit] Open Problems

Despite these successes, RR fluxes are not quite classified by K-theory. In E8 Gauge Theory, and a Derivation of K-Theory from M-Theory[9], Emanuel Diaconescu, Gregory Moore and Edward Witten (DMW) 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 DMW and later Mathai Varghese and Hisham Sati in Some Relations between Twisted K-Theory and E8 Gauge Theory[10]. Alternately one may use the K-theory of a 9-dimensional time slice as has been done by Juan Maldacena, Gregory Moore and Nathan Seiberg in D-Brane Instantons and K-Theory Charges[11].

[edit] The 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.

[edit] The 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.

[edit] K-theory Charge vs 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.

[edit] 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.

[edit] 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.

[edit] Reconciling Twisted K-Theory and S-Duality

Diaconescu, Moore and Witten (DMW) 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 G3 in the Atiyah-Hirzebruch spectral sequence (AHSS):

d_3G_3=Sq^3G_3+H\cup G_3=G_3\cup G_3+H\cup G_3=0

where d3=Sq3+H is the first nontrivial differential in the AHSS, Sq3 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\cupx.

The above equation is not invariant under S-duality, which exchanges G3 and H. Instead DMW have proposed the following S-duality covariant extension

G_3\cup G_3+H\cup G_3+H\cup H=P

where P is an unknown characteristic class that depends only on the topology, and in particular not on the fluxes. In The M-Theory 3-form and E8 Gauge Theory[12], Diaconescu, Freed and Moore have found a constraint on P using the E8 gauge theory approach to M-theory pioneered by DMW.

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 K-Theory and S-duality: Starting Over from Square 3[13] and IIB Soliton Spectra with All Fluxes Activated[14], and was also applied to the classification of fluxes in Twisted K-Theory from Monodromies[15]. In Flux Compactifications on Projective Spaces and the S-Duality Puzzle[16] the authors use this approach to prove DMW's conjectured constraint on the 3-fluxes, and they show that there is an additional term equal to the D3-brane charge. In The Cascade is a MMS Instanton[17] the author 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)\times 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, in Type IIB String Theory, S-Duality, and Generalized Cohomology[18], Igor Kriz and Hisham Sati propose that instead of twisted K-theory, II string theory configurations should be classified by elliptic cohomology.

[edit] Suggested Reading

Perhaps the best 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 Constructing D-Branes from K-Theory[19] by Kasper Olsen and Richard J. Szabo.

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 Juan Maldacena, Gregory Moore and Nathan Seiberg's article, D-Brane Instantons and K-Theory Charges[20].

[edit] See also

[edit] External links

  • K-theory and Ramond-Ramond Charge [21]
  • D-branes and K-theory [22]
  • D-branes in a topologically nontrivial B-field [23]
  • D-branes, B-fields and twisted K-theory [24],
  • Continuous-Trace Algebras from the Bundle Theoretic Point of View [25]
  • On Orientifolds, Discrete Torsion, Branes and M Theory [26]
  • D-brane probes, RR tadpole cancellation and K-theory charge[27]
  • T-duality: Topology Change from H-flux [28].
  • E8 Gauge Theory, and a Derivation of K-Theory from M-Theory [29]
  • Some Relations between Twisted K-Theory and E8 Gauge Theory [30]
  • D-Brane Instantons and K-Theory Charges [31]
  • The M-Theory 3-form and E8 Gauge Theory [32]
  • K-Theory and S-duality: Starting Over from Square 3 [33]
  • IIB Soliton Spectra with All Fluxes Activated [34],
  • Twisted K-Theory from Monodromies [35].
  • Flux Compactifications on Projective Spaces and the S-Duality Puzzle [36]
  • The Cascade is a MMS Instanton [37]
  • Type IIB String Theory, S-Duality, and Generalized Cohomology [38]
Suggested Reading
  • D-branes and K-theory [39] by Edward Witten
  • Constructing D-Branes from K-Theory [40] by Kasper Olsen and Richard J. Szabo.
  • D-Brane Instantons and K-Theory Charges [41] - Juan Maldacena and Nathan Seiberg

[edit] People

[edit] References

Retrieved from "http://en.wikipedia.org../../../k/-/t/K-theory_%28physics%29.html"
In other languages