x
1

Teoría topológica cuántica de campo



Una teoría topológica cuántica de campo (TTCC), es una teoría cuántica de campos (TCC) que calcula invariantes topológicos.

Aunque las TTCCs fueron inventadas por los físicos, ellas también son de interés matemático, relacionado, entre otras cosas, con la teoría de nudos y la teoría de tetra-variedades en topología algebraica y la teoría de espacio modular en geometría algebraica. S. Donaldson, V. Jones, E. Witten y M. Kontsevich, han ganado la Medalla Fields por sus trabajos relacionados con la teoría de campos topológica.

En la física de materia condensada, las teorías topológicas cuánticas de campo son teorías efectivas de baja energía, de estados ordenados topológicos, como estados fraccionario de Efecto Hall cuántico, red-cadena condensada y otros estados líquidos cuánticos fuertemente correlacionados.

En una teoría de campo topológica, las funciones de correlación no dependen de la métrica del espacio-tiempo. Esto significa que la teoría no es sensible a los cambios en la forma del espacio-tiempo; si el espacio-tiempo se comba[Nota 1]​ o contrae, no cambian las funciones de correlación. En consecuencia, son invariantes topológicos.

Las teorías de campo topológicas no son muy interesantes en el espacio-tiempo plano de Minkowski usado en física de partículas. El espacio de Minkowski puede ser contraído a un punto, así que una TTCC en el espacio de Minkowski calcula sólo invariantes topológicos triviales. En consecuencia, Las TTCCs se estudian por lo general en espacio-tiempos curvos, como, por ejemplo, superficies de Riemann. La mayoría de las teorías de campo topológicas conocidas están definidas en espacio-tiempos de dimensión inferior a cinco. Parece que existen algunas teorías dimensionales superiores, pero no se entienden muy bien.

Se cree que la gravedad cuántica es independiente del fondo (en algún sentido adecuado) y TTCCs son ejemplos de fondo de las teorías de campo cuántico independiente. Esto ha impulsado la investigación teórica de esta clase de modelos.

(ADVERTENCIA: a menudo se dice que las TTCCs tiene finito grados de libertad. Esto no es una propiedad fundamental. Resulta ser cierto en la mayoría de los ejemplos que los físicos y matemáticos estudian, pero no es necesario. Un modelo sigma topológico con dimensión infinita espacio proyectiva de destino, si tal cosa pudiese definirse, tendría infinito grados de libertad).

Las teorías de campo topológico conocidas caen en dos clases generales: TTCCs tipo-Schwarz y TTCCs tipo-Witten. Las segundas, también se refieren a veces, como teorías de campo cohomológico.

En TTCCs tipo-Schwarz, las funciones de correlación calculadas por la ruta integral son invariantes topológicos porque la medida integral de la ruta y los observables de campo cuántico son explícitamente independientes de la métrica. Por ejemplo, en el modelo BF, el espacio-tiempo es una variedad bidimensional M, las observables son construidas desde un formulario de dos-forma F, un auxiliar escalar B y sus derivados. La acción (que determina la integral de camino) es

La métrica del espacio-tiempo no aparece en esta teoría, por lo que la teoría es explícitamente topológicamente invariante. Otro ejemplo más famoso es la teoría de Chern-Simons, que puede utilizarse para calcular invariantes de nudo.

En TTCCs tipo-Witten, la invarianza topológica es más sutil. Por ejemplo el lagrangiano para el modelo dependen explícitamente de la métrica, pero una muestra de cálculo que el valor esperado de la función de partición y una clase especial de funciones de correlación son en realidad un difeomorfismo invariante.

