Teoría de Witt constructible de esquemas

Información Básica

• ID del artículo: 2307.01032
• Título: Teoría de Witt constructible de esquemas
• Autores: Onkar Kamlakar Kale, Girja S Tripathi
• Clasificación: math.AG (Geometría Algebraica), math.KT (Teoría K y Álgebra Homológica)
• Fecha de publicación: 31 de diciembre de 2024 (versión más reciente v3)
• Enlace del artículo: https://arxiv.org/abs/2307.01032

Resumen

Este artículo estudia la teoría de Witt constructible de capas de $\Lambda$-módulos étale sobre esquemas $X$, donde el anillo de coeficientes $\Lambda$ tiene característica finita distinta de 2 y es primo relativo a la característica residual del esquema $X$. La construcción se basa en los avances recientes de Cisinski y Déglise en el formalismo de seis funtores de la categoría derivada de motivos étale, proporcionando el contexto para estudiar la teoría de Witt constructible como invariante cohomológico de esquemas. Para variedades algebraicas complejas suaves y anillos de coeficientes finitos, los autores demuestran que la teoría de Witt constructible algebraica estudiada puede identificarse con la teoría de Witt constructible topológica.

Antecedentes y Motivación de la Investigación

Contexto del Problema

1. Generalización de la teoría de grupos de Witt: La teoría clásica de grupos de Witt fue introducida por Ernst Witt en 1937, estudiando clases de isomorfismo de formas cuadráticas sobre cuerpos. Balmer generalizó esta teoría a categorías trianguladas con dualidad.
2. Teoría de Witt constructible topológica: Woolf y Schürmann desarrollaron grupos de Witt de capas de módulos sobre espacios topológicos como teoría de cohomología generalizada, proporcionando invariantes de tipo firma para espacios topológicos.
3. Correspondencia en geometría algebraica: Los autores desean establecer una teoría análoga en geometría algebraica, buscando en particular la correspondencia algebraica de clases L como operaciones cohomológicas estables del grupo de Witt constructible (topológico) a cohomología racional ordinaria.

Motivación de la Investigación

1. Completitud teórica: Establecer un marco sistemático para la teoría de Witt constructible en geometría algebraica
2. Conexión con teoría equivariante: Enfoque particular en la conexión con la teoría de Witt equivariante $\mathbb{Z}/2\mathbb{Z}$ en el caso del cuerpo de números reales
3. Correspondencia topológico-algebraica: Establecer un puente entre la teoría de Witt constructible definida algebraicamente y la teoría definida topológicamente

Contribuciones Principales

1. Establecimiento de la teoría de Witt constructible de esquemas: Basándose en el formalismo de seis funtores de Cisinski-Déglise, se define el grupo de Witt constructible $W^i_c(X_{\text{ét}}, \Lambda)$ sobre esquemas $X$
2. Demostración de la caracterización equivariante para números reales: Para el cuerpo de números reales $\mathbb{R}$, se establece el isomorfismo $W^i_c((\text{Spec } \mathbb{R})_{\text{ét}}, \Lambda) \cong W^i_{\text{lf}}(\Lambda[\mathbb{Z}/2\mathbb{Z}])$
3. Establecimiento de la correspondencia algebraico-topológica: Para variedades algebraicas complejas suaves $X$ y anillo de coeficientes finito $\Lambda$, se demuestra que $W^i_c(X_{\text{ét}}, \Lambda) \cong W^i_c(X^{\text{an}}, \Lambda)$
4. Construcción de firma algebraica: Se define la firma que toma valores en los grupos de Witt correspondientes para variedades algebraicas reales proyectivas y variedades algebraicas complejas

Explicación Detallada de Métodos

Marco Teórico

Definición 4.1 (Grupo de Witt constructible): Sea $X$ un esquema, $\Lambda$ un anillo de coeficientes que satisface las condiciones, y $T \in D^b_{\text{ctf}}(S_{\text{ét}}, \Lambda)$ un objeto $\otimes$-invertible. El grupo de Witt constructible se define como el grupo de Witt de la categoría triangulada con dualidad $(D^b_{\text{ctf}}(X_{\text{ét}}, \Lambda), D_X(T))$: $W^n_c(X_{\text{ét}}, \Lambda, T) := W^n(D^b_{\text{ctf}}(X_{\text{ét}}, \Lambda), D_X(T))$

donde el funtor de dualidad es: $D_X(T) = R\text{Hom}(-, f^!(T)) : D^b_{\text{ctf}}(X_{\text{ét}}, \Lambda)^{\text{op}} \to D^b_{\text{ctf}}(X_{\text{ét}}, \Lambda)$

Herramientas Técnicas

