Some remarks on Chow correspondences

Resumen Técnico Detallado de "Some Remarks on Chow Correspondences" de Pablo Peláez

Planteamiento del Problema
El artículo aborda un problema específico dentro del marco de la categoría triangulada de motivos de Voevodsky ($DM_k$): caracterizar las correspondencias de Chow $\Lambda \in CH^{d+n}(X \times Y)$ entre variedades proyectivas suaves $X$ e $Y$ (sobre un cuerpo algebraicamente cerrado $k$) para las cuales un homomorfismo inducido específico $\psi$ se anula.

El homomorfismo en cuestión, $\psi: CH^{d_Y-n}(Y) \to Alb(X)(k)$, se define mediante una correspondencia de Chow $\Lambda$. Mapea un ciclo $\gamma$ a la imagen en el álbano de la aplicación de la transferencia del producto de intersección, ajustada por grado:
$$\psi(\gamma) = alb_X(\Lambda(\gamma) - \deg(\Lambda(\gamma))[x_0])$$
donde $alb_X$ es el mapa de álbano y $x_0$ es un punto racional fijo, y $\Lambda(\gamma)$ es la acción estándar de la correspondencia sobre los ciclos. El artículo busca determinar las condiciones bajo las cuales $\psi$ es identicamente cero, relacionando específicamente este anulación con la estructura de la correspondencia dentro de la filtración ortogonal de la categoría de motivos.

Metodología
El autor emplea la maquinaria de la categoría triangulada de motivos de Voevodsky ($DM_k$) y la teoría de relaciones de equivalencia adecuadas. La metodología se basa en los siguientes componentes clave:

1. Representación Motivica de Ciclos: El artículo utiliza el isomorfismo $Hom_{DM_k}(M(Z), \mathbb{1}(m)[2m]) \cong CH^m(Z)$ para representar ciclos algebraicos como morfismos en la categoría motivica.
2. Filtración Ortogonal: Una herramienta central es la filtración ortogonal de $DM_k$, denotada como $DM_k^\perp(m)$. Esta filtración consiste en objetos ortogonales a la subcategoría de motivos $m$-efectivos. El artículo se enfoca específicamente en la cubierta ortogonal $bc_{\leq -1}$ y su counidad $\theta_{-1}^A: bc_{\leq -1}(A) \to A$, donde $A$ representa el functor de puntos de la variedad de álbano $Alb(X)$.
3. Criterios de Factorización: El enfoque técnico central implica el análisis de la factorización del mapa motivico asociado a la correspondencia. Específicamente, el artículo investiga si la composición del mapa motivico inducido por $\Lambda$ y el mapa hacia la variedad de álbano factoriza a través de la cubierta ortogonal $bc_{\leq -1}(A)$.
4. Homomorfismos Regulares: El análisis conecta la anulación de $\psi$ con la teoría de homomorfismos regulares inducidos por ciclos (en el sentido de Lieberman), utilizando las propiedades del mapa de álbano como un homomorfismo regular.

Contribuciones Clave y Resultados

• Caracterización de Correspondencias Nulas (Teorema 4.1.4):
  El resultado principal establece una condición necesaria y suficiente para que el homomorfismo $\psi$ sea cero. El teorema establece que $\psi \equiv 0$ si y solo si el mapa motivico asociado con la correspondencia (específicamente la composición $A_f \circ \Lambda_X$) factoriza a través de la cubierta ortogonal $\theta_{-1}^A: bc_{\leq -1}(A) \to A$. En términos diagramáticos, existe un mapa $\Lambda': M(Y)(-n)[-2n] \to bc_{\leq -1}(A)$ que hace que el triángulo relevante en $DM_k$ conmute.

• Detección de Equivalencia al Cuadrado (Teorema 4.3.1):
  El artículo demuestra que la cubierta ortogonal detecta correspondencias que son "equivalentes al cuadrado a cero" (denotadas como $alg^{*2}$). Específicamente, si una correspondencia $\Lambda$ pertenece al subgrupo $CH^{d+n}_{alg^{*2}}(Y \times X)$ (el producto de la relación de equivalencia algebraica consigo misma), entonces el homomorfismo inducido $\psi$ es cero. Consecuentemente, tales correspondencias satisfacen la condición de factorización a través de $bc_{\leq -1}(A)$.

• Detección de la Filtración de H. Saito (Teorema 4.3.2):
  En el caso específico donde el cuerpo base es $k = \mathbb{C}$, el resultado se fortalece para incluir correspondencias en el segundo paso de la filtración de H. Saito ($H^{*2}$). Si $\Lambda \in CH^{d+n}_{H^{*2}}(Y \times X)$, entonces $\psi$ se anula, y la factorización a través de la cubierta ortogonal se cumple.

• Nitidez de las Condiciones (Observación 4.3.3):
  El autor proporciona un contraejemplo para mostrar que la condición $\Lambda \in CH^{d+n}_{alg^{*2}}$ es nítida. Se muestra que para una correspondencia que está meramente en $CH^{d+n}_{alg}$ (equivalencia algebraica) pero no en el cuadrado, el homomorfismo $\psi$ no necesariamente se anula. Esto se demuestra construyendo una correspondencia que involucra un elemento de no torsión en el núcleo del álbano y un ciclo que no es numéricamente equivalente a cero.

Significado y Pretensiones
El artículo pretende proporcionar un criterio motivico preciso para la anulación de homomorfismos regulares inducidos por ciclos hacia la variedad de álbano. Al vincular la anulación de $\psi$ con la factorización a través de la cubierta ortogonal $bc_{\leq -1}$, el trabajo conecta la teoría de intersecciones clásica (relaciones de equivalencia adecuadas) con las propiedades estructurales de la categoría de motivos de Voevodsky.

La significancia radica en la capacidad de la filtración ortogonal para "detectar" clases específicas de correspondencias:

1. Identifica aquellas correspondencias que inducen el mapa cero en la variedad de álbano.
2. Caracteriza las correspondencias que son equivalentes al cuadrado a cero o que pertenecen al segundo paso de la filtración de Saito (sobre $\mathbb{C}$) como aquellas que satisfacen esta factorización motivica.

El autor no pretende resolver la conjetura general de Bloch-Beilinson, sino posicionar la filtración ortogonal como una herramienta que captura naturalmente estas relaciones de equivalencia específicas, ofreciendo una perspectiva motivica sobre el comportamiento de los ciclos algebraicos bajo el mapa de álbano. Los resultados se presentan como caracterizaciones dentro del marco existente de los motivos, apoyándose en las propiedades establecidas del mapa de álbano y la teoría de homomorfismos regulares de Lieberman.