M-theory

From Wikipedia, the free encyclopedia
  (Redirected from M-Theory)
Jump to: navigation, search
For a more accessible and less technical introduction to this topic, see Introduction to M-theory.

M-theory is a theory in physics that unifies all consistent versions of superstring theory. The existence of such a theory was first conjectured by Edward Witten at the string theory conference at the University of Southern California in the summer of 1995. Witten's announcement initiated a flurry of research activity known as the second superstring revolution.

Prior to Witten's announcement, string theorists had identified five different versions of superstring theory. Although these theories appeared at first to be very different, work by a number of different physicists including Ashoke Sen, Chris Hull, Paul Townsend, and Michael Duff showed that the theories were related in intricate and nontrivial ways. In particular, physicists found that apparently distinct theories were identified by mathematical transformations called S-duality and T-duality. Witten's conjecture was based in part on the existence of these dualities and in part on the relationship of the string theories to a gravitational theory called eleven-dimensional supergravity.

Although a complete formulation of M-theory is not known, the theory should describe two- and five-dimensional objects called branes and should be approximated by eleven-dimensional supergravity at low energies. Modern attempts to formulate M-theory are typically based on matrix theory or the AdS/CFT correspondence. According to Witten, the M in M-theory can stand for "magic", "mystery", or "matrix" according to taste, and the true meaning of the title should be decided when a more fundamental formulation of the theory is known.

Investigations of the mathematical structure of M-theory have spawned a number of important theoretical results in physics and mathematics. More speculatively, M-theory may provide a framework for developing a unified theory of all of the fundamental forces of nature. Attempts to connect M-theory to experiment typically focus on compactifying its extra dimensions to construct models of our four-dimensional world.

Background[edit]

Quantum gravity and strings[edit]

Main articles: Quantum gravity and String theory
A wavy open segment and closed loop of string.
The fundamental objects of string theory are open and closed strings.

One of the deepest problems in modern physics is the problem of quantum gravity. Our current understanding of gravity is based on Albert Einstein's general theory of relativity, which is formulated within the framework of classical physics. However, nongravitational forces are described within the framework of quantum mechanics, a radically different formalism for describing physical phenomena based on probability.[1] A quantum theory of gravity is needed in order to reconcile general relativity with the principles of quantum mechanics,[2] but difficulties arise when one attempts to apply the usual prescriptions of quantum theory to the force of gravity.[3]

String theory is a theoretical framework that attempts to reconcile gravity and quantum mechanics. In string theory, the point-like particles of particle physics are replaced by one-dimensional objects called strings. These strings look like small segments or loops of ordinary string. String theory describes how strings propagate through space and interact with each other. On distance scales larger than the string scale, a string will look just like an ordinary particle, with its mass, charge, and other properties determined by the vibrational state of the string. One of the vibrational states of a string gives rise to the graviton, a quantum mechanical particle that mediates gravitational interactions.[4]

There are several versions of string theory known as type I, type IIA, type IIB, and the two flavors of heterotic string theory (SO(32) and E8×E8). The different theories allow different types of strings, and the particles that arise at low energies exhibit different symmetries. For example, the type I theory includes both open strings (which are segments with endpoints) and closed strings (which form closed loops), while the type II theories include only closed strings. Each of these five string theories arises as a special limiting case of M-theory. This theory, like its string theory predecessors, is an example of a quantum theory of gravity. It describes a force just like the familiar gravitational force subject to the rules of quantum mechanics.

Number of dimensions[edit]

An example of compactification: At large distances, a two dimensional surface with one circular dimension looks one-dimensional.

In everyday life, there are three familiar dimensions of space (up/down, left/right, and forward/backward), and there is one dimension of time (later/earlier). Thus, in the language of modern physics, one says that spacetime is four-dimensional.[5]

Despite the obvious relevance of four-dimensional spacetime for describing the physical world, there are several reasons why physicists often consider theories in other dimensions. In some cases, by modeling spacetime in a different number of dimensions, a theory becomes more mathematically tractable, and one can perform calculations and gain general insights more easily.[6] There are also situations where theories in two or three spacetime dimensions are useful for describing phenomena in condensed matter physics. Finally, there exist scenarios in which there could actually be more than four dimensions of spacetime which have nonetheless managed to escape detection.[7]

One notable feature of string theory and M-theory is that these theories require extra dimensions of spacetime for their mathematical consistency. In string theory, spacetime is ten-dimensional, while in M-theory it is eleven-dimensional. In order to describe real physical phenomena using these theories, one must therefore imagine scenarios in which these extra dimensions would not be observed in experiments.[8]

