Quasi-canonical AFL and Arithmetic Transfer conjectures at parahoric levels

Resumen Técnico: Conjeturas AFL Cuasi-Canónicas y de Transferencia Aritmética en Niveles Parahóricos

Enunciado del Problema
El artículo aborda la formulación y verificación de las conjeturas de Transferencia Aritmética (TA), que son variantes del Lema Fundamental Aritmético (AFL) en presencia de ramificación. La conjetura clásica del AFL, establecida por Zhang, Mihatsch–Zhang y Z. Zhang, relaciona la derivada de una integral orbital del elemento unidad en un álgebra de Hecke esférica con un número de intersección aritmética en un espacio de móduli formal de Rapoport–Zink (RZ) de grupos $p$-divisibles. Este marco clásico requiere una extensión cuadrática no ramificada $F/F_0$, un vector especial de longitud unitaria y una estructura de nivel hiperespecial.

Los autores investigan el escenario donde se relajan las hipótesis de "no ramificación", específicamente considerando estructuras de nivel parahórico no hiperespeciales. Esto introduce ramificación en el problema. Un obstáculo principal en la formulación de conjeturas TA en este contexto es el lado geométrico: los espacios RZ ambientales deben ser regulares para definir multiplicidades de intersección de Serre. Cuando la estructura de nivel es no hiperespecial, los espacios producto naturales a menudo dejan de ser regulares, lo que hace necesaria la construcción de nuevos modelos integrales y la resolución de singularidades.

Metodología
El artículo se divide en dos partes independientes, empleando una combinación de geometría aritmética, teoría de deformaciones y análisis armónico.

1. Construcción y Análisis Geométrico (Parte 2):

   • Los autores se centran en el espacio $\widetilde{\mathcal{N}}_n^{[1]}$, un modelo integral de un miembro de la torre RZ correspondiente a un subgrupo no parahórico en un grupo unitario no cuasi-escindido. Este espacio surge como un producto fibrado que vincula $\mathcal{N}_n^{[1]}$ (nivel $r=1$) y $\mathcal{N}_{n+1}^{[0]}$ (nivel hiperespecial).
   • Utilizando la teoría de Dieudonné y la teoría de deformación de Grothendieck–Messing, los autores analizan los puntos $\bar{k}$ y la estructura local de $\widetilde{\mathcal{N}}_n^{[1]}$ y del divisor especial $Z(u)$ (asociado a un vector especial de valuación 1).
   • Demuestran que $\widetilde{\mathcal{N}}_n^{[1]}$ es regular de dimensión $n$. Se muestra que el morfismo $\pi_1: \widetilde{\mathcal{N}}_n^{[1]} \to \mathcal{N}_n^{[1]}$ es finito y plano de grado $q+1$, étale fuera de un "lugar globo" y totalmente ramificado a lo largo de él. El morfismo $\pi_2: \widetilde{\mathcal{N}}_n^{[1]} \to Z(u)$ es una explosión a lo largo de un esquema de dimensión cero.
   • Se demuestra que la fibra especial de $Z(u)$ es regular fuera de un subconjunto cerrado de dimensión cero, siendo las singularidades de un tipo específico (cuasi-canónico).

