Anomaly cancellation for two $U(1)$ factors

Résumé Technique : Annulation des Anomalies pour deux facteurs $U(1)$

Énoncé du Problème
Cet article traite du problème de l'annulation des anomalies locales dans les théories quantiques des champs de jauge en quatre dimensions où l'algèbre de Lie de jauge contient une somme abélienne de rang $K \ge 1$. Plus précisément, les auteurs se concentrent sur le cas où le groupe de jauge inclut deux facteurs $U(1)$ (rang $K=2$), potentiellement accompagnés d'une somme semi-simple. Le défi central consiste à résoudre un système d'équations polynomiales cubiques homogènes en entiers (représentant les charges des fermions) afin de trouver toutes les configurations exemptes d'anomalies. Alors que le cas d'un seul facteur $U(1)$ ($K=1$) a été cartographié avec succès comme la recherche de points rationnels sur une hypersurface cubique, le cas de rang supérieur présente un problème algébrique plus complexe impliquant plusieurs équations cubiques qui définissent généralement une variété projective qui n'est ni une cubique ni une hypersurface.

Méthodologie
Les auteurs reformulent les conditions d'annulation des anomalies en utilisant les outils de la géométrie algébrique et arithmétique.

1. Reformulation Géométrique : Ils démontrent que la résolution des conditions d'annulation des anomalies pour une théorie de jauge avec $K$ facteurs abéliens est équivalente à la recherche de sous-espaces linéaires projectifs de dimension $(K-1)$ (par exemple, des droites pour $K=2$) contenus dans une hypersurface cubique spécifique $X$. Cette hypersurface est déterminée par les données de la somme semi-simple et des représentations des fermions de Weyl.
2. Variétés de Fano : L'ensemble de ces sous-espaces linéaires forme une variété connue sous le nom de variété de Fano des sous-espaces linéaires, notée $F_{K-1}(X)$. Les auteurs utilisent la théorie des variétés de Fano pour analyser la structure de l'espace de solutions.
3. Étude de Cas ($K=2$) : L'article se concentre sur le cas de rang 2, où le problème se réduit à la recherche de droites sur une hypersurface cubique.
   • Surfaces Cubiques : Pour les théories avec moins de fermions ou des représentations semi-simples spécifiques (par exemple, $SU(2) \oplus U(1) \oplus U(1)$), l'hypersurface est une surface cubique. Les auteurs emploient l'immersion de Plücker de la Grassmannienne pour résoudre explicitement les droites sur ces surfaces, en distinguant les solutions rationnelles des solutions non rationnelles.
   • Primal Cubique de Segre : Pour le cas pur $U(1) \oplus U(1)$ le plus simple avec six fermions, l'hypersurface pertinente est le 3-vide primal cubique de Segre dans $\mathbb{P}^4$. Les auteurs analysent la variété de Fano des droites sur ce 3-vide cubique singulier en utilisant deux approches distinctes :
     • Recouvrement Affine : Construction d'un recouvrement affine de la Grassmannienne $G(1,4)$ pour résoudre les équations quadratiques définissant les droites.
     • Équivalence Birationnelle : Utilisation de la carte de Richmond, une équivalence birationnelle entre $\mathbb{P}^3$ et le primal cubique de Segre, pour projeter les droites de $\mathbb{P}^3$ vers les droites sur le 3-vide cubique.

Résultats Clés

1. Structure des Solutions pour $U(1)^2$ (Six Fermions) : La variété de Fano des droites sur le primal cubique de Segre est réductible et se compose de 21 composantes irréductibles, toutes de dimension 2 :
   • 15 Composantes Planaires : Elles correspondent aux droites contenues dans les 15 plans non-chiraux du primal cubique de Segre. Elles sont isomorphes à des plans projectifs et produisent des solutions de fermions non-chiraux.
   • 6 Composantes de Del Pezzo : Elles correspondent à des solutions chirales. Chacune est isomorphe à une surface de Del Pezzo scindée de degré 5 (un épanouissement de $\mathbb{P}^2$ par l'éclatement de quatre points rationnels).
2. Rationalité et Paramétrage : Les 21 composantes sont des variétés rationnelles. Cela permet le paramétrage explicite de presque toutes les solutions (un ensemble ouvert dense) à l'aide de paramètres rationnels. Les auteurs fournissent des applications birationnelles explicites de $\mathbb{P}^2$ vers les composantes de Del Pezzo, permettant la génération de familles infinies de solutions chirales.
3. Distribution des Solutions : Les points rationnels sur les composantes de Del Pezzo sont denses dans la topologie de Zariski et la topologie euclidienne. La distribution asymptotique des points rationnels de hauteur bornée suit la conjecture de Manin, suivant une échelle en $B(\log B)^4$.
4. Intersections Chirales vs Non-Chirales : Les auteurs expliquent le phénomène où une solution est chirale par rapport à l'algèbre complète $U(1) \oplus U(1)$ mais non-chirale par rapport aux facteurs $U(1)$ individuels. Cela se produit car les droites chirales (situées sur les composantes de Del Pezzo) intersectent les plans non-chiraux. Une droite chirale générique intersecte cinq plans distincts, produisant 10 paires de points spécifiques qui correspondent à de telles solutions de chiralité mixte.
5. Limites des Méthodes Précédentes : L'article précise que la méthode des « droites passant par des points » utilisée dans les travaux antérieurs pour les cas de $U(1)$ pur ne se généralise pas directement aux rangs supérieurs sans le cadre géométrique des variétés de Fano, car la recherche de droites passant par un point générique sur une hypersurface cubique sur $\mathbb{Q}$ ne garantit pas l'obtention de solutions.

Signification et Revendications
L'article affirme fournir une caractérisation géométrique complète des conditions d'annulation des anomalies pour les théories de jauge $U(1) \oplus U(1)$ avec six fermions. En identifiant l'espace de solutions avec la variété de Fano des droites sur le primal cubique de Segre, les auteurs transforment un problème de théorie des nombres difficile en un problème géométrique traitable.

• Complétude : Ce travail récupère les résultats précédents (tels que ceux de [6]) concernant l'existence de six familles de solutions, mais va plus loin en prouvant que ces familles correspondent aux six composantes de Del Pezzo et en fournissant des paramétrages explicites pour toutes les solutions au sein de celles-ci.
• Généralité : Le formalisme est présenté comme applicable à tout nombre de sommes $U(1)$, bien que la complexité augmente avec le rang.
• Perspectives : Les auteurs notent modestement que si leurs méthodes réussissent pour le primal cubique de Segre singulier, ils anticipent des difficultés significatives pour les hypersurfaces cubiques lisses de dimension supérieure (par exemple, $U(1)^2$ avec sept fermions). Dans ces cas, la variété de Fano des droites devrait être une variété irrationnelle (par exemple, une quatre-variété hyperkählérienne), où les points rationnels pourraient ne pas être denses dans Zariski, suggérant que les solutions exemptes d'anomalies pourraient être rares et plus difficiles à trouver.

L'article ne propose pas de nouvelles applications expérimentales mais souligne l'utilité de la géométrie algébrique pour classifier et générer systématiquement des théories quantiques cohérentes.