Totally decomposable algebras with involution and R-triviality

Planteamiento del Problema
El artículo aborda las propiedades de racionalidad de los grupos algebraicos lineales adjuntos clásicos, específicamente el grupo de similitudes proyectivas propias, denotado como $PSim^+(A, \sigma)$, asociado con una álgebra central simple $A$ sobre un cuerpo $K$ (característica $\neq 2$) equipada con una involución $\sigma$ de la primera clase. Si bien se sabe que los grupos adjuntos semisimples de tipo $^1A$ y $B$ son racionales, esta propiedad falla para los tipos $^2A$, $C$ y $D$. Un obstáculo clave para la racionalidad estable es la $R$-trivialidad: un grupo $G$ es $R$-trivial si el grupo de clases de equivalencia de $R$, $G(F)/R$, es trivial para toda extensión de cuerpos $F/K$.

El problema específico investigado es si $PSim^+(A, \sigma)$ es $R$-trivial cuando $(A, \sigma)$ es un álgebra totalmente decomponible. Un álgebra totalmente decomponible se define como un producto tensorial de un álgebra central simple con involución de la forma $Ad(\psi)$ (asociada con una forma cuadrática de dimensión impar $\psi$) y un producto tensorial de álgebras de cuaterniones con involución. Un trabajo previo de Merkurjev estableció que si $A$ es partida (split), el grupo es $R$-trivial (y racionalmente estable). Los autores investigan si esto se cumple cuando $A$ no es necesariamente partida, centrándose en la restricción del índice de $A$ (el grado de la división de Brauer-equivalente a $A$).

Metodología
Los autores utilizan la caracterización de las clases de equivalencia de $R$ proporcionada por Merkurjev [13], que identifica $PSim^+(A, \sigma)(F)/R$ con un cociente de subgrupos de $F^\times$ relacionados con factores de similitud y normas de cuerpos de partición (splitting fields). Específicamente, el grupo es $R$-trivial si y solo si el grupo de factores de similitud $G^+(A, \sigma)$ coincide con el subgrupo generado por las normas de los cuerpos donde el álgebra se vuelve hiperbólica ($Hyp(A, \sigma)$).

La metodología consiste en:

1. Análisis de Descomposición: Utilizar la estructura de las álgebras totalmente decomponibles para expresar $(A, \sigma)$ como $Ad(\psi \otimes \rho) \otimes (Q, \gamma)$, donde $\rho$ es una forma de Pfister, $\psi$ es una forma cuadrática de dimensión impar, y $(Q, \gamma)$ es un álgebra de cuaterniones con involución.
2. Factorización de Factores de Similitud: Demostrar que para álgebras de índice a lo sumo 2, cualquier factor de similitud puede factorizarse en un producto de dos elementos, cada uno siendo una norma de una extensión cuadrática sobre la cual la involución se vuelve hiperbólica. Esto se basa en las propiedades de las formas de Pfister, los anillos de Witt y los criterios de subformas (por ejemplo, Lema 3.5 y Lema 3.6).
3. Construcción de Contraejemplos: Para el caso de índice 4 en el entorno ortogonal, los autores construyen ejemplos explícitos utilizando triples triárquicos y cuerpos de funciones. Relacionan el álgebra $(A, \sigma)$ con el álgebra de Clifford par de una forma cuadrática de dimensión 8 con discriminante trivial, aprovechando resultados conocidos sobre la no-$R$-trivialidad de tales formas (específicamente haciendo referencia a las construcciones de [1] y [9]).

Contribuciones Clave y Resultados

• Teorema (Corolario 4.2): El principal resultado positivo establece que si $(A, \sigma)$ es un álgebra totalmente decomponible con involución de la primera clase y el índice de $A$ es a lo sumo 2 ($ind\ A \le 2$), entonces el grupo algebraico $PSim^+(A, \sigma)$ es $R$-trivial.

  • Este resultado cubre los casos donde $\sigma$ es simpética (donde se sigue directamente de la Conjetura de la Factorización de Pfister) y el caso no trivial donde $\sigma$ es ortogonal e $ind\ A = 2$.
  • La demostración muestra que $G(A, \sigma) = Hyp(A, \sigma)$ bajo estas condiciones.

• Contraejemplo (Corolario 5.3): Los autores muestran que la condición $ind\ A \le 2$ es necesaria para el caso ortogonal. Construyen un álgebra totalmente decomponible con involución ortogonal de grado 8 e índice 4 sobre el cuerpo $K = k_0(X, Y, Z)$, donde $k_0$ es un cuerpo de característica distinta de 2.

  • Específicamente, $(A, \sigma) = Ad\langle\langle X \rangle\rangle \otimes (Q_1, can_{Q_1}) \otimes (Q_2, can_{Q_2})$ con álgebras de cuaterniones $Q_1, Q_2$ específicas.
  • Para este álgebra, $PSim^+(A, \sigma)$ no es $R$-trivial. Existe una extensión de cuerpos $F/K$ tal que el grupo de clases de equivalencia de $R$ es no trivial.
  • Este ejemplo también demuestra un fallo de la Propiedad de Aproximación Débil para estos grupos.

• Generalización (Corolario 5.5): El artículo muestra además que el producto tensorial de álgebras con involución no preserva la $R$-trivialidad. Incluso si un factor es $R$-trivial, el producto tensorial con un álgebra no hiperbólica con discriminante no trivial puede dar lugar a un grupo no $R$-trivial.

Significado
El artículo establece un límite preciso para la $R$-trivialidad de los grupos de similitudes proyectivas propias asociados con álgebras totalmente decomponibles. Confirma que la propiedad se mantiene robustamente cuando el álgebra subyacente tiene un índice bajo (a lo sumo 2), extendiendo resultados previos conocidos para álgebras partidas. Por el contrario, proporciona un contraejemplo definitivo que muestra que esta propiedad falla para el índice 4 en el caso ortogonal, aclarando así las limitaciones de la descomposición total para asegurar las propiedades de racionalidad. El trabajo también destaca la conexión entre el fallo de la $R$-trivialidad y el fallo de la Aproximación Débil, vinculando estas propiedades de grupos algebraicos con cuestiones más amplias en la aritmética de grupos algebraicos. Los autores señalan que, si bien la $R$-trivialidad es una condición necesaria para la racionalidad estable, la cuestión de si estos grupos son racionalmente estables en el caso ortogonal de índice 2 permanece abierta (Pregunta 4.3).