Arithmetic Cycles with Modulus

Resumen Técnico de "Ciclos Aritméticos con Módulo"

Planteamiento del Problema
El artículo aborda la brecha entre dos teorías establecidas en la geometría aritmética: la teoría de los grupos de Chow con módulo (que captura información geométrica relativa a un divisor frontera $D$) y la teoría de los grupos de Chow aritméticos desarrollada por Gillet y Soulé (que incorpora datos analíticos mediante corrientes de Green para definir la teoría de intersección en variedades aritméticas).

Si bien los grupos de Chow con módulo, $CH^p(X|D)$, extienden con éxito la teoría de intersección clásica a variedades cuasi-proyectivas suaves $X$ respecto a un divisor efectivo $D$ (restituyendo propiedades como el mapa de grado y la variedad de Albanese en entornos adecuados), carecen de un componente analítico. Por el contrario, los grupos de Chow aritméticos, $\widehat{CH}^p(X)$, proporcionan una teoría de intersección refinada para variedades aritméticas al emparejar ciclos algebraicos con corrientes de Green, pero no dan cuenta inherentemente de las condiciones de módulo a lo largo de un divisor frontera. Los autores plantean la pregunta: ¿Cómo se puede definir un grupo de Chow aritmético con módulo, $\widehat{CH}^p(X|D)$, que respete las condiciones de anulación a lo largo de $D$ manteniendo al mismo tiempo la estructura analítica de la teoría de Gillet y Soulé?

Metodología
Los autores construyen $\widehat{CH}^p(X|D)$ adaptando la definición de los grupos de Chow aritméticos al entorno relativo. La metodología central implica:

1. Configuración Analítica: Sea $X$ una variedad suave cuasi-proyectiva sobre un cuerpo numérico $k$, y sea $D$ un divisor efectivo tal que su soporte reducido $D_{red}$ es un divisor de cruce normal simple (sncd). Los autores utilizan el complejo de formas diferenciales suaves en el espacio analítico asociado $X(\mathbb{C})$ que se anulan en $D_{red}$, denotado como $\Sigma_{D_{red}}A^*(X)$.
2. Lema de Extensión: Una herramienta técnica crucial es el Lema 2.5, que establece que la inclusión de las formas que se anulan en un sncd en el complejo de todas las formas es un cuasi-isomorfismo en el contexto de la cohomología relativa. Esto permite a los autores representar clases de cohomología relativa utilizando formas suaves que se anulan en la frontera.
3. Corrientes de Green con Módulo: Para un ciclo algebraico $Z \in Z^p(X|D)$ (un ciclo disjunto de $D$), los autores prueban la existencia de una corriente de Green $g_Z$ que satisface la ecuación diferencial $\partial\bar{\partial}g_Z + \delta_Z = [\omega_Z]$, donde la forma suave asociada $\omega_Z$ pertenece al subespacio de formas que se anulan en $D_{red}$. Esto asegura que la "condición de módulo" se cumpla en el nivel analítico.
4. Definición del Grupo: El grupo de Chow aritmético con módulo se define como el cociente de pares $(Z, g_Z)$ por un subgrupo generado por equivalencias racionales aritméticas con módulo. Estas equivalencias están generadas por divisores de funciones racionales $f$ que son unidades a lo largo de $D$ (que satisfacen la condición de módulo $f \equiv 1 \mod \mathcal{I}_D$) y sus corrientes asociadas $-\log|f|^2$, así como corrientes de la forma $\partial u + \bar{\partial} v$ donde $u, v$ satisfacen condiciones de anulación específicas.

Contribuciones Clave y Resultados
El artículo establece sus principales resultados:

• Teorema A (Existencia de Corrientes de Green): Para cualquier ciclo con módulo, existe una corriente de Green $g_Z$ tal que la forma asociada $\omega_Z$ se anula en $D_{red}$. Esto valida la definición del grupo.
• Definición del Grupo $\widehat{CH}^p(X|D)$: El grupo se define formalmente como $\widehat{Z}^p(X|D) / \widehat{R}^p(X|D)$, donde $\widehat{Z}^p$ consiste en pares $(Z, g_Z)$ con la condición de anulación, y $\widehat{R}^p$ es el subgrupo de equivalencias racionales aritméticas con módulo.
• Functorialidad y Secuencias Exactas: El grupo $\widehat{CH}^p(X|D)$ satisface propiedades functoriales naturales (extracción inversa para morfismos suaves, empuje directo para morfismos propios) y se inserta en una secuencia exacta natural análoga a los grupos de Chow aritméticos clásicos:
  $$CH^{p,p-1}(X|D) \to \widehat{A}^{p-1,p-1}(X_{\mathbb{R}}, \text{vanishing}) \to \widehat{CH}^p(X|D) \to CH^p(X|D) \to 0$$
• Estructura de Módulo (Teorema B): El anillo de Chow aritmético clásico $\widehat{CH}^*(X)$ actúa sobre los grupos de Chow aritméticos con módulo $\widehat{CH}^*(X|D)$ mediante un producto de tipo cap, satisfaciendo la fórmula de proyección. Esto eleva la estructura de módulo conocida de los grupos de Chow algebraicos con módulo.
• Isomorfismo con el Grupo de Picard Hermítico Relativo (Teorema C): Los autores definen un grupo de Picard hermítico relativo, $\widehat{\text{Pic}}(X, D)$, que consiste en fibrados lineales hermíticos $(L, \|\cdot\|)$ equipados con una trivialización a lo largo de $D$ tal que la forma de Chern $c_1(L, \|\cdot\|)$ se anula en $D_{red}$. Prueban un isomorfismo:
  $$\widehat{\text{Pic}}(X, D) \cong \widehat{CH}^1(X|D)$$
  Este isomorfismo conmuta con los isomorfismos conocidos entre el grupo de Picard clásico y el primer grupo de Chow.

Significado
Los autores describen este trabajo como una "amalgama muy natural" de la teoría de intersección aritmética de Gillet y Soulé con la teoría de los grupos de Chow con módulo. La construcción proporciona una realización concreta de la cohomología motivica aritmética con módulo.

El artículo posiciona estos resultados como un paso fundacional hacia:

1. Definir un análogo aritmético del grupo de Grothendieck relativo $K_0(X, D)$.
2. Desarrollar un análogo aritmético de la teoría de clases globales de dimensiones superiores.

Los autores declaran explícitamente que definir el análogo aritmético de $K_0(X, D)$ y estudiar su conexión con $\widehat{CH}^p(X|D)$ es el tema de su próximo artículo, manteniendo un alcance modesto respecto a las aplicaciones inmediatas del presente trabajo.