🔢 mathematics

Hirzebruch-Zagier cycles in $p$ -adic families and adjoint $L$ -values

Este artículo demuestra que los ciclos generalizados de Hirzebruch-Zagier asociados a variedades modulares de Hilbert pueden organizarse en familias $p$ -ádicas, las cuales se utilizan mediante cambio de base para construir una función $L$ $p$ -ádica adjunta multivariable torcida por el carácter de Hecke de una extensión cuadrática $E/F$ para familias de Hida de formas modulares de Hilbert.

Autores originales: Antonio Cauchi, Marc-Hubert Nicole, Giovanni Rosso

Publicado 2026-05-26

📖 5 min de lectura🧠 Análisis profundo

CC BY 4.0

Autores originales: Antonio Cauchi, Marc-Hubert Nicole, Giovanni Rosso

Artículo original bajo licencia CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Esta es una explicación generada por IA del artículo a continuación. No ha sido escrita ni avalada por los autores. Para mayor precisión técnica, consulte el artículo original. Leer descargo de responsabilidad completo

Imagina que eres un matemático tratando de comprender los patrones ocultos de los números. Durante mucho tiempo, los matemáticos han sabido estudiar estos patrones utilizando "familias" de formas que cambian ligeramente a medida que ajustas una perilla. Este artículo trata sobre construir una nueva familia de formas, muy compleja, y usarla para medir un número específico y esquivo que aparece en la teoría de las formas modulares (que son como notas musicales en el mundo de los números).

Aquí tienes un desglose de lo que los autores, Antonio Cauchi, Marc-Hubert Nicole y Giovanni Rosso, han hecho, utilizando analogías simples.

1. El Escenario: Dos Mundos de Números

Imagina dos países diferentes, F y E.

F es un país "totalmente real" (piensa en él como un paisaje plano y predecible).
E es un país ligeramente más complejo construido sobre F (una "extensión cuadrática", como añadir una segunda capa de terreno).

En estos países, hay paisajes geométricos especiales llamados variedades modulares de Hilbert. Piensa en ellos como vastos jardines multidimensionales.

El jardín para F se llama $Y_H$ .
El jardín para E se llama $Y_G$ .

Dado que E está construido sobre F, existe un camino natural (una inmersión) que conecta el jardín más pequeño $Y_H$ con el jardín más grande $Y_G$ .

2. Los Objetos Especiales: Ciclos de Hirzebruch–Zagier

Dentro del jardín más grande ( $Y_G$ ), los autores están interesados en "esculturas" o "caminos" específicos que provienen del jardín más pequeño ( $Y_H$ ).

En el pasado, los matemáticos Hirzebruch y Zagier descubrieron que en un tipo específico de jardín bidimensional, estos caminos (llamados ciclos de Hirzebruch–Zagier) eran en realidad las "notas" de una canción famosa (una forma modular).
Este artículo toma esa idea e intenta hacerlo en dimensiones mucho más altas (para cualquier número de dimensiones $d$ ).

El Problema: Estas esculturas son rígidas. Existen en "niveles" específicos (como niveles de zoom específicos en un mapa). Los autores querían saber: ¿Podemos hacer que estas esculturas fluyan suavemente hacia una familia continua, para que podamos estudiarlas mientras giramos un dial?

3. El Avance: La Familia "Grande"

Los autores construyeron con éxito un "Ciclo de Hirzebruch–Zagier Grande".

La Analogía: Imagina que tienes una única estatua estática. Por lo general, para ver cómo cambia, tienes que construir una nueva estatua para cada cambio minúsculo. Los autores encontraron una manera de construir un molde maestro (un "Ciclo Grande") que contiene todas las versiones posibles de la estatua a la vez.
Este molde maestro vive en un espacio matemático especial llamado cohomología de Iwasawa. Piensa en esto como una "superbiblioteca" que contiene cada posible variación de la escultura en un solo volumen organizado.
Demostraron que si tomas una "instantánea" específica (una especialización) de este molde maestro, obtienes de nuevo las esculturas originales y conocidas. Esto significa que empaquetaron con éxito estas formas complejas en una familia p-ádica (una familia que funciona con un tipo específico de sistema numérico llamado números p-ádicos, que son como una forma diferente de medir la distancia).

4. La Aplicación: Medir el "Valor L Adyacente"

¿Por qué construir esta familia? Para medir un número específico.

En la teoría de números, existen "funciones L". Estas son como recetas complejas que, cuando introduces un número, te dan un resultado.
Un resultado específico, llamado el valor L adyacente (en $s=1$ ), es muy importante. Nos dice cosas profundas sobre la simetría de las formas modulares.
La Conexión: Los autores utilizaron una fórmula famosa (de Hida) que dice: Si tomas el "producto punto" (una forma de medir la superposición) entre una onda específica (una forma diferencial) y nuestra escultura de Hirzebruch–Zagier, el resultado es exactamente este valor L adyacente.

