The tangent space to the space of 0-cycles

Resumen Técnico: El Espacio Tangente al Espacio de 0-Ciclos

Planteamiento del Problema
El artículo aborda la brecha fundacional en la comprensión de la estructura geométrica del espacio de 0-ciclos en una variedad algebraica $X$. Aunque se entiende intuitivamente que la equivalencia racional de 0-ciclos corresponde a la conectividad racional de puntos en un "espacio de 0-ciclos", este objeto (específicamente la completación de grupo de la potencia simétrica infinita, $\text{Sym}^\infty(X/S)^+$) no es una variedad o un esquema en el sentido clásico. Existe únicamente como un haz en un sitio adecuado. En consecuencia, la teoría de deformaciones estándar y la definición de espacios tangentes, que dependen de que el objeto sea un esquema o un stack con una estructura local bien definida, no pueden aplicarse directamente. El artículo busca construir rigurosamente el espacio tangente a este objeto de tipo haz en un punto $P$, proporcionando así una base técnica para el estudio de las curvas racionales en el espacio de 0-ciclos.

Metodología
El autor emplea un marco de sitios anillados localmente para tratar el haz $\text{Sym}^\infty(X/S)^+$ como un objeto geométrico. La metodología procede a través de los siguientes pasos:

1. Marco Geométrico: El artículo define un "objeto geométrico" como un haz de conjuntos sobre el sitio de Nisnevich de esquemas localmente noetherianos sobre una base $S$, equipado con un atlas. Un atlas es una colección de morfismos desde esquemas hacia el haz tales que su coproducto es un epimorfismo efectivo.
2. Construcción del Sitio: Para un haz $X$ con un atlas, el autor construye el sitio Nisnevich-étale $X_{\text{Nis-\'et}}$. Los objetos de este sitio son morfismos desde esquemas hacia $X$ que son étale con respecto al atlas.
3. Estructura de Anillado Local: Al definir el functor de la rama (stalk) en un punto $P$ (un morfismo desde un espectro de cuerpo hacia el haz), el artículo establece que si la categoría de vecindarios étale de $P$ es cofiltrada, el sitio se convierte en un sitio anillado localmente. Esto permite la definición del haz de estructuras $\mathcal{O}_X$, el haz de diferenciales de Kähler $\Omega^1_{X/S}$ y el haz tangente $T_{X/S}$.
4. Construcción Específica para 0-Ciclos: El artículo identifica el espacio de 0-ciclos relativos con la completación de grupo $\text{Sym}^\infty(X/S)^+$ de la monoid de potencia simétrica infinita. Construye un atlas específico para este haz, llamado el atlas de Chow, derivado de la estructura inductiva natural de las potencias simétricas y los morfismos de Hilbert-Chow.
5. Prueba de Cofiltración: El esfuerzo técnico central consiste en demostrar que para cualquier punto $P$ en $\text{Sym}^\infty(X/S)^+$, la categoría de vecindarios étale $N_P$ es cofiltrada. Esto se logra analizando la representabilidad de los productos fibrados de vecindarios étale y utilizando las propiedades del atlas de Chow y las potencias simétricas subyacentes.

Contribuciones Clave y Resultados

• Definición del Espacio Tangente: El artículo define con éxito el espacio tangente $T_{\text{Sym}^\infty(X/S)^+}(P)$ en un punto $P$ como el producto tensorial de la rama del haz tangente con el cuerpo residual $\kappa(P)$. Esta es la primera construcción rigurosa de tal espacio para la completación de grupo de la potencia simétrica infinita.
• Teorema Principal: El resultado central es el Teorema 6, que establece que para un esquema localmente noetheriano $X$ sobre $S$ (donde existen potencias simétricas y el morfismo estructural admite una sección), la categoría $N_P$ de vecindarios étale de cualquier punto $P$ en el espacio de 0-ciclos $\text{Sym}^\infty(X/S)^+$ es cofiltrada.
• Comparación de Enfoques: El artículo clarifica la relación entre diferentes construcciones de 0-ciclos relativos:
  • El enfoque de Rydh: Utiliza potencias divididas $\Gamma_d(X/S)$.
  • Los enfoques de Suslin-Voevodsky y Kollár: Utilizan ciclos definidos vía puntos gordos (fat points) y pullbacks.
  • El autor demuestra que, bajo supuestos leves (característica pura 0 o $X$ plana sobre $S$, y $S$ seminormal), el haz $\text{Sym}^\infty(X/S)^+$ es isomorfo a los haces de 0-ciclos relativos construidos por Suslin-Voevodsky y Kollár cuando se restringen a esquemas seminormales.
• Conectividad Racional y Equivalencia Racional: El artículo establece un vínculo preciso entre la geometría del espacio de 0-ciclos y la geometría algebraica clásica. Muestra que dos puntos $P$ y $Q$ en $\text{Sym}^\infty(X/S)^+$ están racionalmente conectados (vía una cadena de curvas racionales) si y solo si los 0-ciclos correspondientes son racionalmente equivalentes en $X$.
• Potencial de la Teoría de Lie: Dado que $\text{Sym}^\infty(X/S)^+$ es un objeto de grupo abeliano, la existencia de espacios tangentes en todos los puntos implica que se puede desarrollar una teoría de Lie para este espacio, donde todos los espacios tangentes son isomorfos al espacio tangente en la identidad (el ciclo cero).

Significación y Reivindicaciones

El artículo afirma proporcionar la "base técnica" necesaria para una teoría de deformación de curvas racionales en el espacio de 0-ciclos. Al establecer la existencia de espacios tangentes y la estructura de sitio anillado localmente, el autor permite la aplicación de técnicas similares a las utilizadas por Kollár para probar la conectividad racional de variedades (por ejemplo, analizando la positividad del pullback del haz tangente a lo largo de una curva racional).

El autor señala explícitamente que, aunque el haz tangente ha sido construido, aún no se sabe si es localmente libre o si su pullback a una curva racional se descompone en giros de Serre de la manera estándar. Sin embargo, el artículo afirma que la construcción del propio espacio tangente es un prerrequisito para tales investigaciones. El trabajo pretende trasladar el estudio de los 0-ciclos de una pura relación de equivalencia algebraica a un análisis geométrico sobre un "espacio" específico (el haz de Nisnevich), alineándose con la filosofía de Green y Griffiths pero proporcionando la "ontología" faltante del espacio de 0-ciclos.

El artículo no pretende demostrar la conjetura de Bloch ni demostrar que el espacio de 0-ciclos es racionalmente conexo para variedades específicas; más bien, proporciona las herramientas (el espacio tangente y la estructura de sitio anillado localmente) que permitirían formular y potencialmente atacar tales cuestiones utilizando la teoría de deformaciones.