Compactification is one way of modifying the number of dimensions in a physical theory. In compactification, some of the extra dimensions are assumed to "close up" on themselves to form circles.[9] In the limit where these curled up dimensions become very small, one obtains a theory in which spacetime has effectively a lower number of dimensions. A standard analogy for this is to consider a multidimensional object such as a garden hose. If the hose is viewed from a sufficient distance, it appears to have only one dimension, its length. However, as one approaches the hose, one discovers that it contains a second dimension, its circumference. Thus, an ant crawling on the surface of the hose would move in two dimensions.[10]

Dualities[edit]

Main articles: S-duality and T-duality
A diagram of string theory dualities. Yellow lines indicate S-duality. Blue lines indicate T-duality.

Theories that arise as different limits of M-theory turn out to be related in highly nontrivial ways. One of the relationships that can exist between these different physical theories is called S-duality. This is a relationship which says that a collection of strongly interacting particles in one theory can, in some cases, be viewed as a collection of weakly interacting particles in a completely different theory. For example, type I string theory turns out to be equivalent by S-duality to the SO(32) heterotic string theory. Similarly, type IIB string theory is related to itself in a nontrivial way by S-duality.[11]

Another relationship between different string theories is T-duality. Here one considers strings propagating around a circular extra dimension. T-duality states that a string propagating around a circle of radius R is equivalent to a string propagating around a circle of radius 1/R in the sense that all observable quantities in one description are identified with quantities in the dual description. For example, a string has momentum as it propagates around a circle, and it can also wind around the circle one or more times. The number of times the string winds around a circle is called the winding number. If a string has momentum p and winding number n in one description, it will have momentum n and winding number p in the dual description. For example, one can show that type IIA string theory is equivalent to type IIB string theory via T-duality and also that the two versions of heterotic string theory are related by T-duality.[12]

In general, the term duality refers to a situation where two seemingly different physical systems turn out to be equivalent in a nontrivial way. If two theories are related by a duality, it means that one theory can be transformed in some way so that it ends up looking just like the other theory. The two theories are then said to be dual to one another under the transformation. Put differently, the two theories are mathematically different descriptions of the same phenomena.

Supersymmetry[edit]

Main article: Supersymmetry

Another important theoretical idea that plays a role in M-theory is supersymmetry. This is a mathematical relation that exists in certain physical theories between a class of particles called bosons and a class of particles called fermions. Roughly speaking, bosons are the constituents of radiation, while fermions are the constituents of matter. In theories with supersymmetry, each boson has a counterpart which is a fermion, and vice versa. When supersymmetry is imposed as a local symmetry, one automatically obtains a quantum mechanical theory that includes gravity. Such a theory is called a supergravity theory.[13]

A theory of strings that incorporates the idea of supersymmetry is called a superstring theory. There are several different versions of superstring theory which are all subsumed within the M-theory framework. At low energies, the superstring theories are approximated by supergravity in ten spacetime dimensions. Similarly, M-theory is approximated at low energies by supergravity in eleven dimensions.

Branes[edit]

Main article: Brane

In string theory and related theories such as supergravity theories, a brane is a physical object that generalizes the notion of a point particle to higher dimensions. For example, a point particle can be viewed as a brane of dimension zero, while a string can be viewed as a brane of dimension one. It is also possible to consider higher-dimensional branes. In dimension p, these are called p-branes. Branes are dynamical objects which can propagate through spacetime according to the rules of quantum mechanics. They have mass and can have other attributes such as charge. A p-brane sweeps out a (p+1)-dimensional volume in spacetime called its worldvolume. Physicists often study fields analogous to the electromagnetic field which live on the worldvolume of a brane. The word brane comes from the word "membrane" which refers to a two-dimensional brane.[14]

In string theory, the fundamental objects that give rise to elementary particles are the one-dimensional strings. Although the physical phenomena described by M-theory are still poorly understood, physicists know that the theory describes two- and five-dimensional branes. Much of the current research in M-theory attempts to better understand the properties of these branes.

History and development[edit]

Early work on supergravity[edit]

Main article: Supergravity

General relativity does not place any limits on the possible dimensions of spacetime. Although the theory is typically formulated in four dimensions, one can write down the same equations for the gravitational field in any number of dimensions. Supergravity is more restrictive because it places an upper limit on the number of dimensions.[15] In 1978, work of Werner Nahm showed that the maximum spacetime dimension in which one can formulate a consistent supersymmetric theory is eleven.[16] In the same year, Eugene Cremmer, Bernard Julia, and Joel Scherk of the École Normale Supérieure showed that supergravity not only permits up to eleven dimensions but is in fact most elegant in this maximal number of dimensions.[17][18]