Atiyah sugiere un conjunto de axiomas de la teoría cuántica topológica de campos (Atiyah, 1988a) que fueron inspirado por los axiomas de teoría conforme de campos de G. Segal y la idea de Witten del significado geométrico de la supersimetría, (Witten, 1982). Los axiomas de Atiyah están construidos pegados a la frontera con una transformación diferenciable (topológica o continua), mientras son Segal con transformación conforme. Estos axiomas han sido relativamente útiles para tratamientos matemáticos de TCCs tipo-Schwarz, aunque no es claro que capten toda la estructura de TCCs tipo-Witten. La idea básica es que una TTCC es un funtor de una determinada categoría de cobordismos a la categoría de espacios vectoriales.

De hecho, hay dos conjuntos diferentes de axiomas que razonablemente podrían llamarse axiomas de Atiyah. Estos axiomas difieren básicamente en si o no estudian una TTCC definida en una solo n-dimensional espacio-tiempo Riemann / Lorentz M fijo, o una TTCC definida en todos los n-dimensional espacio-tiempos a la vez.

Sea un anillo conmutativo con 1, por ejemplo, (en su lugar podemos tomar a ser un campo y que pueda reemplazar por el campo ). Atiyah propone originalmente los axiomas de una TTCC en dimensión d definida sobre un anillo de base Sea que es un anillo conmutativo con 1, por ejemplo, (en su lugar podemos tomar a ser un campo y que pueda reemplazar por el campo ). Atiyah propone originalmente los axiomas de una TTCC en dimensión d definida sobre un anillo de base como sigue, lo cual es símil a la categoría de espacios topológicos.

Estos datos están sujetos a los siguientes axiomas

Además, Atiyah agrega dos axiomas. Es decir, son (4) y (5).

Si consideramos que , para cerrado, como un invariante numérico de , entonces de una variedad con borde, debemos pensarle como un invariante "relativo". Sea una orientación que preserve el difeomorfismo e identifique los extremos opuestos de por . Esto da una variedad y nuestros axiomas implican

donde es el automorfismo inducido de .

Tenga en cuenta que para un variedad con borde siempre podemos formar el doble que es una variedad cerrada. (5) muestra que

siendo que a la derecha se computa la norma en la métrica hermítica (posiblemente indefinida).

Físicamente (2)+(4) está relacionada con invariancia relativista mientras (3)+(5) es indicativo de la naturaleza cuántica de la teoría.

indica el espacio físico (por lo general, d = 3 para física estándar) y la dimensión extra en es tiempo "imaginario". El espacio es el espacio de Hilbert de la teoría cuántica y una teoría física, con una Hamiltoniana , tendrá un operador de evolución temporal o un operador " tiempo imaginario" . La característica principal de las TCCs topológicas es que , lo que implica que no existe dinámica real o propagación, a lo largo del cilindro . Sin embargo, puede haber "propagación" no trivial (o túnel de amplitudes) de a a través de una intervención múltiple con ; Esto refleja la topología de .

Si , entonces el vector distinguido en el espacio de Hilbert es considerado como el Estado de vacío definido por . Para una variedad cerrada el número es el valor esperado del vacío. En analogía con la mecánica estadística también se le llama función de partición.

La razón de por qué una teoría con hamiltoniana nula puede ser formulada adecuadamente radica en la aproximación a TCC de la integral de camino de Feynman. Esto incorpora invariancia relativista (que abastece en general a "espacio-tiempos" (d + 1)-dimensionales) y la teoría se define formalmente escribiendo convenientemente una Lagrangiana ---una funcional de los campos clásicos de la teoría. Una Lagrangiana que implica sólo primeras derivadas en el tiempo, formalmente conduce a una Hamiltoniana nula, pero la Lagrangiana sí puede tener características no triviales que lo relacionen con la topología de .

Esta es la interpretación física del teorema de Borel-Weil o el teorema de Borel-Weil-Bott. La lagrangiana de estas teorías es la clásica acción (holonomía de la línea fibrada). Por lo tanto, la TTCC con d = 0 se relaciona naturalmente con la teoría de la representación clásica de grupo de Lie y grupos simétricos.

