Por que a prova importa, onde estamos e a linha do tempo

Se a física já funciona, para que um milhão de dólares? A história de Yang–Mills responde com um fato: equações escritas para descrever o interior do próton revelaram, várias vezes, estruturas da matemática pura que ninguém tinha conseguido enxergar por dentro.

Instantons e a matemática pura

Em 1982 Simon Donaldson era aluno de doutorado em Oxford e estudava variedades de quatro dimensões. Michael Freedman acabara de classificar uma grande família delas do ponto de vista topológico, onde formas podem ser esticadas e deformadas; mas dois espaços podem ser topologicamente iguais e ter estruturas suaves diferentes, e em quatro dimensões não havia ferramenta para detectar a diferença. Donaldson encontrou a ferramenta na física: os instantons, soluções especiais das equações clássicas de Yang–Mills em que metade da curvatura se anula. O espaço de todos os instantons de uma variedade guarda informação sobre a própria variedade, e com isso ele provou que muitos espaços topologicamente válidos não admitem as estruturas suaves esperadas. Juntos, os trabalhos de Freedman e Donaldson revelaram algo que só acontece em quatro dimensões: espaços topologicamente idênticos ao R4 comum, mas não suavemente idênticos, os R4 exóticos.

Os instantons de Yang–Mills são conexões euclidianas autoduais com ação 8π2∣k∣/g2, onde k é um número topológico inteiro; a cota de Bogomolny, a solução BPST e os vácuos θ estão derivados abaixo (e o análogo em mecânica quântica em instantons). O fator e−8π2/g2 é o mesmo tipo de efeito invisível em perturbação que Λ, mas o gás de instantons diverge no infravermelho e não dá, sozinho, uma prova de gap.

Euclidiano, SU(2), campo com g absorvido (D=∂−iA), F hermitiano, S=12g2∫tr⁡(FμνFμν). A cota inferior para a ação em cada setor topológico, e por que ela tem a mesma forma e−8π2/g2 da escala Λ.

Dualidade de Hodge F~μν=12ϵμνρσFρσ. Em 4D euclidiano, F~~=F, e tr⁡(F~μνF~μν)=tr⁡(FμνFμν). Decomposição F=F++F−, F±=12(F±F~).

Bogomolny 0≤∫tr⁡(Fμν∓F~μν)2=2∫tr⁡FμνFμν∓2∫tr⁡FμνF~μν ⟹ ∫tr⁡F2≥∣∫tr⁡FF~∣.

A integral é topológica tr⁡(FμνF~μν)=∂μKμ, com Kμ a corrente de Chern–Simons (em formas: tr⁡F∧F=d tr⁡(A∧dA+23A∧A∧A) para A anti-hermitiano). Logo só importa o comportamento em ∣x∣→∞, onde ação finita exige F→0, isto é, A→−i(∂U)U−1 (gauge puro) com U:S∞3→SU(2)≅S3.

Quantização da carga k=116π2∫d4x tr⁡(FμνF~μν)=124π2∫S3ϵijktr⁡(U−1∂iU U−1∂jU U−1∂kU)∈Z (a menos de orientação): o grau da aplicação U, π3(SU(2))=Z. É a segunda classe de Chern c2 do fibrado.

A cota S=12g2∫tr⁡F2 ≥ 12g2⋅16π2∣k∣=8π2∣k∣g2, com igualdade sse F=±F~ (autodual ou anti-autodual). Essas soluções resolvem automaticamente Yang–Mills: DμFμν=±DμF~μν=0 pela identidade de Bianchi. Equação de primeira ordem resolvendo uma de segunda.

BPST (k=1) Com U(x)=x4+i x⋅σ∣x∣ (grau 1): Aμ=x2x2+ρ2 (−i ∂μU)U−1,tr⁡FμνFμν∝ρ4(x2+ρ2)4. Localizado num raio ρ arbitrário: a invariância de escala clássica deixa o tamanho livre. Parâmetros: 4 de posição, 1 de escala, 3 de orientação global = 8 = 8k para k=1 em R4 (enquadrado); em S4, dim⁡Mk=8k−3.

Tunelamento e vácuos θ No gauge temporal, os vácuos clássicos A=−i(∂U)U−1 são rotulados por n∈π3. Um instanton interpola n→n+k, com amplitude ∝e−8π2∣k∣/g2. Os autoestados de energia são ∣θ⟩=∑neinθ∣n⟩,S→S−iθk, um parâmetro novo, invisível em perturbação. (Experimentalmente ∣θ∣≲10−10 em QCD: o problema de CP forte.)

Mesmo mecanismo não perturbativo, mas sem controle e−8π2/g2=e−2π/α tem todas as derivadas nulas em g=0, como Λ. Mas o gás diluído de instantons diverge no IR: a densidade por tamanho vai como dρρ5(ρΛ)b0 (com b0=113N), que cresce com ρ. Instantons grandes dominam exatamente onde a aproximação semiclássica falha; eles não dão, sozinhos, uma prova de confinamento ou de gap.

