On the Integral Part of A-Motivic Cohomology

Resumen Técnico: Sobre la parte integral de la cohomología A-motívica

Planteamiento del problema
El artículo aborda la definición y las propiedades de la "parte integral" de la cohomología motívica en el contexto de los cuerpos de funciones globales de característica positiva. En el escenario clásico de los cuerpos de números, la parte integral de la cohomología motívica es capturada de forma conjetural mediante dos enfoques equivalentes: uno a través de la K-teoría de modelos integrales regulares de variedades, y otro a través de la realización $\ell$-ádica de extensiones que poseen reducción buena. Se espera que estas dos definiciones coincidan (Conjetura C4) y que el espacio resultante sea de dimensión finita sobre $\mathbb{Q}$ (Conjetura C5).

El autor busca establecer una teoría análoga para los $A$-motivos de Anderson, que sirven como contrapartes de los motivos mixtos clásicos en el caso de los cuerpos de funciones. El problema central es definir la parte integral de la cohomología $A$-motívica utilizando modelos integrales máximos (análogos a los modelos regulares) y la "buena" parte $\ell$-ádica (extensiones con reducción buena), e investigar si estas dos definiciones coinciden y si el módulo resultante es de generación finita.

Metodología
El artículo emplea el marco de los $A$-motivos de Anderson sobre cuerpos de funciones globales y locales. La metodología procede a través de varias etapas clave:

1. Fundamentos de los $A$-motivos: El autor revisa la categoría de los $A$-motivos de Anderson ($\mathcal{M}_R$), estableciéndola como una categoría exacta (aunque no abeliana). Los módulos de extensión $\text{Ext}^i_{\mathcal{M}_R}(1, M)$ se computan explícitamente utilizando el complejo $M \xrightarrow{\text{id} - \tau_M} M[j^{-1}]$, donde $j$ es el ideal generado por $a \otimes 1 - 1 \otimes \kappa(a)$.
2. Mezcla y Pesos: Se desarrolla el concepto de $A$-motivos mixtos utilizando la filtración de pendientes de los isocristales asociados en el lugar infinito $\infty$. El autor define pesos y establece que la categoría de motivos mixtos se comporta de manera similar al caso de los cuerpos de números respecto a la desaparición de extensiones para $i > 1$, aunque la subcategoría de motivos puros no es semisimple.
3. Modelos Integrales Máximos: Inspirado por el trabajo de Gardeyn sobre $\tau$-haces, el artículo introduce la noción de modelos integrales máximos para $A$-motivos sobre cuerpos de funciones locales y globales. A diferencia de enfoques previos, el autor no asume a priori que estos modelos sean localmente libres, probando esta propiedad como una consecuencia de la maximalidad.
   • Para cuerpos locales, se demuestra que los modelos máximos existen y son únicos.
   • Para cuerpos globales, el modelo integral máximo se construye como la intersección de los modelos máximos locales.
4. Comparación de Extensiones: El autor define la "parte integral" de la cohomología ($\text{Ext}^1_{\mathcal{O}_p}(1, M)$) como la imagen del modelo integral máximo bajo el mapa de extensión $\iota$. Esta se compara con la "buena parte $\ell$-ádica" ($\text{Ext}^1_{\text{good}}(1, M)_\ell$), definida como el núcleo de la aplicación de realización $\ell$-ádica restringida al subgrupo de inercia.
5. Extensiones Reguladas: Para abordar las discrepancias entre la parte integral y la buena, el artículo introduce las "extensiones reguladas", definidas por la aditividad de los polígonos de Hodge (análogo a la aditividad de Hodge en la teoría de Pink).

Contribuciones Clave y Resultados

• Existencia y Unicidad de los Modelos Máximos: El artículo demuestra que los modelos integrales máximos para $A$-motivos existen y son únicos tanto sobre cuerpos de funciones locales como globales. Además, se muestra que estos modelos máximos son automáticamente proyectivos (localmente libres) sobre los anillos tensoriales relevantes, simplificando los requisitos técnicos encontrados en el trabajo anterior de Gardeyn sobre $\tau$-haces.
• Inclusión de la Parte Integral en la Buena: El resultado principal (Teorema D) establece que la parte integral de la cohomología $A$-motívica está contenida dentro de la buena parte $\ell-ádica$:
  $$\text{Ext}^1_{\mathcal{O}_p}(1, M) \subseteq \text{Ext}^1_{\text{good}}(1, M)_\ell$$
• Fallo de la Igualdad: Contrariamente a las expectativas en el entorno de los cuerpos de números (Conjetura C4), el artículo demuestra que la inclusión anterior es generalmente estricta. En la Subsección 5.1, se construye un contraejemplo explícito para el motivo neutro $\mathbf{1}$, mostrando una extensión que tiene reducción buena con respecto a un ideal maximal $\ell$, pero que no surge del modelo integral máximo.
• Problema de la Generación Finita: El artículo señala que el módulo de extensiones integrales $\text{Ext}^1_{\mathcal{O}_F}(1, M)$ típicamente no es de generación finita sobre $A$, violando el análogo de la Conjetura C5. Esto sugiere que la categoría de todos los $A$-motivos es demasiado grande para soportar una teoría de cohomología motívica bien comportada sin restricciones adicionales.
• Extensiones Reguladas: El autor propone las "extensiones reguladas" como una subcategoría refinada donde el polígono de Hodge de la extensión coincide con la suma de los polígonos de Hodge de los constituyentes.
  • Se demuestra que el mapa $\iota$ induce un isomorfismo entre un cociente específico del motivo y el módulo de extensiones reguladas (Corolario 5.5).
  • El artículo conjetura que para las extensiones reguladas, las partes integral y buena coinciden (Conjetura 5.8).
  • Esta conjetura se verifica en casos específicos: cuando el motivo proviene de un espacio de Frobenius con reducción buena (Teorema 5.9) y para giros de Carlitz positivos $A(n)$ (Teorema 5.13).

Significación y Reivindicaciones
El artículo afirma iniciar el estudio sistemático de la cohomología $A$-motívica para cuerpos de funciones globales. Su significación radica en:

1. Establecer el Marco: Proporcionar definiciones rigurosas para la parte integral de la cohomología $A$-motívica utilizando modelos máximos, que sirven como el análogo de los modelos integrales regulares para los cuerpos de funciones.
2. Resaltar la Divergencia: Demostrar que la imagen de los cuerpos de funciones difiere fundamentalmente de la de los cuerpos de números, específicamente que las definiciones de la parte integral y la buena $\ell$-ádica no coinciden en general. Esto desafía la transferencia directa de conjeturas de los cuerpos de números a los cuerpos de funciones.
3. Proponer una Corrección: Introducir la noción de extensiones reguladas como una condición necesaria para restaurar la igualdad esperada entre las partes integral y buena y para recuperar potencialmente las propiedades de generación finita.

El autor concluye modestamente que, si bien el caso general de la igualdad para las extensiones reguladas permanece abierto, el trabajo proporciona un camino concreto hacia adelante al identificar las obstrucciones estructurales específicas (falta de aditividad de Hodge) y resolver el problema para clases importantes de motivos. Los resultados dependen fuertemente del formalismo de categorías exactas y de la interacción entre $A$-motivos, isocristales y representaciones $\ell$-ádicas.