Instring theoryand related theories (such assupergravity theories), abraneis a physical object that generalizes the notion of a zero-dimensionalpoint particle,a one-dimensionalstring,or a two-dimensional membrane to higher-dimensional objects. Branes aredynamicalobjects which can propagate throughspacetimeaccording to the rules ofquantum mechanics.They havemassand can have other attributes such ascharge.
Mathematically, branes can be represented withincategories,and are studied inpure mathematicsfor insight intohomological mirror symmetryandnoncommutative geometry.
The word "brane" originated in 1987 as a contraction of "membrane".[1]
p-branes
editA point particle is a 0-brane, of dimension zero; a string, named after vibratingmusical strings,is a 1-brane; a membrane, named aftervibrating membranessuch asdrumheads,is a 2-brane.[2]The corresponding object of arbitrary dimensionpis called ap-brane, a term coined byM. J. Duffet al.in 1988.[3]
Ap-brane sweeps out a (p+1)-dimensional volume in spacetime called itsworldvolume.Physicists often studyfieldsanalogous to theelectromagnetic field,which live on the worldvolume of a brane.[4]
D-branes
editInstring theory,astringmay be open (forming a segment with two endpoints) or closed (forming a closed loop).D-branesare an important class of branes that arise when one considers open strings. As an open string propagates through spacetime, its endpoints are required to lie on a D-brane. The letter "D" in D-brane refers to theDirichlet boundary condition,which the D-brane satisfies.[5]
One crucial point about D-branes is that the dynamics on the D-brane worldvolume is described by agauge theory,a kind of highly symmetric physical theory which is also used to describe the behavior of elementary particles in thestandard model of particle physics.This connection has led to important insights intogauge theoryandquantum field theory.For example, it led to the discovery of theAdS/CFT correspondence,a theoretical tool that physicists use to translate difficult problems in gauge theory into more mathematically tractable problems in string theory.[6]
Categorical description
editMathematically, branes can be described using the notion of acategory.[7]This is a mathematical structure consisting ofobjects,and for any pair of objects, a set ofmorphismsbetween them. In most examples, the objects are mathematical structures (such assets,vector spaces,ortopological spaces) and the morphisms arefunctionsbetween these structures.[8]One can likewise consider categories where the objects are D-branes and the morphisms between two branesandarestatesof open strings stretched betweenand.[9]
In one version of string theory known as thetopological B-model,the D-branes arecomplex submanifoldsof certain six-dimensional shapes calledCalabi–Yau manifolds,together with additional data that arise physically from havingchargesat the endpoints of strings.[10]Intuitively, one can think of a submanifold as a surface embedded inside of a Calabi–Yau manifold, although submanifolds can also exist in dimensions different from two.[11]In mathematical language, the category having these branes as its objects is known as thederived categoryofcoherent sheaveson the Calabi–Yau.[12]In another version of string theory called thetopological A-model,the D-branes can again be viewed as submanifolds of a Calabi–Yau manifold. Roughly speaking, they are what mathematicians callspecial Lagrangian submanifolds.[13]This means, among other things, that they have half the dimension of the space in which they sit, and they are length-, area-, or volume-minimizing.[14]The category having these branes as its objects is called theFukaya category.[15]
The derived category of coherent sheaves is constructed using tools fromcomplex geometry,a branch of mathematics that describes geometric shapes inalgebraic termsand solves geometric problems usingalgebraic equations.[16]On the other hand, the Fukaya category is constructed usingsymplectic geometry,a branch of mathematics that arose from studies ofclassical physics.Symplectic geometry studies spaces equipped with asymplectic form,a mathematical tool that can be used to computeareain two-dimensional examples.[17]
Thehomological mirror symmetryconjecture ofMaxim Kontsevichstates that the derived category of coherent sheaves on one Calabi–Yau manifold is equivalent in a certain sense to the Fukaya category of a completely different Calabi–Yau manifold.[18]This equivalence provides an unexpected bridge between two branches of geometry, namely complex and symplectic geometry.[19]
See also
editCitations
edit- ^"brane".Oxford English Dictionary(Online ed.).Oxford University Press.(Subscription orparticipating institution membershiprequired.)
- ^Moore 2005, p. 214
- ^M. J. Duff,T. Inami,C. N. Pope,E. Sezgin ,andK. S. Stelle,"Semiclassical quantization of the supermembrane",Nucl. Phys.B297(1988), 515.
- ^Moore 2005, p. 214
- ^Moore 2005, p. 215
- ^Moore 2005, p. 215
- ^Aspinwall et al. 2009
- ^A basic reference on category theory is Mac Lane 1998.
- ^Zaslow 2008, p. 536
- ^Zaslow 2008, p. 536
- ^Yau and Nadis 2010, p. 165
- ^Aspinwal et al. 2009, p. 575
- ^Aspinwal et al. 2009, p. 575
- ^Yau and Nadis 2010, p. 175
- ^Aspinwal et al. 2009, p. 575
- ^Yau and Nadis 2010, pp. 180–1
- ^Zaslow 2008, p. 531
- ^Aspinwall et al. 2009, p. 616
- ^Yau and Nadis 2010, p. 181
General and cited references
edit- Aspinwall, Paul; Bridgeland, Tom; Craw, Alastair; Douglas, Michael; Gross, Mark; Kapustin, Anton; Moore, Gregory; Segal, Graeme; Szendröi, Balázs; Wilson, P.M.H., eds. (2009).Dirichlet Branes and Mirror Symmetry.Clay Mathematics Monographs.Vol. 4.American Mathematical Society.ISBN978-0-8218-3848-8.
- Mac Lane, Saunders (1998).Categories for the Working Mathematician.ISBN978-0-387-98403-2.
- Moore, Gregory(2005)."What is... a Brane?"(PDF).Notices of the AMS.52:214.RetrievedJune 7,2018.
- Yau, Shing-Tung; Nadis, Steve (2010).The Shape of Inner Space: String Theory and the Geometry of the Universe's Hidden Dimensions.Basic Books.ISBN978-0-465-02023-2.
- Zaslow, Eric (2008). "Mirror Symmetry". In Gowers, Timothy (ed.).The Princeton Companion to Mathematics.ISBN978-0-691-11880-2.