Hasta ahora sólo se conoce una formulación perturbativa de la teoría de cuerdas, a pesar de que existen algunas pistas sobre lo que debería contener una formulación no perturbativa. Por lo que tengo entendido, se espera que la geometría del espaciotiempo de fondo en el que se propaga la cuerda en la formulación perturbativa, se codifique en última instancia de alguna otra manera en una formulación no perturbativa.
A grandes rasgos, se puede pensar de la siguiente manera: En lugar de cuantizar directamente la Relatividad General, lo que falla en un enfoque perturbativo ingenuo, la teoría de cuerdas perturbativa contiene un campo, que surgiría también en una cuantización perturbativa de la Relatividad General. En la teoría de cuerdas este campo es la parte sin masa de toda una torre de campos masivos. Esto, junto con el hecho de que una condición de consistencia nos da las ecuaciones del vacío $R_{\mu\nu} = 0$ de la Relatividad General (esto es cierto al menos en el modelo sigma bosónico, sin $B$ o Dilaton) son dos razones para creer que la teoría de cuerdas perturbativa contiene una cuantización perturbativa de la gravedad al menos en 26 o 10 dimensiones. Contrariamente a la cuantización ingenua, arroja (algunos) resultados finitos a nivel de bucle (para la teoría de supercuerdas, en realidad sólo se conoce hasta dos bucles, creo).
En cierto sentido, eso puede precisarse un poco: Ciertas QFT bidimensionales deberían considerarse como variedades (semi)riemannianas generalizadas.
Dado que en realidad no se conoce ninguna formulación no perturbativa, se estudian en su lugar teorías efectivas de baja energía (teorías de supergravedad), compactificaciones (aquí es donde entran en juego las variedades de calabi-yau), teoría-F, etcétera. Siempre con la esperanza de que puedan dar una pista de lo que debería contener una formulación no perturbativa. De ese modo, el hecho de que exista una teoría de supergravedad de 12 dimensiones que dimensionalmente se reduce a teorías de 11 dimensiones conduce a la idea de que debería existir una $M$ -Teoría o presencia de $p$ -Los campos de forma conducen a la idea de que debería haber "branas" cargadas.