Anomaly cancellation for two $U(1)$ factors

Technische Samenvatting: Anomalie-annulatie voor twee $U(1)$-factoren

Probleemstelling
Dit artikel behandelt het probleem van lokale anomalie-annulatie in vierdimensionale gauge-kwantumveldentheorieën waarbij de gauge-Lie-algebra een abeliaanse sommand bevat met rang $K \ge 1$. Specifiek richten de auteurs zich op het geval waarbij de gaugegroep twee $U(1)$-factoren bevat (rang $K=2$), potentieel vergezeld door een semisimpele sommand. De kernuitdaging bestaat uit het oplossen van een systeem van homogene kubische polynoomvergelijkingen in gehele getallen (die de fermion-ladingen representeren) om alle anomalievrije configuraties te vinden. Terwijl het geval van een enkele $U(1)$-factor ($K=1$) succesvol in kaart is gebracht als het vinden van rationale punten op een kubische hyperoppervlak, vormt het hogere-rang-geval een veel formidabelere algebraïsche probleemstelling die betrekking heeft op meerdere kubische vergelijkingen die over het algemeen een projectieve variëteit definiëren die noch een kubisch, noch een hyperoppervlak is.

Methodologie
De auteurs herformuleren de voorwaarden voor anomalie-annulatie met behulp van instrumenten uit de algebraïsche en aritmetische meetkunde.

1. Geometrische Herformulering: Zij tonen aan dat het oplossen van de anomalie-annulatievoorwaarden voor een gauge-theorie met $K$ abeliaanse factoren equivalent is aan het vinden van $(K-1)$-dimensionale projectieve lineaire subruimten (bijv. lijnen voor $K=2$) die op een specifiek kubisch hyperoppervlak $X$ liggen. Dit hyperoppervlak wordt bepaald door de data van de semisimpele sommand en de representaties van de Weyl-fermionen.
2. Fano-variëteiten: De verzameling van deze lineaire subruimten vormt een variëteit die bekend staat als de Fano-variëteit van lineaire subruimten, aangeduid als $F_{K-1}(X)$. De auteurs maken gebruik van de theorie van Fano-variëteiten om de structuur van de oplossingsruimte te analyseren.
3. Gevalsstudie ($K=2$): Het artikel richt zich op het rang-2 geval, waarbij het probleem wordt gereduceerd tot het vinden van lijnen op een kubisch hyperoppervlak.
   • Kubische oppervlakken: Voor theorieën met minder fermionen of specifieke semisimpele representaties (bijv. $SU(2) \oplus U(1) \oplus U(1)$), is het hyperoppervlak een kubisch oppervlak. De auteurs gebruiken de Plücker-inbedding van de Grassmanniaan om expliciet lijnen op deze oppervlakken op te lossen, waarbij onderscheid wordt gemaakt tussen rationale en niet-rationale oplossingen.
   • Segre Cubic Primal: Voor het eenvoudigste niet-triviale pure $U(1) \oplus U(1)$-geval met zes fermionen, is het relevante hyperoppervlak de Segre cubic primal 3-fold in $\mathbb{P}^4$. De auteurs analyseren de Fano-variëteit van lijnen op deze singuliere kubische 3-fold via twee verschillende benaderingen:
     • Affiene Overdekking: Het construeren van een affiene overdekking van de Grassmanniaan $G(1,4)$ om de kwadratische vergelijkingen die de lijnen definiëren op te lossen.
     • Birationale Equivalentie: Het gebruik van Richmond's kaart, een birationale equivalentie tussen $\mathbb{P}^3$ en de Segre cubic primal, om lijnen in $\mathbb{P}^3$ te mappen naar lijnen op de Segre cubic primal.

Belangrijkste Resultaten