Initially, many physicists hoped that by compactifying eleven-dimensional supergravity, it might be possible to construct realistic models of our four-dimensional world. The hope was that such models would provide a unified description of the four fundamental forces of nature: electromagnetism, the strong and weak nuclear forces, and gravity. Interest in eleven-dimensional supergravity soon waned, however, as various flaws in this scheme were discovered. One of the problems was that the laws of physics appear to distinguish between left and right, a phenomenon known as chirality. As emphasized by Edward Witten and others, this chirality property cannot be readily derived by compactifying from eleven dimensions.[19]

In the first superstring revolution in 1984, many physicists turned to string theory as a unified theory of particle physics and quantum gravity. Unlike supergravity theory, string theory was able to accommodate the chirality of the standard model, and it provided a theory of gravity consistent with quantum effects.[20] Another feature of string theory that many physicists were drawn to in the 1980s and 1990s was its high degree of uniqueness. In ordinary particle theories, one can consider any collection of elementary particles whose classical behavior is described by an arbitrary Lagrangian. In string theory, the possibilities are much more constrained, and there are only a few consistent formulations of the theory. Indeed, by the 1990s, physicists had identified five consistent supersymmetric versions of the theory.

Relationships between string theories[edit]

Although there was only a handful of consistent superstring theories, it remained a mystery why there was not just one consistent formulation. However, as physicists began to examine string theory more closely, they began to realize that these theories are related in intricate and nontrivial ways.

In the late 1970s, Claus Montonen and David Olive,[21] had conjectured a special property of a quantum field theory called N = 4 supersymmetric Yang–Mills theory. This theory describes particles similar to the quarks and gluons that make up atomic nuclei. The strength with which the particles of this theory interact is measured by a number called the coupling constant. The result of Montonen and Olive, now known as Montonen–Olive duality, states that N=4 supersymmetric Yang–Mills theory with coupling constant g is equivalent to the same theory with coupling constant 1/g. In other words, a system of strongly interacting particles (large coupling constant) has an equivalent description as a system of weakly interacting particles (small coupling constant) and vice versa.[22]

In 1990, several theorists generalized Montonen–Olive duality to a relationship called S-duality which connects different string theories. For example, type IIB string theory with a large coupling constant is equivalent via S-duality to the same theory with small coupling constant. Theorists also found that different string theories may be related by a totally different kind of duality known as T-duality. This duality implies that strings propagating on completely different spacetime geometries may be physically equivalent.[23]

Membranes and fivebranes[edit]

String theory extends ordinary quantum field theory by promoting zero-dimensional point particles to one-dimensional objects called strings. In the late 1980s, it was natural for theorists to attempt to formulate other extensions of quantum field theory in which particles are replaced by two-dimensional supermembranes or by higher-dimensional objects called branes. Such objects had been considered as early as 1962 by Paul Dirac, and they were reconsidered by a small but enthusiastic group of physicists in the 1980s.[24]

Supersymmetry severely restricts the possible number of dimensions of a brane. In 1987, Eric Bergshoeff, Ergin Sezgin, and Paul Townsend showed that eleven-dimensional supergravity includes two-dimensional branes.[25] Intuitively, these objects look like sheets or membranes propagating through the eleven-dimensional spacetime. Shortly after this discovery, Michael Duff, Paul Howe, Takeo Inami, Kellogg Stelle considered a particular compactification of eleven-dimensional supergravity with one of the dimensions curled up into a circle.[26] In this setting, one can imagine the membrane wrapping around the circular dimension. If the radius of the circle is sufficiently small, then this membrane looks just like a string in ten-dimensional spacetime. In fact, Duff and his collaborators showed that this construction reproduces exactly the strings appearing in type IIA superstring theory.[27]

In 1990, Andrew Strominger published a similar result which suggested that strongly interacting strings in ten dimensions might have an equivalent description in terms of weakly interacting five-dimensional branes.[28] Initially, physicists were unable to prove this relationship for two important reasons. On the one hand, the Montonen–Olive duality was still unproven, and so Strominger's conjecture was even more tenuous. On the other hand, there were many technical issues related to the quantum properties of five-dimensional branes.[29] The first of these problems was solved in 1993 when Ashoke Sen established that certain physical theories require the existence of objects with both electric and magnetic charge which were predicted by the work of Montonen and Olive.[30]

