Resumo Técnico: Integração de Teorias de Yang-Mills Curvas

1. Enunciado do Problema

O artigo aborda a formulação matemática das teorias de Yang-Mills curvas, uma generalização da teoria de calibre clássica originalmente introduzida no cenário infinitesimal por Alexei Kotov e Thomas Strobl. Na teoria de calibre clássica, a simetria estrutural é governada por um grupo de Lie $G$ e sua álgebra de Lie $\mathfrak{g}$. A generalização infinitesimal substitui estes por um algebroide de Lie $E \to N$ atuando sobre uma variedade $N$.

O problema específico tratado neste trabalho é a integração destas teorias infinitesimais em um arcabouço global baseado em fibrados principais equipados com ações de Fibrados de Grupos de Lie (LGBs), denotados por $\mathcal{G} \to M$. Diferente dos fibrados principais clássicos onde o grupo estrutural é um grupo de Lie fixo, um LGB atua por fibra: um elemento $g \in \mathcal{G}_x$ atua apenas na fibra $\mathcal{P}_x$ do fibrado principal $\mathcal{P} \to M$.

Esta ação por fibra cria uma obstrução fundamental para a definição de objetos padrão da teoria de calibre:

1. Pushforwards (Empurramentos): O pushforward à direita $R_g$ por um elemento $g \in \mathcal{G}_x$ é definido apenas na fibra $\mathcal{P}_x$. Consequentemente, o pushforward padrão de vetores tangentes (essencial para definir conexões e curvatura) é mal definido para vetores não verticais, pois $R_g$ não atua no espaço total $\mathcal{P}$.
2. Ambiguidade: Para definir um pushforward para vetores horizontais, deve-se estender a ação usando seções locais de $\mathcal{G}$. No entanto, diferentes seções com o mesmo valor em um ponto $x$ produzem diferentes pushforwards, introduzindo uma ambiguidade que deve ser resolvida para definir uma conexão consistente.
3. Curvatura e Compatibilidade: Na teoria infinitesimal, as condições de compatibilidade entre a conexão no algebroide de Lie e a intensidade do campo envolvem uma 2-forma $\zeta$. O artigo busca integrar estas condições globalmente, determinando quando uma conexão em um LGB é "multiplicativa" e como a curvatura do fibrado principal se relaciona com a curvatura da conexão do LGB.

2. Metodologia

O autor constrói a teoria através da generalização sistemática das definições de fibrados principais, conexões e curvaturas para o cenário de LGB.

2.1. Pushforward à Direita Modificado

Para resolver a ambiguidade dos pushforwards, o artigo introduz um pushforward à direita modificado ($\mathcal{R}_g^*$).

• Mecanismo: Em vez de usar uma seção arbitrária para estender a ação, a definição baseia-se em uma distribuição horizontal fixa $H_\mathcal{G}$ no LGB $\mathcal{G}$.
• Definição: Para um vetor tangente $X \in T_p\mathcal{P}$ e $g \in \mathcal{G}_x$, o pushforward é definido via a diferencial da ação $\Phi$ em uma única elevação horizontal $Y \in H_g\mathcal{G}$ do vetor de base $D\pi(X)$.
• Termo de Correção: Esta definição introduz um termo de correção envolvendo a derivada de Darboux ($\Delta_\sigma$) da seção usada para definir a elevação. Mostra-se que o pushforward modificado é independente da escolha da seção $\sigma$, desde que a seção seja horizontal em relação a $H_\mathcal{G}$.

2.2. Conexões Generalizadas

Usando o pushforward modificado, o artigo define conexões de Ehresmann em fibrados principais $\mathcal{G}$.

• Invariância: Uma distribuição horizontal $H_\mathcal{P}$ em $\mathcal{P}$ é uma conexão se for invariante sob o pushforward à direita modificado: $\mathcal{R}_g^*(H_p\mathcal{P}) = H_{p \cdot g}\mathcal{P}$.
• 1-formas de Conexão: Uma 1-forma de conexão $A \in \Omega^1(\mathcal{P}; \pi^*\mathfrak{g})$ é definida se satisfizer a equivariância em relação ao pushforward modificado e atuar como a identidade em vetores verticais.
• Existência: A existência de tais conexões em $\mathcal{P}$ mostra-se equivalente ao fato de a conexão no LGB ser multiplicativa (ou seja, o transporte paralelo em $\mathcal{G}$ atua por automorfismos de grupos de Lie).

2.3. Conexões de Yang-Mills Multiplicativas

O artigo introduz uma classe específica de conexões no próprio LGB $\mathcal{G}$, denominadas conexões de Yang-Mills multiplicativas. Estas são definidas por duas condições:

1. Multiplicatividade: A 1-forma de conexão $\mu_\mathcal{G}$ em $\mathcal{G}$ deve ser uma forma multiplicativa (fechada em relação a uma diferencial simplética $\delta$).
2. Equação de Maurer-Cartan Generalizada: A curvatura da conexão induzida $\nabla_\mathcal{G}$ no fibrado da álgebra de Lie deve satisfazer uma relação específica com $\zeta$. Especificamente, a curvatura $R_{\nabla_\mathcal{G}}$ satisfaz:
   $$R_{\nabla_\mathcal{G}}(X, Y)\mu = [\zeta(X, Y), \mu]_\mathfrak{g}$$
   para todos os campos vetoriais $X, Y$ em $M$ e seções $\mu$ de $\mathfrak{g}$. Esta equação generaliza a clássica equação de Maurer-Cartan ($d\mu + \frac{1}{2}[\mu, \mu] = 0$) para permitir conexões não planas em $\mathcal{G}$, onde $\zeta$ atua como um termo de "curvatura" para a conexão no fibrado da álgebra de Lie.

