On $p$-adic Asai $L$-functions of Bianchi modular forms at non-ordinary primes and their decomposition into bounded $p$-adic $L$-functions

Este artículo construye una distribución $p$-ádica que interpola los valores críticos de la función $L$ de Asai de formas modulares de Bianchi no ordinarias y, bajo ciertas hipótesis, demuestra su descomposición en una combinación lineal de medidas acotadas, generalizando así resultados previos del caso ordinario y de formas modulares elípticas.

Lo esencial

Imagina que los números son como una gran orquesta sinfónica. Durante siglos, los matemáticos han intentado entender la "música" que tocan estos números, especialmente en momentos críticos donde ocurren cosas mágicas (llamados "valores especiales"). Esta música se describe mediante objetos matemáticos complejos llamados funciones L.

El artículo que has compartido, escrito por M. V. Deo, es como un manual de ingeniería para construir una copia en "baja fidelidad" pero infinitamente útil de esta música, pero adaptada a un mundo diferente: el mundo de los números $p$-ádicos (una forma de ver los números que es muy diferente a la nuestra, más parecida a un sistema de coordenadas basado en un número primo $p$).

Aquí tienes la explicación paso a paso, usando analogías sencillas:

1. El Problema: La Música se Rompe en un Punto Específico

Imagina que tienes una partitura musical perfecta (la función L compleja) que te dice todo sobre un tipo especial de objeto matemático llamado forma modular de Bianchi. Estos objetos viven en un mundo imaginario (un campo cuadrático imaginario).

Hasta ahora, los matemáticos sabían cómo grabar esta música en un disco de vinilo (una función L $p$-ádica) solo cuando la música era "ordinaria" (suave y predecible) en un punto específico llamado $p$.

Pero, ¿qué pasa si la música se vuelve "ruidosa" o "salvaje" en ese punto? Esto se llama el caso no ordinario. En este estado, la música se vuelve tan caótica que los discos de vinilo normales (medidas acotadas) se rompen; la música tiene "ruido infinito" y no cabe en un disco normal.

2. La Solución: Construir un "Disco de Vinilo" con Ruido Controlado

El autor, M. V. Deo, dice: "No podemos hacer un disco normal, así que construiremos un archivo de audio digital especial que permita un poco de ruido, pero que aún sea útil".

• La Metáfora del Archivo de Audio: En lugar de una medida simple (como un disco de vinilo), construye una distribución $p$-ádica. Imagina que es un archivo de audio que tiene "ruido" o "estática" que crece, pero de una manera controlada. A este archivo le llamamos $L_p^{As}(\Psi)$.
• La Herramienta: Para construir este archivo, el autor usa unas "plantillas" matemáticas llamadas elementos de Eisenstein-Asai. Piensa en estos elementos como ladrillos mágicos que ya existían, pero que el autor ha aprendido a apilar de una manera nueva y más compleja para soportar el "ruido" de la música salvaje.

3. El Truco de los Polinomios: El Puente entre Mundos

Para conectar la música salvaje con el archivo de audio, el autor usa una técnica brillante: polinomios.

• La Analogía: Imagina que quieres traducir un idioma muy difícil a otro. En lugar de traducir palabra por palabra, creas una serie de frases cortas (polinomios) que capturan la esencia de la traducción.
• El autor crea una familia de polinomios ($P_{r,j}$) que actúan como puentes. Estos polinomios tienen una propiedad mágica: si los "tomas" en ciertos puntos específicos, te dan los valores exactos de la música original (los valores L).
• Luego, usa un método antiguo (de Amice, Vélu, Perrin-Riou) que es como un algoritmo de compresión: toma estos polinomios y los fusiona en un solo objeto infinito (la distribución) que mantiene toda la información necesaria.

4. El Gran Final: Dividir el Ruido en Dos Canales Limpios

Una vez que tiene su archivo de audio "ruidoso" (la distribución no acotada), el autor hace algo aún más asombroso en la última parte del artículo.