In spite of this progress, the relationship between strings and five-dimensional branes remained conjectural because theorists were unable to quantize the branes. Starting in 1991, a team of researchers including Michael Duff, Ramzi Khuri, Jianxin Lu, and Ruben Minasian considered a special compactification of string theory in which four of the ten dimensions curl up. If one considers a five-dimensional brane wrapped around these extra dimensions, then the brane looks just like a one-dimensional string. In this way, the conjectured relationship between strings and branes was reduced to a relationship between strings and strings, and the latter could be tested using already established theoretical techniques.[31]

Second superstring revolution[edit]

A schematic illustration of the relationship between M-theory, the five superstring theories, and eleven-dimensional supergravity. The shaded region represents a family of different physical scenarios that are possible in M-theory, and these last six theories arise as special limiting cases.

Speaking at the string theory conference at the University of Southern California in 1995, Edward Witten of the Institute for Advanced Study made the surprising suggestion that all five superstring theories were in fact just different limiting cases of a single theory in eleven spacetime dimensions. Witten's announcement drew together all of the previous results on S- and T-duality and the appearance of two- and five-dimensional branes in string theory.[32] In the months following Witten's announcement, hundreds of new papers appeared on the Internet confirming that the new theory involved membranes in an important way.[33] Today this flurry of work is known as the second superstring revolution.

One of the important developments following Witten's announcement was Witten's work in 1996 with string theorist Petr Hořava.[34][35] Witten and Hořava studied M-theory on a special spacetime geometry with two ten-dimensional boundary components. Their work shed light on the mathematical structure of M-theory and suggested possible ways of connecting M-theory to real world physics.[36]

Origin of the term[edit]

Initially, some physicists suggested that the new theory was a fundamental theory of membranes, but Witten was skeptical of the role of membranes in the theory. In a paper from 1996, Hořava and Witten wrote

As it has been proposed that the eleven-dimensional theory is a supermembrane theory but there are some reasons to doubt that interpretation, we will non-committally call it the M-theory, leaving to the future the relation of M to membranes.[37]

In the absence of an understanding of the true meaning and structure of M-theory, Witten has suggested that the M should stand for "magic", "mystery", or "matrix" according to taste, and the true meaning of the title should be decided when a more fundamental formulation of the theory is known.[38]

Matrix theory[edit]

BFSS matrix model[edit]

In mathematics, a matrix is a rectangular array of numbers or other data. In physics, a matrix model is a particular kind of physical theory whose mathematical formulation involves the notion of a matrix in an important way. Such models allow physicists to describe certain aspects of M-theory and investigate properties of the theory in a relatively simple setting.[39]

More precisely, a matrix model is a physical theory in which the fundamental degrees of freedom are encoded mathematically by matrices and where one applies the rules of quantum mechanics to compute observable quantities. The BFSS matrix model is a particular example of matrix model that was proposed by Tom Banks, Willy Fischler, Stephen Shenker, and Leonard Susskind in 1997 as a fundamental formulation of M-theory.[40]

Noncommutative geometry[edit]

In geometry, it is often useful to introduce coordinates. For example, in order to study the geometry of the Euclidean plane, one introduces the coordinates x and y, which measure the distance between any point in the plane and a pair of axes. In ordinary geometry, the coordinates of a point are numbers, so they can be multiplied, and the product of two coordinates does not depend on the order of multiplication. That is, xy=yx. This property of multiplication is known as the commutative law, and this relationship between geometry and the commutative algebra of coordinates is the starting point for much of modern geometry.[41]

Noncommutative geometry is a branch of mathematics that attempts to generalize this situation. Rather than working with ordinary numbers, one considers some similar objects, such as matrices, whose multiplication does not satisfy the commutative law (that is, objects for which xy is not necessarily equal to yx). One imagines that these noncommuting objects are coordinates on some more general notion of "space" and proves theorems about these generalized spaces by exploiting the analogy with ordinary geometry.[42]

In a paper from 1998, Alain Connes, Michael Douglas, and Albert Schwarz showed that some aspects of matrix models and M-theory are described by a special kind of physical theory in which the coordinates on spacetime do not satisfy the commutativity property.[43] This established a link between matrix models and M-theory on the one hand, and noncommutative geometry on the other hand. In 1999, Nathan Seiberg and Edward Witten described further relations between string theory and noncommutative geometry.[44]

AdS/CFT correspondence[edit]

Overview[edit]

A tessellation of the hyperbolic plane by triangles and squares.

