R-triviality for adjoint classical groups of type C

Titolo e Contesto

Titolo: R-trivialità per i gruppi di similitudini proiettive di algebre classiche di tipo C.
Autore: M. Archita.
Ambito: Teoria delle algebre centrali semplici, forme quadratiche, teoria dei gruppi algebrici e coomologia di Galois.

1. Il Problema

L'articolo si concentra sulla proprietà di R-trivialità dei gruppi algebrici associati ad algebre centrali semplici con involuzione.

• Oggetto di studio: Sia $K$ un campo di caratteristica diversa da 2. Per il teorema di classificazione di Weil, ogni gruppo algebrico semplice assoluto di tipo $C_n$ su $K$ è isomorfo al gruppo delle similitudini proiettive, denotato come $PSim(A, \sigma)$, dove $A$ è un'algebra centrale semplice di grado $2n$ e $\sigma$ è un'involuzione simplettica su $A$.
• Stato dell'arte: È noto che $PSim(A, \sigma)$ è razionalmente stabile (e quindi R-triviale) quando $n$ è dispari. Quando $n=2$, il gruppo è razionale.
• La questione aperta: L'articolo indaga il caso in cui $n$ è pari. In particolare, si cerca di determinare sotto quali condizioni $PSim(A, \sigma)$ è R-triviale per $n=4$ (grado 8) e $n=6$ (grado 12). È già noto che esistono controesempi per $n=4$ con indice dell'algebra pari a 4, dove il gruppo non è R-triviale.

2. Metodologia

L'autore utilizza un approccio che combina la teoria delle algebre con involuzione, la teoria delle forme quadratiche e la coomologia di Galois.

• Strumento principale (Teorema di Merkurjev): Si fa riferimento al teorema di Merkurjev (Teorema 2.1), che caratterizza il gruppo delle classi di equivalenza R di $PSim(A, \sigma)$ in termini dei moltiplicatori di similitudine $G(A, \sigma)$ e del sottogruppo generato dalle norme di estensioni che rendono l'involuzione iperbolica ($Hyp(A, \sigma)$).
  • Il gruppo è R-triviale se e solo se $G(A_{K'}, \sigma_{K'}) = K'^{\times 2} \cdot Hyp(A_{K'}, \sigma_{K'})$ per ogni estensione di campo $K'/K$.
• Riduzione alle forme quadratiche:
  • Si sfrutta la struttura delle algebre con indice basso ($ind(A) \le 2$). In questi casi, l'algebra con involuzione $(A, \sigma)$ può essere decomposta come prodotto tensoriale di un'algebra di endomorfismi di una forma quadratica e un'algebra di quaternioni: $(A, \sigma) \simeq Ad(\phi) \otimes (Q, can_Q)$.
  • La Proposizione 3.1 stabilisce un isomorfismo fondamentale: il problema della R-trivialità per $PSim(A, \sigma)$ si riduce alla R-trivialità del gruppo associato alla forma quadratica tensoriale $\psi = \phi \otimes N_Q$, dove $N_Q$ è la forma di norma dell'algebra di quaternioni.
• Strumenti di Teoria delle Forme Quadratiche:
  • Uso di forme di Pfister, ideali fondamentali dell'anello di Witt ($I^n K$), e il teorema di Arason-Pfister.
  • Analisi dei moltiplicatori di similitudine $G(\psi)$ e delle condizioni di iperbolicità dopo estensioni di campo quadratiche o biquadratiche.
  • Utilizzo di invarianti coomologici (discriminante $\Delta(\sigma)$) per trattare il caso di grado 12.

3. Risultati Chiave e Contributi

L'articolo presenta tre risultati principali che estendono la conoscenza sulla R-trivialità per $n$ pari:

1. Caso $n=4$ (Grado 8) con indice basso:

   • Teorema 3.2: Se $(A, \sigma)$ è un'algebra di grado 8 con involuzione simplettica e indice $ind(A) \le 2$, allora $PSim(A, \sigma)$ è R-triviale.
   • Dimostrazione: Si riduce il problema a una forma quadratica $\psi$ che è somma di forme di Pfister scalate (una 4-fold e una 3-fold). Si applica un risultato precedente ([1, Thm 3.5]) che garantisce la R-trivialità per tali forme.

2. Controesempio per $n=4$ con indice alto:

   • Esempio 3.3: Si conferma l'esistenza di un caso in cui $n=4$ e $ind(A)=4$ in cui il gruppo non è R-triviale. Questo esempio, basato su una costruzione di Berhuy, Monsurrò e Tignol, delimita i confini della validità del teorema precedente, mostrando che la condizione $ind(A) \le 2$ è essenziale.

3. Caso $n=6$ (Grado 12) con discriminante banale:

   • Teorema 3.7: Se $(A, \sigma)$ è un'algebra centrale semplice di grado 12 con involuzione simplettica, indice $ind(A) \le 2$ e discriminante banale ($\Delta(\sigma) = 0$), allora $PSim(A, \sigma)$ è R-triviale.
   • Dimostrazione: La condizione di discriminante banale implica che la forma quadratica associata $\psi$ appartiene all'ideale fondamentale $I^4 K$. Attraverso un'analisi dettagliata dei moltiplicatori (Lemma 3.6) e l'uso del teorema di Arason-Pfister, si dimostra che ogni moltiplicatore è prodotto di un quadrato e una norma da un'estensione che rende la forma iperbolica.

4. Significato e Implicazioni

• Avanzamento nella classificazione: Il lavoro colma lacune significative nella comprensione della struttura razionale dei gruppi algebrici di tipo $C_n$ per $n$ pari, un caso notoriamente più complesso rispetto a quello dispari.
• Ruolo dell'Indice e del Discriminante: L'articolo chiarisce che la R-trivialità dipende criticamente dall'indice dell'algebra centrale semplice e dagli invarianti coomologici (come il discriminante). Dimostra che per indici bassi ($\le 2$), la struttura è "buona" (R-triviale), mentre per indici alti possono emergere comportamenti patologici.
• Connessione tra Algebre e Forme Quadratiche: Rafforza il legame profondo tra la teoria delle algebre con involuzione e la teoria delle forme quadratiche, mostrando come problemi complessi sui gruppi algebrici possano essere risolti riducendoli a problemi di equivalenza di Witt e iperbolicità di forme quadratiche.
• Problemi Aperti: L'articolo lascia aperta la questione per il caso $n=6$ (grado 12) con indice 4 (Problema 3.8), invitando a dimostrare la R-trivialità o a costruire un controesempio, indicando la direzione per future ricerche.

In sintesi, il documento fornisce una caratterizzazione precisa delle condizioni sotto le quali i gruppi di similitudini proiettive di tipo $C$ sono R-triviali, utilizzando strumenti sofisticati di algebra non commutativa e teoria dei campi.