String theory |
---|
![]() |
Fundamental objects |
Perturbative theory |
Non-perturbative results |
Phenomenology |
Mathematics |
N = 4 supersymmetric Yang–Mills (SYM) theory is a relativistic conformally invariant Lagrangian gauge theory describing fermions interacting via gauge field exchanges. In D=4 spacetime dimensions, N=4 is the maximal number of supersymmetries or supersymmetry charges.[1]
It is a toy theory based on Yang–Mills theory that does not model the real world, but is useful because it can act as a proving ground for approaches for attacking problems in more complex theories.[2] It describes a universe containing boson fields and fermion fields which are related by four supersymmetries (this means that transforming bosonic and fermionic fields in a certain way leaves the theory invariant). It is one of the simplest (in the sense that it has no free parameters except for the gauge group) and one of the few ultraviolet finite quantum field theories in 4 dimensions. It can be thought of as the most symmetric field theory that does not involve gravity.
Like all supersymmetric field theories, it may equivalently be formulated as a superfield theory on an extended superspace in which the spacetime variables are augmented by a number of anticommuting Grassmann variables which, for the case N=4, consist of 4 Dirac spinors, making a total of 16 independent anticommuting generators for the extended ring of superfunctions. The field equations are equivalent to the geometric condition that the supercurvature 2-form vanish identically on all super null lines.[3][4] This is also known as the super-ambitwistor correspondence.
A similar super-ambitwistor characterization holds for D=10, N=1 dimensional super Yang–Mills theory,[5][6] and the lower dimensional cases D=6, N=2 and D=4, N=4 may be derived from this via dimensional reduction.
Meaning of N and numbers of fields
[edit]In N supersymmetric Yang–Mills theory, N denotes the number of independent supersymmetric operations that transform the spin-1 gauge field into spin-1/2 fermionic fields.[7] In an analogy with symmetries under rotations, N would be the number of independent rotations, N = 1 in a plane, N = 2 in 3D space, etc... That is, in a N = 4 SYM theory, the gauge boson can be "rotated" into N = 4 different supersymmetric fermion partners. In turns, each fermion can be rotated into four different bosons: one corresponds to the rotation back to the spin-1 gauge field, and the three others are spin-0 boson fields. Because in 3D space one may use different rotations to reach a same point (or here the same spin-0 boson), each spin-0 boson is superpartners of two different spin-1/2 fermions, not just one.[7] So in total, one has only 6 spin-0 bosons, not 16.
Therefore, N = 4 SYM has 1 + 4 + 6 = 11 fields, namely: one vector field (the spin-1 gauge boson), four spinor fields (the spin-1/2 fermions) and six scalar fields (the spin-0 bosons). N = 4 is the maximum number of independent supersymmetries: starting from a spin-1 field and using more supersymmetries, e.g., N = 5, only rotates between the 11 fields. To have N > 4 independent supersymmetries, one needs to start from a gauge field of spin higher than 1, e.g., a spin-2 tensor field such as that of the graviton. This is the N = 8 supergravity theory.
Lagrangian
[edit]The Lagrangian for the theory is[1][8]
where and are coupling constants (specifically is the gauge coupling and is the instanton angle), the field strength is with the gauge field and indices i,j = 1, ..., 6 as well as a, b = 1, ..., 4, and represents the structure constants of the particular gauge group. The are left Weyl fermions, are the Pauli matrices, is the gauge covariant derivative, are real scalars, and represents the structure constants of the R-symmetry group SU(4), which rotates the four supersymmetries. As a consequence of the nonrenormalization theorems, this supersymmetric field theory is in fact a superconformal field theory.
Ten-dimensional Lagrangian
[edit]The above Lagrangian can be found by beginning with the simpler ten-dimensional Lagrangian
where I and J are now run from 0 through 9 and are the 32 by 32 gamma matrices , followed by adding the term with which is a topological term.
The components of the gauge field for i = 4 to 9 become scalars upon eliminating the extra dimensions. This also gives an interpretation of the SO(6) R-symmetry as rotations in the extra compact dimensions.
By compactification on a T6, all the supercharges are preserved, giving N = 4 in the 4-dimensional theory.
A Type IIB string theory interpretation of the theory is the worldvolume theory of a stack of D3-branes.
S-duality
[edit]The coupling constants and naturally pair together into a single coupling constant
The theory has symmetries that shift by integers. The S-duality conjecture says there is also a symmetry which sends as well as switching the group to its Langlands dual group.
AdS/CFT correspondence
[edit]This theory is also important[1] in the context of the holographic principle. There is a duality between Type IIB string theory on AdS5 × S5 space (a product of 5-dimensional AdS space with a 5-dimensional sphere) and N = 4 super Yang–Mills on the 4-dimensional boundary of AdS5. However, this particular realization of the AdS/CFT correspondence is not a realistic model of gravity, since gravity in our universe is 4-dimensional. Despite this, the AdS/CFT correspondence is the most successful realization of the holographic principle, a speculative idea about quantum gravity originally proposed by Gerard 't Hooft, who was expanding on work on black hole thermodynamics, and was improved and promoted in the context of string theory by Leonard Susskind.
Integrability
[edit]There is evidence that N = 4 supersymmetric Yang–Mills theory has an integrable structure in the planar large N limit (see below for what "planar" means in the present context).[9] As the number of colors (also denoted N) goes to infinity, the amplitudes scale like , so that only the genus 0 (planar graph) contribution survives. Planar Feynman diagrams are graphs in which no propagator cross over another one, in contrast to non-planar Feynman graphs where one or more propagator goes over another one.[10] A non-planar graph has a smaller number of possible gauge loops compared to a similar planar graph. Non-planar graphs are thus suppressed by factors compared to planar ones which therefore dominate in the large N limit. Consequently, a planar Yang–Mills theory denotes a theory in the large N limit, with N usually the number of colors. Likewise, a planar limit is a limit in which scattering amplitudes are dominated by Feynman diagrams which can be given the structure of planar graphs.[11] In the large N limit, the coupling vanishes and a perturbative formalism is therefore well-suited for large N calculations. Therefore, planar graphs are associated to the domain where perturbative calculations converge well.
Beisert et al. [12] give a review article demonstrating how in this situation local operators can be expressed via certain states in spin chains (in particular the Heisenberg spin chain), but based on a larger Lie superalgebra rather than for ordinary spin. These spin chains are integrable in the sense that they can be solved by the Bethe ansatz method. They also construct an action of the associated Yangian on scattering amplitudes.
Nima Arkani-Hamed et al. have also researched this subject. Using twistor theory, they find a description (the amplituhedron formalism) in terms of the positive Grassmannian.[13]
Relation to 11-dimensional M-theory
[edit]N = 4 super Yang–Mills can be derived from a simpler 10-dimensional theory, and yet supergravity and M-theory exist in 11 dimensions. The connection is that if the gauge group U(N) of SYM becomes infinite as it becomes equivalent to an 11-dimensional theory known as matrix theory.[citation needed]
See also
[edit]- 4D N = 1 global supersymmetry
- 6D (2,0) superconformal field theory
- Extended supersymmetry
- N = 1 supersymmetric Yang–Mills theory
- N = 8 supergravity
- Seiberg–Witten theory
References
[edit]Citations
[edit]- ^ a b c d'Hoker, Eric; Freedman, Daniel Z. (2004). "Supersymmetric Gauge Theories and the Ads/CFT Correspondence". Strings, Branes and Extra Dimensions. pp. 3–159. arXiv:hep-th/0201253. doi:10.1142/9789812702821_0001. ISBN 978-981-238-788-2. S2CID 119501374.
- ^ Matt von Hippel (2013-05-21). "Earning a PhD by studying a theory that we know is wrong". Ars Technica.
- ^ Witten, E. (1978). "An interpretation of classical Yang-Mills theory". Phys. Lett. 77B (4–5): 394–398. Bibcode:1978PhLB...77..394W. doi:10.1016/0370-2693(78)90585-3.
- ^ Harnad, J.; Hurtubise, J.; Légaré, M.; Shnider, S. (1985). "Constraint equations and field equations in supersymmetric N = 3 Yang-Mills theory". Nuclear Physics. B256: 609–620. Bibcode:1985NuPhB.256..609H. doi:10.1016/0550-3213(85)90410-9.
- ^ Witten, E. (1986). "Twistor-like transform in ten dimensions". Nuclear Physics. B266 (2): 245–264. Bibcode:1986NuPhB.266..245W. doi:10.1016/0550-3213(86)90090-8.
- ^ Harnad, J.; Shnider, S. (1986). "Constraints and Field Equations for Ten Dimensional Super Yang-Mills Theory". Commun. Math. Phys. 106 (2): 183–199. Bibcode:1986CMaPh.106..183H. doi:10.1007/BF01454971. S2CID 122622189.
- ^ a b "N = 4: Maximal Particles for Maximal Fun", from 4 gravitons blog (2013)
- ^ Luke Wassink (2009). "N = 4 Super Yang–Mills theory" (PDF). Archived from the original (PDF) on 2014-05-31. Retrieved 2013-05-22.
- ^ Ammon, Martin; Erdmenger, Johanna (2015). "Integrability and scattering amplitudes". Gauge/Gravity Duality. pp. 240–272. doi:10.1017/CBO9780511846373.008. ISBN 9780511846373.
- ^ "Planar vs. Non-Planar: A Colorful Story", from 4 gravitons blog (2013)
- ^ planar limit in nLab
- ^ Beisert, Niklas (January 2012). "Review of AdS/CFT Integrability: An Overview". Letters in Mathematical Physics. 99 (1–3): 425. arXiv:1012.4000. Bibcode:2012LMaPh..99..425K. doi:10.1007/s11005-011-0516-7. S2CID 254796664.
- ^ Arkani-Hamed, Nima; Bourjaily, Jacob L.; Cachazo, Freddy; Goncharov, Alexander B.; Postnikov, Alexander; Trnka, Jaroslav (2012). "Scattering Amplitudes and the Positive Grassmannian". arXiv:1212.5605. doi:10.14288/1.0043020. S2CID 119599921.
{{cite journal}}
: Cite journal requires|journal=
(help)
Sources
[edit]- Kapustin, Anton; Witten, Edward (2007). "Electric-magnetic duality and the geometric Langlands program". Communications in Number Theory and Physics. 1 (1): 1–236. arXiv:hep-th/0604151. Bibcode:2007CNTP....1....1K. doi:10.4310/cntp.2007.v1.n1.a1. S2CID 30505126.