5. El Resultado Final: La Función L p-ádica

Utilizando su "Familia Grande" de esculturas, los autores construyeron una función L p-ádica.

La Analogía: Imagina que tienes una máquina que puede calcular el valor L adyacente para cualquier forma modular en una familia específica.
Por lo general, estas máquinas solo funcionan para formas específicas e aisladas. Los autores construyeron una máquina que funciona para toda la familia a la vez.
Llamaron a esto la función L p-ádica adyacente. Es un único objeto matemático que "interpola" (conecta los puntos entre) los valores L de todas las formas en la familia.

Resumen del Viaje

Identificar las formas: Observaron caminos especiales (ciclos) que conectan dos jardines matemáticos.
Construir la familia: Crearon un "Ciclo Grande" que contiene todas las variaciones de estos caminos en una familia p-ádica continua.
Medir el valor: Utilizaron esta familia para construir una nueva herramienta (la función L p-ádica) que calcula un número específico e importante (el valor L adyacente) para cualquier forma en la familia.

Lo que NO hicieron:
El artículo es matemática puramente teórica. No aplicaron esto a la física, la medicina o la ingeniería. No afirmaron que esto resuelva un problema específico del mundo real como la predicción del tiempo o la criptografía. La "aplicación" mencionada en el resumen es estrictamente dentro del ámbito de la teoría de números: construir un objeto geométrico para comprender los valores de las funciones L.

En resumen, construyeron un molde universal para una forma geométrica compleja, lo que les permitió crear una calculadora universal para un número específico que los matemáticos han intentado comprender durante décadas.

Resumen Técnico: Ciclos de Hirzebruch–Zagier en Familias $p$ -ádicas y Valores $L$ Adyacentes

Enunciado del Problema
El artículo aborda una laguna clásica en la literatura sobre la variación $p$ -ádica de ciclos especiales en variedades modulares de Hilbert. Si bien la variación $p$ -ádica de clases de cohomología (como puntos de Heegner) ha sido estudiada extensamente para diversas variedades de Shimura, el caso específico de las variedades modulares de Hilbert presenta obstáculos técnicos. Específicamente, estas variedades no satisfacen el axioma SV5 de Milne, el cual típicamente asegura que el centro del grupo no contenga un toro $R$ -descompuesto que no sea ya $\mathbb{Q}$ -descompuesto. Este obstáculo impide la aplicación directa de métodos existentes (por ejemplo, de [Loe21], [LRZ]) utilizados para construir familias $p$ -ádicas de ciclos.

Los autores tienen como objetivo construir familias $p$ -ádicas de ciclos generalizados de Hirzebruch–Zagier que surgen de variedades modulares de Hilbert asociadas a una extensión cuadrática $E/F$ de cuerpos de números totalmente reales. Una aplicación principal de esta construcción es la definición geométrica de una función $L$ $p$ -ádica adjunta multivariable, torcida por el carácter de Hecke de $E/F$ , asociada a familias Hida de formas modulares de Hilbert sobre $F$ .

Metodología
Los autores emplean una combinación de la teoría de Iwasawa, la teoría del cambio de base para representaciones automórficas y construcciones geométricas explícitas de ciclos.

Superación del Obstáculo SV5: Los autores adaptan el marco de Loeffler [Loe21] y Loeffler–Rossi–Zerbes [LRZ]. Demuestran que la hipótesis del axioma SV5 de Milne puede eliminarse en el contexto de las variedades modulares de Hilbert. Esto se logra analizando cuidadosamente la intersección de los subgrupos de nivel en la torre $p$ -ádica con el centro del grupo $G = \text{Res}_{E/\mathbb{Q}}\text{GL}_2$ . Construyen una torre específica de subgrupos de nivel $(V_r)_r$ indexada por multiíndices $r \in \mathbb{Z}_{\geq 0}^{|\Upsilon_{F,p}|}$ , donde $\Upsilon_{F,p}$ es el conjunto de primos de $F$ sobre $p$ .
Construcción del Ciclo Grande: Utilizando un argumento de variedad esférica que involucra un elemento $u \in G(\mathbb{Z}_p)$ y la inmersión diagonal $\iota: H \hookrightarrow G$ (donde $H = \text{Res}_{F/\mathbb{Q}}\text{GL}_2$ ), los autores definen ciclos de Hirzebruch–Zagier $Z^k_r$ en niveles finitos. Mediante el uso del proyector ordinario $e^{n.ord}$ asociado a un operador de Hecke específico $T_\eta$ , prueban la existencia de una "clase grande de Hirzebruch–Zagier" $Z_\infty$ en el grupo de cohomología de Iwasawa ordinaria de grado medio $H^{2d}_{\text{Iw}}(Y_G(V_\infty), \mathcal{O})$ .
Mapas de Momento y Especialización: Los autores definen mapas de momento $\text{mom}^k_r$ que relacionan la clase universal de Iwasawa $Z_\infty$ con los ciclos clásicos en niveles finitos. Establecen teoremas de control que muestran que la parte ordinaria de la cohomología de Iwasawa es un módulo finito sobre el álgebra de Iwasawa $\Lambda_{G/H}$ .
Cambio de Base y Funciones $L$ : Aprovechando la teoría del cambio de base (Getz–Goresky [GG12]), los autores relacionan el emparejamiento de los ciclos de Hirzebruch–Zagier con formas diferenciales al residuo en $s=1$ de la función $L$ de Asai. Este residuo, a su vez, se vincula con la función $L$ adjunta $L(\text{Ad}(f) \otimes \eta_{E/F}, 1)$ de una forma modular de Hilbert $f$ sobre $F$ .
Construcción Geométrica de la Función $L$ $p$ -ádica: Al evaluar la clase grande de Hirzebruch–Zagier contra un idempotente específico asociado a una familia Hida $f$ (y su cambio de base $f_E$ ), los autores definen la función $L$ $p$ -ádica $L_p(\text{Ad}(f) \otimes \eta_{E/F})$ como un elemento del cuerpo de coeficientes de la familia.

