Una transformación conforme es aquella que altera la métrica hasta un factor, es decir
$$g_{\mu\nu}(x)\to\Omega^2(x)g_{\mu\nu}(x)$$
Una teoría de campo descrita por un Lagrangiano invariante hasta una derivada total bajo una transformación conforme se dice que es una teoría del campo conforme . Estas transformaciones incluyen
- Escalas o dilataciones $x^\mu \to \lambda x^\mu$
- Rotaciones $x^\mu \to M^\mu_\nu x^\nu$
- Traducciones $x^\mu \to x^\mu + c^\mu$
Además de éstas, el grupo conforme incluye un conjunto de transformaciones conformes especiales dadas por,
$$x^\mu \to \frac{x^\mu-b^\mu x^2}{1-2b \cdot x + b^2 x^2}$$
Si se calculan los generadores de las transformaciones conformes, y el álgebra que satisfacen, con alguna manipulación se puede demostrar que existe un isomorfismo entre el grupo conforme en $d$ dimensiones y el grupo $SO(d+1,1)$ . En dos dimensiones, el grupo conformacional es bastante especial; es simplemente el grupo de todos los mapas analíticos; este conjunto es de dimensiones infinitas ya que se requiere un número infinito de parámetros para especificar todas las funciones analíticas en alguna vecindad. La variedad global de transformaciones conformes, es decir, las que no son funciones de las coordenadas sino constantes, en $d=2$ equivalen a $SL(2,\mathbb{C})$ .
Por otro lado, una teoría de campo topológica es aquella que es invariante bajo todas las transformaciones que no alteran la topología del espaciotiempo, por ejemplo, no pueden perforarlo y aumentar el género. Las funciones de correlación no dependen de la métrica, y son de hecho invariantes topológicas.
Por lo tanto, una teoría de campo topológica es invariante bajo transformaciones conformes por el hecho de que ni siquiera depende de la métrica. Sin embargo, no todas las teorías de campo conformes son teorías de campo topológicas.