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

Resumo Técnico: Cancelamento e Divisão de Módulos Simpléticos no Intervalo Crítico e Grupo de Classe de Euler

1. Problema e Contexto

O artigo aborda problemas fundamentais na teoria dos módulos projetivos sobre álgebras afins suaves, especificamente focando em módulos simpléticos (módulos projetivos equipados com uma forma bilinear simplética não degenerada). O trabalho situa-se na interseção entre a álgebra comutativa, a geometria algébrica e a teoria da homotopia motivica.

Os autores partem de resultados clássicos e conjecturas abertas:

• Teoremas de Serre e Bass: Estabelecem condições para divisão (splitting) e cancelamento de módulos projetivos quando o posto $r$ é estritamente maior que a dimensão do anel $d$.
• Caso Crítico ($r = d$ ou $r = d-1$): Quando o posto é igual ou próximo à dimensão, os teoremas clássicos falham.
  • Conjectura de Murthy (Divisão): Propõe que, para um módulo projetivo de posto $d-1$ sobre uma álgebra afim suave de dimensão $d$, a classe de Chern superior ser nula é equivalente à existência de uma divisão (i.e., $P \cong Q \oplus R$). Esta conjectura é aberta em geral, embora resolvida para casos específicos ($d=3,4$ e corpo de característica 0).
  • Conjectura de Cancelamento de Suslin: Afirma que o cancelamento vale para posto $d-1$. Fasel provou recentemente este caso sob certas condições.
• Pergunta de Mrinal Das: Questiona se o grupo de classe de Euler $(d-1)$-ésimo ($E_{d-1}(R)$) é isomorfo ao grupo de Chow $(d-1)$-ésimo ($CH_{d-1}(X)$) para esquemas afins suaves de dimensão $d \geq 4$.

O objetivo principal do artigo é estabelecer análogos simpléticos dos teoremas de Fasel e Murthy e responder parcialmente à pergunta de Das, utilizando ferramentas avançadas de homotopia motivica.

2. Metodologia

A abordagem dos autores baseia-se na Teoria da Homotopia Motívica desenvolvida por Morel e Voevodsky. A estratégia central envolve:

1. Representabilidade Afim: Utilizam o teorema de representabilidade de Asok-Hoyois-Wendt, que estabelece uma bijeção entre classes de isomorfismo de fibrados vetoriais simpléticos e classes de homotopia $A^1$ de mapas para espaços classificantes ($V^{Sp}_{2n}(X) \cong [X, BSp_{2n}]_{A^1}$).
2. Torres de Moore-Postnikov: Analisam as torres de Moore-Postnikov de sequências de fibra no categoria de homotopia $A^1$. Isso permite reduzir problemas de levantamento (lifting) de mapas a questões sobre grupos de cohomologia de Nisnevich de feixes de homotopia.
3. Análise de Feixes de Homotopia de Quadricas: O núcleo técnico do trabalho é o estudo dos grupos de cohomologia superior de feixes de homotopia $A^1$ associados a quadricas pares ($Q_{2d-2}$). Especificamente, investigam a vanishing (anulação) ou propriedades de torção de grupos como $H^d(X, \pi^{A^1}_d(Q_{2d-2}))$.
4. Técnicas de Obstrução: Aplicam a teoria de obstrução para determinar quando um módulo simplético pode ser dividido (split) ou quando dois módulos estavelmente isomorfos são isomorfos.

3. Contribuições e Resultados Principais

O artigo apresenta três resultados principais (Teoremas 1.2, 1.3 e 1.7):

A. Cancelamento Simplético (Teorema 1.2 / Teorema 4.3)

• Resultado: Seja $X = \text{Spec}(R)$ um esquema afim suave de dimensão $2n$ sobre um corpo algebricamente fechado $k$, onde $(2n)!$ é invertível em $k$. O mapa de adição de um plano hiperbólico simplético $H(R)$:
  $$V^{Sp}_{2n-2}(X) \to V^{Sp}_{2n}(X)$$
  é injetor.