The application of quantum mechanics to physical objects such as the electromagnetic field, which are extended in space and time, is known as quantum field theory.[45] In particle physics, quantum field theories form the basis for our understanding of elementary particles, which are modeled as excitations in the fundamental fields. Quantum field theories are also used throughout condensed matter physics to model particle-like objects called quasiparticles.[46]

One approach to formulating M-theory and studying its properties is provided by the anti-de Sitter/conformal field theory (AdS/CFT) correspondence. Proposed by Juan Maldacena in late 1997, the AdS/CFT correspondence is a theoretical result which implies that M-theory is in some cases equivalent to a quantum field theory.[47] In addition to providing insights into the mathematical structure of string and M-theory, the AdS/CFT correspondence has shed light on many aspects of quantum field theory in regimes where traditional calculational techniques are ineffective.[48]

In the AdS/CFT correspondence, one considers string theory or M-theory on an anti-de Sitter background. This means that the geometry of spacetime is described in terms of a certain vacuum solution of Einstein's equation called anti-de Sitter space.[49] In very elementary terms, anti-de Sitter space is a mathematical model of spacetime in which the notion of distance between points (the metric) is different from the notion of distance in ordinary Euclidean geometry. It is closely related to hyperbolic space, which can be viewed as a disk as illustrated on the left.[50] This image shows a tessellation of a disk by triangles and squares. One can define the distance between points of this disk in such a way that all the triangles and squares are the same size and the circular outer boundary is infinitely far from any point in the interior.[51]

Three-dimensional anti-de Sitter space is like a stack of hyperbolic disks, each one representing the state of the universe at a given time. The resulting spacetime looks like a solid cylinder.

Now imagine a stack of hyperbolic disks where each disk represents the state of the universe at a given time. The resulting geometric object is three-dimensional anti-de Sitter space.[52] It looks like a solid cylinder in which any cross section is a copy of the hyperbolic disk. Time runs along the vertical direction in this picture. The surface of this cylinder plays an important role in the AdS/CFT correspondence. As with the hyperbolic plane, anti-de Sitter space is curved in such a way that any point in the interior is actually infinitely far from this boundary surface.[53]

This construction describes a hypothetical universe with only two space and one time dimension, but it can be generalized to any number of dimensions. Indeed, hyperbolic space can have more than two dimensions and one can "stack up" copies of hyperbolic space to get higher-dimensional models of anti-de Sitter space.[54]

An important feature of anti-de Sitter space is its boundary (which looks like a cylinder in the case of three-dimensional anti-de Sitter space). One property of this boundary is that, locally around any point, it looks just like Minkowski space, the model of spacetime used in nongravitational physics.[55] One can therefore consider an auxiliary theory in which "spacetime" is given by the boundary of anti-de Sitter space. This observation is the starting point for AdS/CFT correspondence, which states that the boundary of anti-de Sitter space can be regarded as the "spacetime" for a quantum field theory. The claim is that this quantum field theory is equivalent to the gravitational theory on the bulk anti-de Sitter space in the sense that there is a "dictionary" for translating calculations in one theory into calculations in the other. Every entity in one theory has a counterpart in the other theory. For example, a single particle in the gravitational theory might correspond to some collection of particles in the boundary theory. In addition, the predictions in the two theories are quantitatively identical so that if two particles have a 40 percent chance of colliding in the gravitational theory, then the corresponding collections in the boundary theory would also have a 40 percent chance of colliding.[56]

6D (2,0) superconformal field theory[edit]

The six-dimensional (2,0)-theory has been used to understand results from the mathematical theory of knots.

One particular realization of the AdS/CFT correspondence states that M-theory on the product space AdS_7\times S^4 is equivalent to the so-called (2,0)-theory on the six-dimensional boundary.[57] In this example, the spacetime of the gravitational theory is effectively seven-dimensional (hence the notation AdS_7), and there are four additional "compact" dimensions (encoded by the S^4 factor). In the real world, spacetime is four-dimensional, at least macroscopically, so this version of the correspondence does not provide a realistic model of gravity. Likewise, the dual theory is not a viable model of any real-world system since it describes a world with six spacetime dimensions.

Nevertheless, the (2,0)-theory has proven to be important for studying the general properties of quantum field theories.[58] Indeed, this theory subsumes a large number of mathematically interesting effective quantum field theories and points to new dualities relating these theories. For example, Luis Alday, Davide Gaiotto, and Yuji Tachikawa showed that by compactifying this theory on a surface, one obtains a four-dimensional quantum field theory, and there is a duality known as the AGT correspondence which relates the physics of this theory to certain physical concepts associated with the surface itself.[59][60] More recently, theorists have extended these ideas to study the theories obtained by compactifying down to three dimensions.[61][62]

