En la teoría de cuerdas y teorías relacionadas (como las teorías de la supergravedad ), una brana es un objeto físico que generaliza la noción de una partícula puntual de dimensión cero, una cuerda unidimensional o una membrana bidimensional a objetos de dimensiones superiores. Las branas son objetos dinámicos que pueden propagarse a través del espacio-tiempo según las reglas de la mecánica cuántica . Tienen masa y pueden tener otros atributos como carga .
Matemáticamente, las branas se pueden representar dentro de categorías y se estudian en matemáticas puras para comprender la simetría especular homológica y la geometría no conmutativa .
La palabra "brana" se originó en 1987 como una contracción de "membrana". [1]
Una partícula puntual es una brana 0, de dimensión cero; una cuerda, que lleva el nombre de cuerdas musicales que vibran , es una 1-brana; una membrana, que lleva el nombre de membranas vibrantes como los parches de tambor , es una 2-brana. [2] El objeto correspondiente de dimensión arbitraria p se llama p -brana, término acuñado por MJ Duff et al. en 1988. [3]
Una p -brana barre un volumen ( p +1)-dimensional en el espacio-tiempo llamado volumen mundial . Los físicos suelen estudiar campos análogos al campo electromagnético , que viven en el volumen mundial de una brana. [4]
En teoría de cuerdas , una cuerda puede estar abierta (formando un segmento con dos extremos) o cerrada (formando un bucle cerrado). Las D-branas son una clase importante de branas que surgen cuando se consideran cuerdas abiertas. A medida que una cuerda abierta se propaga a través del espacio-tiempo, se requiere que sus puntos finales se encuentren en una brana D. La letra "D" en la D-brana se refiere a la condición de contorno de Dirichlet , que satisface la D-brana. [5]
Un punto crucial sobre las D-branas es que la dinámica en el volumen mundial de las D-branas se describe mediante una teoría de calibre , un tipo de teoría física altamente simétrica que también se utiliza para describir el comportamiento de las partículas elementales en el modelo estándar de física de partículas . Esta conexión ha dado lugar a importantes conocimientos sobre la teoría de calibres y la teoría cuántica de campos . Por ejemplo, condujo al descubrimiento de la correspondencia AdS/CFT , una herramienta teórica que los físicos utilizan para traducir problemas difíciles de la teoría de calibres en problemas más manejables matemáticamente en la teoría de cuerdas. [6]
Matemáticamente, las branas se pueden describir utilizando la noción de categoría . [7] Se trata de una estructura matemática que consta de objetos , y para cualquier par de objetos, un conjunto de morfismos entre ellos. En la mayoría de los ejemplos, los objetos son estructuras matemáticas (como conjuntos , espacios vectoriales o espacios topológicos ) y los morfismos son funciones entre estas estructuras. [8] También se pueden considerar categorías en las que los objetos son D-branas y los morfismos entre dos branas y son estados de cuerdas abiertas estiradas entre y . [9]
En una versión de la teoría de cuerdas conocida como modelo B topológico , las D-branas son subvariedades complejas de ciertas formas de seis dimensiones llamadas variedades de Calabi-Yau , junto con datos adicionales que surgen físicamente al tener cargas en los puntos finales de las cuerdas. [10] Intuitivamente, uno puede pensar en una subvariedad como una superficie incrustada dentro de una variedad Calabi-Yau, aunque las subvariedades también pueden existir en dimensiones diferentes de dos. [11] En lenguaje matemático, la categoría que tiene estas branas como objetos se conoce como categoría derivada de haces coherentes en Calabi-Yau. [12] En otra versión de la teoría de cuerdas llamada modelo A topológico , las D-branas pueden verse nuevamente como subvariedades de una variedad Calabi-Yau. A grandes rasgos, son lo que los matemáticos llaman subvariedades lagrangianas especiales . [13] Esto significa, entre otras cosas, que tienen la mitad de la dimensión del espacio en el que se sientan y minimizan la longitud, el área o el volumen. [14] La categoría que tiene estas branas como objetos se llama categoría Fukaya . [15]
La categoría derivada de gavillas coherentes se construye utilizando herramientas de geometría compleja , una rama de las matemáticas que describe formas geométricas en términos algebraicos y resuelve problemas geométricos utilizando ecuaciones algebraicas . [16] Por otro lado, la categoría Fukaya se construye utilizando la geometría simpléctica , una rama de las matemáticas que surgió a partir de los estudios de la física clásica . La geometría simpléctica estudia espacios equipados con una forma simpléctica , una herramienta matemática que se puede utilizar para calcular el área en ejemplos bidimensionales. [17]
La conjetura de simetría especular homológica de Maxim Kontsevich establece que la categoría derivada de haces coherentes en una variedad Calabi-Yau es equivalente en cierto sentido a la categoría Fukaya de una variedad Calabi-Yau completamente diferente. [18] Esta equivalencia proporciona un puente inesperado entre dos ramas de la geometría, a saber, la geometría compleja y la simpléctica. [19]