1. Introdução: O que são os Problemas do Milênio
Em 2000, o Instituto Clay de Matemática ofereceu um prêmio de 1 milhão de dólares para cada um de sete problemas não resolvidos extremamente importantes da matemática. Eles são chamados de Problemas do Milênio. Entre eles estão a famosa “Hipótese de Riemann” e o “Problema P versus NP”, mas há um problema profundamente relacionado com a física. Trata-se das “Equações de Yang-Mills e a Lacuna de Massa” (Yang-Mills and Mass Gap).
Este problema visa estabelecer a base matemática do “Modelo Padrão” da física de partículas, que descreve as forças fundamentais da natureza. O comportamento da matéria e das forças que compõem o nosso mundo foi confirmado experimentalmente com altíssima precisão, mas prová-lo rigorosamente de forma matemática continua sendo um dos maiores desafios da matemática moderna.
Neste artigo, nos aprofundaremos e explicaremos o que é a teoria de Yang-Mills e o que significa o problema da lacuna de massa.
2. A Teoria de Calibre na Física
Para entender a teoria de Yang-Mills, precisamos primeiro saber sobre a Teoria de Calibre (Gauge Theory). Na física, uma teoria de calibre é uma teoria que possui a propriedade de que a forma das equações não muda (é invariante) sob certas transformações (transformações de calibre).
Eletromagnetismo e a Teoria de Calibre Abeliana
A teoria de calibre mais familiar é o eletromagnetismo. As equações de Maxwell, formuladas por James Clerk Maxwell, descrevem o comportamento dos campos elétrico e magnético. A Eletrodinâmica Quântica (QED), que trata isso na estrutura da mecânica quântica, é chamada de Teoria de Calibre U(1).
Aqui, uma quantidade chamada fase desempenha um papel importante. Mesmo que a fase da função de onda do elétron seja alterada independentemente em cada ponto do espaço (transformação de calibre local), as grandezas físicas observáveis não mudam. Para manter essa invariância, introduz-se um campo de calibre, e o campo de calibre no eletromagnetismo corresponde ao fóton (partícula de luz). Como o grupo U(1) é um grupo abeliano (o resultado é o mesmo mesmo que a ordem das operações seja invertida), a QED é chamada de teoria de calibre abeliana.
Teoria de Calibre Não-Abeliana: O Nascimento da Teoria de Yang-Mills
Em 1954, Chen-Ning Yang e Robert Mills estenderam a QED baseada em grupos abelianos e propuseram uma teoria de calibre baseada em grupos não-abelianos (onde a inversão da ordem das operações altera o resultado). Esta é a Teoria de Yang-Mills.
Inicialmente, eles construíram a teoria baseada na simetria de isospin SU(2) para explicar a “força forte” que une prótons e nêutrons. Posteriormente, essa teoria evoluiu para se tornar a teoria fundamental do modelo padrão da física de partículas. O modelo padrão atual baseia-se em teorias de calibre não-abelianas, onde a Cromodinâmica Quântica (QCD), que descreve a força forte, é SU(3), e a teoria eletrofraca, que unifica a força fraca e a eletromagnética, é SU(2) × U(1).
A densidade lagrangiana da teoria de Yang-Mills é escrita da seguinte forma:
$$ \mathcal{L} = -\frac{1}{4} F_{\mu\nu}^a F^{a\mu\nu} $$Aqui, $ F_{\mu\nu}^a $ é a intensidade do campo (tensor de curvatura), e é definido usando o campo de calibre $ A_\mu^a $ da seguinte forma:
$$ F_{\mu\nu}^a = \partial_\mu A_\nu^a - \partial_\nu A_\mu^a + g f^{abc} A_\mu^b A_\nu^c $$$ g $ é a constante de acoplamento e $ f^{abc} $ são as constantes de estrutura da álgebra de Lie. Por ser uma teoria não-abeliana, aparece o último termo não linear, que dá origem à propriedade peculiar de que o próprio campo de calibre interage.
graph TD
A["Teoria de Calibre"] -->|"Extensão"| B["Teoria de Yang-Mills"]
B -->|"Simetria SU(3)"| C["Cromodinâmica Quântica (QCD)"]
B -->|"Simetria SU(2)xU(1)"| D["Teoria Eletrofraca"]
C -->|"Interação Forte"| E["Modelo Padrão"]
D -->|"Interação Eletromagnética e Fraca"| E
3. O que é a Lacuna de Massa
A teoria de Yang-Mills tem sido notavelmente bem-sucedida na física de partículas. O acordo com os resultados experimentais é extremamente bom. No entanto, quando se tenta tratar a teoria matematicamente de forma rigorosa, esbarra-se num grande obstáculo. Esse é o problema da Lacuna de Massa (Mass Gap).
Bósons de Calibre de Massa Zero na Teoria Clássica
Ao resolver as equações clássicas de Yang-Mills, assim como os fótons no eletromagnetismo, a massa da partícula mediadora da força (bóson de calibre) passa a ser zero. Na verdade, as ondas eletromagnéticas nas equações de Maxwell têm massa zero e se propagam à velocidade da luz.
Se os glúons, que medeiam a força forte, tivessem massa zero, a força forte também deveria atuar a longas distâncias, assim como a força eletromagnética. Porém, no mundo físico real, a força forte só atua em distâncias extremamente curtas, na ordem do núcleo atômico. Isso significa que as partículas que medeiam a força efetivamente possuem massa (ou têm um efeito equivalente).
Confinamento de Cor e Lacuna de Massa
Na Cromodinâmica Quântica (QCD), os quarks e glúons não podem ser isolados e são sempre observados como um estado onde múltiplas partículas se agrupam e a cor (carga de cor) é neutralizada (hádron). Isso é chamado de Confinamento de Cor (Color Confinement).
Mesmo que a massa dos quarks e glúons seja zero, os hádrons (como prótons e mésons) formados por sua forte ligação têm massa finita. Quando a energia do estado de vácuo da teoria (o estado de menor energia) é definida como zero, a energia do próximo estado de energia mais baixa (o primeiro estado excitado, ou seja, a partícula mais leve) é $ \Delta > 0 $. Este $ \Delta $ é chamado de Lacuna de Massa.
A declaração formal do “Problema de Yang-Mills e a Lacuna de Massa” entre os problemas do prêmio do milênio em matemática é aproximadamente a seguinte:
Prove matematicamente de forma rigorosa que para qualquer grupo de calibre simples compacto $ G $, existe uma teoria quântica não trivial de Yang-Mills em $ \mathbb{R}^4 $ e que ela possui uma lacuna de massa finita $ \Delta > 0 $.
graph LR
A["Estado de Vácuo (E=0)"] -->|"Lacuna de Massa Δ"| B["Primeiro Estado Excitado (Massa > 0)"]
B -->|"Maior Energia"| C["Hadrons Mais Pesados"]
style A fill:#111,stroke:#0f0,stroke-width:2px,color:#0f0
style B fill:#111,stroke:#f00,stroke-width:2px,color:#f00
4. Dificuldades Matemáticas: Teoria Quântica de Campos Construtiva
Os físicos extraem muitas previsões físicas da teoria de Yang-Mills usando diagramas de Feynman e técnicas de grupo de renormalização. No entanto, estes baseiam-se na teoria de perturbação (um método de cálculo aproximado assumindo que as interações são fracas) e carecem de rigor matemático. Particularmente na região de baixa energia (onde a constante de acoplamento se torna grande), a teoria das perturbações falha, tornando impossível provar a lacuna de massa ou o confinamento.
O campo que constrói uma teoria quântica de campos matematicamente rigorosa é chamado de Teoria Quântica de Campos Construtiva (Constructive Quantum Field Theory). Embora construções rigorosas tenham sido feitas para alguns modelos no espaço-tempo de 2 ou 3 dimensões, ninguém obteve sucesso na construção rigorosa de uma teoria de calibre não-abeliana (teoria de Yang-Mills) no espaço-tempo real de 4 dimensões.
Axiomas de Wightman
Como estruturas para tratar campos quânticos de forma matematicamente rigorosa, são conhecidos os Axiomas de Wightman (Wightman axioms) e os Axiomas de Osterwalder-Schrader (Osterwalder-Schrader axioms). Estes estabelecem como axiomas as propriedades que os campos quânticos devem satisfazer (covariância de Poincaré, comutatividade local, condição espectral, etc.).
A fim de resolver o problema do milênio, primeiro é necessário mostrar que a teoria de Yang-Mills existe como um objeto matemático rigoroso que satisfaz esses axiomas e, em seguida, provar que existe uma lacuna no limite inferior do espectro (autovalores de energia) (lacuna de massa).
5. A Abordagem da Teoria de Calibre na Rede
Como um passo em direção a uma prova rigorosa, uma técnica frequentemente usada pelos físicos é a Teoria de Calibre na Rede (Lattice Gauge Theory). Este é um método de formular a teoria discretizando o espaço-tempo contínuo em uma grade ou rede.
Proposto por Kenneth Wilson em 1974, este método consegue evitar naturalmente o problema das divergências ao infinito (regularização). Através de simulações de Monte Carlo usando computadores, o espectro de massa dos hádrons é calculado no âmbito da teoria de calibre na rede, e a existência de uma lacuna de massa finita é fortemente sustentada numericamente.
$$ S_W = \beta \sum_{P} \left( 1 - \frac{1}{N_c} \text{Re} \text{Tr} U_P \right) $$Aqui, $ U_P $ é a holonomia do campo de calibre ao longo de um plaquete (o menor quadrado da rede), e $ \beta $ é um parâmetro relacionado à constante de acoplamento.
No entanto, só porque foi demonstrado numericamente em simulações, não significa que uma prova matemática no espaço-tempo contínuo tenha sido obtida. É extremamente difícil controlar de forma rigorosa o processo de tomar o limite à medida que o espaçamento da rede tende a zero (limite contínuo).
6. Conclusão e Perspectivas Futuras
As equações de Yang-Mills e o problema da lacuna de massa estão situados na área mais profunda e desafiadora onde a física moderna e a matemática moderna se cruzam. Embora os físicos já estejam usando esta teoria para desvendar os mistérios do universo, os matemáticos ainda não conseguiram provar que a gramática desta “linguagem” subjacente está correta.
Se este problema for resolvido, uma poderosa estrutura matemática para a nossa compreensão do universo será completada. Simultaneamente, será um evento marcante na abertura de um novo campo na matemática. Embora uma pista decisiva para a solução ainda não tenha sido encontrada, muitos gênios continuam a desafiar esse problema do milênio.
As Equações de Yang-Mills, que descrevem as forças fundamentais do universo, e a Lacuna de Massa, que lhes confere massa. O mundo aguarda ansiosamente o dia em que o segredo matemático oculto entre esses dois seja revelado.