En física matemática , la teoría clásica de campos covariantes representa los campos clásicos mediante secciones de haces de fibras , y su dinámica se expresa en el contexto de un espacio de campos de dimensión finita . Hoy en día, es bien sabido que [ cita requerida ] los haces de chorro y el bicomplejo variacional son el dominio correcto para tal descripción. La variante hamiltoniana de la teoría clásica de campos covariantes es la teoría de campos hamiltonianos covariantes donde los momentos corresponden a las derivadas de las variables de campo con respecto a todas las coordenadas del mundo. La mecánica no autónoma se formula como teoría clásica de campos covariantes en haces de fibras sobre el eje del tiempo .
A continuación se ofrecen muchos ejemplos importantes de teorías clásicas de campos que son de interés para la teoría cuántica de campos. En particular, se trata de las teorías que conforman el modelo estándar de física de partículas. Estos ejemplos se utilizarán en el análisis de la formulación matemática general de la teoría clásica de campos.
Para formular una teoría de campo clásica, se necesitan las siguientes estructuras:
Un colector suave .
Esto se conoce como la variedad mundial (para enfatizar la variedad sin estructuras adicionales como una métrica), espacio-tiempo (cuando está equipado con una métrica lorentziana) o la variedad base para un punto de vista más geométrico.
El espacio-tiempo suele venir acompañado de una estructura adicional. Algunos ejemplos son:
así como la estructura requerida de una orientación, necesaria para una noción de integración sobre toda la variedad .
El espacio-tiempo puede admitir simetrías. Por ejemplo, si está dotado de una métrica , éstas son las isometrías de , generadas por los campos vectoriales de Killing . Las simetrías forman un grupo , los automorfismos del espacio-tiempo. En este caso los campos de la teoría deberían transformarse en una representación de .
Por ejemplo, para el espacio de Minkowski, las simetrías son el grupo de Poincaré .
Un grupo de Lie que describe las simetrías (continuas) de los grados de libertad internos. El álgebra de Lie correspondiente a través de la correspondencia entre el grupo de Lie y el álgebra de Lie se denota como . Esto se conoce como el grupo de calibración .
Un haz principal , también conocido como un -torsor. Esto a veces se escribe como
donde está el mapa de proyección canónica en y es la variedad base.
Aquí consideramos la conexión como una conexión principal . En la teoría de campos, esta conexión también se considera como una derivada covariante cuya acción sobre varios campos se define más adelante.
Se denota una conexión principal como una forma 1-valorada en P que satisface las condiciones técnicas de 'proyección' y 'equivariancia derecha': los detalles se encuentran en el artículo sobre conexión principal.
Bajo una trivialización, esto puede escribirse como un campo de calibración local , una forma 1 con valor − en un parche de trivialización . Es esta forma local de la conexión la que se identifica con los campos de calibración en física. Cuando la variedad base es plana, hay simplificaciones que eliminan esta sutileza.
Un fibrado vectorial asociado al fibrado principal a través de una representación
Para completar, dada una representación , la fibra de es .
Un campo o campo de materia es una sección de un fibrado vectorial asociado. El conjunto de estos, junto con los campos de calibración, constituye el contenido de materia de la teoría.
Un lagrangiano : dado un haz de fibras , el lagrangiano es una función .
Supongamos que el contenido de materia viene dado por secciones de con fibra desde arriba. Entonces, por ejemplo, más concretamente podemos considerar que es un fibrado donde la fibra en es . Esto permite entonces ser visto como un funcional de un campo.
Esto completa los prerrequisitos matemáticos para un gran número de teorías interesantes, incluidas aquellas dadas en la sección de ejemplos anterior.
Cuando la variedad base es plana, es decir, el espacio ( pseudo ) euclidiano , hay muchas simplificaciones útiles que hacen que las teorías sean conceptualmente menos difíciles de abordar.
Las simplificaciones provienen de la observación de que el espacio-tiempo plano es contráctil: es entonces un teorema en topología algebraica que cualquier haz de fibras sobre plano es trivial.
En particular, esto nos permite elegir una trivialización global de y, por lo tanto, identificar la conexión globalmente como un campo de calibre.
Además, existe una conexión trivial que nos permite identificar fibrados vectoriales asociados como , y entonces no necesitamos ver los campos como secciones sino simplemente como funciones . En otras palabras, los fibrados vectoriales en diferentes puntos son comparables. Además, para el espacio-tiempo plano la conexión de Levi-Civita es la conexión trivial en el fibrado de marco .
Entonces, la derivada covariante del espacio-tiempo en campos tensoriales o de espín-tensor es simplemente la derivada parcial en coordenadas planas. Sin embargo, la derivada covariante de calibración puede requerir una conexión no trivial que se considera el campo de calibración de la teoría.
En una curvatura gravitacional débil, el espacio-tiempo plano suele servir como una buena aproximación al espacio-tiempo débilmente curvado. Para la experimentación, esta aproximación es buena. El Modelo Estándar se define en un espacio-tiempo plano y ha producido las pruebas de precisión más precisas de la física hasta la fecha.
