Cancellation and splitting of Symplectic modules in the critical range and Euler class group

Aquí presento un resumen técnico detallado del artículo "CANCELLATION AND SPLITTING OF SYMPLECTIC MODULES IN THE CRITICAL RANGE AND EULER CLASS GROUP" (Cancelación y descomposición de módulos simplécticos en el rango crítico y grupo de clases de Euler), escrito por Rakesh Pawar y Husney Parvez Sarwar.

1. Planteamiento del Problema

El artículo aborda problemas fundamentales en la teoría de módulos proyectivos sobre anillos conmutativos y esquemas afines suaves, específicamente en el contexto de la teoría de homotopía motivica ($\mathbb{A}^1$-homotopía).

• Contexto Histórico: Se parte de resultados clásicos como el teorema de descomposición de Serre y el teorema de cancelación de Bass para módulos proyectivos de rango mayor que la dimensión del anillo. En el "rango crítico" (donde el rango del módulo es igual o cercano a la dimensión del anillo), estos teoremas fallan en general.
• Conjeturas Relevantes:
  • Conjetura de Cancelación de Suslin: Establece condiciones bajo las cuales $P \oplus Q \cong P' \oplus Q$ implica $P \cong P'$ para rangos críticos. Fasel demostró esto para rangos $d-1$ bajo ciertas condiciones.
  • Conjetura de Descomposición de Murthy: Afirma que un módulo proyectivo de rango $d-1$ sobre un álgebra afín suave de dimensión $d$ es isomorfo a $Q \oplus R$ si y solo si su clase de Chern superior $c_{d-1}(P)$ es cero en el grupo de Chow.
• Objetivo Principal: Extender estos resultados al contexto de módulos simplécticos (módulos proyectivos equipados con una forma bilineal simpléctica no degenerada). Los autores buscan establecer teoremas de cancelación y descomposición para módulos simplécticos de rango $2n$ en dimensión $2n$ (y $2n+1$), análogos a los resultados de Fasel y Murthy para módulos proyectivos generales.
• Segundo Objetivo: Resolver parcialmente una pregunta de Mrinal Das sobre la relación entre el grupo de clases de Euler ($E_{d-1}$) y el grupo de Chow ($CH_{d-1}$) para esquemas afines suaves de dimensión $d \geq 4$.

2. Metodología

La metodología se basa en el uso intensivo de la teoría de homotopía motivica desarrollada por Morel y Voevodsky. Las herramientas clave incluyen:

1. Representabilidad Afín: Utilizan el teorema de que los haces vectoriales simplécticos sobre un esquema afín suave $X$ están en biyección con los conjuntos de homotopía $[X, BSp_{2n}]_{\mathbb{A}^1}$, donde $BSp_{2n}$ es el espacio clasificante del grupo simpléctico.
2. Torres de Moore-Postnikov: Analizan las torres de Moore-Postnikov de las fibras asociadas a las inclusiones de grupos simplécticos ($BSp_{2n-2} \to BSp_{2n} \to BSp$). Esto permite descomponer el problema de levantar mapas (que corresponde a la descomposición o cancelación de módulos) en problemas de obstrucción cohomológica.
3. Cohomología de Nisnevich de Hazes de Homotopía: El problema se reduce a estudiar la anulación (vanishing) de grupos de cohomología de Nisnevich de ciertos haces de homotopía $\mathbb{A}^1$, específicamente relacionados con cuádricas afines ($Q_{2d-2}$) y espacios como $\mathbb{A}^n \setminus \{0\}$.
4. Matrices de Suslin y Cohomotopía: Se utilizan las matrices de Suslin para relacionar las cuádricas afines con grupos lineales especiales ($SL$), permitiendo calcular acciones explícitas en los conjuntos de cohomotopía.
5. Análisis de Obstrucciones: Se demuestra que la obstrucción para la cancelación o descomposición reside en grupos de cohomología específicos. Si estos grupos son triviales (o tienen torsión controlada), se obtienen los resultados deseados.

3. Contribuciones y Resultados Clave

A. Cancelación y Descomposición de Módulos Simplécticos

Los autores demuestran dos teoremas principales que son análogos simplécticos de los resultados de Fasel y Murthy:

1. Teorema de Cancelación Simpléctica (Corank 2):

   • Sea $X = \text{Spec}(R)$ un esquema afín suave de dimensión $2n$ sobre un campo algebraicamente cerrado $k$ donde $(2n)!$ es invertible.
   • El mapa $VSp_{2n-2}(X) \to VSp_{2n}(X)$ dado por $[P] \mapsto [P \oplus H(R)]$ es inyectivo.
   • Significado: Si dos módulos simplécticos de rango $2n-2$ son estables isomorfos (tras sumar un plano hiperbólico), entonces son isomorfos. Esto generaliza el teorema de cancelación de Fasel al caso simpléctico.

2. Teorema de Descomposición Simpléctica (Splitting):

   • Para un módulo simpléctico $P$ de rango $2n$ sobre un esquema afín suave de dimensión $2n$ (o $2n+1$ bajo ciertas condiciones de anulación cohomológica):
   • $P \cong Q \oplus H(R)$ si y solo si la clase de Euler $e_{2n}(P)$ es cero en el grupo de Chow modificado $\widetilde{CH}_{2n}(X)$.
   • Esto resuelve la conjetura de descomposición de Murthy en el contexto simpléctico.

B. Anulación de Grupos de Cohomología (Resultados Técnicos)

Un pilar fundamental del trabajo es el estudio de los grupos de cohomología superior de haces de homotopía de cuádricas. Presentan el Teorema 1.4 (Teorema 3.18 en el texto), que establece condiciones bajo las cuales $H^d(X, \pi^{\mathbb{A}^1}_d(Q_{2d-2})) = 0$:

• Dimensión $d=2, 4$: El grupo es cero.
• Dimensión $d=3$: Es cero si el campo es $\mathbb{F}_p$ ($p \neq 2$).
• Dimensión $d \geq 5$:
  • Es cero si la característica del campo es 0.
  • Es un grupo de torsión controlada (específicamente $d! \cdot (d-1)! \cdot (d-2)!$-torsión) en general.
  • Es cero si se asume la Conjetura 3.10 de Asok-Fasel (que relaciona haces de homotopía con K-teoría Milnor y grupos de Grothendieck-Witt).

C. Comparación entre Grupo de Clases de Euler y Grupo de Chow

Los autores responden a la pregunta de Das (Question 7.1) sobre el mapa natural $\psi: E_{d-1}(A) \to CH_{d-1}(X)$:

• Sobreyectividad: El mapa $\psi$ es siempre sobreyectivo para $d \geq 4$.
• Isomorfismo:
  • Si $d=4$, $\psi$ es un isomorfismo.
  • Si la característica de $k$ es 0, $\psi$ es un isomorfismo.
  • Si $d \geq 5$, el núcleo de $\psi$ es un grupo de torsión explícito (relacionado con los factoriales de $d$).
  • Bajo la Conjetura 3.10 (válida en característica 0), el mapa es un isomorfismo para todo $d \geq 4$.

4. Significado e Impacto

1. Avance en la Clasificación de Módulos: El trabajo proporciona una clasificación completa y condiciones de cancelación/descomposición para módulos simplécticos en el rango crítico, llenando un vacío en la teoría de módulos proyectivos sobre anillos no regulares o de dimensión crítica.
2. Aplicación de la Homotopía Motivica: Demuestra la potencia de la teoría de homotopía motivica (específicamente las torres de Moore-Postnikov y la cohomología de Nisnevich) para resolver problemas algebraicos clásicos que eran inaccesibles con métodos puramente algebraicos.
3. Conexión entre Invariantes: Establece un puente riguroso entre invariantes geométricos (grupos de Chow) y invariantes algebraicos (grupos de clases de Euler), mostrando que, bajo condiciones de anulación cohomológica, estos invariantes coinciden.
4. Optimalidad: Los autores demuestran que sus resultados de cancelación son óptimos, citando contraejemplos de Mohan Kumar que muestran que la cancelación falla si se relajan las condiciones de dimensión o invertibilidad de factoriales.
5. Herramientas Independientes: Los resultados sobre la anulación de la cohomología de haces de homotopía de cuádricas (Teorema 3.18) son de interés independiente y pueden ser aplicados en otros problemas de obstrucción en geometría algebraica.

En resumen, el artículo es una contribución significativa que unifica la teoría de módulos simplécticos con la homotopía motivica, resolviendo conjeturas abiertas y proporcionando una comprensión profunda de la estructura de los módulos proyectivos en dimensiones críticas.