Essa é uma combinação muito interessante e, diferentemente de algumas das anteriores, ela ataca um problema bastante concreto. Há uma complementaridade clara entre AQFT e a teoria das regularity structures, desenvolvida por Martin Hairer.
As duas abordagens tratam aspectos diferentes da QFT:
AQFT organiza a teoria em termos de observáveis, localidade, causalidade e axiomas.
Regularity structures fornecem uma ferramenta analítica para dar sentido a equações estocásticas singulares (SPDEs) e aos problemas de renormalização associados.
Em outras palavras:
AQFT responde à pergunta: qual é a estrutura conceitual da teoria?
Regularity structures respondem: como construir rigorosamente os objetos singulares que aparecem nessa teoria?
O ponto de contato
Um dos grandes desafios da AQFT construtiva é demonstrar que determinadas teorias de campos realmente existem de forma não perturbativa.
Por exemplo:
\(\phi^4_3\)
\(\phi^4_2\)
teoria de Yang–Mills (ainda em aberto em 4D)
As regularity structures foram criadas justamente para controlar singularidades extremamente severas.
Embora tenham sido desenvolvidas para SPDEs, elas estão intimamente ligadas à renormalização de campos quânticos.
---
Renormalização
Existe uma conexão profunda.
Na AQFT perturbativa (pAQFT), a renormalização é feita por métodos como:
Epstein–Glaser;
produtos temporais;
extensão de distribuições;
abordagem causal.
Nas regularity structures, a renormalização aparece como uma transformação no espaço dos modelos.
Surpreendentemente, ambas acabam envolvendo estruturas algébricas semelhantes.
Em particular:
álgebras de Hopf;
combinatória de árvores;
florestas;
contrações.
Essas conexões foram fortalecidas por trabalhos de Hairer e David Kelly, Christian Brouder, Alain Chandra e outros.
---
Estruturas algébricas
A AQFT já utiliza ferramentas sofisticadas como:
categorias;
álgebras C*;
álgebras de von Neumann;
teoria modular.
As regularity structures introduzem outra camada:
árvores decoradas;
modelos abstratos;
grupos de renormalização;
reconstrução de distribuições.
Esses dois mundos parecem bastante compatíveis.
---
Construção de teorias
Uma possível divisão de trabalho seria:
Regularity Structures:
constrói campos singulares;
controla ultravioleta;
realiza renormalização.
AQFT:
organiza os observáveis;
garante causalidade;
define estados;
estabelece propriedades físicas.
Assim, uma teoria poderia primeiro ser construída analiticamente via regularity structures e depois reinterpretada como uma AQFT.
---
Gravidade semiclássica
Essa combinação também pode ser útil em espaço-tempo curvo.
Muitas equações estocásticas relevantes em cosmologia e gravidade semiclássica apresentam singularidades semelhantes às estudadas por Hairer.
Uma versão covariante das regularity structures poderia fornecer ferramentas para tratar essas singularidades, enquanto a AQFT garantiria consistência causal e covariância local.
Esse é um tema de pesquisa ainda em desenvolvimento.
---
Um possível programa unificado
Conceitualmente, o fluxo poderia ser:
SPDE singular
↓
Regularity Structure
↓
Renormalização rigorosa
↓
Campo quântico bem definido
↓
AQFT
↓
Observáveis locais
↓
Estados físicos
Nesse esquema, as regularity structures resolvem o problema analítico, enquanto a AQFT resolve o problema axiomático.
Limitações
Há, porém, diferenças importantes.
As regularity structures foram desenvolvidas principalmente para teorias em tempo euclidiano e para SPDEs estocásticas. A AQFT, por outro lado, é formulada diretamente em espaço-tempo Lorentziano, onde causalidade é central. Transportar todas as técnicas de Hairer para o contexto lorentziano não é imediato e constitui um desafio técnico relevante.
Além disso, as regularity structures lidam com a existência e renormalização de soluções de equações singulares; elas não fornecem, por si sós, uma teoria de observáveis, estados, localidade ou superseleção. Esses aspectos permanecem no domínio da AQFT.
Perspectiva
Entre as combinações que você levantou, esta me parece uma das mais promissoras do ponto de vista matemático. Ela une duas abordagens rigorosas e complementares:
AQFT fornece a arquitetura conceitual e física da teoria quântica de campos.
Regularity structures oferecem ferramentas poderosas para construir e controlar objetos altamente singulares que surgem na renormalização.
Se essa integração for desenvolvida plenamente, ela pode contribuir para um dos objetivos centrais da QFT construtiva: demonstrar a existência de teorias de campos interagentes em dimensões mais altas com um nível de rigor comparável ao já alcançado para teorias livres e modelos de baixa dimensão. Embora isso ainda esteja longe de resolver problemas como Yang–Mills em 4D, a combinação amplia significativamente o arsenal matemático disponível para enfrentá-los.