In addition to its applications in quantum field theory, the (2,0)-theory has spawned a number of important results in pure mathematics. For example, the existence of the (2,0)-theory was used by Witten to give a "physical" explanation for a conjectural relationship in mathematics called the geometric Langlands correspondence. Witten's results also gave an intuitive geometric explanation of a well known fact from classical electrodynamics, namely the invariance of Maxwell's equations under the interchange of electric and magnetic fields.[63] In subsequent work, Witten showed that the (2,0)-theory could be used to understand a concept in mathematics called Khovanov homology.[64] Developed by Mikhail Khovanov around 2000, Khovanov homology provides a tool in knot theory, the branch of mathematics that studies and classifies the different shapes of knots.[65]

ABJM superconformal field theory[edit]

Another realization of the AdS/CFT correspondence states that M-theory on AdS_4\times S^7 is equivalent to a quantum field theory called the ABJM theory in three dimensions. In this version of the correspondence, seven of the dimensions of M-theory are curled up, leaving four non-compact dimensions. Since the spacetime of our universe is four-dimensional, this version of the correspondence provides a somewhat more realistic description of gravity.[66]

The ABJM theory appearing in this version of the correspondence is also interesting for a variety of reasons. Introduced by Aharony, Bergman, Jafferis, and Maldacena, it is closely related to another quantum field theory called Chern-Simons theory. The latter theory was popularized by Witten in the late 1980s because of its applications to knot theory.[67] In addition, the ABJM theory serves as a useful toy model for solving problems that arise in condensed matter physics.[68]

Phenomenology[edit]

Overview[edit]

Main article: String phenomenology
Visualization of a complex mathematical surface with many convolutions and self intersections.
A cross section of a Calabi–Yau manifold

In addition to being an idea of considerable theoretical interest, M-theory provides a framework for constructing models of real world physics that combine general relativity with the standard model of particle physics. Phenomenology is the branch of theoretical physics in which physicists construct realistic models of nature from more abstract theoretical ideas. String phenomenology is the part of string theory that attempts to construct realistic models of particle physics based on string and M-theory.

Typically, such models are based on the idea of compactification.[69] Starting with the ten- or eleven-dimensional spacetime of string or M-theory, physicists postulate a shape for the extra dimensions. By choosing this shape appropriately, they can construct models roughly similar to the standard model of particle physics, together with additional undiscovered particles.[70] One popular way of deriving realistic physics from string theory is to start with the heterotic theory in ten dimensions and assume that the six extra dimensions of spacetime are shaped like a six-dimensional Calabi–Yau manifold. This is a special kind of geometric object named after mathematicians Eugenio Calabi and Shing-Tung Yau.[71] Calabi–Yau manifolds offer many ways of extracting realistic physics from string theory. Other similar methods can be used to construct realistic models of our four-dimensional world based on M-theory.[72]

Partly because of theoretical and mathematical difficulties and partly because of the extremely high energies needed to test these theories experimentally, there is so far no experimental evidence that would unambiguously point to any of these models being a correct fundamental description of nature. This has led some in the community to criticize these approaches to unification and question the value of continued research on these problems.[73]

Compactification on G2 manifolds[edit]

In one approach to M-theory phenomenology, theorists assume that the seven extra dimensions of M-theory are shaped like a G2 manifold. This is a special kind of seven-dimensional shape constructed by mathematician Dominic Joyce of the University of Oxford.[74] These G2 manifolds are still poorly understood mathematically, and this fact has made it difficult for physicists to fully develop this approach to phenomenology.[75]

For example, physicists and mathematicians often assume that space has a mathematical property called smoothness, but this property cannot be assumed in the case of a G2 manifold if one wishes to recover the physics of our four-dimensional world. Another problem is that G2 manifolds are not complex manifolds, so theorists are unable to use tools from the branch of mathematics known as complex analysis. Finally, there are many open questions about the existence, uniqueness, and other mathematical properties of G2 manifolds, and mathematicians lack a systematic way of searching for these manifolds.[76]

Heterotic M-theory[edit]