• La Analogía de la Mezcla de Audio: Imagina que tienes una canción muy ruidosa. Sabes que ese ruido es en realidad la mezcla de dos canciones limpias que se han superpuesto.
• El autor demuestra que su "archivo ruidoso" se puede descomponer en dos canciones limpias y ordenadas, llamadas funciones L $p$-ádicas con signo (o "signed").
• Usa una herramienta llamada matriz logarítmica (como una consola de mezcla de audio avanzada) para separar el ruido en dos canales: uno positivo y uno negativo.
• Por qué importa: Estas dos canciones limpias son mucho más fáciles de estudiar. Permiten a los matemáticos formular conjeturas profundas (como la Conjetura Principal de Iwasawa) que antes eran imposibles de ver debido al "ruido".

Resumen en una frase

El autor ha inventado una nueva forma de "grabar" la música de ciertos objetos matemáticos salvajes (no ordinarios) en un formato especial que, aunque parece ruidoso, puede ser descompuesto en dos pistas limpias y ordenadas, permitiendo a los matemáticos escuchar y entender secretos que antes estaban ocultos por el caos.

En términos simples: Ha encontrado la manera de traducir una canción matemática muy difícil y ruidosa a un lenguaje que los matemáticos pueden usar para resolver acertijos antiguos sobre los números.

Resumen técnico

Resumen Técnico: Funciones L de Asai p-ádicas de Formas Modulares Bianchi en Primos No Ordinarios

1. Planteamiento del Problema

El artículo aborda un problema central en la teoría de números moderna: la construcción de funciones L p-ádicas para formas modulares de Bianchi (formas modulares sobre cuerpos cuadráticos imaginarios) en el caso no ordinario en un primo $p$.

• Contexto: Las funciones L complejas codifican información aritmética profunda. Sus valores especiales (críticos) están relacionados con conjeturas como la de Bloch-Kato. Las funciones L p-ádicas son herramientas esenciales para estudiar estas propiedades a través de la teoría de Iwasawa.
• Estado del Arte: Loeffler y Williams habían construido exitosamente funciones L p-ádicas para formas de Bianchi ordinarias (donde el autovalor de Hecke $a_p$ es una unidad p-ádica). En este caso, la construcción es independiente de los "giros" (twists) y se basa en elementos de Eisenstein de Asai.
• La Dificultad: Cuando la forma modular $\Psi$ es no ordinaria (es decir, $v_p(a_p) > 0$), el método anterior falla. La medida p-ádica construida anteriormente no es bien definida o no interpola correctamente los valores L debido a la falta de proyección ordinaria. Además, la distribución resultante tiene coeficientes no acotados (crece con el logaritmo), lo que complica su uso en conjeturas de Iwasawa.

2. Metodología

El autor emplea una combinación sofisticada de cohomología de espacios simétricos locales, sistemas de Euler y técnicas de interpolación de polinomios.

• Interpolación mediante Polinomios (Amice-Vélu / Višik):
  En lugar de intentar construir una medida directamente, el autor construye una familia de polinomios $P_{r,j}(T)$ de grado $p^r-1$. Estos polinomios interpolan los valores L críticos de la función L de Asai torcida por caracteres de Dirichlet.

  • Se utilizan elementos de Eisenstein de Asai (construidos por Loeffler-Williams) que actúan como análogos de Betti de los sistemas de Euler (como los elementos de Beilinson-Flach).
  • Se definen polinomios mediante el emparejamiento de símbolos modulares asociados a $\Psi$ con estos elementos de Eisenstein.

• Propiedades de Congruencia y Normas:
  Para garantizar que la secuencia de polinomios converja a una distribución p-ádica válida, se prueban nuevas propiedades de congruencia para los elementos de Eisenstein de Asai.

  • Se demuestra que ciertas sumas combinadas de estos elementos son divisibles por potencias altas de $p$ (específicamente $p^{jr}$), lo que permite controlar el crecimiento de los coeficientes.
  • Se utilizan mapas de momento (moment maps) y mapas de Clebsch-Gordan para relacionar elementos de diferentes pesos y niveles.

• Descomposición en Funciones L Firmadas (Signed L-functions):
  Una vez construida la distribución p-ádica no acotada $L_p^{As}(\Psi)$, el autor aplica la teoría de módulos de Wach y matrices logarítmicas (desarrollada previamente por Lei, Loeffler y Zerbes).

  • Bajo ciertas hipótesis (específicamente que $p$ se descompone en $F$ y la forma es ordinaria en un primo y no ordinaria en el otro), se demuestra que la distribución no acotada puede descomponerse en una combinación lineal de medidas p-ádicas acotadas (funciones L "firmadas" o signed).

