Universally defined cycles I

Resumen Técnico: Ciclos Definidos Universalmente I

Planteamiento del Problema
El artículo aborda la generalización de la conjetura de Franchetta a variedades algebraicas de dimensiones superiores. La conjetura clásica de Franchetta afirma que para un haz de líneas sobre la curva universal sobre el espacio de módulos de curvas, la restricción a cualquier fibra es un múltiplo racional del haz canónico. Extender esto a dimensiones superiores enfrenta la obstrucción fundamental de que no existe un espacio de módulos universal para variedades de una dimensión fija. Para eludir esto, el autor introduce y estudia la noción de "ciclos definidos universalmente". Estos son asignaciones de ciclos algebraicos a morfismos suaves que satisfacen axiomas de compatibilidad específicos respecto al cambio de base y restricciones abiertas, independientemente de la existencia de un espacio de módulos global.

La cuestión central es si tales ciclos definidos universalmente en variedades suaves de dimensión $d$ están necesariamente dados por polinomios universales en las clases de Chern de la variedad. Si bien esto es conocido para curvas, el caso de dimensiones superiores presenta dificultades significativas debido a la falta de un espacio de módulos y la complejidad de los grupos de Chow.

Metodología
El artículo emplea un enfoque geométrico centrado en el estudio de familias universales de intersecciones completas. La estrategia central involucra los siguientes pasos:

1. Reducción a Intersecciones Completas: El autor utiliza un resultado (Proposición 2.1) que muestra que, para una variedad $X$ embebida en una variedad de Grassmann, el grupo de Chow de $X$ puede recuperarse del grupo de Chow de una familia de intersecciones completas que contiene a $X$ como componente, siempre que la dimensión del espacio de parámetros sea suficientemente grande. Esto se basa en la inyectividad del mapa de tracción (pull-back) y restricción desde el espacio ambiente hacia el complemento de una hipersuperficie determinante universal.
2. Familias Universales: La demostración construye familias universales de intersecciones completas suaves $X^0_{d,N,l}$ dentro de una variedad de Grassmann $G(d, N)$. Al analizar los grupos de Chow de estas familias universales, el autor demuestra que cualquier ciclo definido universalmente en ellas debe ser expresable como un polinomio en las clases de Chern relativas.
3. Independencia de Parámetros: Un paso técnico crucial consiste en probar que los coeficientes de estos polinomios son independientes del grado $l$ de las intersecciones completas y dependen solo de la dimensión $d$. Esto se logra construyendo variedades de prueba específicas (usando variedades abelianas y productos de espacios proyectivos) donde las clases de Chern no satisfacen relaciones polinómicas no triviales hasta un cierto grado pesado.
4. Extensión a Productos y Potencias: La metodología se extiende a productos de variedades y potencias de variedades ($X^k$). Para los productos, el autor prueba que los ciclos definidos universalmente son polinomios en las clases de Chern de los factores individuales. Para las potencias, introduce un marco combinatorio que involucra particiones del conjunto $\{1, \dots, k\}$ y morfismos diagonales $\Delta_I$.

Contribuciones Clave y Resultados

• Teorema 1.4 (Resultado Principal para Variedades): El artículo demuestra que cualquier ciclo definido universalmente en variedades complejas suaves de dimensión $d$ está dado por un polinomio único con coeficientes racionales en las clases de Chern $c_1, \dots, c_d$ de la variedad. Esto establece un análogo de la conjetura de Franchetta para dimensiones superiores, mostrando que el ciclo es un múltiplo universal de un polinomio en las clases de Chern, independiente de la variedad específica o del campo de definición.
• Teorema 1.7 (Resultado Principal para Productos): El resultado se generaliza a productos de $r$ variedades suaves de dimensiones $d_1, \dots, d_r$. Se demuestra que un ciclo definido universalmente en tales productos está determinado únicamente por un polinomio en las clases de Chern de los factores individuales, con restricciones de grado pesado.
• Conjetura 1.8 (Forma Estándar para Potencias): El artículo formula una conjetura para ciclos definidos universalmente en potencias $k$-ésimas de variedades ($X^k$). Esta postula que cualquier tal ciclo puede expresarse de forma única como una suma sobre particiones $I$ de $\{1, \dots, k\}$, donde cada término involucra un morfismo diagonal $\Delta_I$ y un polinomio en las clases de Chern de los factores.
• Teorema 1.9 (Unicidad para Ciclos Estándar): El autor demuestra que si un ciclo definido universalmente "estándar" (uno que satisface la forma de la Conjetura 1.8) es cohomológicamente trivial para todas las variedades suaves, entonces el ciclo mismo es cero en el grupo de Chow. Esto establece la unicidad de la representación para ciclos estándar.
• Teorema 3.4: Se demuestra un resultado de unicidad para la colección de polinomios que definen un ciclo definido universalmente en potencias, mostrando que el ciclo se anula si y solo si todos los polinomios definidores se anulan.

Significancia y Reivindicaciones
El artículo afirma establecer un resultado estructural fundacional para ciclos algebraicos en familias. Al probar que los ciclos definidos universalmente son polinomios en las clases de Chern, el autor proporciona un marco riguroso para comprender los ciclos que se comportan de manera funcional a través de familias de variedades.

El autor señala que la demostración de la Conjetura 1.8 (la forma explícita para potencias) permanece incompleta. Sin embargo, el artículo destaca que la conjetura, de ser cierta, tendría consecuencias significativas:

• Proporcionaría una prueba alternativa del teorema de Ellingsrud-Göttsche-Lehn respecto a los anillos de Chow de los esquemas de Hilbert de superficies K3.
• Impactaría la conjetura de Beauville-Voisin sobre el anillo de Chow de los esquemas de Hilbert de superficies K3, específicamente respecto a las relaciones de conmutación de Lehn.
• Se observa que las demostraciones actuales en [12] relativas a los anillos de Chow de los esquemas de Hilbert de superficies K3 son incompletas porque dependen de la no probada Conjetura 1.8.

El artículo se posiciona como el primer paso hacia el establecimiento de la Conjetura 1.8, proporcionando las definiciones necesarias, la demostración para el caso $k=1$ (Teorema 1.4) y la demostración de la unicidad para el caso general. El trabajo se describe como un estudio del formalismo de los ciclos definidos universalmente, con el objetivo de clarificar la relación entre los ciclos geométricos y las clases características en ausencia de un espacio de módulos global.