Because of the difficulties with G2 manifolds, most attempts to construct realistic theories of physics based on M-theory have taken a more indirect approach to compactifying eleven-dimensional spacetime. One approach, pioneered by Witten, Hořava, Burt Ovrut, and others, is known as heterotic M-theory. In this approach, one imagines that one of the eleven dimensions of M-theory is shaped like a circle. If this circle is very small, then the spacetime becomes effectively ten-dimensional. One then assumes that six of the ten dimensions form a Calabi–Yau manifold. If this Calabi–Yau manifold is also taken to be small, one is left with a theory in four-dimensions.[77]

Notes[edit]

  1. ^ For a standard introduction to quantum mechanics, see Griffiths 2004.
  2. ^ The necessity of a quantum mechanical description of gravity follows from the fact that one cannot consistently couple a classical system to a quantum one. See Wald 1984, p. 382.
  3. ^ From a technical point of view, the problem is that the theory one gets in this way is not renormalizable and therefore cannot be used to make meaningful physical predictions. For more information, see Zee 2010, p. 72.
  4. ^ For an accessible introduction to string theory, see Greene 2000.
  5. ^ Wald 1984, p. 4
  6. ^ For example, in the context of the AdS/CFT correspondence, theorists often formulate and study theories of gravity in unphysical numbers of spacetime dimensions.
  7. ^ Zwiebach 2009, p. 9
  8. ^ Zwiebach 2009, p. 8
  9. ^ Yau and Nadis 2010, Ch. 6
  10. ^ This analogy is used for example in Greene 2000, p. 186
  11. ^ Becker, Becker, and Schwarz 2007
  12. ^ Becker, Becker, and Schwarz 2007
  13. ^ Duff 1998, p. 64
  14. ^ Moore 2005
  15. ^ Duff 1998, p. 64
  16. ^ Nahm 1978
  17. ^ Cremmer, Julia, and Scherk 1978
  18. ^ Duff 1998, p. 65
  19. ^ Duff 1998, p. 65
  20. ^ Duff 1998, p. 65
  21. ^ Montonen and Olive 1977
  22. ^ Duff 1998, p. 66
  23. ^ Duff 1998, p. 67
  24. ^ Duff 1998, p. 65
  25. ^ Bergshoeff, Sezgin, and Townsend 1987
  26. ^ Duff et al. 1987
  27. ^ Duff 1998, p. 66
  28. ^ Strominger 1990
  29. ^ Duff 1998, pp 66–7
  30. ^ Sen 1993
  31. ^ Duff 1998, p. 67
  32. ^ Witten 1995
  33. ^ Duff 1998, pp. 67–8
  34. ^ Hořava and Witten 1996a
  35. ^ Hořava and Witten 1996b
  36. ^ Duff 1998, p. 68
  37. ^ Hořava and Witten 1996a
  38. ^ Duff 1996, sec. 1
  39. ^ Banks et al. 1997
  40. ^ Banks et al. 1997
  41. ^ Connes 1994, p. 1
  42. ^ For a review of noncommutative geometry and some of its applications, see Connes 1994.
  43. ^ Connes, Douglas, and Schwarz 1998
  44. ^ Seiberg and Witten 1999
  45. ^ A standard text is Peskin and Schroeder 1995.
  46. ^ For an introduction to the applications of quantum field theory to condensed matter physics, see Zee 2010.
  47. ^ Maldacena 1998
  48. ^ Klebanov and Maldacena 2009
  49. ^ Klebanov and Maldacena 2009, p. 28
  50. ^ Maldacena 2005, p. 60
  51. ^ Maldacena 2005, p. 61
  52. ^ Maldacena 2005, p. 60
  53. ^ Maldacena 2005, p. 61
  54. ^ Maldacena 2005, p. 60
  55. ^ Zwiebach 2009, p. 552
  56. ^ Maldacena 2005, pp. 61–62
  57. ^ Maldacena 1998
  58. ^ For a review of the (2,0)-theory, see Moore 2012.
  59. ^ Alday, Gaiotto, and Tachikawa 2010
  60. ^ Shortly after the discovery of the AGT correspondence, Wyllard 2009 discovered a generalization of this relation involving a class of quantum field theories called Toda field theories.
  61. ^ Dimofte, Gaiotto, Gukov 2010
  62. ^ Terashima and Masahito 2011
  63. ^ Witten 2009
  64. ^ Witten 2012
  65. ^ Khovanov 2000
  66. ^ Aharony et al. 2008
  67. ^ Witten 1989
  68. ^ Aharony et al. 2008
  69. ^ Brane world scenarios provide an alternative way of recovering real world physics from string theory.
  70. ^ Candelas et al. 1985
  71. ^ Yau and Nadis 2010, p. ix
  72. ^ Yau and Nadis 2010, pp. 147–150
  73. ^ Woit 2006
  74. ^ Yau and Nadis 2010, p. 149
  75. ^ Yau and Nadis 2010, p. 150
  76. ^ Yau and Nadis 2010, p. 150
  77. ^ Yau and Nadis 2010, p. 150