3. Contribuciones Clave

1. Construcción de la Distribución p-ádica No Ordinaria:
   El resultado principal (Teorema A) es la construcción de una distribución p-ádica $L_p^{As}(\Psi)$ en el espacio de distribuciones $H_{E, v_p(a_p)}(\Gamma)$ que interpola los valores críticos de la función L de Asai torcida para una forma de Bianchi no ordinaria de pendiente pequeña ($0 < v_p(a_p) < k+1$).

   • Esta construcción es independiente de la existencia de un "mote" (motive) de Asai sobre $\mathbb{Q}$, generalizando el trabajo de Loeffler-Williams.

2. Nuevas Congruencias Cohomológicas:
   Se establecen nuevos lemas de congruencia (Lemas 5.7 y 6.1) para los elementos de Eisenstein de Asai en cohomología de Betti. Estos resultados son análogos a los teoremas de interpolación de giros en cohomología étale, pero adaptados al contexto de variedades de Bianchi (que son variedades reales de dimensión 3, no variedades algebraicas).

3. Descomposición en Funciones L Acotadas:
   El Teorema B demuestra que, bajo condiciones de descomposición de $p$ en $F$ y estabilización $p$, la distribución no acotada se puede escribir como:
   $$\begin{pmatrix} L_p^{As}(\Psi_{\tilde{\alpha}}) \\ L_p^{As}(\Psi_{\tilde{\beta}}) \end{pmatrix} = \tilde{Q}^{-1} \tilde{M} \begin{pmatrix} L_p^{As, \sharp} \\ L_p^{As, \flat} \end{pmatrix}$$
   Donde $\tilde{M}$ es una matriz logarítmica y $L_p^{As, \sharp}, L_p^{As, \flat}$ son funciones L p-ádicas acotadas (medidas). Esto es crucial para formular conjeturas de Iwasawa principales en el caso no ordinario.

4. Resultados Principales

• Teorema A (Interpolación): Existe una distribución única que satisface la propiedad de interpolación para caracteres de Dirichlet $\theta$ de conductor $p^r$ y enteros $0 \le j \le k$:
  $$L_p^{As}(\Psi, \theta, j) \sim L^{As}(\Psi, \theta, j+1)$$
  (con factores explícitos de Euler y constantes no nulas). Si la paridad no coincide, el valor es cero.

• Teorema B (Descomposición): Bajo la hipótesis de que $p$ se descompone en $F$ ($p\mathcal{O}_F = \mathfrak{p}\bar{\mathfrak{p}}$) y que la forma es ordinaria en un primo y no ordinaria en el otro, las funciones L no acotadas se descomponen en funciones L firmadas acotadas mediante una matriz logarítmica. Esto evita la necesidad de asumir propiedades de Hodge p-ádicas conjecturales para la representación de Galois asociada al motive de Asai.

5. Significado e Impacto

• Generalización: Este trabajo cierra una brecha importante al extender la teoría de funciones L p-ádicas de Asai desde el caso ordinario al caso no ordinario, un escenario mucho más complejo y general en la teoría de números.
• Herramientas para Conjeturas de Iwasawa: La construcción de funciones L acotadas (firmadas) es un paso indispensable para formular y probar las conjeturas principales de Iwasawa en el caso no ordinario. Sin la descomposición en medidas acotadas, la teoría de Iwasawa estándar no se aplica directamente debido al crecimiento de las distribuciones.
• Independencia de Motivos: La construcción es puramente cohomológica y no depende de la existencia de un motive de Asai sobre $\mathbb{Q}$, lo que la hace robusta y aplicable en contextos donde la teoría de motivos aún no está completamente desarrollada para estos objetos.
• Nuevas Técnicas: La adaptación de las técnicas de sistemas de Euler y mapas de momento al contexto de cohomología de Betti de espacios simétricos locales de Bianchi ofrece nuevas herramientas metodológicas para el estudio de formas modulares sobre cuerpos de números.

En resumen, el artículo de Deo proporciona un marco completo y riguroso para el estudio de las funciones L p-ádicas de formas modulares de Bianchi en el régimen no ordinario, sentando las bases para futuros avances en la teoría de Iwasawa para estos objetos.