Uniform irreducibility of Galois action on the $\ell$-primary part of Abelian $3$-folds of Picard type

Resumen Técnico: Irreducibilidad Uniforme de la Acción de Galois en la Parte ℓ-Primaria de 3-Folios Abelianos de Tipo Picard

1. Planteamiento del Problema

El trabajo se sitúa en el contexto de la teoría de números y la geometría aritmética, buscando generalizar un resultado clásico de Yuri Manin (1970).

• El problema original: Manin demostró que, dado un cuerpo de números $k$ y un primo $\ell$, existe una cota uniforme $r(\ell, k)$ tal que para cualquier curva elíptica $E$ sobre $k$ sin multiplicación compleja (no-CM), el grupo de torsión $E[\ell^r]$ no contiene una línea $k$-racional (es decir, la imagen de la representación de Galois no está contenida en un subgrupo de Borel).
• La generalización: Los autores extienden este resultado a familias bidimensionales de 3-folios abelianos de tipo Picard. Estos son variedades abelianas de dimensión 3 con multiplicación por el anillo de enteros $\mathcal{O}_M$ de un cuerpo cuadrático imaginario $M$.
• El desafío: A diferencia de las curvas elípticas (familias unidimensionales) o superficies abelianas (que a menudo se reducen a curvas modulares o tienen $H^1$ trivial), los 3-folios de tipo Picard están parametrizados por superficies modulares de Picard (variedades de Shimura de dimensión 2). El objetivo es probar la irreducibilidad uniforme de la acción de Galois en la parte $\ell$-primaria de la torsión para estas familias, demostrando que no existen "banderas completas" $k$-racionales en $A[\ell^r]$ para $r$ suficientemente grande.

2. Metodología y Estrategia

La prueba combina técnicas profundas de teoría de representaciones automorfas, geometría algebraica y teoría de Galois. La estrategia se divide en varios pasos críticos:

A. Estructura de las Representaciones Automorfas (Sección 1)
Para estudiar la irregularidad de las superficies de Shimura, los autores deben construir formas automorfas específicas.

• Representaciones no temperadas: Se centran en representaciones de Arthur (paquetes de Arthur) para el grupo unitario $U(3)$ asociadas a caracteres hecke anti-ciclotómicos.
• Niveles y Subgrupos: Analizan la existencia de invariantes bajo subgrupos de congruencia de tipo Iwahori ($\Gamma_0(\ell^r)$). Esto es crucial porque, a diferencia de los casos "limpios" (neat), estos subgrupos tienen torsión.
• Cálculos locales: Utilizan coeficientes de matriz y módulos de Jacquet para demostrar que ciertas representaciones no temperadas ($\pi_n$) poseen vectores invariantes no triviales bajo subgrupos de nivel alto ($K''$ y $I_{2r}$).
• Sumas exponenciales: En el caso donde el discriminante $D \equiv 7 \pmod 8$, deben manejar caracteres ramificados. Demuestran la no nulidad de invariantes mediante el cálculo preciso de sumas exponenciales y operadores de entrelazamiento, superando la falta de una teoría de "nuevo vector" para representaciones no genéricas.

B. Geometría de las Superficies de Picard (Sección 2 y 3)

• Irregularidad ($q \geq 3$): Un paso fundamental es demostrar que la irregularidad de las compactificaciones mínimas de estas superficies de Shimura es al menos 3. Esto se logra contando formas diferenciales holomorfas globales usando la fórmula de Rogawski para la cohomología de paquetes de Arthur.
• Conjetura de Bombieri-Lang: Una vez establecida $q \geq 3$, aplican la clasificación de Enriques-Kodaira y la Conjetura de Bombieri-Lang (probada para superficies de tipo general) para concluir que los puntos racionales $k$ no son densos en la topología de Zariski. Esto implica que los puntos racionales están contenidos en una unión finita de curvas y puntos.
• Familias sobre curvas: Se demuestra que, tras eliminar un número finito de puntos singulares (puntos elípticos), las curvas contenidas en la superficie admiten una familia de 3-folios abelianos.

C. Argumento de Uniformidad (Sección 3.5)

