View source for D-brane

{{Short description|Extended objects found in string theory}}
{{string theory}}
In [[string theory]], '''D-branes''', short for '''Dirichlet membrane''', are a class of extended objects upon which open [[string (physics)|string]]s can end with [[Dirichlet boundary condition]]s, after which they are named. 
D-branes are typically classified by their spatial [[dimension]], which is indicated by a number written after the ''D.'' A D0-brane is a single point, a D1-brane is a line (sometimes called a "D-string"), a D2-brane is a plane, and a D25-brane fills the highest-dimensional space considered in [[bosonic string theory]]. There are also [[instanton]]ic D(−1)-branes, which are localized in both [[space]] and [[time]].

== Discovery ==
D-branes were discovered by Jin Dai, [[Robert Leigh (physicist)|Robert Leigh]], and [[Joseph Polchinski]],<ref>{{cite journal | last1=Dai | first1=Jin | last2=Leigh | first2=R.G. | last3=Polchinski | first3=Joseph | title=New connections between string theories | journal=Modern Physics Letters A | publisher=World Scientific Pub Co Pte Lt | volume=04 | issue=21 | date=1989-10-20 | issn=0217-7323 | doi=10.1142/s0217732389002331 | pages=2073–2083| bibcode=1989MPLA....4.2073D }}</ref> and independently by [[Petr Hořava (physicist)|Petr Hořava]],<ref>{{cite journal | last=Hořava | first=Petr | title=Background duality of open-string models | journal=Physics Letters B | publisher=Elsevier BV | volume=231 | issue=3 | year=1989 | issn=0370-2693 | doi=10.1016/0370-2693(89)90209-8 | pages=251–257| bibcode=1989PhLB..231..251H }}</ref> in 1989. In 1995, Polchinski identified D-branes with [[black p-brane]] solutions of [[supergravity]], a discovery that triggered the [[Second Superstring Revolution|second superstring revolution]] and led to both [[Holographic principle|holographic]] and [[M-theory]] dualities.

== Theoretical background ==

The equations of motion of string theory require that the endpoints of an open string (a string with endpoints) satisfy one of two types of boundary conditions: The [[Neumann boundary condition]], corresponding to free endpoints moving through spacetime at the speed of light, or the [[Dirichlet boundary conditions]], which pin the string endpoint. Each coordinate of the string must satisfy one or the other of these conditions. There can also exist strings with mixed boundary conditions, where the two endpoints satisfy NN, DD, ND and DN boundary conditions. If ''p'' spatial dimensions satisfy the Neumann boundary condition, then the string endpoint is confined to move within a ''p''-dimensional hyperplane. This hyperplane provides one description of a D''p''-brane.

Although rigid in the limit of zero coupling, the spectrum of open strings ending on a D-brane contains modes associated with its fluctuations, implying that D-branes are dynamical objects. When <math> N </math> D-branes are nearly coincident, the spectrum of strings stretching between them becomes very rich. One set of modes produce a non-abelian gauge theory on the world-volume. Another set of modes is an <math> N \times N </math> dimensional matrix for each transverse dimension of the brane. If these matrices commute, they may be diagonalized, and the eigenvalues define the position of the <math> N </math> D-branes in space. More generally, the branes are described by non-commutative geometry, which allows exotic behavior such as the [[Myers effect]], in which a collection of D''p''-branes expand into a D(''p''+2)-brane.

[[Tachyon condensation]] is a central concept in this field. [[Ashoke Sen]] has argued that in [[Type II string theory|Type IIB string theory]], tachyon condensation allows (in the absence of Neveu-Schwarz 3-[[differential form|form]] flux) an arbitrary D-brane configuration to be obtained from a stack of D9 and anti D9-branes. [[Edward Witten]] has shown that such configurations will be classified by the [[K-theory (physics)|K-theory]] of the [[spacetime]]. Tachyon condensation is still very poorly understood. This is due to the lack of an exact string field theory that would describe the off-shell evolution of the tachyon.

== Braneworld cosmology ==