2. Conjeturas de Transferencia Aritmética y Demostraciones (Parte 1):

   • Los autores definen números de intersección aritmética en los espacios regulares construidos anteriormente, específicamente en productos como $\widetilde{\mathcal{N}}_n^{[r]} \times \mathcal{N}_{n+1}^{[0]}$ y sus "versiones gráficas" $\widetilde{\mathcal{N}}_n^{[r]} \times \mathcal{N}_{n+1}$.
   • Formulan conjeturas TA que relacionan estos números de intersección con las derivadas de integrales orbitales de funciones de prueba específicas. Estas funciones de prueba se construyen utilizando homomorfismos de cambio de base entre álgebras de Hecke esféricas y funciones de Hecke atómicas.
   • Versión Gráfica: Los autores demuestran una "versión gráfica" de la conjetura TA. Al relacionar el número de intersección en el gráfico del morfismo $\pi_2$ con el número de intersección en el divisor especial $Z(u)$, reducen el problema al AFL conocido (para $r$ par) y al nuevo "AFL cuasi-canónico" establecido (para $r$ impar).
   • AFL Cuasi-Canónico: Un resultado central es la demostración del AFL cuasi-canónico, que maneja el caso donde el vector especial tiene valuación 1 (nivel 1). Esto implica establecer un teorema de transferencia para elementos no unitarios específicos en el álgebra de Hecke y demostrar la identidad correspondiente para el número de intersección en el divisor cuasi-canónico $Z(u)$.
   • Reducción a Casos Conocidos: Para los casos donde $r$ es par, los autores muestran que la conjetura TA se sigue del AFL para todo el álgebra de Hecke (Conjetura 9.2.3 en [14]), siempre que existan las funciones de transferencia necesarias. Para casos específicos pequeños (por ejemplo, $n=r=1$), verifican las conjeturas explícitamente.

Contribuciones y Resultados Clave

• Estructura de $\widetilde{\mathcal{N}}_n^{[1]}$: El artículo proporciona una descripción estructural completa del misterioso espacio $\widetilde{\mathcal{N}}_n^{[1]}$, demostrando su regularidad y detallando la geometría de los morfismos $\pi_1$ y $\pi_2$. Esto confirma conjeturas de Kudla y Rapoport sobre la geometría de las torres RZ casi autoduales.
• AFL Cuasi-Canónico: Los autores establecen el AFL Cuasi-Canónico (Teorema 7.2.1), que relaciona el número de intersección en el divisor cuasi-canónico $Z(u)$ (valuación 1) con la derivada de integrales orbitales de una función de transferencia específica. Esto llena una brecha en la teoría del AFL para entornos ramificados.
• Versión Gráfica de las Conjeturas TA: El artículo demuestra la versión gráfica de la conjetura TA para el tipo $(r, 0)$ (Teorema 1.0.2). Este resultado es "razonablemente completo", abarcando casos donde $r$ es par (mediante reducción al AFL) y $r$ es impar (mediante reducción al AFL cuasi-canónico).
• Conjeturas TA Explícitas: Los autores formulan conjeturas TA explícitas para varios tipos $(r, 0)$ y $(0, r)$, identificando funciones de prueba candidatas mediante homomorfismos de cambio de base.
  • Para $r$ par, la conjetura está vinculada al AFL para todo el álgebra de Hecke.
  • Para $r=n$ impar, se formula una conjetura específica y se demuestra para $n=1$.
  • Para otros $r$ impares, se postula la existencia de una función de transferencia, pero no se proporcionan candidatos explícitos en todos los casos.
• Verificación en Casos Simples: El artículo demuestra las conjeturas en casos simples específicos, notablemente $n=1$ y $r=1$, y demuestra cómo las conjeturas generales se siguen del AFL para todo el álgebra de Hecke en el caso de $r$ par.

Significado y Alcance
El artículo afirma haber agotado los casos posibles para las conjeturas TA bajo restricciones naturales: el espacio ambiental debe ser un producto de espacios RZ de niveles parahóricos maximales y ser regular, y los ciclos deben ser pull-backs de divisores especiales excepcionales (divisores Z o divisores Y).

El significado radica en extender el marco del AFL más allá del entorno no ramificado e hiperespecial. Al demostrar la regularidad de los modelos integrales necesarios y establecer el AFL cuasi-canónico, los autores proporcionan la base geométrica requerida para formular y demostrar parcialmente conjeturas TA en presencia de estructuras de nivel parahórico. Los resultados verifican las hipótesis de la versión gráfica de las conjeturas TA en un caso particular y ofrecen una hoja de ruta para trabajos futuros sobre los casos restantes donde aún no se conocen funciones de prueba explícitas. Los autores señalan explícitamente que, aunque han formulado conjeturas para todos los casos restantes, no tienen candidatos explícitos para las funciones de prueba en el caso general de $r$ impar (más allá de $r=n=1$) y dejan esto para futuras investigaciones.