1. Structuur van Oplossingen voor $U(1)^2$ (Zes Fermionen): De Fano-variëteit van lijnen op de Segre cubic primal is reduceerbaar en bestaat uit 21 irreducibele componenten, die allemaal dimensie 2 hebben:
   • 15 Planaire Componenten: Deze komen overeen met lijnen die binnen de 15 niet-chirale vlakken van de Segre cubic primal liggen. Ze zijn isomorf aan projectieve vlakken en leveren niet-chirale fermion-oplossingen op.
   • 6 Del Pezzo Componenten: Deze komen overeen met chirale oplossingen. Elke component is isomorf aan een gesplitste del Pezzo-oppervlak van graad 5 (een blow-up van $\mathbb{P}^2$ in vier rationale punten).
2. Rationaliteit en Parametrisatie: Alle 21 componenten zijn rationale variëteiten. Dit maakt de expliciete parametrisatie van bijna alle oplossingen (een dichte open verzameling) mogelijk met rationale parameters. De auteurs bieden expliciete birationale afbeeldingen van $\mathbb{P}^2$ naar de del Pezzo-componenten, wat de generatie van oneindige families van chirale oplossingen mogelijk maakt.
3. Distributie van Oplossingen: De rationale punten op de del Pezzo-componenten zijn dicht in de Zariski-topologie en de Euclidische topologie. De asymptotische distributie van rationale punten van begrensde hoogte volgt de conjectuur van Manin, schalend als $B(\log B)^4$.
4. Chirale versus Niet-chirale Intersecties: De auteurs verklaren het fenomeen waarbij een oplossing chiraal is met betrekking tot de volledige $U(1) \oplus U(1)$ algebra, maar niet-chiraal met betrekking tot individuele $U(1)$-factoren. Dit gebeurt omdat chirale lijnen (die op del Pezzo-componenten liggen) de niet-chirale vlakken snijden. Een generieke chirale lijn snijdt vijf verschillende vlakken, wat resulteert in 10 specifieke paren punten die dergelijke oplossingen met gemengde chiraliteit opleveren.
5. Beperkingen van Vorige Methoden: Het artikel verduidelijkt dat de "lijnen door punten"-methode, gebruikt in eerdere werken voor pure $U(1)$-gevallen, niet direct generaliseert naar hogere rangen zonder het geometrische kader van Fano-variëteiten, aangezien het vinden van lijnen door een generiek punt op een kubisch hyperoppervlak over $\mathbb{Q}$ niet gegarandeerd oplossingen oplevert.

Betekenis en Claims
Het artikel claimt een volledige geometrische karakterisering te bieden van de voorwaarden voor anomalie-annulatie voor $U(1) \oplus U(1)$ gauge-theorieën met zes fermionen. Door de oplossingsruimte te identificeren met de Fano-variëteit van lijnen op de Segre cubic primal, transformeren de auteurs een moeilijk getaltheoretisch probleem in een hanteerbaar geometrisch probleem.

• Volledigheid: Het werk herstelt eerdere resultaten (zoals in [6]) betreffende het bestaan van zes families van oplossingen, maar gaat verder door te bewijzen dat deze families overeenkomen met de zes del Pezzo-componenten en door expliciete parametrisaties voor alle oplossingen te bieden.
• Generaliteit: De formalisering wordt gepresenteerd als toepasbaar op elk aantal $U(1)$-sommanden, hoewel de complexiteit toeneemt met de rang.
• Toekomstige Vooruitzichten: De auteurs merken bescheiden op dat hoewel hun methoden succesvol zijn voor de singuliere Segre cubic primal, zij aanzienlijke moeilijkheden verwachten voor gladde kubische hyperoppervlakken van hogere dimensie (bijv. $U(1)^2$ met zeven fermionen). In die gevallen wordt verwacht dat de Fano-variëteit van lijnen een irrationale variëteit zal zijn (bijv. een hyperkähler viervoud), waarbij rationale punten mogelijk niet Zariski-dicht zijn, wat suggereert dat anomalievrije oplossingen schaars en moeilijker te vinden kunnen zijn.

Het artikel stelt geen nieuwe experimentele toepassingen voor, maar benadrukt het nut van algebraïsche meetkunde voor het systematisch classificeren en genereren van consistente kwantumveldentheorieën.