La fórmula de Witten podría entenderse como un análogo infinito-dimensional al teorema de Gauss-Bonnet. Posteriormente, esta teoría ha sido más desarrollada y convertida en la teoría de gauge Seiberg-Witten que reduce a en la teoría de gauge . La versión Hamiltoniana de la teoría ha sido desarrollada por Floer en el espacio de las conexiones en una 3-variedad. Floer utiliza la función de Chern-Simons, la Lagrangiana de la teoría de Jones-Witten para modificar la Hamiltoniana. En detalle, consulte (Atiyah, 1988). (Witten, 1988a) también ha demostrado cómo uno puede acoplar las teorías d = 3 y d = 1 juntas: Esto es bastante análogo al acoplamiento entre d = 2 y d = 0 en la teoría de Jones-Witten.

Ahora, no consideramos una dimensión fija sino todas las dimensiones al mismo tiempo, a saber, la TTCC es vista como un funtor.

Sea la categoría cuyos morfismos son n-dimensional subvariedades de M y cuyos objetos son componentes conexos de las fronteras de dichas superficies. Considere dos morfismos equivalentes si son homotópicos a través de subvariedades de M y forman así la categoría cociente : los objetos en son los objetos de y los morfismos de son clases de equivalencia homotopicas de morfismos en . Una TTCC en M es un funtor monoidal simétrico de a la categoría de los espacios vectoriales.

Tenga en cuenta que los cobordismos, si coinciden en sus fronteras, se puede coser juntos para formar un nuevo bordismo. Ésta es la ley de composición de morfismos en la categoría de cobordismos. Ya que los funtores son necesarios para preservar la composición, esto dice que el mapeo lineal correspondiente a un morfismo cosido junto es sólo la composición del mapa lineal para cada pieza.

Hay una equivalencia de categorías entre la categoría bidimensional de las TTCCs y la categoría de álgebras de Frobenius.

Para considerar todos los espacios-tiempo a la vez, es necesario sustituir por una categoría más amplia. Así que sea la categoría de bordismos, es decir, la categoría cuyos morfismos son variedades n-dimensionales con borde, y cuyos objetos son los componentes conectados de los bordes, de las variedades n-dimensionales.

(Tenga en cuenta que cualquier variedad -dimensional múltiple puede aparecer como un objeto en .) Como el anterior, considere dos morfismos en como equivalentes si son de homotópicos y forman la categoría cociente . es una Categoría monoidal bajo la operación que lleva dos bordismos al bordismo hecho de su unión disjunta. Una TTCC en variedades n-dimensionales, es un funtor de a la categoría de espacios vectoriales, que llevan los uniones disjuntas de bordismos al producto tensorial de ellos.

Por ejemplo, para bordismos (1+1)-dimensionales (bordismos 2-dimensionales entre variedades de dimensión 1), el mapeo asociado a un par de pantalones, da un producto o coproducto, dependiendo de cómo se agrupan los componentes borde ---que es conmutativo o coconmutativo, mientras que el mapeo asociado con un disco da la unidad (traza) o unidad (escalares), según la agrupación de frontera, y por lo tanto TTCCs (1+1)-dimensinales corresponden a álgebras de Frobenius.

Además, consideremos simultáneamente variedades 4,3,2-dimensionales respectivamente, que estén relacionadas por los bordismos anteriores, para luego obtener amplios e importantes ejemplos.

Mirando el desarrollo de la TTCC deberíamos considerar que tiene un montón de aplicaciones a la teoría de gauge Seiberg-Witten, teoría de cuerdas topológica, la relación entre la teoría de nudos y la teoría cuántica, y los invariantes cuánticos de nudo. Además, esto ha proporcionado objetos muy interesantes tanto de matemáticas como de física.



Escribe un comentario o lo que quieras sobre Teoría topológica cuántica de campo (directo, no tienes que registrarte)


Comentarios
(de más nuevos a más antiguos)


Aún no hay comentarios, ¡deja el primero!