• Significado: Se dois módulos simpléticos de posto $2n-2$ são estavelmente isomorfos ($E \oplus H(R) \cong E' \oplus H(R)$), então eles são isomorfos ($E \cong E'$).
• Otimização: Os autores demonstram que este resultado é ótimo, citando um contraexemplo modificado de Mohan Kumar que mostra que o cancelamento falha se a dimensão for maior que $2n$ ou se as condições de característica não forem satisfeitas.

B. Divisão (Splitting) Simplética (Teorema 1.3 / Teorema 4.7)

• Resultado: Para um módulo simplético $P$ de posto $2n$:
  1. Se $\dim(R) = 2n$, então $P \cong Q \oplus H(R)$ se e somente se a classe de Euler $e_{2n}(P)$ for nula no grupo de Chow modificado $\widetilde{CH}_{2n}(X)$.
  2. Se $\dim(R) = 2n+1$ e um certo grupo de cohomologia de obstrução for nulo, a mesma equivalência vale.
• Significado: Este é o análogo simplético da Conjectura de Murthy. Conecta a estrutura algébrica do módulo (divisibilidade) diretamente à invariante topológica (classe de Euler).

C. Comparação entre Grupo de Classe de Euler e Grupo de Chow (Teorema 1.7 / Corolário 5.7)

• Contexto: Responde à pergunta de Mrinal Das sobre o isomorfismo $\psi: E_{d-1}(R) \to CH_{d-1}(X)$.
• Resultados:
  1. O mapa $\psi$ é sempre sobrejetor.
  2. Se $d=4$, $\psi$ é um isomorfismo.
  3. Se a característica de $k$ é 0, $\psi$ é um isomorfismo.
  4. Se $d \geq 5$, o núcleo de $\psi$ é um grupo de torção específico (anulado por $d! \cdot (d-1)! \cdot (d-2)!$). Se $d!$ for invertível em $k$, o núcleo é anulado por $(d-1)! \cdot (d-2)!$.
  5. Sob a Conjectura 3.10 (de Asok-Fasel), que implica a anulação de certos grupos de cohomologia, o mapa é um isomorfismo para todo $d \geq 5$.

4. Resultados Técnicos de Suporte (Seção 3)

Um dos contributos independentes mais valiosos do artigo é o Teorema 1.4, que estabelece condições de anulação para grupos de cohomologia de feixes de homotopia de quadricas:

• Para $d=2, 3, 4$, sob certas condições de característica, $H^d(X, \pi^{A^1}_d(Q_{2d-2})) = 0$.
• Para $d \geq 5$, o grupo é de torção controlada.
• Estes resultados são cruciais para eliminar as obstruções que impedem o cancelamento e a divisão, e para provar o isomorfismo entre os grupos de Euler e Chow.

5. Significado e Impacto

• Avanço na Teoria de Módulos: O trabalho estende os resultados clássicos de cancelamento e divisão (originalmente para módulos projetivos gerais) para o contexto simplético, preenchendo lacunas no "intervalo crítico" (posto igual à dimensão ou dimensão menos um).
• Conexão entre Topologia e Álgebra: Reforça a poderosa conexão entre a teoria de homotopia motivica (especificamente a teoria de Morel-Voevodsky) e problemas algébricos concretos sobre anéis e módulos.
• Resolução Parcial de Conjecturas: Resolve a questão de Das para dimensões baixas e característica zero, e fornece uma descrição precisa da obstrução (via torção) para dimensões mais altas.
• Ferramentas Novas: A análise detalhada das torres de Postnikov para espaços classificantes simpléticos ($BSp_{2n}$) e quadricas oferece um novo conjunto de ferramentas para futuros trabalhos em classificação de fibrados vetoriais.

Em suma, o artigo demonstra que, no contexto simplético sobre corpos algebricamente fechados, a obstrução para cancelamento e divisão é governada puramente pela classe de Euler, desde que se esteja em dimensões adequadas ou sob condições de torção controlada, validando uma versão simplética profunda das conjecturas de Murthy e Suslin.