Boundaries in the Instantaneous Formulation of Field Theories

Problema Central
O artigo aborda a formulação rigorosa de condições de contorno dentro da estrutura instantânea (3+1) de teorias de campos clássicos, estendendo o formalismo covariante e instantâneo desenvolvido por GiMmsy (Gotay, Isenberg, Marsden, Montgomery, Sniatycki e Yasskin). Embora a interação entre fronteiras e grupos de simetria localizáveis seja bem estudada em formulações hamiltonianas canônicas, uma formulação instantânea completa — incluindo o Lagrangiano instantâneo, a transformada de Legendre e a estrutura de espaço de fase resultante na presença de fronteiras — carecia de um fundamento rigoroso. O problema central é caracterizar o espaço de estados instantâneo e o espaço de fase quando as condições de contorno restringem as configurações de campo e/ou suas velocidades, particularmente em casos onde as condições de contorno não fixam um valor específico de configuração (por exemplo, exigindo apenas que as velocidades sejam nulas na fronteira).

Metodologia
O autor utiliza o arcabouço geométrico de GiMmsy, que utiliza uma decomposição 3+1 do espaço-tempo $M$ em superfícies de Cauchy $\Sigma_t$. A metodologia procede da seguinte forma:

1. Extensão do Arcabouço: O espaço de configuração instantâneo $Q_t = \Gamma(Y_t)$ e seu fibrado tangente $TQ_t$ são definidos via o mapa de decomposição de jet $\beta_\zeta$, que relaciona jets covariantes a jets espaciais instantâneos e velocidades.
2. Análise de Condições de Contorno: O artigo distingue dois tipos de condições de contorno:
   • Dirichlet Constante: A configuração do campo é fixada a um valor específico $b_t$ na fronteira, o qual permanece constante sob o fluxo de fatiamento.
   • Velocidade Nula: A configuração do campo é permitida variar na fronteira, mas sua derivada temporal (velocidade) é exigida como nula ($\dot{\phi}|_{\partial \Sigma} = 0$).
3. Caracterização Geométrica: Utilizando as propriedades do mapa de restrição de fronteira $r_t: Q_t \to \Gamma(Y_t|_{\partial \Sigma_t})$, o autor analisa a estrutura do espaço de estados admissível. Para condições de Dirichlet constantes, mostra-se que o espaço de estados é um único fibrado tangente. Para condições de velocidade nula, mostra-se que o espaço de estados é uma união disjunta de fibrados tangentes, indexados pelas configurações de fronteira.
4. Transformada de Legendre: A transformada de Legendre instantânea é definida neste espaço de estados "setorizado" (um fibrado de velocidades admissível $D$) usando a derivada de fibra. O espaço de fase resultante é analisado quanto às suas estruturas simplética e de Poisson.
5. Aplicação a Yang-Mills: O formalismo é aplicado à teoria de Yang-Mills em uma fatia espacial compactificada com condições de contorno assintóticas. A ação do grupo de gauge é analisada para determinar quais transformações são hamiltonianas (possuem um mapa de momento) e quais não são.

Principais Contribuições e Resultados

• Estrutura do Espaço de Estados Instantâneo:

  • Sob uma condição de contorno de Dirichlet constante, o espaço de estados instantâneo é isomorfo ao fibrado tangente $TQ_b$ do espaço de configuração que satisfaz essa condição de contorno específica (Proposição 3.5).
  • Sob a condição de que apenas a velocidade é nula na fronteira (sem fixar o valor da fronteira), o espaço de estados instantâneo não é um único fibrado tangente, mas sim uma união disjunta (uma "estrutura de setores") de fibrados tangentes: $D = \bigsqcup_{b} TQ_b$ (Corolário 3.6). Cada setor corresponde a uma configuração de fronteira fixa $b$.

• Transformada de Legendre e Estrutura do Espaço de Fase:

  • A transformada de Legendre é rigorosamente definida sobre o fibrado de velocidades admissível $D = \ker(Tr)$. O espaço de fase primário resultante $P$ é uma união disjunta de espaços de fase $P_b \subset T^*Q_b$.
  • O espaço de fase total $P$ não carrega uma estrutura simplética global porque não existem momentos conjugados para as configurações de fronteira. Em vez disso, ele possui uma estrutura de Poisson canônica folheada, onde as folhas simpléticas são os setores individuais $T^*Q_b$ (Observação 4.5).

• Transformações de Gauge e Momento:

  • Em teoria de Yang-Mills, demonstra-se que as transformações de gauge que alteram a configuração de fronteira (mudança de setor) são não-hamiltonianas em relação à estrutura de Poisson em $P$. Elas mapeiam entre diferentes folhas simpléticas e carecem de um mapa de momento clássico porque o momento de fronteira é indefinido nesta formulação.
  • As transformações de gauge que preservam o setor de fronteira (subgrupo estabilizador $G_b$) são hamiltonianas. Seu mapa de momento inclui um termo de fronteira correspondente ao fluxo elétrico.

• Definição do Grupo de Simetria Física:

  • O artigo propõe uma nova definição para o grupo de simetria de fronteira física: $G_{phys} := G_{Ham} / G_{triv}$, onde $G_{Ham}$ são as transformações hamiltonianas que preservam a fronteira e $G_{triv}$ são as triviais (redundantes).
  • Eletromagnetismo ($U(1)$): O grupo de simetria física através de todos os setores é encontrado como sendo isomorfo ao grupo de gauge global $U(1)$, pois transformações constantes preservam todos os setores e carregam momento de fluxo não nulo.
  • Yang-Mills Não-Abeliano: Em uma trivialização de fronteira, o grupo de simetria física através de todos os setores é trivial (o centro da álgebra de Lie), a menos que restrições específicas (como configurações de fronteira $Ad(G)$-invariantes) sejam impostas, caso em que o grupo global $G$ reemerge.

Significância e Alegações
O artigo afirma fornecer uma base geométrica rigorosa para compreender como as fronteiras interagem com a formulação instantânea de teorias de campos, especificamente esclarecendo a relação entre decomposições 3+1, a transformada de Legendre e fluxos de fronteira.

A principal significância reside em demonstrar que, quando os valores de fronteira não são fixos, o espaço de estados naturalmente se decompõe em setores, levando a um espaço de fase com uma estrutura de Poisson folheada em vez de uma estrutura simplética global. Esta percepção estrutural explica por que transformações de gauge de "mudança de setor" (aquelas que alteram a conexão de fronteira) não podem ser geradas por funções hamiltonianas nesta formulação. Consequentemente, o artigo argumenta que as simetrias de fronteira físicas devem ser restritas àquelas que são hamiltonianas (isto é, aquelas que preservam o setor e carregam um mapa de momento). Isso redefine a compreensão das simetrias assintóticas, distinguindo-as de transformações que meramente deslocam entre setores de superseleção sem um observável físico correspondente (momento).

Os resultados são apresentados como uma generalização do trabalho anterior (especificamente [9]) para a total generalidade das condições de contorno de velocidade nula, oferecendo uma imagem geométrica mais clara dos setores de superseleção de fluxo e do papel dos modos de borda na ausência de variáveis conjugadas de fronteira.