En théorie des cordes ou des supercordes on appelle dualité une équivalence physique entre deux modèles construits a priori de façon différente.
Par exemple comme on va le voir plus bas, la théorie des cordes bosonique à 26 dimensions compactifiée sur un cercle de rayon est équivalente à la même théorie bosonique mais compactifiée cette fois sur un cercle de rayon . Cette dualité porte le nom de dualité T. Équivalent signifie ici que toute expérience physique menée dans le cadre du premier modèle fournirait des résultats indistinguables de ceux qui seraient obtenus en travaillant dans le cadre de la deuxième théorie. Pour autant les deux modèles ne sont pas identiques mathématiquement car le rayon du cercle de compactification (qui porte le nom de module dans ce cadre) est différent. Les dualités sont à distinguer des symétries d'une théorie car ces dernières sont par définition les transformations sous lesquelles une théorie donnée est strictement invariante. Il est utile de prendre le point de vue que les symétries sont des dualités particulières mais dans le cadre de la théorie des cordes il est important de bien distinguer les deux concepts.
Pour résumer une dualité peut donc être conçue comme un pont entre deux théories mathématiquement différentes mais physiquement équivalentes.
C'est la découverte de nombreuses dualités[1] entre les différents modèles de théorie des supercordes qui a amené Edward Witten à conjecturer que toutes ces théories peuvent être vues comme des limites d'une théorie plus générale, la théorie M. Cette dernière n'est cependant pas encore construite précisément et seule sa limite classique, la supergravité maximale à 11 dimensions est connue. Dans le cadre de la théorie M les dualités qui sont des ponts entre théorie différentes deviennent alors des symétries.
On distingue deux types de dualités, les dualités perturbatives ou non-perturbatives selon qu'elles contiennent ou non une inversion du couplage d'espace-temps (dont la valeur dépend de la valeur moyenne du dilaton de la théorie). Lorsqu'on combine toutes les dualités perturbatives on obtient un groupe appelé groupe de T-dualité. Si on incorpore de plus les dualités non-perturbatives alors on obtient un groupe plus grand appelé groupe de U-dualité.
Les tirets indiquent les dualités, les barres représentent une interconnexion absente et le (M) représente la théorie M dans son ensemble. Aussi, La corde type IIb est duale à elle-meme. Sans la forme géométrique de l'espace-temps, il manque certaines interconnexions : il manque une interconnexion entre HO et HE, HE et IIa, IIa et IIb.
Avec la forme géométrique de l'espace-temps, toutes les théories sont duales entre elles, il ne manque aucune connexion : le réseau est donc complet. Avec la U-dualité (qui regroupe la T-dualité et la S-dualité), toutes les théories sont duales entre elles.