T-duality

T-duality (short for target-space duality) in theoretical physics is an equivalence of two physical theories, which may be either quantum field theories or string theories. In the simplest example of this relationship, one of the theories describes strings propagating in a spacetime shaped like a circle of some radius $R$ , while the other theory describes strings propagating on a spacetime shaped like a circle of radius proportional to $1/R$ . The idea of T-duality was first noted by Bala Sathiapalan in an obscure paper in 1987.^[1] The two T-dual theories are equivalent in the sense that all observable quantities in one description are identified with quantities in the dual description. For example, momentum in one description takes discrete values and is equal to the number of times the string winds around the circle in the dual description.

The idea of T-duality can be extended to more complicated theories, including superstring theories. The existence of these dualities implies that seemingly different superstring theories are actually physically equivalent. This led to the realization, in the mid-1990s, that all of the five consistent superstring theories are just different limiting cases of a single eleven-dimensional theory called M-theory.

In general, T-duality relates two theories with different spacetime geometries. In this way, T-duality suggests a possible scenario in which the classical notions of geometry break down in a theory of Planck scale physics.^[2] The geometric relationships suggested by T-duality are also important in pure mathematics. Indeed, according to the SYZ conjecture of Andrew Strominger, Shing-Tung Yau, and Eric Zaslow, T-duality is closely related to another duality called mirror symmetry, which has important applications in a branch of mathematics called enumerative algebraic geometry.

Overview

Strings and duality

T-duality is a particular example of a general notion of duality in physics. 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.

Like many of the dualities studied in theoretical physics, T-duality was discovered in the context of string theory.^[3] In string theory, particles are modeled not as zero-dimensional points but as one-dimensional extended objects called strings. The physics of strings can be studied in various numbers of dimensions. In addition to three familiar dimensions from everyday experience (up/down, left/right, forward/backward), string theories may include one or more compact dimensions which are curled up into circles.

A standard analogy for this is to consider multidimensional object such as a garden hose.^[4] 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 inside it would move in two dimensions. Such extra dimensions are important in T-duality, which relates a theory in which strings propagate on a circle of some radius $R$ to a theory in which strings propagate on a circle of radius $1/R$ .

Winding numbers

In mathematics, the winding number of a curve in the plane around a given point is an integer representing the total number of times that curve travels counterclockwise around the point. The notion of winding number is important in the mathematical description of T-duality where it is used to measure the winding of strings around compact extra dimensions.

For example, the image below shows several examples of curves in the plane, illustrated in red. Each curve is assumed to be closed, meaning it has no endpoints, and is allowed to intersect itself. Each curve has an orientation given by the arrows in the picture. In each situation, there is a distinguished point in the plane, illustrated in black. The winding number of the curve around this distinguished point is equal to the total number of counterclockwise turns that the curve makes around this point.

$\cdots$
	−2	−1	0
				$\cdots$
	1	2	3

When counting the total number of turns, counterclockwise turns count as positive, while clockwise turns counts as negative. For example, if the curve first circles the origin four times counterclockwise, and then circles the origin once clockwise, then the total winding number of the curve is three. According to this scheme, a curve that does not travel around the distinguished point at all has winding number zero, while a curve that travels clockwise around the point has negative winding number. Therefore, the winding number of a curve may be any integer. The pictures above show curves with winding numbers between −2 and 3:

Quantized momenta

The simplest theories in which T-duality arises are two-dimensional sigma models with circular target spaces, i.e. compactified free bosons. These are simple quantum field theories that describe propagation of strings in an imaginary spacetime shaped like a circle. The strings can thus be modeled as curves in the plane that are confined to lie in a circle, say of radius $R$ , about the origin. In what follows, the strings are assumed to be closed (that is, without endpoints).

Denote this circle by $S_{R}^{1}$ . One can think of this circle as a copy of the real line with two points identified if they differ by a multiple of the circle's circumference $2\pi R$ . It follows that the state of a string at any given time can be represented as a function $\varphi (\theta )$ of a single real parameter $\theta$ . Such a function can be expanded in a Fourier series as