1. Formalismo de seis funtores: Se utiliza el trabajo de Cisinski-Déglise para establecer el formalismo de seis funtores en un contexto más general
2. h-motivos constructibles locales: Se obtiene mayor generalidad mediante la equivalencia $D^b_{\text{ctf}}(X_{\text{ét}}, \Lambda) \simeq DM_{h,lc}(X, \Lambda)$
3. Teoría de Galois: Para el caso de cuerpos, se utiliza la acción del grupo de Galois absoluto para establecer la descripción equivariante

Innovaciones Técnicas Clave

1. Formalismo de seis funtores extendido: En comparación con el clásico AGV71, DGIV77, se obtienen resultados más generales a través de motivos étale
2. Compatibilidad de dualidad: Se demuestra la compatibilidad del pullback y pushforward con la estructura de dualidad
3. Preservación de dualidad en equivalencias de categorías: Se establece un marco donde las equivalencias entre diferentes categorías preservan la estructura de dualidad

Teoremas Principales

Teorema 1.1 (Formalismo de Seis Funtores)

Sea $B$ un esquema noetheriano excelente de dimensión $\leq 2$, $\Lambda$ un anillo noetheriano de característica positiva primo relativo a la característica residual de $B$. Sea $\phi: S \to B$ un $B$-esquema regular separado de tipo finito, y $f: X \to S$ un morfismo separado de tipo finito. Entonces:

1. La categoría $D^b_{\text{ctf}}(X_{\text{ét}}, \Lambda) \subset D^b(X_{\text{ét}}, \Lambda)$ es cerrada bajo los seis funtores
2. Para un objeto $\otimes$-invertible $T \in D^b_{\text{ctf}}(S_{\text{ét}}, \Lambda)$, el funtor $D_X(T) = R\text{Hom}(-, f^!(T))$ es un funtor de dualidad

Teorema 1.2 (Functorialidad)

Bajo las mismas hipótesis, los morfismos étale inducen pullback de grupos de Witt constructibles, y los morfismos propios inducen pushforward.

Teorema 1.3 (Caracterización Equivariante para Números Reales)

Para un anillo finito $\Lambda$ de característica distinta de 2: $D^b_{\text{ctf}}((\text{Spec } \mathbb{R})_{\text{ét}}, \Lambda) \simeq D^b(\text{Proj}(\Lambda[\mathbb{Z}/2\mathbb{Z}]))$

Esto induce la identificación de grupos de Witt constructibles: $W^i_c((\text{Spec } \mathbb{R})_{\text{ét}}, \Lambda) \cong W^i_{\text{lf}}(\Lambda[\mathbb{Z}/2\mathbb{Z}])$

Teorema 1.4 (Correspondencia Algebraico-Topológica)

Sea $X$ una variedad algebraica suave sobre $\mathbb{C}$, $\Lambda$ un anillo finito de característica distinta de 2. Entonces existe una equivalencia de categorías trianguladas con dualidad: $(D^b_{\text{ctf}}(X_{\text{ét}}, \Lambda), R\text{Hom}(-, \Lambda)) \simeq (D^b_c(X^{\text{an}}, \Lambda), R\text{Hom}(-, \Lambda))$

que induce el isomorfismo: $W^i_c(X_{\text{ét}}, \Lambda) \cong W^i_c(X^{\text{an}}, \Lambda)$

Aplicaciones y Resultados

Construcción de Firma

Teorema 7.1: Para variedades algebraicas proyectivas, se construye el morfismo de firma:

1. Variedades reales proyectivas: Para una variedad algebraica real proyectiva $X$ con morfismo de estructura $f: X \to \text{Spec } \mathbb{R}$: $W^i(f_*): W^i_c(X_{\text{ét}}, \Lambda) \to W^i_{\text{lf}}(\Lambda[\mathbb{Z}/2\mathbb{Z}])$
2. Variedades complejas proyectivas: Para una variedad algebraica compleja proyectiva $X$ con morfismo de estructura $f: X \to \text{Spec } \mathbb{C}$: $W^i(f_*): W^i_c(X_{\text{ét}}, \Lambda) \to W^i_{\text{lf}}(\Lambda)$

Sucesión de Localización

Para una inmersión cerrada $i: Z \hookrightarrow X$ e inmersión abierta complementaria $j: U = X - Z \hookrightarrow X$, se obtiene una sucesión exacta de 12 términos: $\cdots \to W^{n-1}_c(U_{\text{ét}}, \Lambda) \xrightarrow{\partial^{n-1}} W^n_c(Z_{\text{ét}}, \Lambda) \xrightarrow{W^n(i_*)} W^n_c(X_{\text{ét}}, \Lambda) \xrightarrow{W^n(j^*)} W^n_c(U_{\text{ét}}, \Lambda) \to \cdots$

Detalles Técnicos