Contribuciones y Resultados Clave

Teorema 1.1 (Existencia de la Clase Grande): Los autores prueban la existencia de una clase grande de Hirzebruch–Zagier $Z_\infty$ en la cohomología de Iwasawa ordinaria. Muestran que la especialización de esta clase en un peso $k$ produce el ciclo clásico de Hirzebruch–Zagier (torcido por operadores de Hecke) hasta un factor de Euler explícito. Este resultado llena la laguna en la literatura sobre familias $p$ -ádicas de ciclos para variedades modulares de Hilbert, manejando específicamente el caso donde el centro no es $\mathbb{Q}$ -descompuesto.
Teorema 1.2 (Construcción de la Función $L$ $p$ -ádica Adyacente): El artículo construye una función $L$ $p$ -ádica multivariable $L_p(\text{Ad}(f) \otimes \eta_{E/F})$ para una familia Hida $f$ de formas modulares de Hilbert sobre $F$ . Esta función interpola las partes algebraicas de los valores especiales $L(\text{Ad}(f) \otimes \eta_{E/F}, 1)$ a medida que $f$ varía en la familia.
Fórmulas de Interpolación Explícitas: Los autores proporcionan fórmulas de interpolación precisas (Teorema 7.8) para la función $L$ $p$ -ádica en pesos clásicos. Estas fórmulas involucran factores de Euler en $p$ , sumas de Gauss y el residuo de funciones zeta de Dedekind parciales, dependiendo del comportamiento local de la forma (no ramificada, Steinberg o serie principal ramificada).
Teoremas de Control: El artículo establece un teorema de control (Teorema 4.34) para la cohomología de Iwasawa de las variedades modulares de Hilbert, asegurando que el mapa de especialización sea un isomorfismo bajo ciertas condiciones (libre de torsión y concentración en un solo grado).

Significado
El artículo reivindica su importancia en dos áreas principales:

Construcción Geométrica: A diferencia de construcciones anteriores de funciones $L$ $p$ -ádicas adyacentes para formas modulares de Hilbert (por ejemplo, [Hid90], [Wu01], [Ros16]) que a menudo dependen de interpretar el valor $L$ como un número de congruencia o de usar fórmulas analíticas sin una familia geométrica de ciclos, este trabajo proporciona una construcción geométrica. Realiza la función $L$ $p$ -ádica como la imagen de una clase de cohomología universal (el ciclo grande de Hirzebruch–Zagier) bajo un idempotente específico. Esto conecta los valores $L$ directamente con la geometría de las variedades modulares de Hilbert a través del marco del programa de Kudla.
Extensión del Programa de Kudla: El trabajo generaliza el teorema de Hirzebruch–Zagier y el teorema de Gross–Kohnen–Zagier al contexto de familias $p$ -ádicas para variedades modulares de Hilbert. Demuestra que las conjeturas profundas que vinculan ciclos especiales con valores $L$ se mantienen en el contexto de la variación $p$ -ádica, incluso en ausencia del axioma SV5.

Los autores señalan que, si bien la variación $p$ -ádica del teorema de Gross–Kohnen–Zagier mediante puntos grandes de Heegner fue tratada por Longo y Nicole [LN19, LN20], este artículo extiende dichas técnicas al contexto de dimensión superior de superficies y variedades modulares de Hilbert, utilizando el cambio de base cuadrática relativa para representaciones automórficas como herramienta central. La construcción se limita al caso ordinario, aunque los autores sugieren que las técnicas de [Roc22] podrían potencialmente extender estos resultados a situaciones no ordinarias en trabajos futuros.