\varphi (\theta )=mR\theta +x+\sum _{n\neq 0}c_{n}e^{in\theta }

.

Here $m$ denotes the winding number of the string around the circle, and the constant mode $x=c_{0}$ of the Fourier series has been singled out. Since this expression represents the configuration of a string at a fixed time, all coefficients ( $x$ and the $c_{n}$ ) are also functions of time.

Let ${\dot {x}}$ denote the time derivative of the constant mode $x$ . This represents a type of momentum in the theory. One can show, using the fact that the strings considered here are closed, that this momentum can only take on discrete values of the form ${\dot {x}}=n/R$ for some integer $n$ . In more physical language, one says that the momentum spectrum is quantized.

An equivalence of theories

In the situation described above, the total energy, or Hamiltonian, of the string is given by the expression

H=(mR)^{2}+{\dot {x}}^{2}+\sum _{n}|{\dot {c}}_{n}|^{2}+n^{2}|c_{n}|^{2}

.

Since the momenta of the theory are quantized, the first two terms in this formula are $(mR)^{2}+(n/R)^{2}$ , and this expression is unchanged when one simultaneously replaces the radius $R$ by $1/R$ and exchanges the winding number $m$ and the integer $n$ . The summation in the expression for $H$ is similarly unaffected by these changes, so the total energy is unchanged. In fact, this equivalence of Hamiltonians descends to an equivalence of two quantum mechanical theories: One of these theories describes strings propagating on a circle of radius $R$ , while the other describes string propagating in a circle of radius $1/R$ with momentum and winding numbers interchanged. This equivalence of theories is the simplest manifestation of T-duality.

Superstrings

Up until the mid 1990s, physicists working on string theory believed there were five distinct versions of the theory: type I, type IIA, type IIB, and the two flavors of heterotic string theory (SO(32) and E₈×E₈). The different theories allow different types of strings, and the particles that arise at low energies exhibit different symmetries.

In the mid 1990s, physicists noticed that these five string theories are actually related by highly nontrivial dualities. One of these dualities is T-duality. For example, it was shown 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.

The existence of these dualities showed that the five string theories were in fact not all distinct theories. In 1995, at the string theory conference at University of Southern California, Edward Witten made the surprising suggestion that all five of these theories were just different limits of a single theory now known as M-theory.^[5] Witten's proposal was based on the observation that different superstring theories are linked by dualities and the fact that type IIA and E₈×E₈ heterotic string theories are closely related to a gravitational theory called eleven-dimensional supergravity. His announcement led to a flurry of work now known as the second superstring revolution.

Mirror symmetry

In string theory and algebraic geometry, the term "mirror symmetry" refers to a phenomenon involving complicated shapes called Calabi–Yau manifolds. These manifolds provide an interesting geometry on which strings can propagate, and the resulting theories may have applications in particle physics.^[6] In the late 1980s, it was noticed that such a Calabi–Yau manifold does not uniquely determine the physics of the theory. Instead, one finds that there are two Calabi–Yau manifolds that give rise to the same physics.^[7] These manifolds are said to be "mirror" to one another. This mirror duality is an important computational tool in string theory, and it has allowed mathematicians to solve difficult problems in enumerative geometry.^[8]

One approach to understanding mirror symmetry is the SYZ conjecture, which was suggested by Andrew Strominger, Shing-Tung Yau, and Eric Zaslow in 1996.^[9] According to the SYZ conjecture, mirror symmetry can be understood by dividing a complicated Calabi–Yau manifold into simpler pieces and considering the effects of T-duality on these pieces.^[10]

The simplest example of a Calabi–Yau manifold is a torus (a surface shaped like a donut). Such a surface can be viewed as the product of two circles. This means that the torus can be viewed as the union of a collection of longitudinal circles (such as the red circle in the image). There is an auxiliary space which says how these circles are organized, and this space is itself a circle (the pink circle). This space is said to parametrize the longitudinal circles on the torus. In this case, mirror symmetry is equivalent to T-duality acting on the longitudinal circles, changing their radii from $R$ to $\alpha '/R$ , with $\alpha '$ the inverse of the string tension.