This has implications for [[physical cosmology]]. Because string theory implies that the Universe has more dimensions than we expect&mdash;26 for [[bosonic string theory|bosonic string theories]] and 10 for [[superstring theory|superstring theories]]&mdash;we have to find a reason why the extra dimensions are not apparent. One possibility would be that the visible Universe is in fact a very large D-brane extending over three spatial dimensions. Material objects, made of open strings, are bound to the D-brane, and cannot move "at right angles to reality" to explore the Universe outside the brane. This scenario is called a [[brane cosmology]]. The force of [[gravity]] is ''not'' due to open strings; the [[graviton]]s which carry gravitational forces are vibrational states of ''closed'' strings. Because closed strings do not have to be attached to D-branes, gravitational effects could depend upon the extra dimensions orthogonal to the brane.

== D-brane scattering ==
When two D-branes approach each other the interaction is captured by the one loop annulus amplitude of strings between the two branes. The scenario of two parallel branes approaching each other at a constant velocity can be mapped to the problem of two stationary branes that are rotated relative to each other by some angle. The annulus amplitude yields singularities that correspond to the on-shell production of open strings stretched between the two branes. This is true irrespective of the charge of the D-branes. At non-relativistic scattering velocities the open strings may be described by a low-energy effective action that contains two complex scalar fields that are coupled via a term <math>\phi^2\chi^2</math>. Thus, as the field <math>\phi</math> (separation of the branes) changes, the mass of the field <math>\chi</math> changes. This induces open string production and as a result the two scattering branes will be trapped.

== Gauge theories ==

The arrangement of D-branes constricts the types of string states which can exist in a system. For example, if we have two parallel D2-branes, we can easily imagine strings stretching from brane 1 to brane 2 or vice versa. (In most theories, strings are ''oriented'' objects: each one carries an "arrow" defining a direction along its length.) The open strings permissible in this situation then fall into two categories, or "sectors": those originating on brane 1 and terminating on brane 2, and those originating on brane 2 and terminating on brane 1. Symbolically, we say we have the [1&nbsp;2] and the [2&nbsp;1] sectors. In addition, a string may begin and end on the same brane, giving [1&nbsp;1] and [2&nbsp;2] sectors. (The numbers inside the brackets are called [[Chan–Paton factor|Chan–Paton indices]], but they are really just labels identifying the branes.) A string in either the [1&nbsp;2] or the [2&nbsp;1] sector has a minimum length: it cannot be shorter than the separation between the branes. All strings have some tension, against which one must pull to lengthen the object; this pull does work on the string, adding to its energy. Because string theories are by nature [[special relativity|relativistic]], adding energy to a string is equivalent to adding mass, by Einstein's relation ''E'' = ''mc<sup>2</sup>''. Therefore, the separation between D-branes controls the minimum mass open strings may have.

Furthermore, affixing a string's endpoint to a brane influences the way the string can move and vibrate. Because particle states "emerge" from the string theory as the different vibrational states the string can experience, the arrangement of D-branes controls the types of particles present in the theory. The simplest case is the [1&nbsp;1] sector for a D''p''-brane, that is to say the strings which begin and end on any particular D-brane of ''p'' dimensions. Examining the consequences of the [[Nambu–Goto action]] (and applying the rules of [[quantum mechanics]] to [[quantization (physics)|quantize]] the string), one finds that among the spectrum of particles is one resembling the [[photon]], the fundamental quantum of the electromagnetic field. The resemblance is precise: a ''p''-dimensional version of the electromagnetic field, obeying a ''p''-dimensional analogue of [[Maxwell's equations]], exists on every D''p''-brane.

In this sense, then, one can say that string theory "predicts" electromagnetism: D-branes are a necessary part of the theory if we permit open strings to exist, and all D-branes carry an electromagnetic field on their volume.

Other particle states originate from strings beginning and ending on the same D-brane. Some correspond to massless particles like the photon; also in this group are a set of massless scalar particles. If a D''p''-brane is embedded in a spacetime of ''d'' spatial dimensions, the brane carries (in addition to its Maxwell field) a set of ''d'' − ''p'' massless [[Scalar field theory|scalars]] (particles which do not have polarizations like the photons making up light). Intriguingly, there are just as many massless scalars as there are directions perpendicular to the brane; the ''geometry'' of the brane arrangement is closely related to the ''[[quantum field theory]]'' of the particles existing on it. In fact, these massless scalars are [[Nambu–Goldstone boson|Goldstone excitations]] of the brane, corresponding to the different ways the symmetry of empty space can be broken. Placing a D-brane in a universe breaks the symmetry among locations, because it defines a particular place, assigning a special meaning to a particular location along each of the ''d'' − ''p'' directions perpendicular to the brane.

