Anomaly cancellation for two $U(1)$ factors

Resumo Técnico: Cancelamento de Anomalias para Dois Fatores $U(1)$

Enunciado do Problema
Este artigo aborda o problema do cancelamento de anomalias locais em teorias de campo quântico de calibre em quatro dimensões onde a álgebra de Lie de calibre contém um somando abeliano de posto $K \ge 1$. Especificamente, os autores focam no caso em que o grupo de calibre inclui dois fatores $U(1)$ (posto $K=2$), potencialmente acompanhados por um somando semissimples. O desafio central é resolver um sistema de equações polinomiais cúbicas homogêneas em inteiros (representando as cargas dos férmions) para encontrar todas as configurações livres de anomalias. Enquanto o caso de um único fator $U(1)$ ($K=1$) foi mapeado com sucesso para a busca de pontos racionais em uma hipersuperfície cúbica, o caso de posto superior apresenta um problema algébrico mais formidável, envolvendo múltiplas equações cúbicas que geralmente definem uma variedade projetiva que não é nem uma cúbica nem uma hipersuperfície.

Metodologia
Os autores reformulam as condições de cancelamento de anomalia utilizando ferramentas de geometria algébrica e aritmética.

1. Reformulação Geométrica: Eles demonstram que resolver as condições de cancelamento de anomalia para uma teoria de calibre com $K$ fatores abelianos é equivalente a encontrar subespaços lineares projetivos de dimensão $(K-1)$ (por exemplo, retas para $K=2$) contidos em uma hipersuperfície cúbica específica $X$. Esta hipersuperficie é determinada pelos dados do somando semissimples e das representações dos férmions de Weyl.
2. Variedades de Fano: O conjunto desses subespaços lineares forma uma variedade conhecida como a variedade de Fano de subespaços lineares, denotada por $F_{K-1}(X)$. Os autores utilizam a teoria das variedades de Fano para analisar a estrutura do espaço de soluções.
3. Estudo de Caso ($K=2$): O artigo foca no caso de posto-2, onde o problema se reduz à busca de retas em uma hipersuperfície cúbica.
   • Superfícies Cúbicas: Para teorias com menos férmions ou representações semissimples específicas (ex: $SU(2) \oplus U(1) \oplus U(1)$), a hipersuperfície é uma superfície cúbica. Os autores empregam o embutimento de Plücker da Grassmanniana para resolver explicitamente as retas nessas superfícies, distinguindo entre soluções racionais e não racionais.
   • Primal Cúbica de Segre: Para o caso puro $U(1) \oplus U(1)$ mais simples e não trivial com seis férmions, a hipersuperfície relevante é a 3-variedade primal cúbica de Segre em $\mathbb{P}^4$. Os autores analisam a variedade de Fano de retas nesta 3-variedade cúbica singular usando duas abordagens distintas:
     • Cobertura Afim: Construção de uma cobertura afim da Grassmanniana $G(1,4)$ para resolver as equações quadráticas que definem as retas.
     • Equivalência Biracional: Utilização do mapa de Richmond, uma equivalência biracional entre $\mathbb{P}^3$ e a primal cúbica de Segre, para mapear retas em $\mathbb{P}^3$ para retas na 3-variedade cúbica.

Principais Resultados

1. Estrutura das Soluções para $U(1)^2$ (Seis Férmions): A variedade de Fano de retas na primal cúbica de Segre é redutível e consiste em 21 componentes irredutíveis, todas de dimensão 2:
   • 15 Componentes Planares: Estes correspondem a retas contidas nos 15 planos não quirais da primal cúbica de Segre. Eles são isomorfos a planos projetivos e produzem soluções de férmions não quirais.
   • 6 Componentes de Del Pezzo: Estes correspondem a soluções quirais. Cada um é isomorfo a uma superfície de Del Pezzo fendida de grau 5 (um blow-up de $\mathbb{P}^2$ em quatro pontos racionais).
2. Racionalidade e Parametrização: Todos os 21 componentes são variedades racionais. Isso permite a parametrização explícita de quase todas as soluções (um conjunto aberto denso) usando parâmetros racionais. Os autores fornecem mapas biracionais explícitos de $\mathbb{P}^2$ para os componentes de Del Pezzo, permitindo a geração de infinitas famílias de soluções quirais.
3. Distribuição de Soluções: Os pontos racionais nos componentes de Del Pezzo são densos nas topologias de Zariski e euclidiana. A distribuição assintótica de pontos racionais de altura limitada segue a conjectura de Manin, escalando como $B(\log B)^4$.
4. Interseções Quirais vs. Não Quirais: Os autores explicam o fenômeno onde uma solução é quiral em relação à álgebra completa $U(1) \oplus U(1)$, mas não quiral em relação aos fatores $U(1)$ individuais. Isso ocorre porque as retas quirais (contidas nos componentes de Del Pezzo) intersectam os planos não quirais. Uma reta quiral genérica intersecta cinco planos distintos, resultando em 10 pares específicos de pontos que correspondem a tais soluções de quiralidade mista.
5. Limitações de Métodos Anteriores: O artigo esclarece que o método de "retas através de pontos" usado em trabalhos anteriores para casos puros de $U(1)$ não se generaliza diretamente para postos superiores sem o arcabouço geométrico das variedades de Fano, pois a busca por retas através de um ponto genérico em uma hipersuperfície cúbica sobre $\mathbb{Q}$ não garante a obtenção de soluções.

Significância e Alegações
O artigo alega fornecer uma caracterização geométrica completa das condições de cancelamento de anomalia para teorias de calibre $U(1) \oplus U(1)$ com seis férmions. Ao identificar o espaço de soluções com a variedade de Fano de retas na primal cúbica de Segre, os autores transformam um problema numérico-teórico difícil em um problema geométrico tratável.

• Completude: O trabalho recupera resultados anteriores (como em [6]) relativos à existência de seis famílias de soluções, mas vai além ao provar que essas famílias correspondem aos seis componentes de Del Pezzo e ao fornecer parametrizações explícitas para todas as soluções.
• Generalidade: O formalismo é apresentado como aplicável a qualquer número de somandos $U(1)$, embora a complexidade aumente com o posto.
• Perspectiva Futura: Os autores observam modestamente que, embora seus métodos tenham sucesso para a primal cúbica de Segre singular, eles antecipam dificuldades significativas para hipersuperfícies cúbicas suaves de maior dimensão (ex: $U(1)^2$ com sete férmions). Nesses casos, espera-se que a variedade de Fano de retas seja uma variedade irracional (ex: uma quatro-variedade hiperkählera), onde os pontos racionais podem não ser densos em Zariski, sugerindo que as soluções livres de anomalia poderiam ser esparsas e mais difíceis de encontrar.

O artigo não propõe novas aplicações experimentais, mas enfatiza a utilidade da geometria algébrica na classificação e geração sistemática de teorias de campo quântico consistentes.