Voir la source de Théorie M

{{autre|une introduction plus accessible et moins technique|Introduction à la théorie M}}

La '''théorie M''' est une [[théorie#Sciences|théorie physique]] devant unifier les différentes versions de la [[théorie des supercordes]]. L'existence de cette théorie fut conjecturée par [[Edward Witten]] en 1995, lors d'un colloque sur la [[théorie des cordes]] à l'[[université du Sud de la Californie]]. Cette annonce engendra un tourbillon de nouvelles recherches, qu'on a appelé la {{citation|[[Histoire de la théorie des cordes#1995-2000 : La seconde révolution des cordes|seconde révolution des supercordes]]}}. Selon Witten le ''M'' de ''théorie M'' peut signifier ''magie'', ''mystère'' ou ''membrane'' au choix, et le véritable sens ne s'imposera que quand la théorie sera formulée définitivement<ref name=Duff1996sec1>Duff (1996), section 1.</ref>.

Auparavant les théoriciens des cordes avaient identifié cinq versions de la théorie des supercordes. Ces théories paraissaient très différentes mais on a montré ensuite qu'elles étaient liées de façon complexe. En particulier, des théories apparemment distinctes peuvent être échangées par des transformations mathématiques appelées {{Lien|langue=en|trad=S-duality|fr=dualité S}} et [[dualité T]]. La conjecture de Witten se fonde en partie sur l'existence de ces dualités, mais aussi sur une relation entre la théorie des cordes et une théorie des [[champ (physique)|champs]] appelée [[supergravité maximale|supergravité à onze dimensions]]. L'[[espace-cible]] de la théorie M a donc une dimension spatiale de plus que la [[dimension critique]] des différentes théories de supercordes.

La théorie M est loin d'être terminée et complète, mais on sait qu'elle devra décrire des objets à deux et cinq dimensions appelés [[brane]]s, et se confondre à faible [[énergie (physique)|énergie]] avec la [[supergravité maximale|supergravité à onze dimensions]]. Les tentatives récentes de formulation de la théorie M se fondent en général sur le {{Lien|langue=en|trad=matrix theory (physics)|fr=modèle matriciel BFSS}} ou sur la [[correspondance AdS/CFT]].

Les recherches sur la structure mathématique de la théorie M ont déjà engendré des résultats théoriques importants en physique et en mathématiques. De façon plus spéculative, la théorie M peut fournir le cadre d'une [[théorie du tout|théorie unifiée]] de l'ensemble des [[interaction élémentaire|forces fondamentales]] de la nature. La plupart des efforts visant à relier la théorie M aux données expérimentales se concentrent sur la {{Lien|langue=en|trad=compactification (physics)|fr=compactification (physique)|texte=compactification}} des [[dimensions supplémentaires]], afin de construire des modèles de notre monde à quatre dimensions.

== Contexte théorique ==
=== La gravité quantique et les cordes ===
{{article détaillé|Gravité quantique|Théorie des cordes}}

Un des problèmes les plus fondamentaux de la physique moderne est celui de la [[gravité quantique]]. Notre compréhension actuelle de la [[gravitation]] repose sur la [[relativité générale]] d'[[Albert Einstein|Einstein]], qui est formulée dans le cadre de la [[physique classique]]. Au contraire les trois autres [[interaction élémentaire|interactions fondamentales]] sont décrites dans le cadre de la [[mécanique quantique]], une description des phénomènes physiques de nature [[probabilité|probabiliste]]{{note|group=alpha|Pour une introduction standard de la mécanique quantique, voir Griffiths (2004).}}. Formuler une théorie quantique de la gravitation est indispensable afin de présenter les quatre interactions (et donc toute la physique) dans un cadre unique{{note|group=alpha|La nécessité d'une description quantique de la gravitation découle du fait qu'on ne peut pas combiner des interactions classiques et quantiques de façon cohérente. Voir Wald (1984), p. 382.}}, mais de graves contradictions apparaissent quand on tente d'appliquer à la gravitation les prescriptions usuelles de la théorie quantique{{note|group=alpha|D'un point de vue technique, le problème est que la théorie qu'on construit ainsi n'est pas [[renormalisation|renormalisable]] et donc ne permet aucune prédiction physiquement acceptable. Voir Zee (2010), p. 72.}}.

[[Fichier:Open and closed strings.svg|vignette|alt=Corde ouverte (segment) et corde fermée (boucle)|Les objets de base de la théorie des cordes sont des [[corde (physique)|cordes]] ouvertes (segments) ou fermées (boucles).]]

{{citation|La}} [[théorie des cordes]] (il y en a plusieurs versions) est un [[théorie#Mathématiques|cadre théorique]] qui tente de réconcilier la gravité et la mécanique quantique. Dans ce cadre les [[particule ponctuelle|particules ponctuelles]] de la [[physique des particules]] sont remplacées par des objets unidimensionnels{{note|group=alpha|Un objet unidimensionnel possède une longueur mais pas de largeur ni d'épaisseur.}} appelés [[corde (physique)|cordes]]. La théorie des cordes décrit comment ces cordes se propagent à travers l'espace et interagissent les unes avec les autres. Dans une version donnée de la théorie des cordes il y a un seul type de corde, qui peut ressembler à une petite boucle ou à un segment, et elle peut vibrer de différentes manières. Sur des échelles de distance supérieures à la taille de la corde, une corde sera perçue et se comportera très exactement comme une particule ordinaire, avec sa [[masse]], sa [[charge (physique)|charge]] et toutes ses autres propriétés, qui sont déterminées par l'état de vibration de la corde. Ainsi les différentes particules élémentaires sont-elles finalement des cordes en train de vibrer. L'un des états vibratoires d'une corde correspond au [[graviton]], la particule de la mécanique quantique qui porte la force gravitationnelle{{note|group=alpha|Pour une introduction accessible à la théorie des cordes, voir Greene (2000).}}.

Il existe cinq versions de la théorie des cordes : les types [[théorie des cordes de type I|I]], [[théorie des cordes de type II|IIA, IIB]], SO(32) et {{fchim|''E''|8| × ''E''|8}} (ces dernières sont les deux variantes de la [[théorie des cordes hétérotique]]). Ces différentes versions mettent en jeu différents types de cordes, et les particules de basse énergie qu'elles prédisent ne présentent pas les mêmes [[symétrie (physique)|symétries]]. Par exemple la théorie de type I implique à la fois des cordes ouvertes (des segments munis de deux extrémités) et des cordes fermées (des boucles), tandis que les types IIA et IIB ne comprennent que des cordes fermées<ref>Zwiebach (2009), p. 324.</ref>. Chacune des cinq théories des cordes s'avère être un cas-limite particulier de la théorie M. Comme ses cinq prédécesseurs c'est une théorie quantique de la gravitation, c.-à-d. qu'il y apparaît une [[force (physique)|force]] ressemblant en tous points à la force gravitationnelle et qui obéit aux règles de la mécanique quantique<ref name=Becker2007p12>Becker, Becker et Schwarz (2007), p. 12.</ref>.

=== Le nombre des dimensions ===
Notre vie quotidienne se passe dans un espace à trois dimensions (longueur, largeur, hauteur). La [[théorie de la relativité]] d'[[Albert Einstein|Einstein]] traite le temps comme une quatrième dimension à l'égal des trois dimensions spatiales. Comme un changement de [[référentiel (physique)|référentiel]] n'implique pas l'espace et le temps indépendamment, on est amené à les regrouper en une seule entité, l'[[espace-temps]] à quatre dimensions. En [[relativité générale]] la [[gravitation]] devient une simple conséquence de la géométrie de cet espace-temps<ref>Wald (1984), p. 4.</ref>.

[[Fichier:Compactification example.svg|gauche|vignette|alt=Une surface tubulaire et la courbe unidimensionnelle qui lui correspond|Exemple de compactification : à grande distance, une surface à deux dimensions de section circulaire ressemble à une courbe unidimensionnelle (sans épaisseur).]]

Bien que l'univers soit correctement décrit par l'espace-temps à quatre dimensions, les physiciens sont amenés à considérer des théories impliquant plus ou moins de dimensions, pour diverses raisons. Dans certains cas, modéliser l'espace-temps avec un nombre différent de dimensions permet à une théorie mathématique d'être plus abordable, c.-à-d. de conduire à des calculs plus commodes et donc d'en évaluer les conséquences plus facilement{{note|group=alpha|1=Dans le contexte de la [[correspondance AdS/CFT]], par exemple, les théoriciens formulent et étudient fréquemment des théories de la gravité impliquant un nombre irréaliste de dimensions de l'espace-temps.}}. Les théories à deux ou trois dimensions peuvent aussi se révéler utiles pour décrire les phénomènes de la [[physique de la matière condensée]]<ref>Zee (2010), parties V et VI.</ref>. Enfin, il existe des scénarios dans lesquels l'espace-temps comporterait effectivement plus de quatre dimensions mais les dimensions supplémentaires échapperaient à notre détection<ref>Zwiebach (2009), p. 9.</ref>.

Un aspect capital de la théorie des cordes et de la théorie M est qu'elles exigent des [[dimensions supplémentaires]] pour des raisons de cohérence mathématique. Dans la théorie des cordes l'espace-temps est à dix dimensions, et à onze dans la théorie M. Pour que ces théories puissent décrire les phénomènes physiques réels, il faut donc imaginer des scénarios dans lesquels les dimensions supplémentaires ne peuvent pas être observées dans la pratique quotidienne<ref>Zwiebach (2009), p. 8.</ref>.

La [[Réduction dimensionnelle|compactification]] est l'une des façons de modifier le nombre apparent des dimensions d'une théorie physique{{note|group=alpha|1=La [[réduction dimensionnelle]] est une autre façon de modifier le nombre de dimensions.}}. Certaines des dimensions supplémentaires sont supposées se refermer sur elles-mêmes pour former des cercles<ref>Yau et Nadis (2010), chapitre 6.</ref>. Si ces dimensions ainsi recroquevillées sont suffisamment petites, on obtient une théorie dans laquelle l'espace-temps a dans la pratique un nombre inférieur de dimensions. Pour le comprendre, on cite souvent l'exemple d'un tuyau d'arrosage : si on le regarde de suffisamment loin on dirait une courbe unidimensionnelle (avec une certaine longueur, mais sans épaisseur), mais si l'on s'en rapproche on découvre qu'il a une seconde dimension. Une fourmi rampant sur la surface du tuyau peut se déplacer dans les deux dimensions, sur de grandes distances le long du tuyau mais sur une très courte distance le long de sa circonférence{{note|group=alpha|1=Cette analogie est employée par exemple dans Greene (2000), p. 186.}}.

=== Les dualités ===
[[Fichier: Dualités de la théorie des cordes.svg|vignette|alt=Diagramme indiquant les relations entre la théorie M et les cinq théories des cordes|250px|Dualités reliant les différentes théories des cordes et la théorie M : [[dualité S]] (flèches jaunes) et [[dualité T]] (flèches bleues). Ces dualités peuvent être combinées pour obtenir des équivalences entre les cinq théories et la théorie M<ref>Becker, Becker et Schwarz (2007), p. 339-347.</ref>.]]

{{article détaillé|Dualité de cordes|Dualité S|Dualité T}}

En général on utilise le terme ''[[dualité (mathématiques)|dualité]]'' quand deux [[système physique|systèmes physiques]] ou mathématiques apparemment très différents sont en fait équivalents parce que l'on peut passer de l'un à l'autre (et réciproquement) par une certaine [[Transformation#Sciences|transformation]]. Autrement dit, les théories ''duales'' sont deux approches différentes de la même réalité, deux descriptions mathématiquement différentes mais équivalentes des mêmes phénomènes physiques<ref>Zwiebach (2009), p. 376.</ref>.

Les cinq théories des cordes qui constituent des cas-limites différents de la théorie M s'avèrent liées, mais d'une façon non triviale. L'une des relations, la [[dualité S]], établit qu'un ensemble de particules en forte interaction mutuelle dans une théorie peut correspondre étroitement à un ensemble de particules faiblement interactives dans une autre théorie (''grosso modo'', des particules interagissent fortement si elles réagissent ou se décomposent fréquemment, et faiblement si elles le font rarement). La [[théorie des cordes de type I|théorie de type I]] se révèle ainsi équivalente par dualité S à la [[théorie des cordes hétérotique|théorie hétérotique]] SO(32), et la [[théorie des cordes de type II|théorie de type IIB]] à elle-même<ref name=Becker2007>Becker, Becker et Schwarz (2007).</ref>.

La [[dualité T]] concerne les cordes qui se déplacent le long d'une des dimensions supplémentaires enroulées. Elle stipule qu'une corde qui se propage le long d'un cercle de rayon ''R'' dans une théorie est équivalente à une corde qui se propage le long d'un cercle de rayon 1/''R'' dans une autre. L'équivalence établit un lien direct entre les caractéristiques observables d'une corde dans la première théorie et celles de la corde correspondante dans la seconde. Par exemple, une corde qui se déplace possède une certaine [[quantité de mouvement]], et elle peut aussi s'enrouler autour du cercle une ou plusieurs fois : le nombre de [[tour (angle)|tours]] est appelé [[indice (analyse complexe)|indice]]. Si une corde a la quantité de mouvement ([[adimensionnement|dédimensionnalisée]]) ''p'' et l'indice ''n'' dans une théorie, elle aura la quantité de mouvement ''n'' et l'indice ''p'' dans la théorie duale. Les [[théorie des cordes de type II|théories de type IIA et IIB]] se révèlent ainsi équivalentes par dualité T, de même que les deux variantes SO(32) et {{fchim|''E''|8| × ''E''|8}} de la [[théorie des cordes hétérotique]]<ref name=Becker2007/>.

=== La supersymétrie ===
{{article détaillé|Supersymétrie}}

Un autre concept important pour la théorie M est la [[supersymétrie]]. Il s'agit d'une relation mathématique entre [[bosons]] et [[fermions]], les deux classes de [[particule élémentaire|particules élémentaires]] (''grosso modo'', les fermions sont les constituants de la matière tandis que les bosons sont les médiateurs des interactions entre particules). Dans les théories de supersymétrie chaque boson a un (super)symétrique ou [[superpartenaire]] qui est un fermion, et vice-versa. Lorsqu'on impose la supersymétrie on obtient automatiquement une théorie quantique qui inclut la gravité, qu'on appelle théorie de [[supergravité]]<ref name=Duff1998p64>Duff (1998), p. 64.</ref>.

Une théorie des cordes qui intègre le concept de supersymétrie est appelée [[théorie des supercordes]]. Il en existe plusieurs versions, qui sont toutes absorbées dans le cadre de la théorie M. À suffisamment basse [[énergie]] les théories des supercordes se confondent avec la supergravité à dix dimensions d'espace-temps, et la théorie M avec la supergravité à onze dimensions<ref name=Becker2007p12/>.

=== Les branes ===
{{article détaillé|Brane}}

Dans la théorie des cordes et les théories apparentées comme les théories de supergravité, une [[brane]] est un objet physique qui généralise la notion de particule ponctuelle (dimension zéro) à un nombre supérieur de dimensions spatiales : une particule ponctuelle est une 0-brane, une corde (unidimensionnelle) est une 1-brane, une membrane (bidimensionnelle) est une 2-brane, etc. : on peut considérer des objets à ''p'' dimensions, les ''p''-branes. Compte tenu de la dimension temps, une ''p''-brane balaye une portion d'espace-temps de dimension {{nobr|(''p'' + 1)}}. Les branes sont des objets dynamiques, qui évoluent en suivant les règles de la mécanique quantique. Elles peuvent avoir différents attributs tels que masse, charge, etc. Chaque [[champ (physique)|champ]] que les physiciens étudient, comme le [[champ électromagnétique]], existe {{Citation|sur}} une brane d'une certaine dimension. Le mot ''brane'' a été forgé à partir du mot ''membrane''<ref>Moore (2005).</ref>.

Dans la théorie des cordes, les objets fondamentaux qui donnent naissance aux particules élémentaires sont les cordes unidimensionnelles, des 1-branes. Mais bien que les phénomènes décrits par la théorie M soient encore mal compris, les physiciens savent déjà que cette théorie fait aussi intervenir des 2-branes et des 5-branes. Une part importante de la recherche actuelle sur la théorie M vise à mieux comprendre les propriétés de ces branes{{note|group=alpha|Voir par exemple les sous-sections sur les théories des champs superconformes (2,0) 6D et ABJM.}}.

== Histoire et développement de la théorie M ==
=== La théorie de Kaluza-Klein ===
{{article détaillé|Théorie de Kaluza-Klein}}

Au début du {{s-|XX}} plusieurs physiciens et mathématiciens, dont [[Albert Einstein]] et [[Hermann Minkowski]], ont initié le recours à une géométrie à quatre dimensions pour décrire le monde physique<ref>Yau et Nadis (2010), p. 9.</ref>. Ces efforts ont abouti à la théorie de la [[relativité générale]] d'Einstein, qui relie la gravitation à la géométrie de l'espace-temps à quatre dimensions<ref name=Yau2010p10>Yau et Nadis (2010), p. 10.</ref>.

Le succès de la relativité générale a suscité l'idée d'exploiter une géométrie de dimension supérieure pour expliquer d'autres forces que la gravitation. [[Theodor Kaluza]] a ainsi montré en 1919 qu'en se plaçant dans un espace-temps à cinq dimensions on pouvait unifier la gravitation et l'[[électromagnétisme]]<ref name=Yau2010p10/>. Cette approche fut ensuite améliorée par le physicien [[Oskar Klein]], qui suggéra que la dimension supplémentaire proposée par Kaluza pourrait s'enrouler en un cercle d'un rayon de l'ordre de {{nobr|10{{exp|-30}} cm}}<ref>Yau et Nadis (2010), p. 12.</ref>.

Ni la [[théorie de Kaluza-Klein]], ni les efforts ultérieurs d'Einstein visant à développer une [[théorie des champs]] unifiée, ne furent complètement couronnés de succès. La théorie de Kaluza-Klein prédisait une particule dont on n'a jamais pu prouver l'existence, et elle était également incapable de prédire correctement le rapport entre la masse de l'électron et sa charge. Le problème tient aussi au fait que ces théories furent élaborées pendant que d'autres physiciens commençaient à découvrir la mécanique quantique, qui allait se révéler très efficace pour décrire, non seulement des forces connues comme la force électromagnétique, mais aussi les nouvelles forces nucléaires qu'on allait découvrir au milieu du siècle. Il faudra presque cinquante ans pour que l'hypothèse de dimensions supplémentaires soit à nouveau prise au sérieux<ref>Yau et Nadis (2010), p. 13.</ref>.

=== Les premiers travaux sur la supergravité ===
{{article détaillé|Supergravité}}

Les années 1960 et 1970 sont considérées comme [[histoire de la relativité générale|l'âge d'or de la relativité générale]], avec de nouvelles perspectives suscitées par le développement de nouveaux concepts et outils mathématiques<ref>Wald (1984), p. 3.</ref>. Vers le milieu des années 1970 les physiciens commencèrent à élaborer des théories à plus de quatre dimensions qui combinaient la relativité générale et la supersymétrie, les théories de supergravité<ref>van Nieuwenhuizen (1981).</ref>.

[[Fichier:Edward Witten at Harvard.jpg|gauche|vignette|alt=Portrait d'Edward Witten|Dans les années 1980, [[Edward Witten]] participa à l'élaboration des théories de [[supergravité]]. En 1995 il présenta la théorie M, suscitant ce qu'on a appelé la [[Histoire de la théorie des cordes#1995-2000 : La seconde révolution des cordes|seconde révolution des cordes]]]]

La relativité générale ne place pas de limite au nombre des dimensions possibles de l'espace-temps. Bien que la théorie soit généralement formulée à quatre dimensions, on peut écrire les mêmes équations du champ gravitationnel avec n'importe quel nombre de dimensions. La supergravité est plus restrictive car elle impose une limite supérieure<ref name=Duff1998p64/> : {{Lien|langue=en|fr=Werner Nahm}} a montré en 1978 que pour formuler une théorie supersymétrique cohérente le nombre des dimensions de l'espace-temps ne pouvait pas dépasser onze<ref>Nahm (1978).</ref>. La même année [[Eugène Cremmer]], [[Bernard Julia]] et [[Joël Scherk]], de l'[[École normale supérieure (Paris)|École normale supérieure]], montraient que non seulement la supergravité autorise jusqu'à onze dimensions, mais qu'en fait elle est particulièrement élégante avec ce nombre maximal de dimensions<ref>Cremmer, Julia et Scherk (1978).</ref>{{,}}<ref name=Duff1998p65>Duff (1998), p. 65.</ref>.

De nombreux physiciens espéraient qu'en compactifiant la supergravité à onze dimensions on pourrait construire des modèles réalistes de notre monde à quatre dimensions, l'espoir étant de fournir une description unifiée des quatre forces fondamentales de la nature (l'[[électromagnétisme]], l'[[interaction forte]], l'[[interaction faible]] et la [[gravitation]]). Mais l'intérêt pour la supergravité à onze dimensions déclina rapidement après qu'on eut découvert diverses failles dans cette construction. L'un des problèmes notables était que les lois de la physique font la distinction entre deux images dans un miroir (un phénomène connu sous le nom de [[chiralité (physique)|chiralité]]), alors qu'[[Edward Witten]] et d'autres ont montré que cette propriété de chiralité ne peut pas être obtenue en compactifiant de onze à quatre dimensions<ref name=Duff1998p65/>.

Lors de la [[Histoire de la théorie des cordes#1984-1989 : La première révolution des cordes|première révolution des cordes]] en 1984, de nombreux physiciens se sont tournés vers la théorie des cordes en tant que théorie unifiée de la physique des particules et de la gravité quantique. Contrairement à la théorie de supergravité, la théorie des cordes pouvait s'accommoder de la chiralité du modèle standard, et elle donnait une théorie de la gravitation compatible avec les effets quantiques<ref name=Duff1998p65/>. Une autre caractéristique alléchante pour de nombreux physiciens des années 1980 et 1990 était l'autosuffisance de la théorie des cordes : alors que l'approche traditionnelle de la physique des particules peut accepter n'importe quel ensemble de particules élémentaires caractérisé par un [[lagrangien]] arbitraire, la latitude offerte par la théorie des cordes est beaucoup plus limitée. Dans les années 1990 on a pu démontrer qu'il n'y avait que cinq versions supersymétriques cohérentes de la théorie des cordes<ref name=Duff1998p65/>.

=== Les relations entre les cinq théories des cordes ===
Bien qu'il n'y eût qu'une poignée de théories cohérentes des supercordes, on pouvait se demander pourquoi il n'y en avait pas qu'une<ref name=Duff1998p65/>. Mais quand les physiciens ont commencé à examiner ces théories de plus près, ils se sont rendu compte qu'elles n'étaient pas indépendantes mais liées d'une manière complexe<ref>Duff (1998).</ref>.

À la fin des années 1970, Claus Montonen et [[David Olive]] énoncèrent une propriété singulière de certaines théories physiques<ref>Montonen et Olive (1977).</ref>, et notamment de la {{Lien|langue=en|trad=N = 4 supersymmetric Yang–Mills theory|fr=théorie de Yang-Mills supersymétrique N = 4|texte=théorie de Yang-Mills supersymétrique <math>\color{Red}\mathcal{N} = 4</math>}} (ou théorie SYM). Dans cette théorie, qui décrit des particules assimilables aux [[quark]]s et aux [[gluon]]s (les composants élémentaires du [[noyau atomique]]), l'intensité des interactions entre particules est caractérisée par un nombre appelé [[constante de couplage]]. Montonen et Olive montrent que la théorie SYM avec la constante de couplage ''g'' est strictement équivalente à la théorie SYM avec la constante de couplage 1/''g''. En d'autres termes, un ensemble de particules interagissant fortement (grande constante de couplage) a une description équivalente à celle d'un ensemble interagissant faiblement (petite constante de couplage), et vice versa<ref name=Duff1998p66>Duff (1998), p. 66.</ref>. Cette relation est aujourd'hui connue sous le nom de {{Lien|langue=en|trad=Montonen–Olive duality|fr=dualité de Montonen-Olive}}.

Dans les années 1990 la dualité de Montonen-Olive fut généralisée, donnant naissance à la dualité S qui relie plusieurs théories des cordes. [[Ashoke Sen]], notamment, étudia cette dualité dans le contexte des [[théorie des cordes hétérotique|cordes hétérotiques]] à quatre dimensions<ref>Sen (1994a).</ref>{{,}}<ref>Sen (1994b).</ref>. [[Chris Hull]] et {{Lien|langue=en|fr=Paul Townsend}} montrèrent de même que la théorie des cordes de type IIB avec une grande constante de couplage était équivalente, par dualité S, à la même théorie avec une petite constante<ref>Hull et Townsend (1995).</ref>. On montra aussi que plusieurs théories des cordes étaient reliées d'une autre manière, par dualité T. Cette relation rend équivalentes des cordes se propageant dans des géométries d'espace-temps complètement différentes<ref name=Duff1998p67>Duff (1998), p. 67.</ref>.

=== Les membranes et les 5-branes ===
La théorie des cordes prolonge la physique des particules ordinaire en élevant les particules ponctuelles (de dimension zéro) au statut d'objets unidimensionnels (les cordes). À la fin des années 1980 il apparut naturel de tenter d'autres extensions, où les particules seraient remplacées par des {{Lien|langue=en|fr=supermembranes}} à deux dimensions ou même par des objets à un nombre quelconque de dimensions, appelés branes. Ce genre d'objets avait été étudié dès 1962 par [[Paul Dirac]]<ref>Dirac (1962).</ref>, puis réexaminé dans les années 1980 par un groupe de physiciens restreint mais enthousiaste<ref name=Duff1998p65/>.

La supersymétrie restreint sévèrement le nombre possible des dimensions d'une brane. En 1987 Eric Bergshoeff, Ergin Sezgin et Paul Townsend ont montré que la supergravité à onze dimensions implique des branes à deux dimensions, ou 2-branes<ref>Bergshoeff, Sezgin et Townsend (1987).</ref>. Intuitivement, ces objets ressemblent à des feuilles ou des membranes se propageant à travers les onze dimensions de l'espace-temps. Peu de temps après cette découverte [[Michael Duff (physicien)|Michael Duff]], Paul Howe, Takeo Inami et Kellogg Stelle étudièrent une compactification particulière de la supergravité à onze dimensions, dans laquelle l'une des dimensions est recroquevillée en un cercle<ref>Duff et al. (1987).</ref>. Dans ce cadre on peut imaginer que la membrane est enroulée autour de la dimension circulaire : si le rayon du cercle est suffisamment petit, la membrane est comparable à une corde dans un espace-temps à dix dimensions. Plus précisément, cette construction reproduit exactement les cordes de la théorie des supercordes de type IIA<ref name=Duff1998p66/>.

En 1990 [[Andrew Strominger]] publia un résultat similaire suggérant que les cordes en forte interaction dans un espace-temps à dix dimensions pouvaient avoir une description équivalente en termes de branes à cinq dimensions (ou 5-branes) en faible interaction<ref>Strominger (1990).</ref>. À l'époque on était incapable de le prouver, pour deux raisons. D'une part la dualité de Montonen-Olive n'était pas encore démontrée, ce qui rendait la conjecture de Strominger d'autant plus fragile. D'autre part les propriétés quantiques des 5-branes posaient de nombreuses difficultés d'ordre technique<ref>Duff (1998), p. 66-67.</ref>. Le premier problème fut résolu en 1993 quand [[Ashoke Sen]] établit que certaines théories physiques requièrent l'existence d'objets portant à la fois une [[charge électrique]] et une [[monopôle magnétique|charge magnétique]], ce que Montonen et Olive avaient justement prédit<ref>Sen (1993).</ref>.

En dépit de ces progrès la relation entre cordes et 5-branes restait hypothétique car les théoriciens restaient incapables de [[quantification (physique)|quantifier]] les branes. À partir de 1991 une équipe de chercheurs dont Michael Duff, Ramzi Khoury, Jianxin Lu et Ruben Minassian, étudia une compactification particulière dans laquelle ce sont quatre des dix dimensions qui se recroquevillent. Alors une brane à cinq dimensions enroulée autour de chacune de ces quatre dimensions compactes se comporte comme une corde (unidimensionnelle). De cette façon la relation supposée entre cordes et 5-branes se ramenait à une relation entre cordes et cordes, problème qu'on savait aborder à l'aide des techniques de calcul déjà établies<ref name=Duff1998p67/>.

=== La seconde révolution des supercordes ===
[[Fichier:Limites de la théorie M.svg|droite|vignette|upright=1.5|alt=Diagramme en étoile montrant les six cas-limites de la théorie M|Illustration schématique de la relation entre la théorie M, les cinq [[théorie des supercordes|théories des supercordes]], et la [[supergravité]] à onze dimensions. La région grisée représente les scénarios physiques possibles dans la théorie M. Dans les cas-limites correspondant aux points de rebroussement, il est naturel de décrire la physique avec l'une des six théories indiquées.]]
{{article détaillé|Seconde révolution des cordes}}

Lors de la conférence sur la théorie des cordes à l'[[université du Sud de la Californie]] en 1995, [[Edward Witten]] de l{{'}}''[[Institute for Advanced Study]]'' fit la suggestion surprenante que les cinq théories des supercordes étaient tout simplement des cas-limites d'une seule et même théorie dans un espace-temps à onze dimensions. L'annonce de Witten rassemblait en un cadre unique les résultats antérieurs sur les dualités S et T ainsi que l'émergence des 2- et 5-branes<ref>Witten (1995).</ref>. Dans les mois qui suivirent des centaines d'articles apparurent sur Internet, confirmant que la nouvelle théorie impliquait les membranes de façon cruciale<ref>Duff (1998), p. 67-68.</ref>. Cette soudaine rafale de travaux de recherche est aujourd'hui connue sous le nom de [[seconde révolution des cordes|seconde révolution des (super)cordes]]<ref>Becker, Becker et Schwarz (2007), p. 296.</ref>.

Parmi ces développements on peut noter le travail de {{Lien|langue=en|trad=Petr Hořava (theorist)|fr=Petr Hořava|texte=Hořava}} et Witten en 1996<ref name=Horava1996a>Hořava et Witten (1996a).</ref>{{,}}<ref>Hořava et Witten (1996b).</ref> : étudiant la théorie M dans un espace-temps particulier muni de deux frontières de dimension 10, ils clarifiaient la structure mathématique de la théorie M et suggéraient des pistes pour raccorder la théorie M à la physique du monde réel<ref>Duff (1998), p. 68.</ref>.

=== Le ''M'' de ''Théorie M'' ===
Au départ on a pu penser que la nouvelle théorie était fondamentalement une théorie des membranes, mais Witten lui-même n'était pas convaincu de leur importance. Hořava et Witten écrivent en 1996 :
{{citation bloc|La théorie à onze dimensions a été considérée comme une théorie des supermembranes, mais il y a des raisons de douter de cette interprétation. Plus prudemment nous l'appellerons ''théorie M'', l'avenir nous dira quel est le lien réel entre ce ''M'' et les membranes<ref name=Horava1996a/>.}}
En attendant de comprendre la véritable signification et la structure de la théorie M, Witten a suggéré que ''M'' signifie provisoirement ''magique'', ''mystérieuse'' ou ''des membranes'', au choix, et qu'on décidera du sens exact du nom quand une formulation plus fondamentale de la théorie sera établie<ref name=Duff1996sec1/>. Une autre interprétation pourrait être ''mère'' ou ''matrice'' puisque cette théorie prétend unifier les différentes formulations mathématiques d'une même théorie. Certains y voient le ''W'' de Witten à l'envers. Quelques cyniques disent même que ''Théorie M'' correspond davantage à ''Théorie manquante'', ou ''mystique'', voire ''murky'' (trouble, boueuse).

== Théorie des matrices ==
=== Le modèle matriciel BFSS ===
{{article détaillé|contenu=Article détaillé : {{Lien|langue=en|trad=Matrix theory (physics)|fr=Théorie des matrices (physique)}}}}

Une [[matrice (mathématiques)|matrice]] est un tableau rectangulaire rassemblant des nombres ou d'autres données. En [[physique théorique]] un {{Lien|langue=en|trad=matrix theory (physics)|fr=théorie des matrices (physique)|texte=modèle matriciel}} est une théorie physique dont la formulation mathématique implique la notion de matrice de façon cruciale. Un modèle matriciel décrit typiquement comment un ensemble de matrices évolue dans le temps en suivant les règles de la mécanique quantique<ref name=Banks1997>Banks et al. (1997).</ref>{{,}}<ref name=Connes1998>Connes, Douglas et Schwarz (1998).</ref>.

Un exemple important de modèle matriciel est le modèle BFSS proposé par [[Tom Banks (physicien)|Tom Banks]], {{Lien|langue=en|fr=Willy Fischler}}, {{Lien|langue=en|fr=Stephen Shenker}} et [[Leonard Susskind]] en 1997, qui décrit le comportement d'un ensemble de neuf grandes matrices. À suffisamment basse énergie le modèle devient équivalent à la supergravité à onze dimensions, ce qui conduit ses auteurs à présumer qu'il est exactement équivalent à la théorie M. Le modèle BFSS peut alors servir de prototype pour formuler la théorie M, et d'outil pour en étudier les propriétés dans un cadre relativement simple<ref name=Banks1997/>.

=== La géométrie non commutative ===
{{article détaillé|contenu=Articles détaillés : [[Géométrie non commutative]] et {{Lien|langue=en|trad=Noncommutative quantum field theory|fr=Théorie quantique des champs non commutative}}}}

En géométrie il est souvent utile d'introduire des [[système de coordonnées|coordonnées]]. Dans le [[plan euclidien]], par exemple, on définit les coordonnées ''x'' et ''y'' d'un point comme étant ses distances à une paire d'[[axe (mathématiques)|axes]]. En géométrie ordinaire les coordonnées sont des nombres, ces nombres peuvent être multipliés, et leur produit (le résultat de la multiplication) ne dépend pas de l'ordre dans lequel est effectuée la multiplication : ''{{nobr|x y {{=}}}}'' ''{{nobr|y x}}''. On dit que la multiplication est [[loi commutative|commutative]], et la relation entre la géométrie et l'[[algèbre commutative]] est le point de départ d'une grande partie de la géométrie moderne<ref>Connes (1994), p. 1.</ref>.

La [[géométrie non commutative]] est une branche des mathématiques qui tente de généraliser cette situation. Plutôt que de travailler avec des nombres ordinaires on considère d'autres objets, par exemple les matrices, dont la multiplication n'est pas commutative (les produits ''{{nobr|x y}}'' et ''{{nobr|y x}}'' ne sont pas nécessairement égaux). Ces objets non commutatifs servent de coordonnées à une notion généralisée de l'espace, et l'on démontre des théorèmes concernant ces espaces généralisés en exploitant l'analogie avec la géométrie ordinaire<ref>Connes (1994).</ref>.

[[Alain Connes]], {{Lien|langue=en|trad=Michael R. Douglas|fr=Michael Douglas (physicien)|texte=Michael Douglas}} et {{Lien|langue=en|fr=Albert Schwarz}} ont montré en 1998 que certains aspects des modèles matriciels et de la théorie M sont décrits par une théorie quantique des champs non commutative, dans laquelle les [[Coordonnées d'espace-temps|coordonnées spatio-temporelles]] ne sont pas commutatives<ref name=Connes1998/>. Ces résultats établissaient un lien entre les modèles matriciels et la théorie M d'une part, et la géométrie non commutative d'autre part. Ils ont rapidement conduit à découvrir d'autres liens importants entre la géométrie non commutative et diverses théories physiques<ref>Nekrasov et Schwarz (1998).</ref>{{,}}<ref>Seiberg et Witten (1999).</ref>.

== Correspondance AdS/CFT ==
=== Présentation ===
{{Article détaillé|Correspondance AdS/CFT}}

L'application de la mécanique quantique à des objets physiques tels que le champ électromagnétique, qui s'étendent à travers l'espace et le temps, est connue sous le nom de [[théorie quantique des champs]]{{note|group=alpha|Pour un texte classique sur ce sujet, voir Peskin et Schroeder (1995).}}. En [[physique des particules]] les différentes variantes de la théorie quantique des champs forment la base de notre compréhension des [[particule élémentaire|particules élémentaires]], que l'on [[modèle mathématique|modélise]] comme une forme d'excitation des champs fondamentaux. La théorie quantique des champs est aussi beaucoup utilisée en [[physique de la matière condensée]] pour modéliser des objets qui se comportent comme des particules, les [[quasi-particule|quasiparticules]]{{note|group=alpha|Pour une introduction aux applications de la théorie quantique des champs à la matière condensée, voir Zee (2010).}}.

[[Fichier:Uniform tiling 433-t0 (formatted).svg|vignette|gauche|alt=Disque pavé par des triangles et des quadrilatères qui deviennent de plus en plus petits au fur et à mesure qu'on s'approche de son pourtour circulaire|[[Pavage]] du [[géométrie hyperbolique|plan hyperbolique]] par des triangles et des carrés.]]

L'une des façons de formuler la théorie M et d'en étudier les propriétés découle de la [[correspondance AdS/CFT|correspondance]] introduite par [[Juan Maldacena]] fin 1997, entre l'[[espace anti de Sitter]] et la [[théorie conforme des champs]]. Ce résultat théorique implique que la théorie M est équivalente dans certains cas à une théorie quantique des champs<ref name=Maldacena1998/>. En plus d'éclairer la structure mathématique de la théorie des cordes et de la théorie M, la correspondance AdS/CFT aide à comprendre de nombreux aspects de la théorie quantique des champs dans des conditions où les techniques de calcul traditionnelles sont inefficaces<ref>Klebanov et Maldacena (2009).</ref>.

Dans la correspondance AdS/CFT la géométrie de l'espace-temps est décrite à l'aide d'une solution de l'[[équation d'Einstein]] appelée ''[[espace anti de Sitter]]''<ref>Klebanov et Maldacena (2009), p. 28</ref>. L'espace anti de Sitter est un modèle mathématique de l'espace-temps, supposé vide de matière, dans lequel la distance entre points (la [[tenseur métrique|métrique]]) est définie différemment de la distance familière en [[géométrie euclidienne]]. Il est étroitement lié à l'[[géométrie hyperbolique|espace hyperbolique]], qui lui-même peut être assimilé à un [[disque de Poincaré|disque]] (ci-contre)<ref name=Maldacena2005p60>Maldacena (2005), p. 60.</ref>. La figure montre le [[pavage]] d'un disque par des triangles et des carrés. On peut définir la distance entre points du disque de telle manière que les triangles et les carrés aient tous la même taille, la limite extérieure circulaire étant ainsi repoussée à distance infinie d'un point quelconque de l'intérieur du disque<ref name=Maldacena2005p61>Maldacena (2005), p. 61.</ref>.

[[Fichier:Espace anti de Sitter 3D.svg|vignette|300px|alt=Cylindre formé par l'empilement de copies du disque de la figure précédente|Version tridimensionnelle de l'[[espace anti de Sitter]], un empilement de [[disque de Poincaré|disques hyperboliques]] dont chacun représente l'état de l'univers à un moment donné. Les théories de [[gravité quantique]] comme la théorie M peuvent se discuter dans un tel [[espace-temps]].]]

Maintenant, imaginons une pile de disques hyperboliques où chaque disque représente l'état de l'[[univers]] à un instant donné. L'objet géométrique obtenu est l'espace anti-de Sitter de dimension trois<ref name=Maldacena2005p60/>. Il ressemble à un [[cylindre]] dont chaque section serait un exemplaire du disque hyperbolique. Le temps s'exprime le long de la direction verticale de la figure. La surface du cylindre joue un rôle important dans la correspondance AdS/CFT. Comme pour le plan hyperbolique, l'espace anti de Sitter est [[courbure|courbé]] de telle sorte que tout point à l'intérieur est en réalité infiniment loin de la surface<ref name=Maldacena2005p61/>.

Cette construction décrit un univers hypothétique qui n'aurait que deux dimensions d'espace (et une dimension de temps), mais on peut la généraliser à un nombre quelconque de dimensions. En effet, l'espace hyperbolique peut avoir plus de deux dimensions et l'on peut tout aussi bien en empiler des copies le long de l'axe des temps<ref name=Maldacena2005p60/>.

Un aspect important de l'espace anti de Sitter est sa frontière (une surface cylindrique dans le cas de l'espace anti-de Sitter à trois dimensions). Une propriété intéressante de cette frontière est qu'au voisinage d'un de ses points elle est assimilable à un [[espace de Minkowski]], le modèle d'espace-temps qu'on utilise en physique non gravitationnelle<ref>Zwiebach (2009), p. 552.</ref>. On peut donc envisager une théorie auxiliaire dans laquelle l'espace-temps est la frontière d'un espace anti de Sitter. Cette observation est le point de départ de la correspondance AdS/CFT, qui considère la frontière d'un espace anti de Sitter comme l'espace-temps d'une théorie quantique des champs. L'idée est que cette théorie quantique des champs est équivalente à la théorie de la gravitation dans l'espace anti de Sitter correspondant, en ce sens qu'il existe un {{citation|dictionnaire}} permettant de traduire les entités et les calculs d'une théorie dans l'autre et réciproquement. Une particule unique dans la théorie de la gravitation peut par exemple correspondre à un ensemble de particules dans la théorie quantique des champs correspondante. Les prévisions des deux théories sont de plus identiques quantitativement : si deux particules ont une probabilité de 40 % d'entrer en collision dans la théorie de la gravitation, les ensembles correspondants dans la théorie quantique des champs ont aussi 40 % de chance d'entrer en collision<ref>Maldacena (2005), p. 61-62.</ref>.

=== La théorie des champs superconforme (2,0) 6D ===
{{article détaillé|contenu=Article détaillé : {{Lien|langue=en|trad=6D (2,0) superconformal field theory|fr=Théorie des champs superconforme (2,0) 6D}}}}

L'une des applications de la correspondance AdS/CFT indique que la théorie M dans l'[[topologie produit|espace produit]] {{nobr|AdS{{sub|7}} × ''S''{{exp|4}}}} est équivalente à la théorie dite (2,0) sur sa frontière<ref name=Maldacena1998>Maldacena (1998)</ref>. La mention {{citation|(2,0)}} fait référence au type particulier de supersymétrie qui apparaît dans la théorie. Dans cet exemple l'espace-temps dans lequel s'exprime la théorie de la gravitation est {{citation|en pratique}} un espace anti de Sitter à sept dimensions (d'où la notation {{nobr|AdS{{sub|7}}}}) mais il y a quatre [[dimensions supplémentaires]] compactes (d'où le facteur ''S''{{exp|4}}, qui représente la [[n-sphère|sphère de dimension 4]]). Dans le monde que nous connaissons l'espace-temps est à seulement quatre dimensions étendues et non sept, donc cette version de la correspondance AdS/CFT ne fournit pas un modèle réaliste de la gravitation. La théorie duale n'est pas satisfaisante non plus puisqu'elle décrit un monde qui aurait six dimensions étendues{{note|group=alpha|Pour un article de fond sur la théorie (2,0), voir Moore (2012).}}.

[[Fichier:Knot table-blank unknot.svg|gauche|vignette|alt=Diagrammes de nœuds dans le plan|350px|La théorie des champs superconforme (2,0) à six dimensions a servi à comprendre les résultats de la [[théorie des nœuds]].]]

La théorie (2,0) s'est néanmoins révélée importante pour l'étude des propriétés générales des théories quantiques des champs. Cette théorie combine en effet diverses théories des champs d'un grand intérêt mathématique, et elle fait apparaître de nouvelles dualités qui les relient. Luis Alday, Davide Gaiotto et Yuji Tachikawa ont par exemple montré qu'en compactifiant cette théorie sur une [[surface (géométrie)|surface]] on obtenait une théorie quantique des champs à quatre dimensions, et l'on connaît une dualité, la {{Lien|langue=en|trad=AGT correspondence|fr=correspondance AGT}}, qui la relie à certains concepts physiques associés à la surface elle-même<ref>Alday, Gaiotto et Tachikawa (2010).</ref>. Ces idées ont ensuite été étendues à l'étude des théories obtenues en compactifiant jusqu'à trois dimensions<ref>Dimofte, Gaiotto et Gukov (2010).</ref>.

En plus de ses applications à la théorie quantique des champs, la théorie (2,0) a engendré d'importants résultats dans le domaine des [[mathématiques pures]]. Witten a ainsi utilisé la théorie (2,0) pour donner une explication physique d'une conjecture mathématique appelée [[Correspondance de Langlands géométrique]], une reformulation géométrique de la [[programme de Langlands|correspondance de Langlands]] classique de la [[théorie des nombres]]<ref>Witten (2009).</ref>. Il a ensuite montré que la théorie (2,0) permettait de comprendre un concept mathématique appelé {{Lien|langue=en|trad=Khovanov homology|fr=homologie de Khovanov}}<ref>Witten (2012).</ref>. Développée par [[Mikhaïl Khovanov]] vers 2000, cette [[homologie et cohomologie|homologie]] fournit un outil utile en [[théorie des nœuds]], la branche des mathématiques qui étudie et classifie les différentes formes de nœuds<ref>Khovanov (2000).</ref>. La théorie (2,0) a trouvé une autre application mathématique avec le travail de Davide Gaiotto, [[Greg Moore (physicien)|Greg Moore]] et Andrew Neitzke, qui ont employé des idées physiques pour dériver de nouveaux résultats en {{Lien|langue=en|trad=Hyperkähler manifold|fr=variété d'Hyperkähler|texte=géométrie hyperkählérienne}}<ref>Gaiotto, Moore et Neitzke (2013).</ref>.

{{clr}}

=== La théorie des champs superconforme ABJM ===
La correspondance AdS/CFT a aussi été appliquée à l'équivalence entre la théorie M dans l'espace produit {{nobr|AdS{{sub|4}} × ''S''{{exp|7}}}} et la théorie quantique des champs à trois dimensions dite {{Lien|langue=en|trad=ABJM superconformal field theory|fr=théorie des champs superconforme ABJM}}. Dans cette version de la correspondance, sept des onze dimensions de la théorie M sont compactes, laissant quatre dimensions étendues. L'espace-temps de notre univers étant à quatre dimensions, cette version de la correspondance fournit une description plus réaliste de la gravitation<ref name=Aharony2008>Aharony et al. (2008).</ref>.

La théorie ABJM apparaissant dans cette version de la correspondance est d'ailleurs intéressante pour d'autres raisons. Introduite par Aharony, Bergman, Jafferis et Maldacena, elle est étroitement liée à une autre théorie quantique des champs, la [[théorie de Chern-Simons]], que Witten avait popularisée à la fin des années 1980 en raison de ses applications à la théorie des nœuds<ref>Witten (1989).</ref>. La théorie ABJM sert aussi de modèle simplifié, semi-réaliste, pour résoudre certains problèmes en physique de la matière condensée<ref name=Aharony2008/>.

== Phénoménologie ==
=== Présentation ===
[[Fichier:Calabi yau formatted.svg|vignette|alt=Représentation d'une surface mathématique complexe comportant de nombreuses circonvolutions et intersections|Coupe bidimensionnelle du [[Calabi-Yau]] à cinq dimensions.]]

En plus d'être une idée d'un grand intérêt théorique, la théorie M fournit un cadre pour construire des modèles du monde réel combinant la relativité générale avec le [[modèle standard (physique des particules)|modèle standard de la physique des particules]]. La {{Lien|langue=en|trad=phenomenology (particle physics)|fr=phénoménologie (physique des particules)|texte=phénoménologie en physique des particules}} a pour objet de construire des modèles réalistes de la nature à partir d'idées théoriques plus abstraites. La {{Lien|langue=en|trad=string phenomenology|fr=phénoménologie (cordes)|texte=phénoménologie en théorie des cordes}} tente de construire des modèles réalistes de la physique des particules fondés sur les cordes et la théorie M<ref>Dine (2000).</ref>.

Ces modèles sont typiquement basés sur l'idée de compactification{{note|group=alpha|Les scénarios de [[cosmologie branaire]] proposent une autre façon de retrouver la physique du monde réel à partir de la théorie des cordes. Voir Randall et Sundrum (1999).}}. Partant de l'espace-temps à dix ou onze dimensions de la théorie des cordes ou de la théorie M, on postule une forme particulière pour les dimensions supplémentaires. En la choisissant de manière appropriée on peut construire des modèles plus ou moins semblables au modèle standard de la physique des particules, mais qui prévoient l'existence de particules supplémentaires encore inconnues<ref>Candelas et al. (1985).</ref>. Une façon de faire répandue consiste à partir de la théorie hétérotique à dix dimensions et à supposer que les six dimensions supplémentaires de l'espace-temps constituent une [[variété de Calabi-Yau]] (un Calabi-Yau, plus simplement) de dimension six. Il s'agit d'un objet géométrique un peu spécial, nommé d'après les mathématiciens [[Eugenio Calabi]] et [[Shing-Tung Yau]]<ref>Yau et Nadis (2010), p. ''ix''.</ref>. Les Calabi-Yau offrent différentes façons d'extraire une physique réaliste de la théorie des cordes. Il existe aussi d'autres méthodes basées sur la théorie M, mais relativement similaires<ref>Yau et Nadis (2010), p. 147-150.</ref>.

Il n'existe pour l'instant aucune preuve expérimentale qui permette d'affirmer que l'un de ces modèles est une description fondamentalement correcte de la nature, en partie à cause des difficultés théoriques et mathématiques, et en partie à cause des très hautes énergies qu'il faudrait atteindre pour mener à bien les vérifications expérimentales. C'est pourquoi certains physiciens théoriciens critiquent cette approche de l'unification et remettent en question la poursuite des recherches sur ces problèmes<ref>Woit (2006).</ref>.

=== La compactification des variétés ''G''{{sub|2}} ===
Dans une des approches de la phénoménologie de la théorie M on admet que les sept dimensions supplémentaires de la théorie M prennent la forme d'une {{Lien|langue=en|trad=G2 manifold|fr=variété G2|texte=variété ''G''{{sub|2}}}}, un objet géométrique de dimension sept construit par le mathématicien [[Dominic Joyce]] de l'[[université d'Oxford]]<ref>Yau et Nadis (2010), p. 149.</ref>. Les variétés ''G''{{sub|2}} sont encore mal comprises au plan mathématique, ce qui empêche les physiciens de développer pleinement cette approche<ref name=Yau2010p150>Yau et Nadis (2010), p. 150.</ref>.

Les physiciens et les mathématiciens considèrent souvent, par exemple, que l'espace possède une propriété mathématique appelée [[variété lisse|régularité]], mais on ne peut pas conserver cette propriété dans le cas d'une variété ''G''{{sub|2}} si l'on veut retrouver la physique de notre monde à quatre dimensions. Un autre problème est que les variétés ''G''{{sub|2}} ne sont pas ce qu'on appelle des [[variété complexe|variétés complexes]], ce qui empêche d'utiliser les outils de l'[[analyse complexe]]. Beaucoup de questions restent non résolues, concernant l'existence, l'unicité, et d'autres propriétés mathématiques des variétés ''G''{{sub|2}}, et l'on ne dispose pas non plus de méthode systématique pour en générer toutes les différentes sortes<ref name=Yau2010p150/>.

=== La théorie M hétérotique ===
Compte tenu des difficultés présentées par les variétés ''G''{{sub|2}}, la plupart des tentatives visant à construire des théories physiques réalistes basées sur la théorie M ont adopté une approche plus indirecte pour compactifier l'espace-temps à onze dimensions. La théorie M hétérotique, initiée par Witten, Hořava, {{Lien|langue=en|fr=Burt Ovrut}} et d'autres, constitue l'une de ces tentatives. Dans cette approche on imagine que l'une des onze dimensions de la théorie M est enroulée en un cercle : si ce cercle est extrêmement petit, l'espace-temps n'a plus en pratique que dix dimensions. On suppose alors que six de ces dix dimensions forment une variété de Calabi-Yau : si ce Calabi-Yau est également très petit, on se retrouve avec une théorie à quatre dimensions<ref name=Yau2010p150/>.

La théorie M hétérotique a été utilisée pour construire des modèles de [[cosmologie branaire]], dans lesquels l'univers observable est située {{citation|sur}} une [[brane]] à l'intérieur d'un espace de dimension supérieure. Elle a notamment donné naissance à des théories alternatives de l'univers primitif, qui ne reposent pas sur la théorie de l'[[inflation cosmique]]<ref name=Yau2010p150/>.

== Notes, références et bibliographie ==
{{traduction/Référence|en|M-theory|661052163}}

=== Notes ===
{{Références|groupe=alpha}}

=== Références ===
{{Références}}

=== Bibliographie ===
* {{Ouvrage |langue=fr |langue originale=en |prénom1=Brian |nom1=Greene |lien auteur1=Brian Greene |titre=L'Univers élégant |sous-titre=Une révolution scientifique : de l'infiniment grand à l'infiniment petit, l'unification de toutes les théories de la physique |lieu=Paris |éditeur=[[Éditions Robert Laffont|Robert Laffont]] |année=2000 |pages totales=470 |isbn=2-221-09065-9}}, traduction française de ''The Elegant Universe'' (cité ci-dessous).
* {{Article |langue=en |arxiv=0806.1218 |titre=''N'' = 6 superconformal Chern-Simons-matter theories, M2-branes and their gravity duals |doi=10.1088/1126-6708/2008/10/091 |année=2008 |nom1=Aharony |prénom1=Ofer |nom2=Bergman |prénom2=Oren |nom3=Jafferis |prénom3=Daniel Louis |nom4=Maldacena |prénom4=Juan |périodique=Journal of High Energy Physics |volume=2008 |numéro=10 |pages=091 |bibcode=2008JHEP...10..091A}}
* {{Article |langue=en |nom1=Alday |prénom1=Luis |nom2=Gaiotto |prénom2=Davide |nom3=Tachikawa |prénom3=Yuji |année=2010 |titre=Liouville correlation functions from four-dimensional gauge theories |périodique=Letters in Mathematical Physics |volume=91 |numéro=2 |pages=167–197 |arxiv=0906.3219 |bibcode=2010LMaPh..91..167A |doi=10.1007/s11005-010-0369-5}}
* {{Article |langue=en |nom1=Banks |prénom1=Tom |nom2=Fischler |prénom2=Willy |nom3=Schenker |prénom3=Stephen |nom4=Susskind |prénom4=Leonard |année=1997 |titre=M theory as a matrix model: A conjecture |périodique=Physical Review D |volume=55 |numéro=8 |doi=10.1103/physrevd.55.5112 |page=5112 |bibcode=1997PhRvD..55.5112B}}
* {{Ouvrage |langue=en |prénom1=Katrin |nom1=Becker |prénom2=Melanie |nom2=Becker |prénom3=John |nom3=Schwarz |titre=String theory and M-theory |sous-titre=A modern introduction |éditeur=[[Cambridge University Press]] |année=2007 |pages totales=756 |isbn=978-0-521-86069-7}}
* {{Article |langue=en |nom1=Bergshoeff |prénom1=Eric |nom2=Sezgin |prénom2=Ergin |nom3=Townsend |prénom3=Paul |année=1987 |titre=Supermembranes and eleven-dimensional supergravity |périodique=Physics Letters B |volume=189 |numéro=1 |pages=75–78 |bibcode=1987PhLB..189...75B |doi=10.1016/0370-2693(87)91272-X}}
* {{Article |langue=en |nom1=Candelas |prénom1=Philip |nom2=Horowitz |prénom2=Gary |nom3=Strominger |prénom3=Andrew |nom4=Witten |prénom4=Edward |année=1985 |titre=Vacuum configurations for superstrings |périodique=Nuclear Physics B |volume=258 |numéro= |pages=46–74 |bibcode=1985NuPhB.258...46C |doi=10.1016/0550-3213(85)90602-9}}
* {{Ouvrage |langue=en |prénom1=Alain |nom1=Connes |titre=Noncommutative Geometry |éditeur=[[Academic Press]] |année=1994 |pages totales=661 |isbn=978-0-12-185860-5 |lire en ligne=https://books.google.com/books?id=ZnGUGTa99Q0C&printsec=frontcover}}
* {{Article |langue=en |nom1=Connes |prénom1=Alain |nom2=Douglas |prénom2=Michael |nom3=Schwarz |prénom3=Albert |année=1998 |titre=Noncommutative geometry and matrix theory |périodique=Journal of High Energy Physics |volume=19981 |numéro=2 |pages=003 |doi=10.1088/1126-6708/1998/02/003 |bibcode=1998JHEP...02..003C}}
* {{Article |langue=en |nom1=Cremmer |prénom1=Eugene |nom2=Julia |prénom2=Bernard |nom3=Scherk |prénom3=Joel |année=1978 |titre=Supergravity theory in eleven dimensions |périodique=Physics Letters B |volume=76 |numéro=4 |pages=409–412 |bibcode=1978PhLB...76..409C |doi=10.1016/0370-2693(78)90894-8}}
* {{Article |langue=en |nom1=Dimofte |prénom1=Tudor |nom2=Gaiotto |prénom2=Davide |nom3=Gukov |prénom3=Sergei |année=2010 |titre=Gauge theories labelled by three-manifolds |périodique=Communications in Mathematical Physics |volume=325 |numéro=2 |pages=367–419 |doi=10.1007/s00220-013-1863-2 |bibcode=2014CMaPh.325..367D}}
* {{lien arXiv |auteur=Michael Dine |eprint=hep-th/0003175 |titre=TASI Lectures on M Theory Phenomenology |année=2000}}
* {{Article |langue=en |nom1=Dirac |prénom1=Paul |année=1962 |titre=An extensible model of the electron |périodique=Proceedings of the Royal Society of London |volume=268 |numéro=1332 |série=A. Mathematical and Physical Sciences |pages=57–67 |doi=10.1098/rspa.1962.0124 |bibcode=1962RSPSA.268...57D}}
* {{Article |langue=en |nom1=Duff |prénom1=Michael |année=1996 |titre=M-theory (the theory formerly known as strings) |périodique=International Journal of Modern Physics A |volume=11 |numéro=32 |pages=6523–41 |bibcode=1996IJMPA..11.5623D |doi=10.1142/S0217751X96002583}}
* {{Article |langue=en |nom1=Duff |prénom1=Michael |année=1998 |titre=The theory formerly known as strings |périodique=Scientific American |volume=278 |numéro=2 |pages=64–9 |doi=10.1038/scientificamerican0298-64}}
* {{Article |langue=en |nom1=Duff |prénom1=Michael |nom2=Howe |prénom2=Paul |nom3=Inami |prénom3=Takeo |nom4=Stelle |prénom4=Kellogg |année=1987 |titre=Superstrings in ''D'' = 10 from supermembranes in ''D'' = 11 |périodique=Nuclear Physics B |volume=191 |numéro=1 |pages=70–74 |doi=10.1016/0370-2693(87)91323-2 |bibcode=1987PhLB..191...70D}}
* {{Article |langue=en |nom1=Gaiotto |prénom1=Davide |nom2=Moore |prénom2=Gregory |nom3=Neitzke |prénom3=Andrew |année=2013 |titre=Wall-crossing, Hitchin systems, and the WKB approximation |périodique=Advances in Mathematics |volume=2341 |pages=239–403 |arxiv=0907.3987 |doi=10.1016/j.aim.2012.09.027}}
* {{Ouvrage |langue=en |prénom1=Brian |nom1=Greene |titre=The Elegant Universe : Superstrings, Hidden Dimensions, and the Quest for the Ultimate Theory |éditeur=[[Random House]] |année=2000 |pages totales=159 |isbn=978-0-9650888-0-0}}
* {{Ouvrage |langue=en |prénom1=David |nom1=Griffiths |titre=Introduction to Quantum Mechanics |éditeur=Pearson Prentice Hall |année=2004 |isbn=978-0-13-111892-8}}
* {{Article |langue=en |nom1=Hořava |prénom1=Petr |nom2=Witten |prénom2=Edward |année=1996a |titre=Heterotic and Type I string dynamics from eleven dimensions |périodique=Nuclear Physics B |volume=460 |numéro=3 |pages=506–524 |arxiv=hep-th/9510209 |bibcode=1996NuPhB.460..506H |doi=10.1016/0550-3213(95)00621-4}}
* {{Article |langue=en |nom1=Hořava |prénom1=Petr |nom2=Witten |prénom2=Edward |année=1996b |titre=Eleven dimensional supergravity on a manifold with boundary |périodique=Nuclear Physics B |volume=475 |numéro=1 |pages=94–114 |arxiv=hep-th/9603142 |bibcode=1996NuPhB.475...94H |doi=10.1016/0550-3213(96)00308-2}}
* {{Article |langue=en |nom1=Hull |prénom1=Chris |nom2=Townsend |prénom2=Paul |année=1995 |titre=Unity of superstring dualities |périodique=Nuclear Physics B |volume=4381 |numéro=1 |pages=109–137 |arxiv=hep-th/9410167 |bibcode=1995NuPhB.438..109H |doi=10.1016/0550-3213(94)00559-W}}
* {{Article |langue=en |nom1=Khovanov |prénom1=Mikhail |année=2000 |titre=A categorification of the Jones polynomial |périodique= [[Duke Mathematical Journal]] | volume=1011 |numéro=3 |pages=359–426 |doi=10.1215/S0012-7094-00-10131-7}}
* {{Article |langue=en |nom1=Klebanov |prénom1=Igor |nom2=Maldacena |prénom2=Juan |titre=Solving Quantum Field Theories via Curved Spacetimes |périodique=Physics Today |année=2009 |url=http://www.sns.ias.edu/~malda/Published.pdf |format=PDF |consulté le=May 2013 |page=28 |doi=10.1063/1.3074260 |volume=62 |bibcode=2009PhT....62a..28K}}
* {{Article |langue=en |nom1=Maldacena |prénom1=Juan |titre=The Large ''N'' limit of superconformal field theories and supergravity |périodique=Advances in Theoretical and Mathematical Physics |volume=2 |année=1998 |pages=231–252 |arxiv=hep-th/9711200 |bibcode=1998AdTMP...2..231M |doi=10.1063/1.59653}}
* {{Article |langue=en |titre=The Illusion of Gravity |nom1=Maldacena |prénom1=Juan |année=2005 |périodique=Scientific American |url=http://www.sns.ias.edu/~malda/sciam-maldacena-3a.pdf |consulté le=July 2013 |bibcode=2005SciAm.293e..56M |volume=293 |pages=56–63 |doi=10.1038/scientificamerican1105-56 |numéro=5}}
* {{Article |langue=en |titre=Magnetic monopoles as gauge particles? |nom1=Montonen |prénom1=Claus |nom2=Olive |prénom2=David |périodique=Physics Letters B |volume=72 |numéro=1 |année=1977 |pages=117–120 |bibcode=1977PhLB...72..117M |doi=10.1016/0370-2693(77)90076-4}}
* {{Article |langue=en |auteur=Moore, Gregory |titre=What is&nbsp;... a Brane? |périodique=Notices of the AMS |année=2005 |url=http://www.ams.org/notices/200502/what-is.pdf |format=PDF |consulté le=June 2013 |page=214 |volume=52}}
* {{Lien web |langue=en |url=http://www.physics.rutgers.edu/~gmoore/FelixKleinLectureNotes.pdf |titre=Lecture Notes for Felix Klein Lectures |nom1=Moore |prénom1=Gregory |année=2012 |consulté le=14 août 2013}}
* {{Article |langue=en |nom1=Nahm |prénom1=Walter |année=1978 |titre=Supersymmetries and their representations |périodique=Nuclear Physics B |volume=135 |numéro=1 |pages=149–166 |bibcode=1978NuPhB.135..149N |doi=10.1016/0550-3213(78)90218-3}}
* {{Article |langue=en |nom1=Nekrasov |prénom1=Nikita |nom2=Schwarz |prénom2=Albert |année=1998 |titre=Instantons on noncommutative ''R''{{exp|4}} and (2,0) superconformal six dimensional theory |périodique=Communications in Mathematical Physics |volume=198 |numéro=3 |pages=689–703 |doi=10.1007/s002200050490 |bibcode=1998CMaPh.198..689N}}
* {{Ouvrage |langue=en |prénom1=Michael |nom1=Peskin |prénom2=Daniel |nom2=Schroeder |titre=An Introduction to Quantum Field Theory |éditeur=Westview Press |année=1995 |pages totales=842 |isbn=978-0-201-50397-5}}
* {{Article |langue=en |nom1=Randall |prénom1=Lisa |nom2=Sundrum |prénom2=Raman |année=1999 |titre=An alternative to compactification |périodique=Physical Review Letters |volume=83 |numéro=23 |pages=4690 |doi=10.1103/PhysRevLett.83.4690 |arxiv=hep-th/9906064 |bibcode=1999PhRvL..83.4690R}}
* {{Article |langue=en |nom1=Seiberg |prénom1=Nathan |nom2=Witten |prénom2=Edward |année=1999 |titre=String Theory and Noncommutative Geometry |périodique=Journal of High Energy Physics |volume=1999 |doi=10.1088/1126-6708/1999/09/032 |page=032 |numéro=9 |bibcode=1999JHEP...09..032S}}
* {{Article |langue=en |nom1=Sen |prénom1=Ashoke |année=1993 |titre=Electric-magnetic duality in string theory |périodique=Nuclear Physics B |volume=404 |numéro=1 |pages=109–126 |arxiv=hep-th/9207053 |bibcode=1993NuPhB.404..109S |doi=10.1016/0550-3213(93)90475-5}}
* {{Article |langue=en |nom1=Sen |prénom1=Ashoke |année=1994a |titre=Strong-weak coupling duality in four-dimensional string theory |périodique=International Journal of Modern Physics A |volume=9 |numéro=21 |pages=3707–3750 |bibcode=1994IJMPA...9.3707S |doi=10.1142/S0217751X94001497}}
* {{Article |langue=en |nom1=Sen |prénom1=Ashoke |année=1994b |titre=Dyon-monopole bound states, self-dual harmonic forms on the multi-monopole moduli space, and SL(2,''Z'') invariance in string theory |périodique=Physics Letters B |volume=329 |numéro=2 |pages=217–221 |doi=10.1016/0370-2693(94)90763-3}}
* {{Article |langue=en |nom1=Strominger |prénom1=Andrew |année=1990 |titre=Heterotic solitons |périodique=Nuclear Physics B |volume=343 |numéro=1 |pages=167–184 |bibcode=1990NuPhB.343..167S |doi=10.1016/0550-3213(90)90599-9}}
* {{Article |langue=en |nom1=van Nieuwenhuizen |prénom1=Peter |titre=Supergravity |périodique=Physics Reports |volume=68 |numéro=4 |pages=189–398 |doi=10.1016/0370-1573(81)90157-5 |année=1981 |bibcode=1981PhR....68..189V}}
* {{Ouvrage |langue=en |prénom1=Robert |nom1=Wald |titre=General Relativity |éditeur=[[University of Chicago Press]] |année=1984 |pages totales=506 |isbn=978-0-226-87033-5}}
* {{Article |langue=en |nom1=Witten |prénom1=Edward |titre=Quantum Field Theory and the Jones Polynomial |périodique=Communications in Mathematical Physics |volume=121 |numéro=3 |pages=351–399 |année=1989 |bibcode=1989CMaPh.121..351W |doi=10.1007/BF01217730}}
* {{Article |langue=en |nom1=Witten |prénom1=Edward |année=1995 |titre=String theory dynamics in various dimensions |périodique=Nuclear Physics B |volume=443 |numéro=1 |pages=85–126 |doi=10.1016/0550-3213(95)00158-O |arxiv=hep-th/9503124 |bibcode=1995NuPhB.443...85W}}
* {{lien arXiv |auteur=Edward Witten |eprint=0905.2720 |titre=Geometric Langlands from six dimensions <!--|classe=hep-th--> |année=2009}}
* {{Article |langue=en |nom1=Witten |prénom1=Edward |année=2012 |titre=Fivebranes and knots |périodique=Quantum Topology |volume=3 |numéro=1 |pages=1–137 |doi=10.4171/QT/26}}
* {{Ouvrage |langue=en |prénom1=Peter |nom1=Woit |titre=Not Even Wrong : The Failure of String Theory and the Search for Unity in Physical Law |éditeur=[[Basic Books]] |année=2006 |pages totales=291 |passage=105 |isbn=0-465-09275-6}}
* {{Ouvrage |langue=en |prénom1=Shing-Tung |nom1=Yau |prénom2=Steve |nom2=Nadis |titre=The Shape of Inner Space : String Theory and the Geometry of the Universe's Hidden Dimensions |éditeur=[[Basic Books]] |année=2010 |pages totales=377 |isbn=978-0-465-02023-2 |lire en ligne=https://books.google.com/books?id=3HrXT8wT5zUC&printsec=frontcover}}
* {{Ouvrage |langue=en |prénom1=Anthony |nom1=Zee |titre=Quantum Field Theory in a Nutshell |sous-titre=(Second Edition) |éditeur=[[Princeton University Press]] |année=2010 |pages totales=576 |isbn=978-0-691-14034-6 |lire en ligne=https://books.google.com/books?id=XrumDwAAQBAJ&printsec=frontcover}}
* {{Ouvrage |langue=en |prénom1=Barton |nom1=Zwiebach |titre=A First Course in String Theory |éditeur=[[Cambridge University Press]] |année=2009 |pages totales=673 |isbn=978-0-521-88032-9 |lire en ligne=https://books.google.com/books?id=ih9kI9MEzh0C&printsec=frontcover}}

== Voir aussi ==
=== Articles connexes ===
* [[Edward Witten]]
* [[Théorie du tout]]

=== Liens externes ===
* [https://hal.archives-ouvertes.fr/tel-00001196 Au bout de la corde... la théorie M], thèse de doctorat de Pierre Vanhove (1998).
* {{en}} [http://online.itp.ucsb.edu/online/plecture/witten/ {{traduction|langue=en|M Theory Tutorial|Tutoriel de la théorie M}}], par Edward Witten.
* {{en}} [https://www.pbs.org/wgbh/nova/elegant/ {{traduction|langue=en|The Elegant Universe|L'univers élégant}}], une mini-série de trois heures avec [[Brian Greene]] dans la série ''Nova'', diffusée sur la [[Public Broadcasting Service|PBS]] le {{date-|28 octobre 2003}} (20-22 h) et le {{date-|4 novembre}} (20-21 h) : images, textes, vidéos et animations expliquant la théorie des cordes et la théorie M.
* {{en}} [http://superstringtheory.com/ Superstringtheory.com], le {{citation|site officiel}} de la théorie des cordes créé par Patricia Schwarz : textes de référence sur la théorie des cordes et la théorie M, pour le profane comme pour l'expert.
* {{en}} [http://www.math.columbia.edu/~woit/wordpress/ {{traduction|langue=en|Not Even Wrong|Même pas fausse}}], le blog de [[Peter Woit]] sur la physique en général, et sur la théorie des cordes en particulier.

{{Palette|Théorie des cordes}}
{{Portail|Cosmologie|Physique|Sciences de la Terre et de l'Univers}}

[[Catégorie:Théorie des cordes|*]]
[[Catégorie:Théorie du tout]]