Boundaries in the Instantaneous Formulation of Field Theories

Planteamiento del Problema
El artículo aborda la formulación rigurosa de las condiciones de contorno dentro del marco instantáneo (3+1) de las teorías de campos clásicos, extendiendo específicamente el formalismo covariante e instantáneo desarrollado por GiMmsy (Gotay, Isenberg, Marsden, Montgomery, Sniatycki y Yasskin). Si bien la interacción entre los bordes y los grupos de simetría localizables está bien estudiada en las formulaciones hamiltonianas canónicas, una formulación instantánea completa —que incluya el lagrangiano instantáneo, la transformada de Legendre y la estructura del espacio de fases resultante en presencia de bordes— carecía de un fundamento riguroso. El problema central es caracterizar el espacio de estados instantáneo y el espacio de fases cuando las condiciones de contorno restringen las configuraciones de campo y/o sus velocidades, particularmente en casos donde las condiciones de contorno no fijan un valor de configuración específico (por ejemplo, requiriendo solo que las velocidades se anulen en el borde).

Metodología
El autor emplea el marco geométrico de GiMmsy, el cual utiliza una descomposición 3+1 del espacio-tiempo $M$ en superficies de Cauchy $\Sigma_t$. La metodología procede de la siguiente manera:

1. Extensión del Marco: El espacio de configuración instantáneo $Q_t = \Gamma(Y_t)$ y su haz tangente $TQ_t$ se definen mediante el mapa de descomposición de jets $\beta_\zeta$, que relaciona los jets covariantes con los jets espaciales instantáneos y las velocidades.
2. Análisis de las Condiciones de Contorno: El artículo distingue entre dos tipos de condiciones de contorno:
   • Dirichlet Constante: La configuración del campo se fija a un valor específico $b_t$ en el borde, el cual permanece constante bajo el flujo de laminación (slicing flow).
   • Anulación de la Velocidad: Se permite que la configuración del campo varíe en el borde, pero se requiere que su derivada temporal (velocidad) se anule en dicho borde ($\dot{\phi}|_{\partial \Sigma} = 0$).
3. Caracterización Geométrica: Utilizando las propiedades del mapa de restricción al borde $r_t: Q_t \to \Gamma(Y_t|_{\partial \Sigma_t})$, el autor analiza la estructura del espacio de estados admisible. Para las condiciones de Dirichlet constantes, se demuestra que el espacio de estados es un único haz tangente. Para las condiciones de anulación de la velocidad, se demuestra que el espacio de estados es una unión disjunta de haces tangentes, indexados por las configuraciones de contorno.
4. Transformada de Legendre: La transformada de Legendre instantánea se define en este espacio de estados "por sectores" (un haz de velocidades admisible $D$) utilizando la derivada de fibra. El espacio de fases resultante se analiza para sus estructuras simpléctica y de Poisson.
5. Aplicación a Yang-Mills: El formalismo se aplica a la teoría de Yang-Mills en una sección espacial compactificada con condiciones de contorno asintóticas. Se analiza la acción del grupo de gauge para determinar qué transformaciones son hamiltonianas (poseen un mapa de momento) y cuáles no.

Contribuciones Clave y Resultados

• Estructura del Espacio de Estados Instantáneo:

  • Bajo una condición de Dirichlet constante, el espacio de estados instantáneo es isomorfo al haz tangente $TQ_b$ del espacio de configuración que satisface esa condición de contorno específica (Proposición 3.5).
  • Bajo la condición de que solo la velocidad se anula en el borde (sin fijar el valor del contorno), el espacio de estados instantáneo no es un único haz tangente, sino una unión disjunta (una "estructura de sectores") de haces tangentes: $D = \bigsqcup_{b} TQ_b$ (Corolario 3.6). Cada sector corresponde a una configuración de contorno fija $b$.

• Transformada de Legendre y Estructura del Espacio de Fases:

  • La transformada de Legendre se define rigurosamente en el haz de velocidades admisible $D = \ker(Tr)$. El espacio de fases primario resultante $P$ es una unión disjunta de espacios de fases $P_b \subset T^*Q_b$.
  • El espacio de fases total $P$ no posee una estructura simpléctica global debido a que no existen momentos conjugados para las configuraciones de contorno. En su lugar, posee una estructura de Poisson canónica por hojas (leafwise), donde las hojas simplécticas son los sectores individuales $T^*Q_b$ (Observación 4.5).

• Transformaciones de Gauge y Momento:

  • En la teoría de Yang-Mills, se demuestra que las transformaciones de gauge que cambian la configuración del contorno (que mueven entre sectores) son no hamiltonianas con respecto a la estructura de Poisson en $P$. Estas mapean entre diferentes hojas simplécticas y carecen de un mapa de momento clásico porque el momento de contorno no está definido en esta formulación.
  • Las transformaciones de gauge que preservan el sector de contorno (subgrupo estabilizador $G_b$) son hamiltonianas. Su mapa de momento incluye un término de contorno correspondiente al flujo eléctrico.

• Definición del Grupo de Simetría Física:

  • El artículo propone una definición novedosa para el grupo de simetría física de contorno: $G_{phys} := G_{Ham} / G_{triv}$, donde $G_{Ham}$ son las transformaciones hamiltonianas que preservan el contorno y $G_{triv}$ son las triviales (redundantes).
  • Electromagnetismo ($U(1)$): Se encuentra que el grupo de simetría física a través de todos los sectores es isomorfo al grupo de gauge global $U(1)$, ya que las transformaciones constantes preservan todos los sectores y portan un momento de flujo no nulo.
  • Yang-Mills No Abeliano: En una trivialización de contorno, el grupo de simetría física a través de todos los sectores es trivial (el centro de la álgebra de Lie), a menos que se impongan restricciones específicas (como configuraciones de contorno $Ad(G)$-invariantes), en cuyo caso el grupo global $G$ reemerge.

Significancia y Reivindicaciones
El artículo afirma proporcionar una base geométrica rigurosa para comprender cómo los bordes interactúan con la formulación instantánea de las teorías de campos, aclarando específicamente la relación entre las descomposiciones 3+1, la transformada de Legendre y los flujos de contorno.

La significancia primaria radica en demostrar que cuando los valores de contorno no están fijados, el espacio de estados se descompone naturalmente en sectores, lo que conduce a un espacio de fases con una estructura de Poisson por hojas en lugar de una estructura simpléctica global. Esta visión estructural explica por qué las transformaciones de gauge que "mueven entre sectores" (aquellas que cambian la conexión de contorno) no pueden ser generadas por funciones hamiltonianas en esta formulación. En consecuencia, el artículo argumenta que las simetrías físicas de contorno deben restringirse a aquellas transformaciones que son hamiltonianas (es decir, las que preservan el sector y poseen un mapa de momento). Esto redefine la comprensión de las simetrías asintóticas, distinguiéndolas de las transformaciones que simplemente se desplazan entre sectores de superselección sin un observable físico correspondiente (momento).

Los resultados se presentan como una generalización del trabajo previo (específicamente [9]) a la generalidad completa de las condiciones de contorno de anulación de la velocidad, ofreciendo una imagen geométrica más clara de los sectores de superselección de flujo y el papel de los modos de borde en la ausencia de variables conjugadas de contorno.