• Reducción a curvas: Si existiera una sucesión de puntos racionales con representaciones de Galois reducibles (conteniendo una bandera), estos puntos estarían contenidos en una curva $C$ dentro de la superficie.
• Teorema de Mumford-Tate y Cadoret-Tamagawa: Utilizan el hecho de que la conjetura de Mumford-Tate es conocida para 3-folios abelianos. Esto permite controlar el grupo de Galois genérico sobre la curva $C$.
• Lema de Cadoret-Tamagawa: Aplican resultados previos de Cadoret y Tamagawa sobre la acotación uniforme del índice de la imagen de Galois en familias de dimensión 1. Esto garantiza que, fuera de un conjunto finito de puntos excepcionales, la imagen de Galois es "grande" (no contenida en un Borel).
• Manejo de puntos excepcionales: Los puntos restantes (puntos CM o con simetrías extra) se tratan individualmente usando la conjetura de Mumford-Tate, que es válida en dimensión 3.

3. Contribuciones Clave

1. Generalización a Dimensión 2: Es el primer resultado que establece la irreducibilidad uniforme de Galois para una familia genuina de dimensión 2 (superficies de Shimura), superando las limitaciones de los casos unidimensionales (curvas elípticas) y de superficies abelianas con multiplicación real (que tienen $H^1$ trivial).
2. Manejo de Niveles No Limpios: Desarrollan nuevas técnicas para calcular invariantes en representaciones no temperadas bajo subgrupos de congruencia con torsión (subgrupos de tipo Iwahori), un problema técnico que impedía aplicar métodos anteriores.
3. Conexión entre Root Numbers y Geometría: Establecen una relación precisa entre los números de raíz globales de caracteres de Hecke y la existencia de formas automorfas que contribuyen a la irregularidad de las superficies, permitiendo controlar el caso $D \equiv 7 \pmod 8$.
4. Aplicación de la Conjetura de Bombieri-Lang: Demuestran que la Conjetura de Bombieri-Lang se cumple para ciertas superficies modulares de Picard, lo que permite reducir el problema de infinitos puntos racionales a un problema sobre curvas.

4. Resultados Principales

El artículo presenta dos teoremas principales:

• Teorema A (Caso Semi-estable): Dado un cuerpo de números $k$, un primo $\ell$ inerte en $M$ y un conjunto finito de lugares $S$, existe un entero $r$ tal que para cualquier 3-folio abeliano de tipo Picard no-CM semi-estable fuera de $S$, el grupo $A[\ell^r]$ no contiene una bandera completa $k$-racional.
• Teorema B (Resultado Principal): Dado $k$ y $\ell$ inerte, existe un entero $r$ tal que para cualquier 3-folio abeliano de tipo Picard no-CM donde un cierto homomorfismo $\varepsilon_{A,D}$ (relacionado con la acción proyectiva en la torsión en los primos que dividen al discriminante $D$) es trivial, $A[\ell^r]$ no contiene una bandera completa $k$-racional.

Implicación: El Teorema B implica el Teorema A mediante un argumento de cambio de base a un cuerpo $k'$ que trivializa $\varepsilon_{A,D}$.

5. Significado e Impacto

• Avance en la Teoría de Galois: Proporciona una herramienta poderosa para entender la estructura de las representaciones de Galois en variedades abelianas de dimensión superior, confirmando que la "irreducibilidad uniforme" es un fenómeno robusto incluso en familias de dimensión superior.
• Herramientas para la Teoría de Números: Los métodos desarrollados para calcular invariantes en paquetes de Arthur no temperados y la conexión con sumas exponenciales tienen aplicaciones potenciales más allá de este problema específico, especialmente en la teoría de formas modulares de nivel alto.
• Validación de Conjeturas: Contribuye a la validación de la Conjetura de Bombieri-Lang en contextos de superficies modulares de tipo unitario, un área donde los resultados son escasos.
• Legado de Manin: Honra y extiende el trabajo de Yuri Manin, demostrando que sus principios sobre la torsión de curvas elípticas tienen análogos profundos y no triviales en dimensiones superiores, siempre que se disponga de la estructura geométrica adecuada (superficies de Shimura).

En resumen, este trabajo representa un hito en la intersección de la teoría de representaciones automorfas y la geometría aritmética, resolviendo un problema de uniformidad en una dimensión donde los métodos clásicos fallaban debido a la complejidad de la geometría de las superficies de Shimura y la naturaleza de las representaciones no temperadas.