Un lema de movimiento para cohomología con soporte

Información Básica

• ID del Artículo: 2207.08297
• Título: Un lema de movimiento para cohomología con soporte
• Autor: Stefan Schreieder (Universidad Leibniz de Hannover)
• Clasificación: math.AG (Geometría Algebraica), math.KT (Teoría K)
• Fecha de Publicación: 2024, publicado en Épijournal de Géométrie Algébrique
• Enlace del Artículo: https://arxiv.org/abs/2207.08297

Resumen

Este artículo demuestra un lema de movimiento para una clase natural de teorías de cohomología con soporte (incluyendo cohomología étale o pro-étale con coeficientes apropiados), aplicable a clases de cohomología con soporte en variedades k-cuasiproyectivas suaves que admiten compactificaciones proyectivas suaves (como en característica cero). Esto tiene las siguientes consecuencias importantes para tales k-variedades y teorías de cohomología: generalizaciones locales y globales de los teoremas de effacement de Quillen, Bloch-Ogus y Gabber, una versión de nivel finito de la conjetura de Gersten en característica cero, y generalizaciones de la inyectividad de la cohomología étale y el teorema de pureza de codimensión 1. Los resultados muestran que los grupos de cohomología no ramificada refinada en Sch23 son motivicos.

Contexto de Investigación y Motivación

Contexto del Problema

En geometría algebraica, el lema de movimiento de Chow permite mover cadenas algebraicas cerradas a posiciones buenas respecto a un subconjunto cerrado S⊂X en el sentido de equivalencia racional. El contenido esencial de la conjetura de Gersten es un teorema de effacement, que es equivalente a un lema de movimiento análogo para clases con soporte en casos especiales (X es afín, S es un conjunto finito de puntos).

Motivación de la Investigación

1. Completitud Teórica: ¿Son los teoremas de effacement de Quillen, Bloch-Ogus y Gabber casos especiales de un lema de movimiento más general?
2. Requisitos Técnicos: ¿Pueden moverse clases con soporte Z⊂X a un soporte Z' tal que Z' esté en buena posición respecto a cualquier subconjunto cerrado dado S⊂X?
3. Valor de Aplicación: Tales lemas de movimiento producirían nuevas aplicaciones que van más allá de la conjetura de Gersten original.

Limitaciones de Métodos Existentes

• Los teoremas de effacement clásicos solo se cumplen en casos especiales (variedades afines, soporte de dimensión cero)
• Falta una teoría general para manejar soportes S de dimensión superior
• Los métodos existentes funcionan mal en aspectos de localización

Contribuciones Principales

1. Lema de Movimiento Principal: Demuestra un lema de movimiento para clases de cohomología con soporte en variedades k-cuasiproyectivas suaves que admiten compactificaciones proyectivas suaves
2. Generalización de Teoremas de Effacement: Proporciona generalizaciones locales y globales de los teoremas de Quillen, Bloch-Ogus y Gabber
3. Versión de Nivel Finito de la Conjetura de Gersten: Establece una versión de nivel finito de la conjetura de Gersten en característica cero
4. Generalización de Teoremas de Pureza: Generaliza la inyectividad de la cohomología étale y el teorema de pureza de codimensión j+1
5. Propiedades Motivicas: Demuestra la naturaleza motivica de los grupos de cohomología no ramificada refinada

Explicación de Métodos

Definición de la Tarea

Para un k-esquema algebraico suave equidimensional X y subconjuntos cerrados S,Z⊂X (dimZ < dimX), se buscan subconjuntos cerrados Z'⊂W⊂X tales que:

• Z⊂W, dimZ' = dimZ, dimW = dimZ+1
• Z' y W\Z se intersecan apropiadamente con S
• Para cualquier α∈H_Z(X,n) existe α'∈H_{Z'}(X,n) tal que α y α' tienen la misma imagen en H*_W(X,n)

Marco Técnico Principal

1. Teorías de Cohomología Torcida

Se definen teorías de cohomología (X,Z) ↦ H*_Z(X,n) que satisfacen:

• C1 (excisión): Compatibilidad de inmersiones abiertas
• C2 (pushforwards): Mapeos de pushforward para aplicaciones propias
• C3 (sucesión exacta larga): Sucesión exacta larga de ternas
• C4 (acción de ciclos): Acción de ciclos algebraicos
• C5 (semipu­reza): Desvanecimiento bajo condiciones de dimensión

2. Acción de Ciclos en Variedades Abiertas

Para esquemas proyectivos suaves equidimensionales X,Y y ciclo Γ∈Z^c(X×Y), se construye la acción:

Γ^(W)_*: H^i_Z(U,n) → H^{i+2c-2d_X}_{Z'}(U',n+c-d_X)

donde U=X\R, U'=Y\R' son subconjuntos abiertos apropiados.

3. Estrategia de Prueba del Lema de Movimiento

1. Reducción al Caso Proyectivo: Utilización de compactificaciones proyectivas suaves
2. Aplicación del Lema de Movimiento de Chow: Aplicación del lema de movimiento de Levine a la diagonal Δ_X⊂X×X
3. Utilización de la Acción de Ciclos: Movimiento de clases mediante la acción de ciclos en cohomología
4. Manejo de Dificultades Técnicas: Tratamiento técnico cuando X es solo un subconjunto abierto de un esquema proyectivo

Puntos de Innovación Técnica

1. Marco Teórico Unificado

Unificación de diferentes teorías de cohomología (étale, pro-étale, etc.) bajo un marco axiomático único.

2. Análisis Fino de la Acción de Ciclos

Análisis detallado de la acción de ciclos algebraicos en cohomología de variedades abiertas, en particular:

• Compatibilidad con equivalencia racional
• Comportamiento de localización
• Propiedades funtoriales

3. Globalización del Lema de Movimiento

Generalización del caso afín clásico a variedades cuasiproyectivas generales, manejando soportes de dimensión arbitraria.

Teoremas Principales

Teorema 1.1 (Lema de Movimiento)

Sea X un k-esquema algebraico suave equidimensional que admite una compactificación proyectiva suave, y sean S,Z⊂X subconjuntos cerrados con dimZ < dimX. Entonces existen subconjuntos cerrados Z'⊂W⊂X que satisfacen:

• Z⊂W, dimZ' = dimZ, dimW = dimZ+1
• Z' y W\Z se intersecan apropiadamente con S
• Para cualquier α∈H_Z(X,n), existe α'∈H_{Z'}(X,n) tal que α y α' tienen la misma imagen en H*_W(X,n)

Corolario 1.2 (Effacement Global)

Bajo las condiciones anteriores, si dimS + dimZ < dimX, entonces existen una vecindad U⊂X de S y un subconjunto cerrado W⊂X tales que la composición:

H*_Z(X,n) → H*_W(X,n) → H*_W(U,n)

es cero.

Corolario 1.5 (Versión de Nivel Finito de la Conjetura de Gersten)

Para variedades afines suaves sobre un cuerpo de característica cero X, dada una cadena de puntos Z_c = {x} ⊂ Z_ ⊂ ⋯ ⊂ Z_1 ⊂ Z_0 = X_x, tras refinamiento apropiado, el siguiente complejo es exacto:

0 → H^i(X_x,n) → H^i_{BM}(X_x\Z_1) → ⋯ → H^0_{BM}(Z_i\Z_{i+1}) → 0

Aplicaciones y Resultados

1. Propiedades Motivicas de la Cohomología No Ramificada Refinada

Corolario 1.7: Para esquemas proyectivos suaves equidimensionales X,Y, existe un emparejamiento biádico:

CH^c(X×Y) × H^i_{j,nr}(X,n) → H^{i+2c-2d_X}_{j+c-d_X,nr}(Y,n+c-d_X)

que es funtorial respecto a la composición de correspondencias.

2. Fórmula del Haz Proyectivo

Corolario 6.12: Existe un isomorfismo canónico:

⊕_{l=0}^{min(j,n)} H^{i-2l}_{j-l,nr}(Y,m-l) ≃ H^i_{j,nr}(Y×ℙ^n_k,m)

3. Invariancia Birracional

Corolario 6.14: Si f: X ⤏ Y es una aplicación birracional que es un isomorfismo en codimensión c, entonces para j ≤ c:

f*: H^i_{j,nr}(Y,n) ≃ H^i_{j,nr}(X,n)

Detalles Técnicos

Cohomología Pro-étale

El artículo verifica detalladamente que la cohomología pro-étale satisface los axiomas requeridos C1-C5. Las técnicas clave incluyen:

• Dualidad de Poincaré: f*_(d)2d ≃ f!
• Pureza: i*_(-c)-2c ≃ i!
• Formalismo de Seis Funtores: Sistema completo de funtores de pushforward y pullback

Mapeo de Clase de Ciclos

Se construye el mapeo de clase de ciclos:

cl^X_Z(Γ) ∈ H^{2c}_Z(X,ℤ_ℓ(c))

que satisface:

• Linealidad
• Compatibilidad con mapeos de pushforward y pullback
• Fórmula de producto copa

Trabajo Relacionado

Resultados Clásicos

• Lema de Movimiento de Chow Cho56: Movimiento de ciclos algebraicos
• Quillen Qui73: Effacement en teoría K
• Bloch-Ogus BO74: Conjetura de Gersten en cohomología étale
• Gabber Gab94: Prueba en el caso general

Desarrollos Modernos

• Levine Lev98,Lev05: Lema de movimiento para grupos de Chow de orden superior
• Cohomología No Ramificada Refinada Sch23: Trabajo anterior del autor

Conclusiones y Discusión

Conclusiones Principales

1. Se establece un lema de movimiento general para cohomología con soporte
2. Se unifican y generalizan múltiples resultados clásicos
3. Se demuestra la naturaleza motivica de la cohomología no ramificada refinada
4. Se proporciona una versión de nivel finito de la conjetura de Gersten

Limitaciones

1. Requiere la existencia de compactificaciones proyectivas suaves (como en característica cero)
2. El subconjunto Z' movido generalmente no se localiza bien
3. La verificación de ciertas condiciones técnicas (como intersección apropiada) puede ser compleja

Direcciones Futuras

1. Generalización a esquemas base más generales
2. Conexiones con teoría de homotopía motivica
3. Aplicaciones en geometría aritmética

Evaluación Profunda

Ventajas

1. Unidad Teórica: Unificación de múltiples resultados aparentemente independientes bajo un marco único
2. Innovación Técnica: Análisis fino de la acción de ciclos y globalización del lema de movimiento
3. Amplitud de Aplicaciones: Aplicaciones importantes tanto en teoría abstracta como en cálculos concretos
4. Completitud de Pruebas: Manejo apropiado de detalles técnicos, particularmente en la verificación de cohomología pro-étale

Insuficiencias

1. Complejidad Técnica: Las pruebas involucran numerosos detalles técnicos que pueden afectar la legibilidad
2. Rango de Aplicabilidad: Ciertas restricciones sobre la característica del cuerpo base
3. Dificultad Computacional: Los cálculos en aplicaciones prácticas pueden seguir siendo difíciles

Impacto

1. Contribución Teórica: Proporciona nuevas herramientas para teorías de cohomología en geometría algebraica
2. Valor Práctico: Aplicaciones potenciales en teoría motivica y geometría aritmética
3. Reproducibilidad: Resultados teóricos, verificación relativamente accesible

Escenarios de Aplicación

1. Cálculos de cohomología en geometría algebraica
2. Investigación en teoría motivica
3. Aplicaciones en geometría aritmética
4. Teoría K y teoría de ciclos

Referencias Bibliográficas

Las referencias principales incluyen:

• Cho56 W.-L. Chow, "On equivalence classes of cycles in an algebraic variety"
• BO74 S. Bloch and A. Ogus, "Gersten's conjecture and the homology of schemes"
• Qui73 D. Quillen, "Higher algebraic K-theory, I"
• BS15 B. Bhatt and P. Scholze, "The pro-étale topology of schemes"
• Sch23 S. Schreieder, "Refined unramified cohomology of schemes"

Este artículo realiza contribuciones importantes a la teoría de cohomología en geometría algebraica, no solo unificando múltiples resultados clásicos sino también proporcionando herramientas poderosas para investigación posterior. Su innovación técnica y profundidad teórica lo convierten en una literatura importante en este campo.