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

1. Il Problema e il Contesto

Il lavoro si inserisce nel campo della teoria dei moduli proiettivi su anelli commutativi e della geometria algebrica motivica. Il contesto è definito da due risultati classici:

• Teorema di Serre e di Bass: Per un anello noetheriano $R$ di dimensione $d$ e un modulo proiettivo $P$ di rango $r$, se $r > d$, allora $P$ si spezza ($P \cong Q \oplus R$) e vale la cancellazione ($P \oplus Q \cong P' \oplus Q \implies P \cong P'$).
• Il caso critico ($r = d$ o $r = d-1$): Quando il rango è uguale o inferiore alla dimensione dell'anello, questi teoremi falliscono in generale. Tuttavia, su campi algebricamente chiusi, Murthy e Suslin hanno dimostrato risultati di spezzamento e cancellazione per $r=d$.
• Congetture aperte: Fasel ha recentemente dimostrato la cancellazione per $r = d-1$ (con ipotesi sulla caratteristica). Rimane aperta la Congettura di Murthy sullo spezzamento per $r = d-1$ e la questione della cancellazione per i moduli simplettici (moduli proiettivi dotati di una forma bilineare simplettica non degenere) nel "range critico".

L'obiettivo principale del paper è duplice:

1. Stabilire teoremi di cancellazione e spezzamento per moduli simplettici di rango $2n$ su schemi affini lisci di dimensione $2n$ (o $2n+1$), analoghi ai risultati di Fasel e Murthy per i moduli proiettivi generici.
2. Rispondere parzialmente a una domanda di Mrinal Das riguardante l'isomorfismo tra il gruppo di classe di Eulero $(d-1)$-esimo e il gruppo di Chow $(d-1)$-esimo per schemi affini lisci di dimensione $d$.

2. Metodologia

Gli autori adottano un approccio basato sulla teoria dell'omotopia motivica ($A^1$-omotopia), sviluppata da Morel e Voevodsky. La strategia si articola nei seguenti punti:

• Rappresentabilità Affine: Sfruttano il teorema di rappresentabilità di Asok-Hoyois-Wendt, che stabilisce una corrispondenza biunivoca tra le classi di isomorfismo di fibrati vettoriali simplettici su uno schema affine liscio $X$ e gli insiemi di omotopia $[X, BSp_{2n}]_{A^1}$, dove $BSp_{2n}$ è lo spazio classificante del gruppo simplettico.
• Torri di Moore-Postnikov: Per analizzare i problemi di sollevamento (lifting) necessari per dimostrare la cancellazione e lo spezzamento, costruiscono e studiano le torri di Moore-Postnikov per le successioni di fibre $A^1$ associate ai gruppi simplettici. Questo riduce il problema alla comprensione dei gruppi di cohomologia di Nisnevich di certi fasci di omotopia.
• Analisi dei Fasci di Omotopia: Studiano in dettaglio i fasci di omotopia $A^1$ delle quadriche affini (in particolare le quadriche pari $Q_{2d-2}$). Il cuore tecnico della dimostrazione risiede nel dimostrare teoremi di annullamento (vanishing) per i gruppi di cohomologia superiori $H^d(X, \pi^{A^1}_d(Q_{2d-2}))$.
• Strumenti Algebrici: Utilizzano risultati profondi sulla K-teoria algebrica (Milnor K-theory $K^M$, K-theoria di Milnor-Witt $K^{MW}$) e sulle classi di Chern/Borel, nonché risultati di Fasel e Asok-Bachmann-Hopkins riguardanti la torsione e l'annullamento di certi gruppi di cohomologia.

3. Risultati Chiave

A. Cancellazione e Spezzamento Simplettico

Il paper presenta due teoremi fondamentali per moduli simplettici su un campo algebricamente chiuso $k$ (con $(2n)!$ invertibile):