References[edit]

  • Banks, Tom; Fischler, Willy; Schenker, Stephen; Susskind, Leonard (1997). "M theory as a matrix model: A conjecture". Physical Review D 551 (8). 
  • Becker, Katrin; Becker, Melanie; Schwarz, John (2007). String theory and M-theory: A modern introduction. Cambridge University Press. 
  • Connes, Alain (1994). Noncommutative Geometry. Academic Press. 
  • Connes, Alain; Douglas, Michael; Schwarz, Albert (1998). "Noncommutative geometry and matrix theory". Journal of High Energy Physics. 19981 (2). 
  • Dimofte, Tudor; Gaiotto, Davide; Gukov, Sergei (2010). "Gauge theories labelled by three-manifolds". Communications in Mathematical Physics 3251 (2): 1367–419. 
  • Duff, Michael (1996). "M-theory (the theory formerly known as strings)". International Journal of Modern Physics A 11 (32): 6523–41. 
  • Duff, Michael; Howe, Paul; Inami, Takeo; Stelle, Kellogg (1987). "Superstrings in D=10 from supermembranes in D=11". Nuclear Physics B 191 (1): 70–74. doi:10.1016/0370-2693(87)91323-2. 
  • Greene, Brian (2000). The Elegant Universe: Superstrings, Hidden Dimensions, and the Quest for the Ultimate Theory. Random House. ISBN 978-0-9650888-0-0. 
  • Griffiths, David (2004). Introduction to Quantum Mechanics. Pearson Prentice Hall. ISBN 978-0-13-111892-8. 
  • Khovanov, Mikhail (2000). "A categorification of the Jones polynomial". Duke Mathematical Journal 1011 (3): 359–426. 
  • Peskin, Michael; Schroeder, Daniel (1995). An Introduction to Quantum Field Theory. Westview Press. ISBN 978-0-201-50397-5. 
  • Seiberg, Nathan; Witten, Edward (1999). "String Theory and Noncommutative Geometry". Journal of High Energy Physics (9): 032. doi:10.1088/1126-6708/1999/09/032. 
  • Terashima, Yuji; Masahito, Yamazaki (2011). "SL(2,\mathbb{R}) Chern-Simons theory, Liouville, and gauge theory on duality walls". Journal of High Energy Physics. 20111 (8): 11–46. 
  • Witten, Edward (2012). "Fivebranes and knots". Quantum Topology 3 (1): 1–137. doi:10.4171/qt/26. 
  • Woit, Peter (2006). Not Even Wrong: The Failure of String Theory and the Search for Unity in Physical Law. New York: Basic Books. p. 105. ISBN 0-465-09275-6. 
  • Wyllard, Niclas (2009). "A_{N-1} conformal Toda field theory correlation functions from conformal \mathcal{N}=2 SU(N) quiver gauge theories". Journal of High Energy Physics. 20091 (11). doi:10.1088/1126-6708/2009/11/002. 
  • Yau, Shing-Tung; Nadis, Steve (2010). The Shape of Inner Space: String Theory and the Geometry of the Universe's Hidden Dimensions. Basic Books. ISBN 978-0-465-02023-2. 
  • Zee, Anthony (2010). Quantum Field Theory in a Nutshell (2nd ed.). Princeton University Press. ISBN 978-0-691-14034-6. 
  • Zwiebach, Barton (2009). A First Course in String Theory. Cambridge University Press. ISBN 978-0-521-88032-9. 

Further reading[edit]

  • Greene, Brian (2000). The Elegant Universe: Superstrings, Hidden Dimensions, and the Quest for the Ultimate Theory. Random House. ISBN 978-0-9650888-0-0. 
  • Witten, Edward (1998). "Magic, mystery, and matrix". Notices of the AMS 45 (9): 1124–1129. 

External links[edit]

  • The Elegant Universe—A three-hour miniseries with Brian Greene on the series Nova (original PBS broadcast dates: October 28, 8–10 p.m. and November 4, 8–9 p.m., 2003). Various images, texts, videos and animations explaining string theory and M-theory.
  • Superstringtheory.com—The "Official String Theory Web Site", created by Patricia Schwarz. References on string theory and M-theory for the layperson and expert.
  • Not Even WrongPeter Woit's blog on physics in general, and string theory in particular.