2.4. Intensidade de Campo Generalizada

A intensidade de campo $F$ de uma conexão $A$ em $\mathcal{P}$ é redefinida para incluir a contribuição da curvatura da base $\zeta$:
$$F = d^{\pi^*\nabla_\mathcal{G}} A + \frac{1}{2}[A \wedge, A] + \pi^*\zeta$$
Aqui, $\nabla_\mathcal{G}$ é a conexão no fibrado da álgebra de Lie $\mathfrak{g}$ induzida pela distribuição horizontal em $\mathcal{G}$. O termo $\pi^*\zeta$ garante que a intensidade do campo se transforme corretamente sob transformações de calibre, mesmo quando a conexão do LGB subjacente é curva.

3. Contribuições Principais e Resultados

3.1. Formalismo de Fibrados Principais de LGB

O artigo fornece uma definição rigorosa de fibrados principais com LGBs estruturais, esclarecendo que o LGB estrutural $\mathcal{G}$ pode ser visto como um próprio fibrado principal $\mathcal{G}$. Estabelece-se uma correspondência biunívoca entre conexões de Ehresmann e 1-formas de conexão neste cenário generalizado, utilizando o pushforward modificado para lidar com a natureza por fibra da ação.

3.2. Integração da Compatibilidade Infinitesimal

O trabalho demonstra que a conexão de Yang-Mills multiplicativa é a integração global das condições de compatibilidade infinitesimal propostas por Kotov e Strobl.

• A condição de que $\nabla_\mathcal{G}$ é uma derivação do colchete de Lie corresponde à multiplicatividade de $\mu_\mathcal{G}$.
• A condição de que a curvatura de $\nabla_\mathcal{G}$ está relacionada a $\zeta$ via a relação de comutador $R_{\nabla_\mathcal{G}}(X, Y)\mu = [\zeta(X, Y), \mu]_\mathfrak{g}$ corresponde à equação de Maurer-Cartan generalizada.

3.3. Invariância de Calibre e Lagrangiana

Uma Lagrangiana de Yang-Mills Curva é construída:
$$\mathcal{L}_{CYM}[A] = -\frac{1}{2} \kappa(F \wedge *F)$$
onde $\kappa$ é uma métrica de fibra Ad-invariante. O artigo prova que esta Lagrangiana é invariante de calibre sob automorfismos de fibrados principais, desde que a conexão em $\mathcal{G}$ satisfaça as condições de Yang-Mills multiplicativas. A inclusão de $\zeta$ na intensidade do campo mostra-se necessária para esta invariância quando $\nabla_\mathcal{G}$ não é plana.

3.4. Redefinições de Campo e "Aplanamento"

O artigo analisa redefinições de campo, transformações da forma $A \to A - \pi^*\lambda$ e $\mu_\mathcal{G} \to \mu_\mathcal{G} + \delta \lambda$.

• Resultado: Estas transformações preservam a física (dinâmica e cinemática) da teoria. Elas podem transformar uma conexão curva em uma plana (uma teoria "pré-clássica") localmente ou se a variedade de base for contratável.
• Limitação: O artigo argumenta que, globalmente, existem exemplos onde a conexão não pode ser achatada. Especificamente, se o LGB for não trivial (por exemplo, o fibrado adjunto de um fibrado principal não plano), a curvatura $\zeta$ pode ser não nula e não pode ser removida por redefinições de campo.

3.5. Classificação e Exemplos

O artigo fornece exemplos concretos de teorias de Yang-Mills curvas que não são equivalentes a teorias clássicas:

• Fibragem de Hopf: O fibrado de grupo interno da fibragem de Hopf $S^7 \to S^4$ (com grupo estrutural $SU(2)$) é apresentado como um exemplo primário. O fibrado adjunto desta fibragem serve como um LGB estrutural para uma teoria de calibre onde a conexão é intrinsecamente curva e não pode ser achatada.
• Grupos sem Centro: O artigo observa que para fibrados de grupos de Lie simples sem centro sobre variedades conexas, existem conexões de Yang-Mills multiplicativas curvas que não são equivalentes às planas.

4. Significância e Alegações

O artigo afirma fornecer a integração global das teorias de calibre de Yang-Mills-Higgs curvas infinitesimais. Sua significância reside em:

1. Generalização: Estende o formalismo padrão da teoria de calibre para incluir fibrados de grupos de Lie estruturais, permitindo grupos de simetria que variam por fibra.
2. Resolução de Ambiguidade: Resolve a dificuldade técnica de definir conexões em fibrados principais com ações de LGB através da introdução do pushforward modificado e da derivada de Darboux.
3. Novos Modelos Físicos: Identifica uma classe de teorias de calibre (especificamente aquelas baseadas em LGBs não triviais como o fibrado adjunto da fibragem de Hopf) que são intrinsecamente curvas. Estas teorias não podem ser reduzidas à teoria de Yang-Mills clássica via redefinições de campo, sugerindo que representam novas estruturas geométricas genuínas.
4. Aplicação Matemática: O autor observa que estas conexões já foram utilizadas para classificar foliações singulares e estudar a quebra de simetria topológica, indicando que o formalismo possui utilidade além da pura teoria de calibre.

O artigo conclui modestamente, reconhecendo que, embora a teoria seja uma reformulação da teoria de calibre clássica em muitos casos locais, as obstruções globais (LGBs não triviais) fornecem um vasto cenário de novos exemplos que não são meros "modelos de brinquedo", mas possuem relevância matemática na classificação de estruturas geométricas.