¿Qué son exactamente las secciones en las teorías de calibre?

Al tratar de comprender con precisión cómo la teoría del haz de fibras se relaciona con los modelos físicos, me encontré con esta cita:

Podemos pensar en los elementos del haz principal como marcos generalizados para el haz de fibras original. Esto significa que se corresponden con diferentes formas en que podemos convertir la dinámica intrínseca descrita de manera abstracta por una sección del haz de fibras en algo concreto que observamos.

Estos marcos generalizados a menudo se denominan "medidas". El grupo de estructura del paquete principal se denomina "grupo de calibre" y el automorfismo del paquete principal que fija la base se denomina "transformación de calibre".

En el caso de un haz vectorial, esto significa que, eligiendo un calibre, o un marco ortonormal para la fibra, obtenemos un conjunto de números: las coordenadas de la sección con respecto al marco.

Entonces, dígame si entiendo esto correctamente: aquí tenemos dos paquetes de fibras lógicamente distintos: el paquete principal y el paquete vectorial asociado. El paquete asociado es el "campo de materia" cuyas secciones representan las cantidades observables, por ejemplo, la fase, y el paquete principal es el paquete de "marcos generalizados" cuyas secciones representan las bases que usamos para describir numéricamente las secciones del paquete asociado.

¿Es esto correcto?

Lo siento si esto es vago. Estoy tratando de obtener un "manejo" intuitivo sobre cómo las matemáticas técnicas de los paquetes de fibras se asignan a lo que sé de la física.

¿Podría proporcionar una fuente para esa cita?

Respuestas (1)

  1. El haz de fibras del Principio se puede considerar como una expansión del espacio-tiempo: dado un grupo de calibre GRAMO y un director GRAMO manojo π : PAG METRO sobre el espacio-tiempo METRO , obtenemos localmente
    π 1 ( tu ) tu × GRAMO ,   tu METRO
    ya que un PFB es solo un paquete de fibra con fibra GRAMO . En el caso de tu ( 1 ) , uno puede pensar en el PFB como una forma de realizar un seguimiento de la fase que tiene una partícula dada en un punto dado en el espacio-tiempo, más generalmente, uno puede pensar en él como una forma de codificar explícitamente las propiedades intrínsecas de una partícula ( hay otras ejemplos, pero omitámoslos por el momento).
  2. Una representación ρ : GRAMO V en un espacio vectorial V debe considerarse como la ''regla de transformación'', es decir, cómo se transforma un campo bajo una transformación de norma. Los ejemplos incluyen rotaciones en el espacio de isopin (a pesar de que no son una teoría de calibre "real"), así como la bien conocida tu ( 1 ) transformación de calibre, vea también esta respuesta mía .
  3. Dada una representación ρ como arriba, uno puede formar el paquete vectorial asociado
    mi = PAG × ρ V ,
    que en el principio se utiliza el formalismo de paquetes en lugar del espacio vectorial V . Más precisamente, tome cualquier campo (clásico), por ejemplo, el campo de dirac, que es una función suave
    ψ : R 1 , 3 C 4
    satisfaciendo la Ecuación de Dirac . En nuestro nuevo formalismo, los campos serían secciones suaves
    Ψ : METRO mi .
    Los campos de materia se considerarían entonces como aquellas secciones Ψ y no como el paquete.
  4. La elección de un calibre se consideraría más comúnmente como la elección de una sección local para PAG . Se debe enfatizar la localidad ya que, en general, no es posible elegir secciones globales. Por medio de una sección local, "todo" se puede retrotraer a tu METRO que luego da ecuaciones diferenciales invariantes de calibre (y, en general, "curvas"), por ejemplo, la ecuación de Dirac en el espacio-tiempo curvo . (Lo que, sin embargo, necesitaría la noción de una forma de conexión , que deberíamos ignorar por el momento) . Esto se haría concretamente de la siguiente manera: Dado un ''campo de materia''

    Ψ : METRO mi
    y una sección (local)
    s : tu PAG
    uno puede (localmente) escribir
    Ψ ( X ) = [ s ( X ) , ψ ( X ) ]
    (por la definición de mi ). Ahora, la sección s define una familia de isomorfismos ( [ s ( X ) ] ) X tu que, por un tiempo fijo X 0 tu , es dado por
    [ s ( X 0 ) ] : V mi X 0 , v [ s ( X 0 ) , v ]
    donde denoté la fibra de mi encima X 0 por mi X 0 . Usando esta familia de isomorfismos, obtenemos una función
    ψ : tu V ,   X ψ ( X )
    que luego se puede utilizar para los cálculos.