O caminho para a matemática pura Numa 4-variedade X, o espaço Mk de conexões anti-autoduais módulo gauge é uma variedade de dimensão 8k−3(1−b1+b+). Para X suave, fechada, simplesmente conexa, com forma de interseção definida negativa, M1 é 5-dimensional; seu fim é um colar ≅X×(0,ϵ) (instantons concentrados) e suas singularidades correspondem a conexões redutíveis, contadas por classes e com e⋅e=−1. Um argumento de cobordismo força a forma a ser diagonal (Donaldson, 1983). Com Freedman, existem 4-variedades topológicas sem estrutura suave, e R4 exóticos.

Resultado. S≥8π2∣k∣/g2, k∈Z, igualdade para (anti-)autodualidade; BPST com 8 parâmetros; vácuos θ. Um efeito e−8π2/g2 clássico, exato e topológico, mas cujo gás quântico não é controlado no IR: de novo, a dificuldade mora nas grandes distâncias.

Onde estamos: os obstáculos

O acoplamento é adimensional, as divergências aparecem em todas as ordens e a escala só nasce de efeitos quânticos. Os métodos que construíram teorias em 2D e 3D não bastam.

DA não tem sentido direto. Os campos típicos são distribuições irregulares, como o ruído branco da quantização estocástica.

Fixar o gauge globalmente é impossível (Gribov–Singer). A rede contorna isso, mas a questão reaparece no limite do contínuo.

Λ=μe−8π2/(b0g2) tem todas as derivadas nulas em g=0. Nenhuma ordem finita de perturbação a alcança.

O confinamento de Wilson foi mostrado com acoplamento forte; o contínuo vive no fraco. Creutz mostrou numericamente que não há transição no caminho, mas ninguém provou.

Balaban e MRS controlaram a→0 numa caixa finita; L→∞ continua aberto, e é ali que o gap se decide. Mesmo com a teoria construída, é preciso mostrar que o gap não encolhe a zero quando a caixa cresce e a grade some.

O estado da arte por dimensão

Clique numa célula para ver o que já foi provado em cada dimensão, ao lado do caso do campo escalar ϕ4 para comparação.

O que contaria como solução

Construir, para cada G compacto e simples, funções de correlação de observáveis invariantes de gauge em todo o R4.Provar que satisfazem os axiomas de Osterwalder–Schrader ou de Wightman, ou outros pelo menos tão fortes.Mostrar que a teoria é não trivial, com interação de fato.Mostrar que é Yang–Mills: no ultravioleta reproduz a liberdade assintótica e a teoria de perturbação.Provar que o hamiltoniano reconstruído tem gap Δ>0 acima de um vácuo único.

Linha do tempo

Weyl inventa o “gauge”

Fontes

Roteiro. Voyager, The Million Dollar Theory That No One Can Prove, parte 1: youtube.com/watch?v=HiZ-IFHWOzU (base da primeira metade do módulo). Voyager, How Close Are We To Proving Yang-Mills and Mass Gap?, parte 2: youtube.com/watch?v=0EP_t9yuBiQ (base da segunda metade do módulo). O texto é uma adaptação própria; os resultados de 2026 citados vêm do vídeo e não foram verificados.Para ir mais fundo.A. Jaffe, E. Witten, Quantum Yang–Mills Theory, descrição oficial do problema, Clay Mathematics Institute, 2000.C. N. Yang, R. Mills, Phys. Rev. 96, 191 (1954).D. Gross, F. Wilczek; H. D. Politzer, Phys. Rev. Lett. 30 (1973).K. G. Wilson, Confinement of quarks, Phys. Rev. D 10, 2445 (1974).M. Creutz, Monte Carlo study of quantized SU(2) gauge theory, Phys. Rev. D 21, 2308 (1980).K. Osterwalder, R. Schrader, Commun. Math. Phys. 31 (1973) e 42 (1975).T. Balaban, série sobre grupo de renormalização para teorias de gauge na rede, Commun. Math. Phys. (1983–1989).J. Magnen, V. Rivasseau, R. Sénéor, Construction of YM4 with an infrared cutoff, Commun. Math. Phys. 155 (1993).G. Parisi, Y.-S. Wu, Perturbation theory without gauge fixing, Sci. Sinica 24 (1981).M. Hairer, A theory of regularity structures, Invent. Math. 198 (2014).A. Chandra, I. Chevyrev, M. Hairer, H. Shen, trabalhos sobre Yang–Mills estocástico em 2D e Yang–Mills–Higgs em 3D.S. K. Donaldson, An application of gauge theory to four-dimensional topology, J. Differential Geom. 18 (1983).C. Morningstar, M. Peardon, Phys. Rev. D 60, 034509 (1999).Valores numéricos de glueballs e da tensão da corda são aproximados e citados das referências.