1. Cancellazione Simplettica (Teorema 4.3):
   Sia $X = \text{Spec}(R)$ uno schema affine liscio di dimensione $2n$. Se due moduli simplettici $E$ e $E'$ di rango $2n-2$ sono stabilmente isomorfi (cioè $E \oplus H(R) \cong E' \oplus H(R)$, dove $H(R)$ è il piano iperbolico), allora sono isomorfi ($E \cong E'$).
   Questo è l'analogo simplettico del teorema di cancellazione di Fasel.

2. Spezzamento Simplettico (Teorema 4.7):
   Sia $P$ un modulo simplettico di rango $2n$.

   • Se $\dim(R) = 2n$, allora $P \cong Q \oplus H(R)$ se e solo se la classe di Eulero $e_{2n}(P)$ è nulla nel gruppo di Chow $\widetilde{CH}_{2n}(X)$.
   • Se $\dim(R) = 2n+1$, lo stesso criterio vale sotto l'ipotesi di annullamento di un gruppo di cohomologia specifico.
     Questo conferma la congettura di Murthy nel contesto simplettico.

B. Risultati di Annullamento Cohomologico (Teorema 3.18)

Un contributo tecnico indipendente è la determinazione delle condizioni di annullamento per i gruppi di cohomologia $H^d(X, \pi^{A^1}_d(Q_{2d-2}))$ su schemi affini lisci di dimensione $d$:

• Per $d=2, 3, 4$, il gruppo è nullo (con alcune restrizioni sulla caratteristica per $d=3$).
• Per $d \ge 5$, il gruppo è nullo se $\text{char}(k) = 0$.
• In generale per $d \ge 5$, il gruppo è di torsione rispetto a $d! \cdot (d-1)! \cdot (d-2)!$.
• Se $d!$ è invertibile in $k$, la torsione è ridotta a $(d-1)! \cdot (d-2)!$.
• Se vale la Congettura 3.10 di Asok-Fasel (sulla struttura dei fasci di omotopia), il gruppo è nullo per ogni $d \ge 5$.

C. Confronto tra Gruppo di Eulero e Gruppo di Chow (Teorema 1.7 / Corollario 5.7)

Gli autori rispondono alla domanda di Das sul morfismo naturale $\psi: E_{d-1}(A) \to CH_{d-1}(X)$:

1. Il morfismo è sempre suriettivo.
2. È un isomorfismo se $d=4$ o se $\text{char}(k) = 0$.
3. Per $d \ge 5$, il nucleo di $\psi$ è di torsione (specificamente $d! \cdot (d-1)! \cdot (d-2)!$-torsione, o meno se $d!$ è invertibile).
4. Se vale la Congettura 3.10 (caso $\text{char}(k)=0$), allora $\psi$ è un isomorfismo per ogni $d \ge 4$.

4. Significato e Impatto

• Avanzamento della Teoria dei Moduli Proiettivi: Il lavoro estende i risultati classici di Serre, Bass, Murthy e Suslin al contesto dei moduli simplettici, chiudendo casi critici che erano rimasti aperti o parzialmente risolti.
• Metodologia Omotopica: Dimostra l'efficacia della teoria dell'omotopia motivica ($A^1$-omotopia) come strumento potente per risolvere problemi classici di algebra commutativa e geometria algebrica, in particolare attraverso l'uso di torri di Postnikov e fasci di omotopia.
• Risultati Indipendenti: I teoremi di annullamento coomologico per le quadriche pari (Sezione 3) sono di interesse autonomo e potrebbero essere applicati in altri contesti di teoria dell'ostacolo.
• Connessione tra Invarianti: Fornisce una comprensione più profonda della relazione tra il gruppo di classe di Eulero (un invariante algebrico legato alla struttura dei moduli) e il gruppo di Chow (un invariante geometrico), mostrando che coincidono in caratteristiche zero e differiscono solo per torsione controllata in caratteristica positiva.

In sintesi, il paper risolve problemi fondamentali sulla struttura dei moduli simplettici e chiarisce la relazione tra invarianti algebrici e geometrici, utilizzando strumenti sofisticati di topologia algebrica motivica.