Regulators in the Arithmetic of Function Fields

Planteamiento del Problema

Este artículo aborda el desarrollo de una teoría del regulador para los $A$-motivos de Anderson sobre cuerpos de funciones, con el objetivo de establecer analogías de las conjeturas de Beilinson conocidas en la aritmética de los cuerpos de números. Específicamente, el autor busca definir un morfismo regulador para los $A$-motivos de Anderson rígidamente analíticamente triviales e investigar las propiedades de finitud y rango de los grupos de cohomología motivica asociados.

En el entorno clásico sobre cuerpos de números, las conjeturas de Beilinson relacionan la dimensión de los grupos de extensión de motivos mixtos (específicamente $\text{Ext}^1_{\mathbb{Z}}(1, M)$) con valores especiales de funciones $L$ a través de un mapa regulador hacia espacios de realización de Hodge. En el entorno de los cuerpos de funciones, el trabajo previo del autor ([Gaz22]) inició el estudio de la cohomología $A$-motivica pero encontró obstáculos: el módulo natural de extensiones, $\text{Ext}^1_{A}(1, M)$, generalmente no es finitamente generado. Este fallo se deriva de dos fuentes: la no exactitud al tomar las filtraciones de Hodge y la naturaleza infinita del grupo de Galois absoluto $G_\infty$ en la clase en el infinito. El artículo busca resolver estos problemas definiendo un módulo de extensiones refinado con "reducción analítica" y construyendo un regulador correspondiente hacia estructuras de Hodge-Pink.

Metodología

El autor emplea una síntesis de geometría analítica rígida, cohomología de Galois y la teoría de modelos de shtukas. La metodología procede a través de varias etapas clave:

1. $A$-Motivos Rígidamente Analíticamente Triviales y Realización de Betti: El estudio se restringe a la subcategoría de $A$-motivos rígidamente analíticamente triviales ($\text{AMot}^{\text{rat}}_K$). Para tales motivos, el functor de realización de Betti $M \mapsto M_B$ es exacto. El autor establece que $M_B$ posee una acción continua natural del grupo de Galois profinite $G_\infty = \text{Gal}(K_\infty^s | K_\infty)$.
2. Reducción Analítica y Extensiones Reguladas: Para abordar la falta de generación finita, el autor define la "reducción analítica en $\infty$" para las extensiones. Una extensión tiene reducción analítica si se descompone como una representación de $G_\infty$. Esto conduce a la definición del módulo de extensiones \text{Ext}^1_{A, \infty}^{\text{reg}}(1, M), el núcleo del mapa desde las extensiones reguladas hacia la cohomología de Galois $H^1(G_\infty, M_B)$.
3. Estructuras de Hodge-Pink con Frobenios Infinitos: El artículo extiende la teoría de Pink de las estructuras de Hodge-Pink mediante la introducción de "Frobenios infinitos", que son representaciones continuas de $G_\infty$ compatibles con el retículo de Hodge-Pink. Esto permite la construcción de un functor de realización de Hodge-Pink $H^+$ desde $\text{AMot}^{\text{rat}}_K$ hacia la categoría de estructuras de Hodge-Pink con Frobenios infinitos ($\text{HdgPk}^+$).
4. Modelos de Shtuka: Una herramienta técnica central es la asociación de $A$-motivos con modelos de shtuka.
   • Modelos de $C$-shtuka: Asociados a cualquier $A$-motivo sobre la superficie $(\text{Spec } A) \times C$.
   • Modelos de $C \times C$-shtuka: Asociados a $A$-motivos con pesos negativos sobre $C \times C$.
     El autor demuestra que el complejo que computa la cohomología motivica ($G_M$) es cuasi-isomorfo a la cohomología coherente de estos modelos de shtuka. Esta conexión permite el uso del teorema de Grothendieck sobre funciones formales y la finitud de la cohomología coherente en esquemas propios para deducir resultados de finitud.
5. Construcción del Regulador: La exactitud del functor de realización de Hodge-Pink induce un morfismo (el regulador) desde el módulo de extensiones reguladas con reducción analítica de $A$-motivos hacia el espacio de extensiones de estructuras de Hodge-Pink con reducción analítica y de tipo Hodge-aditivo.

Contribuciones Clave y Resultados

El artículo establece dos teoremas principales respecto a la estructura de la cohomología $A$-motivica y las propiedades del regulador:

1. Teorema de Finitud (Teorema 6.1):

   • Los $A$-módulos \text{Ext}^1_{A, \infty}^{\text{reg}}(1, M) (extensiones integrales reguladas con reducción analítica) y el módulo de clase $\text{Cl}(M)$ (el cociente del mapa de reducción analítica) son finitamente generados.
   • Si los pesos de $M$ son todos negativos, el módulo de clase $\text{Cl}(M)$ es finito.
   • Este resultado sirve como la analogía en cuerpos de funciones de la expectativa de que $\text{Ext}^1_{\mathbb{Z}}(1, M)$ sea de dimensión finita en el entorno de los cuerpos de números.

2. Teorema de Igualdad de Rango (Teorema 6.2):

   • Asumiendo que los pesos de $M$ son todos negativos, el rango de \text{Ext}^1_{A, \infty}^{\text{reg}}(1, M) como $A$-módulo es igual a la dimensión del espacio objetivo \text{Ext}^1_{\infty}^{\text{ha}}(1^+, H^+(M)) como un espacio vectorial sobre $K_\infty$.
   • Esta dimensión es explícitamente computable en términos de los pesos positivos de Hodge-Pink de $M$.

3. Fallo de Rango Completo:

   • Contrariamente al panorama conjectural sobre los cuerpos de números (donde se espera que el regulador tenga un rango denso o completo), el autor demuestra que la imagen del regulador de Hodge-Pink $\text{Reg}(M)$ puede fallar en tener rango completo en su espacio objetivo.
   • Este fallo se observa incluso en casos simples, como el giro de Carlitz de orden $p$. En consecuencia, una analogía directa de la conjetura de Beilinson respecto a la densidad de la imagen no se sostiene en este entorno.

Significación y Reivindicaciones

El artículo afirma proporcionar un marco riguroso para la cohomología motivica en el entorno de los cuerpos de funciones al superar los problemas de generación infinita presentes en formulaciones anteriores. Al introducir el concepto de reducción analítica y utilizar modelos de shtuka, el autor logra probar resultados de finitud que reflejan las expectativas clásicas.

Sin embargo, el artículo señala modestamente una divergencia significativa de la analogía con los cuerpos de números: el regulador no necesariamente tiene rango completo. El autor sugiere que esta discrepancia implica que las estructuras de Hodge-Pink estándar podrían no ser los objetos correctos para formular una conjetura completa de tipo Beilinson en cuerpos de funciones. En su lugar, el autor propone que las "estructuras de Hodge de cuerpos de funciones" (sin los datos del retículo) podrían necesitar ser rehabilitadas para definir un regulador con rango completo. El artículo concluye que, si bien la igualdad de rango (Teorema 6.2) se cumple, la formulación precisa del análogo a la conjetura de Beilinson (relacionando la imagen del regulador con valores especiales de $L$) sigue siendo un problema abierto que requiere mayor investigación. El trabajo se presenta como una secuela natural de [Gaz22], tendiendo un puente entre los $A$-motivos de Anderson y el paisaje conjectural de los motivos mixtos.