The quantum version of Maxwell's electromagnetism is only one kind of [[gauge theory]], a [[unitary group|'''U'''(1)]] gauge theory where the gauge [[group (mathematics)|group]] is made of unitary [[matrix (mathematics)|matrices]] of order 1. D-branes can be used to generate gauge theories of higher order, in the following way:

Consider a group of ''N'' separate D''p''-branes, arranged in parallel for simplicity. The branes are labeled 1,2,...,''N'' for convenience. Open strings in this system exist in one of many sectors: the strings beginning and ending on some brane ''i'' give that brane a Maxwell field and some massless scalar fields on its volume. The strings stretching from brane ''i'' to another brane ''j'' have more intriguing properties. For starters, it is worthwhile to ask which sectors of strings can interact with one another. One straightforward mechanism for a string interaction is for two strings to join endpoints (or, conversely, for one string to "split down the middle" and make two "daughter" strings). Since endpoints are restricted to lie on D-branes, it is evident that a [1&nbsp;2] string may interact with a [2&nbsp;3] string, but not with a [3&nbsp;4] or a [4&nbsp;17] one. The masses of these strings will be influenced by the separation between the branes, as discussed above, so for simplicity's sake, we can imagine the branes squeezed closer and closer together until they lie atop one another. If we regard two overlapping branes as distinct objects, then we still have all the sectors we had before, but without the effects due to the brane separations.

The zero-mass states in the open-string particle spectrum for a system of ''N'' coincident D-branes yields a set of interacting quantum fields which is exactly a '''U'''(''N'') gauge theory. (The string theory does contain other interactions, but they are only detectable at very high energies.) Gauge theories were not invented starting with bosonic or fermionic strings; they originated from a different area of physics, and have become quite useful in their own right. If nothing else, the relation between D-brane geometry and gauge theory offers a useful pedagogical tool for explaining gauge interactions, even if string theory fails to be the "theory of everything".

== Black holes ==

Another important use of D-branes has been in the study of [[black hole]]s. Since the 1970s, scientists have debated the problem of black holes having [[entropy]]. Consider, as a [[thought experiment]], dropping an amount of hot gas into a black hole. Since the gas cannot escape from the hole's gravitational pull, its entropy would seem to have vanished from the universe. In order to maintain the [[second law of thermodynamics]], one must postulate that the black hole gained whatever entropy the infalling gas originally had. Attempting to apply [[quantum mechanics]] to the study of black holes, [[Stephen Hawking]] discovered that a hole should emit energy with the characteristic spectrum of thermal radiation. The characteristic temperature of this [[Hawking radiation]] is given by
<math display="block">T_{\rm H} = \frac{\hbar c^3}{8\pi GM k_\text{B}}  \;\quad(\approx {1.227 \times 10^{23}\; kg \over M}\; K),</math>
where <math>G</math> is the [[Newtonian constant of gravitation]], <math>M</math> is the black hole's mass and <math>k_\text{B}</math> is the [[Boltzmann constant]].

Using this expression for the Hawking temperature, and assuming that a zero-mass black hole has zero entropy, one can use thermodynamic arguments to derive the "[[Jacob Bekenstein|Bekenstein]] entropy":
<math display="block">S_{\rm B} = \frac{k_\text{B} 4\pi G}{\hbar c} M^2.</math>

The Bekenstein entropy is proportional to the black hole mass squared; because the [[Schwarzschild radius]] is proportional to the mass, the Bekenstein entropy is proportional to the black hole's ''surface area.'' In fact,
<math display="block">S_{\rm B} = \frac{A k_B}{4 l_{\rm P}^2},</math>
where <math>l_{\rm P}</math> is the [[Planck length]].

The concept of black hole entropy poses some interesting conundra. In an ordinary situation, a system has entropy when a large number of different "microstates" can satisfy the same macroscopic condition. For example, given a box full of gas, many different arrangements of the gas atoms can have the same total energy. However, a black hole was believed to be a featureless object (in [[John Archibald Wheeler|John Wheeler]]'s catchphrase, "[[No hair theorem|Black holes have no hair]]"). What, then, are the "degrees of freedom" which can give rise to black hole entropy?

String theorists have constructed models in which a black hole is a very long (and hence very massive) string. This model gives rough agreement with the expected entropy of a Schwarzschild black hole, but an exact proof has yet to be found one way or the other. The chief difficulty is that it is relatively easy to count the degrees of freedom quantum strings possess ''if they do not interact with one another.'' This is analogous to the [[ideal gas]] studied in introductory thermodynamics: the easiest situation to model is when the gas atoms do not have interactions among themselves. Developing the [[kinetic theory of gases]] in the case where the gas atoms or molecules experience inter-particle forces (like the [[van der Waals force]]) is more difficult. However, a world without interactions is an uninteresting place: most significantly for the black hole problem, gravity is an interaction, and so if the "string coupling" is turned off, no black hole could ever arise. Therefore, calculating black hole entropy requires working in a regime where string interactions exist.

Extending the simpler case of non-interacting strings to the regime where a black hole could exist requires [[supersymmetry]]. In certain cases, the entropy calculation done for zero string coupling remains valid when the strings interact. The challenge for a string theorist is to devise a situation in which a black hole can exist which does not "break" supersymmetry. In recent years,{{clarify timeframe|date=December 2023}} this has been done by building black holes out of D-branes. Calculating the entropies of these hypothetical holes gives results which agree with the expected Bekenstein entropy. Unfortunately, the cases studied so far all involve higher-dimensional spaces – D5-branes in nine-dimensional space, for example. They do not directly apply to the familiar case, the Schwarzschild black holes observed in our own universe.

== History ==

Dirichlet boundary conditions and D-branes had a long "pre-history" before their full significance was recognized. A series of 1975–76 papers by Bardeen, Bars, Hanson and Peccei dealt with an early concrete proposal of interacting particles at the ends of strings (quarks interacting with QCD flux tubes), with dynamical boundary conditions for string endpoints where the Dirichlet conditions were dynamical rather than static. Mixed Dirichlet/Neumann boundary conditions were first considered by [[Warren Siegel]] in 1976 as a means of lowering the critical dimension of open string theory from 26 or 10 to 4 (Siegel also cites unpublished work by Halpern, and a 1974 paper by Chodos and Thorn, but a reading of the latter paper shows that it is actually concerned with linear dilation backgrounds, not Dirichlet boundary conditions). This paper, though prescient, was little-noted in its time (a 1985 parody by Siegel, "The Super-g String", contains an almost dead-on description of braneworlds). Dirichlet conditions for all coordinates including Euclidean time (defining what are now known as D-instantons) were introduced by [[Michael Green (physicist)|Michael Green]] in 1977 as a means of introducing point-like structure into string theory, in an attempt to construct a string theory of the [[strong interaction]]. String compactifications studied by Harvey and Minahan, Ishibashi and Onogi, and Pradisi and Sagnotti in 1987–1989 also employed Dirichlet boundary conditions.

In 1989, Dai, [[Robert Leigh (physicist)|Leigh]], [[Joseph Polchinski|Polchinski]], and [[Petr Hořava (theorist)|Hořava]] independently, discovered that [[T-duality]] interchanges the usual Neumann boundary conditions with Dirichlet boundary conditions. This result implies that such boundary conditions must necessarily appear in regions of the [[moduli space]] of any open string theory. The Dai et al. paper also notes that the locus of the Dirichlet boundary conditions is dynamical, and coins the term Dirichlet-brane (D-brane) for the resulting object (this paper also coins [[orientifold]] for another object that arises under string T-duality). A 1989 paper by Leigh showed that D-brane dynamics are governed by the [[Dirac–Born–Infeld action]]. D-instantons were extensively studied by Green in the early 1990s, and were shown by Polchinski in 1994 to produce the {{math|''e''<sup>{{fraction|–1|g}}</sup> }} nonperturbative string effects anticipated by [[Steve Shenker|Shenker]]. In 1995 Polchinski showed that D-branes are the sources of electric and magnetic [[Ramond–Ramond field]]s that are required by [[string duality]],<ref>Polchinski, J. (1995). "Dirichlet branes and Ramond-Ramond charges". ''Physical Review D'', '''50'''(10): R6041–R6045.</ref>{{verification failed|date=July 2020}}<!-- Title and page number lead to different papers. Unclear which is correct. --> leading to rapid progress in the nonperturbative understanding of string theory.

== See also ==
* [[Bogomol'nyi–Prasad–Sommerfield bound]]
* [[M-theory]]

== Notes ==
{{reflist}}

== References ==
* {{cite journal | last1=Bardeen | first1=W. A. | last2=Bars | first2=Itzhak | last3=Hanson | first3=Andrew J. | last4=Peccei | first4=R. D. | title=Study of the longitudinal kink modes of the string | journal=Physical Review D | publisher=American Physical Society (APS) | volume=13 | issue=8 | date=1976-04-15 | issn=0556-2821 | doi=10.1103/physrevd.13.2364 | pages=2364–2382| bibcode=1976PhRvD..13.2364B | osti=1443701 | url=https://www.osti.gov/biblio/1443701 }}
* {{cite journal | last1=Bars | first1=Itzhak | last2=Hanson | first2=Andrew J. | title=Quarks at the ends of the string | journal=Physical Review D | publisher=American Physical Society (APS) | volume=13 | issue=6 | date=1976-03-15 | issn=0556-2821 | doi=10.1103/physrevd.13.1744 | pages=1744–1760| bibcode=1976PhRvD..13.1744B }}
* {{cite journal | last=Bars | first=Itzhak | title=Exact Equivalence of Chromodynamics to a String Theory | journal=Physical Review Letters | publisher=American Physical Society (APS) | volume=36 | issue=26 | date=1976-06-28 | issn=0031-9007 | doi=10.1103/physrevlett.36.1521 | pages=1521–1525| bibcode=1976PhRvL..36.1521B }}; ibid. {{cite journal | last=Bars | first=I. | title=A quantum string theory of hadrons and its relation to quantum chromodynamics in two dimensions | journal=Nuclear Physics B | publisher=Elsevier BV | volume=111 | issue=3 | year=1976 | issn=0550-3213 | doi=10.1016/0550-3213(76)90327-8 | pages=413–440| bibcode=1976NuPhB.111..413B }}
* Bachas, C. P. "Lectures on D-branes" (1998). {{arxiv|hep-th/9806199}}.
* {{cite journal | last1=Giveon | first1=Amit | last2=Kutasov | first2=David | title=Brane dynamics and gauge theory | journal=Reviews of Modern Physics | volume=71 | issue=4 | date=1999-07-01 | issn=0034-6861 | doi=10.1103/revmodphys.71.983 | pages=983–1084|arxiv=hep-th/9802067| bibcode=1999RvMP...71..983G | s2cid=119460857 }}
* Hashimoto, Koji, ''D-Brane: Superstrings and New Perspective of Our World.'' Springer (2012). {{ISBN|978-3-642-23573-3}}
* {{cite book | first = Clifford | last = Johnson | year = 2023 | title = D-Branes | publisher = [[Cambridge University Press]] | location = Cambridge | isbn = 9781009401371 | url=https://www.cambridge.org/core/books/dbranes/07334267BC776E31D451BD43555A02D1}}
* Polchinski, Joseph, ''TASI Lectures on D-branes'', {{arxiv|hep-th/9611050}}. Lectures given at [[Theoretical Advanced Study Institute|TASI '96]].
* {{cite journal | last=Polchinski | first=Joseph | title=Dirichlet Branes and Ramond-Ramond Charges | journal=Physical Review Letters | volume=75 | issue=26 | date=1995-12-25 | issn=0031-9007 | doi=10.1103/physrevlett.75.4724 | pages=4724–4727| pmid=10059981 | arxiv=hep-th/9510017 | bibcode=1995PhRvL..75.4724P | s2cid=4671529 }}. An article which established D-branes' significance in string theory.
* Zwiebach, Barton. ''A First Course in String Theory.'' Cambridge University Press (2004). {{ISBN|0-521-83143-1}}.
{{String theory topics |state=collapsed}}

[[Category:String theory]]