Anomaly cancellation for two $U(1)$ factors

Resumen Técnico: Cancelación de Anomalías para dos factores $U(1)$

Planteamiento del Problema
Este artículo aborda el problema de la cancelación de anomalías locales en teorías de campos cuánticos de gauge en cuatro dimensiones donde el álgebra de Lie de gauge contiene un sumando abeliano de rango $K \ge 1$. Específicamente, los autores se centran en el caso donde el grupo de gauge incluye dos factores $U(1)$ (rango $K=2$), potencialmente acompañados de un sumando semisimple. El desafío central consiste en resolver un sistema de ecuaciones polinómicas cúbicas homogéneas en enteros (que representan las cargas de los fermiones) para encontrar todas las configuraciones libres de anomalías. Mientras que el caso de un solo factor $U(1)$ ($K=1$) ha sido mapeado con éxito al hallazgo de puntos racionales en una hipersuperficie cúbica, el caso de mayor rango presenta un problema algebraico más formidable que involucra múltiples ecuaciones cúbicas que generalmente definen una variedad proyectiva que no es una cúbica ni una hipersuperficie.

Metodología
Los autores reformulan las condiciones de cancelación de anomalías utilizando herramientas de la geometría algebraica y aritmética.

1. Reformulación Geométrica: Demuestran que resolver las condiciones de cancelación de anomalías para una teoría de gauge con $K$ factores abelianos es equivalente a encontrar subespacios lineales proyectivos de dimensión $(K-1)$ (por ejemplo, rectas para $K=2$) que yacen en una hipersuperficie cúbica específica $X$. Esta hipersuperficie está determinada por los datos del sumando semisimple y las representaciones de los fermiones de Weyl.
2. Variedades de Fano: El conjunto de estos subespacios lineales forma una variedad conocida como la variedad de Fano de subespacios lineales, denotada como $F_{K-1}(X)$. Los autores utilizan la teoría de las variedades de Fano para analizar la estructura del espacio de soluciones.
3. Estudio de Caso ($K=2$): El artículo se centra en el caso de rango 2, donde el problema se reduce a encontrar rectas en una hipersuperficie cúbica.
   • Superficies Cúbicas: Para teorías con menos fermiones o representaciones semisimples específicas (por ejemplo, $SU(2) \oplus U(1) \oplus U(1)$), la hipersuperficie es una superficie cúbica. Los autores emplean la incrustación de Plücker del Grassmanniano para resolver explícitamente las rectas en estas superficies, distinguiendo entre soluciones racionales y no racionales.
   • Primal Cúbica de Segre: Para el caso puro de $U(1) \oplus U(1)$ más simple con seis fermiones, la hipersuperficie relevante es la variedad cúbica de Segre (Segre cubic primal 3-fold) en $\mathbb{P}^4$. Los autores analizan la variedad de Fano de rectas en esta variedad cúbica 3-fold singular utilizando dos enfoques distintos:
     • Cubierta Afín: Construcción de una cubierta afín del Grassmanniano $G(1,4)$ para resolver las ecuaciones cuadráticas que definen las rectas.
     • Equivalencia Biracional: Utilización del mapa de Richmond, una equivalencia biracional entre $\mathbb{P}^3$ y la cúbica de Segre, para mapear rectas en $\mathbb{P}^3$ a rectas en la cúbica de Segre.

Resultos Clave

1. Estructura de las Soluciones para $U(1)^2$ (Seis Fermiones): La variedad de Fano de rectas en la cúbica de Segre es reducible y consta de 21 componentes irreducibles, todos de dimensión 2:
   • 15 Componentes Planas: Corresponden a las 15 rectas en los planos no quirales de la cúbica de Segre. Son isomorfas a planos proyectivos y producen soluciones de fermiones no quirales.
   • 6 Componentes de Del Pezzo: Corresponden a soluciones quirales. Cada una es isomorfa a una superficie de Del Pezzo partida de grado 5 (un soplado de $\mathbb{P}^2$ en cuatro puntos racionales).
2. Racionalidad y Parametrización: Todos los 21 componentes son variedades racionales. Esto permite la parametrización explícita de casi todas las soluciones (un conjunto abierto denso) utilizando parámetros racionales. Los autores proporcionan mapas biracionales de $\mathbb{P}^2$ a los componentes de Del Pezzo, lo que permite la generación de familias infinitas de soluciones quirales.
3. Distribución de las Soluciones: Los puntos racionales en los componentes de Del Pezzo son densos en la topología de Zariski y en la topología euclidiana. La distribución asintótica de los puntos racionales de altura acotada sigue la conjetura de Manin, escalando como $B(\log B)^4$.
4. Intersecciones Quirales vs. No Quirales: Los autores explican el fenómeno donde una solución es quiral con respecto al álgebra completa $U(1) \oplus U(1)$ pero no quiral con respecto a los factores $U(1)$ individuales. Esto ocurre porque las rectas quirales (que yacen en los componentes de Del Pezzo) intersectan los planos no quirales. Una recta quiral genérica intersecta cinco planos distintos, produciendo 10 pares específicos de puntos que corresponden a tales soluciones de quiralidad mixta.
5. Limitaciones de Métodos Previos: El artículo aclara que el método de "rectas a través de puntos" utilizado en trabajos previos para casos puros de $U(1)$ no se generaliza directamente a rangos superiores sin el marco geométrico de las variedades de Fano, ya que no se garantiza que encontrar rectas a través de un punto genérico en una hipersuperficie cúbica sobre $\mathbb{Q}$ produzca soluciones.

Significancia y Reivindicaciones
El artículo afirma proporcionar una caracterización geométrica completa de las condiciones de cancelación de anomalías para teorías de gauge $U(1) \oplus U(1)$ con seis fermiones. Al identificar el espacio de soluciones con la variedad de Fano de rectas en la cúbica de Segre, los autores transforman un problema numérico difícil en uno geométrico tratable.

• Completitud: El trabajo recupera resultados previos (como en [6]) respecto a la existencia de seis familias de soluciones, pero va más allá al demostrar que estas familias corresponden a los seis componentes de Del Pezzo y proporcionando parametrizaciones explícitas para todas las soluciones dentro de ellos.
• Generalidad: El formalismo se presenta como aplicable a cualquier número de sumandos $U(1)$, aunque la complejidad aumenta con el rango.
• Perspectiva Futura: Los autores señalan modestamente que, si bien sus métodos tienen éxito para la cúbica de Segre singular, anticipan dificultades significativas para hipersuperficies cúbicas suaves de mayor dimensión (por ejemplo, $U(1)^2$ con siete fermiones). En esos casos, se espera que la variedad de Fano de rectas sea una variedad irracional (por ejemplo, una cuatroforma hiperkähler), donde los puntos racionales pueden no ser densos en Zariski, lo que sugiere que las soluciones libres de anomalías podrían ser escasas y más difíciles de encontrar.

El artículo no propone nuevas aplicaciones experimentales, sino que enfatiza la utilidad de la geometría algebraica para clasificar y generar sistemáticamente teorías de campos cuánticos consistentes.