Caracterización de Capas Constructibles

Para un esquema noetheriano $X$ y anillo noetheriano $\Lambda$, una capa de $\Lambda$-módulos $\mathcal{F}$ es constructible si y solo si existe una descomposición finita en subconjuntos localmente cerrados $\bigcup^n_{i=1} X_i$ de $X$ tal que cada $\mathcal{F}|_{X_i}$ es localmente constante y los tallos de $\mathcal{F}$ son $\Lambda$-módulos finitamente generados.

Dimensión Tor Finita

Un complejo acotado $\mathcal{F}^\bullet$ tiene dimensión Tor finita si existe un entero $n$ tal que para todo $i > n$ y toda capa de $\Lambda$-módulos constante $\mathcal{M}$, se tiene $\text{Tor}_i(\mathcal{F}^\bullet, \mathcal{M}) = 0$.

Trabajos Relacionados

Desarrollo Histórico

1. Witt (1937): Introducción de grupos de Witt de formas cuadráticas sobre cuerpos
2. Balmer (1999-2001): Desarrollo de la teoría de Witt para categorías trianguladas con dualidad
3. Woolf (2008), Schürmann-Woolf (2020): Teoría de Witt constructible sobre espacios topológicos

Fundamentos Técnicos

1. Cisinski-Déglise (2016): Formalismo de seis funtores de motivos étale
2. Beilinson-Bernstein-Deligne (1982): Comparación de capas constructibles algebraicas y topológicas
3. Grothendieck et al. (SGA 4, 4½): Teoría clásica de cohomología étale

Conclusiones y Discusión

Conclusiones Principales

1. Se establece exitosamente la teoría de Witt constructible de esquemas como invariante cohomológico
2. Se demuestra la identificación con la teoría de Witt equivariante $\mathbb{Z}/2\mathbb{Z}$ en el caso de números reales
3. Se establece un puente entre la teoría de Witt constructible algebraica y topológica
4. Se construye firma con valores en grupos de Witt para variedades proyectivas

Limitaciones

1. Invariancia por homotopía: Debido a restricciones en la compatibilidad de dualidad con el formalismo de seis funtores, no se demuestra la invariancia por homotopía
2. Restricciones en el anillo de coeficientes: Se requiere que la característica del anillo de coeficientes sea prima relativa a la característica residual del esquema
3. Restricción de dimensión: La dimensión del esquema base está limitada a $\leq 2$

Direcciones Futuras

1. Invariancia por homotopía: Posiblemente se obtenga un marco más flexible en la configuración de categorías infinitas
2. Cobordismo algebraico: Desarrollo de la teoría de cobordismo algebraico de espacios de Witt
3. Coeficientes más generales: Extensión a configuraciones de anillos de coeficientes más generales
4. Acción de grupos profinitos: Estudio de la teoría de Witt bajo la acción del grupo de Galois absoluto sobre cuerpos generales

Evaluación Profunda

Ventajas

1. Innovación teórica: Primera construcción sistemática de la teoría de Witt constructible de esquemas
2. Técnicas avanzadas: Aprovechamiento completo de los resultados recientes de Cisinski-Déglise
3. Resultados profundos: Establecimiento de conexiones importantes entre geometría algebraica y topología
4. Valor aplicativo: Proporciona nuevos invariantes para variedades proyectivas

Deficiencias

1. Limitaciones técnicas: Ciertos resultados requieren hipótesis técnicas bastante fuertes
2. Completitud: Propiedades fundamentales como la invariancia por homotopía aún no se establecen completamente
3. Aspectos computacionales: Carencia de ejemplos computacionales concretos y algoritmos

Impacto

1. Contribución teórica: Proporciona una nueva teoría de invariantes cohomológicos para geometría algebraica
2. Campos interdisciplinarios: Conecta geometría algebraica, topología y teoría K
3. Investigación subsecuente: Sienta las bases para la teoría algebraica de espacios de Witt

Escenarios de Aplicación

1. Clasificación de variedades algebraicas e investigación de invariantes
2. Teoría de firma en geometría algebraica real
3. Investigación de geometría algebraica equivariante
4. Aplicaciones de la teoría de cohomología de motivos

Referencias

Bal99-01 P. Balmer. Derived Witt groups and triangular Witt groups series CD16 D.-C. Cisinski, F. Déglise. Étale motives Woo08 J. Woolf. Witt groups of sheaves on topological spaces SW20 J. Schürmann, J. Woolf. Witt groups of abelian categories and perverse sheaves

Este artículo realiza contribuciones importantes en el campo interdisciplinario de geometría algebraica y teoría K, estableciendo un marco sistemático para la teoría de Witt constructible de esquemas y proporcionando una base teórica sólida para investigaciones posteriores.