The SYZ conjecture generalizes this idea to the more complicated case of six-dimensional Calabi–Yau manifolds like the one illustrated above. As in the case of a torus, one can divide a six-dimensional Calabi–Yau manifold into simpler pieces, which in this case are 3-tori (three-dimensional objects which generalize the notion of a torus) parametrized by a 3-sphere (a three-dimensional generalization of a sphere).^[11] T-duality can be extended from circles to the three-dimensional tori appearing in this decomposition, and the SYZ conjecture states that mirror symmetry is equivalent to the simultaneous application of T-duality to these three-dimensional tori.^[12] In this way, the SYZ conjecture provides a geometric picture of how mirror symmetry acts on a Calabi–Yau manifold.

Notes

^ Sathiapalan 1987.
^ Seiberg 2006.
^ Sathiapalan 1987. Other dualities that arise in string theory are S-duality, U-duality, mirror symmetry, and the AdS/CFT correspondence.
^ This analogy is used for example in Greene 2000, p. 186.
^ Witten 1995.
^ Candelas et al. 1985.
^ Dixon 1988; Lerche, Vafa, and Warner 1989.
^ Zaslow 2008.
^ Strominger, Yau, and Zaslow 1996.
^ Yau and Nadis 2010, p. 174.
^ More precisely, there is a 3-torus associated to every point on the three-sphere except at certain bad points, which correspond to singular tori. See Yau and Nadis 2010, pp. 176–7.
^ Yau and Nadis 2010, p. 178.

References

Sathiapalan, Bala (1987). "Duality in Statistical Mechanics and String Theory". Physical Review Letters. 58 (16): 1597–9. Bibcode:1987PhRvL..58.1597P. doi:10.1103/PhysRevLett.58.1597. PMID 10034485.
Candelas, Philip; Horowitz, Gary; Strominger, Andrew; Witten, Edward (1985). "Vacuum configurations for superstrings". Nuclear Physics B. 258: 46–74. Bibcode:1985NuPhB.258...46C. doi:10.1016/0550-3213(85)90602-9.
Dixon, Lance (1988). "Some world-sheet properties of superstring compactifications, on orbifolds and otherwise". ICTP Ser. Theoret. Phys. 4: 67–126.
Greene, Brian (2000). The Elegant Universe: Superstrings, Hidden Dimensions, and the Quest for the Ultimate Theory. Random House. ISBN 978-0-9650888-0-0.
Lerche, Wolfgang; Vafa, Cumrun; Warner, Nicholas (1989). "Chiral rings in $N=2$ superconformal theories". Nuclear Physics B. 324 (2): 427–474. Bibcode:1989NuPhB.324..427L. doi:10.1016/0550-3213(89)90474-4. S2CID 120175708.
Seiberg, Nathan (2006). "Emergent Spacetime". The Quantum Structure of Space and Time: 163–213. arXiv:hep-th/0601234. doi:10.1142/9789812706768_0005. ISBN 978-981-256-952-3. S2CID 3053018.
Strominger, Andrew; Yau, Shing-Tung; Zaslow, Eric (1996). "Mirror symmetry is T-duality". Nuclear Physics B. 479 (1): 243–259. arXiv:hep-th/9606040. Bibcode:1996NuPhB.479..243S. doi:10.1016/0550-3213(96)00434-8. S2CID 14586676.
Witten, Edward (March 13–18, 1995). "Some problems of strong and weak coupling". Proceedings of Strings '95: Future Perspectives in String Theory. World Scientific.
Witten, Edward (1995). "String theory dynamics in various dimensions". Nuclear Physics B. 443 (1): 85–126. arXiv:hep-th/9503124. Bibcode:1995NuPhB.443...85W. doi:10.1016/0550-3213(95)00158-O. S2CID 16790997.
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.
Zaslow, Eric (2008). "Mirror Symmetry". In Gowers, Timothy (ed.). The Princeton Companion to Mathematics. ISBN 978-0-691-11880-2.

[1] Sathiapalan 1987.

[2] Seiberg 2006.

[3] Sathiapalan 1987. Other dualities that arise in string theory are S-duality, U-duality, mirror symmetry, and the AdS/CFT correspondence.

[4] This analogy is used for example in Greene 2000, p. 186.

[5] Witten 1995.

[6] Candelas et al. 1985.

[7] Dixon 1988; Lerche, Vafa, and Warner 1989.

[8] Zaslow 2008.

[9] Strominger, Yau, and Zaslow 1996.

[10] Yau and Nadis 2010, p. 174.

[11] More precisely, there is a 3-torus associated to every point on the three-sphere except at certain bad points, which correspond to singular tori. See Yau and Nadis 2010, pp. 176–7.

[12] Yau and Nadis 2010, p. 178.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

v t e String theory
Background	Strings Cosmic strings History of string theory First superstring revolution Second superstring revolution String theory landscape
Theory	Nambu–Goto action Polyakov action Bosonic string theory Superstring theory Type I string Type II string Type IIA string Type IIB string Heterotic string N=2 superstring F-theory String field theory Matrix string theory Non-critical string theory Non-linear sigma model Tachyon condensation RNS formalism GS formalism
String duality	T-duality S-duality U-duality Montonen–Olive duality
Particles and fields	Graviton Dilaton Tachyon Ramond–Ramond field Kalb–Ramond field Magnetic monopole Dual graviton Dual photon
Branes	D-brane NS5-brane M2-brane M5-brane S-brane Black brane Black holes Black string Brane cosmology Quiver diagram Hanany–Witten transition
Conformal field theory	Virasoro algebra Mirror symmetry Conformal anomaly Conformal algebra Superconformal algebra Vertex operator algebra Loop algebra Kac–Moody algebra Wess–Zumino–Witten model
Gauge theory	Anomalies Instantons Chern–Simons form Bogomol'nyi–Prasad–Sommerfield bound Exceptional Lie groups (G₂, F₄, E₆, E₇, E₈) ADE classification Dirac string p-form electrodynamics
Geometry	Worldsheet Kaluza–Klein theory Compactification Why 10 dimensions? Kähler manifold Ricci-flat manifold Calabi–Yau manifold Hyperkähler manifold K3 surface G₂ manifold Spin(7)-manifold Generalized complex manifold Orbifold Conifold Orientifold Moduli space Hořava–Witten theory K-theory (physics) Twisted K-theory
Supersymmetry	Supergravity Eleven-dimensional supergravity Type I supergravity Type IIA supergravity Type IIB supergravity Superspace Lie superalgebra Lie supergroup
Holography	Holographic principle AdS/CFT correspondence
M-theory	Matrix theory Introduction to M-theory
String theorists	Aganagić Arkani-Hamed Atiyah Banks Berenstein Bousso Curtright Dijkgraaf Distler Douglas Duff Dvali Ferrara Fischler Friedan Gates Gliozzi Gopakumar Green Greene Gross Gubser Gukov Guth Hanson Harvey 't Hooft Hořava Gibbons Kachru Kaku Kallosh Kaluza Kapustin Klebanov Knizhnik Kontsevich Klein Linde Maldacena Mandelstam Marolf Martinec Minwalla Moore Motl Mukhi Myers Nanopoulos Năstase Nekrasov Neveu Nielsen van Nieuwenhuizen Novikov Olive Ooguri Ovrut Polchinski Polyakov Rajaraman Ramond Randall Randjbar-Daemi Roček Rohm Sagnotti Scherk Schwarz Seiberg Sen Shenker Siegel Silverstein Sơn Staudacher Steinhardt Strominger Sundrum Susskind Townsend Trivedi Turok Vafa Veneziano Verlinde Verlinde Wess Witten Yau Yoneya Zamolodchikov Zamolodchikov Zaslow Zumino Zwiebach