Optimal embeddings for maximal orders of central simple algebras of degree 3 over number fields

Resumen Técnico: Óptimas Incrustaciones para Órdenes Maximales de Álgebras Simples Centrales de Grado 3

Enunciado del Problema
Este artículo aborda el problema de las incrustaciones integrales de órdenes en álgebras simples centrales (ASC) sobre cuerpos de números. Si bien el principio local-global se cumple para las incrustaciones de extensiones de cuerpos en ASC (mediante la teoría de cuerpos de clases), falla para las incrustaciones integrales. Específicamente, un orden $S$ de una extensión de cuerpos $K/F$ de grado $n$ puede no incrustarse óptimamente en todos los órdenes maximales de una ASC $B$ de grado $n$.

Trabajos previos de Chevalley, Chinburg, Friedman, Chan, Xu, Linowitz, Shemanske y Voight establecieron criterios de "selectividad" para $n=2$ (álgebras de cuaterniones) y para órdenes de Eichler. Este artículo extiende el estudio de la selectividad óptima al caso donde $B$ es un álgebra simple central de grado 3 sobre un cuerpo de números $F$, y $K/F$ es una extensión de grado 3. El objetivo principal es determinar exactamente cuándo un orden $S \subset K$ no puede incrustarse óptimamente en todos los órdenes maximales de $B$, y cuantificar la proporción de órdenes maximales que admiten tales incrustaciones.

Metodología
Los autores emplean una combinación de la teoría global de cuerpos de clases y un análisis local detallado:

1. Marco Global (Sandwich de Selectividad):
   El artículo utiliza el marco de "sandwich de selectividad" adaptado del trabajo de Voight sobre cuaterniones. Relaciona la existencia de incrustaciones óptimas con la norma reducida de un conjunto específico de elementos $E$ en el álgebra. El objeto clave es el grupo $F^\times \text{Nr}(\mathbb{E})$ dentro del grupo de ideles $\mathbb{A}_F^\times$.

   • El artículo establece que si $K$ no está contenido en un cuerpo de clases específico $H_{GN(\mathcal{O})}$ asociado al orden maximal $\mathcal{O}$, entonces $S$ se incrusta en todos los órdenes maximales en el género.
   • Si $K \subseteq H_{GN(\mathcal{O})}$, el problema se reduce a analizar el índice de $F^\times \text{Nr}(\mathbb{E})$ con respecto a $F^\times \text{Nr}(\mathbb{K}^\times)$.

2. Análisis Local (Grado 3):
   Una parte significativa del trabajo se dedica a calcular los números de incrustación local $m(S_p, \mathcal{O}_p)$ para álgebras de grado 3 sobre cuerpos locales $F_p$.

   • Caso Normal: Los autores analizan las incrustaciones en $M_3(R_p)$ y álgebras de división. Derivan criterios explícitos para la optimalidad utilizando reducciones de matrices módulo el ideal maximal.
   • Incrustaciones Óptimas Especiales: A diferencia del caso de grado 2, los autores identifican un fenómeno específico del grado 3: "incrustaciones óptimas especiales". Estas ocurren cuando la reducción de las matrices de incrustación cae en una forma específica de bloque de Jordan (Caso 3 en el Lema 3.3) donde el argumento estándar de conjugación hacia la representación regular falla.
   • Casos Descompuesto e Inerte: El artículo calcula la estructura del conjunto de norma reducida $\text{Nr}(E_p)$ tanto para el caso descompuesto ($K_p \cong F_p \times F_p \times F_p$) como para el caso inerte (extensión no ramificada). Determinan que el número de clases de conjugación de incrustaciones óptimas es 1 o 2, dependiendo del discriminante del orden $S_p$.

3. Síntesis:
   Combinando los resultados locales mediante el mapa de Artin, los autores relacionan el conjunto global de selectividad con el ideal discriminante del orden $S$.

Contribuciones y Resultados Clave

• El Conjunto de Selectividad $D(S)$: El artículo define un "conjunto de selectividad" $D(S)$ para un orden $S$ en una extensión no ramificada de grado 3 $K/F$. Este conjunto es un subconjunto del grupo de Galois $\text{Gal}(K/F)$, construido mediante el mapa de restricción desde el grupo de clases de ideales de $F$ hacia el grupo de Galois, aplicado a los factores primos de la raíz cuadrada del discriminante de $S$.
  $$D(S) = \{ \rho([\mathfrak{p}^k]) : \mathfrak{p}^k \parallel \sqrt{\text{disc}(S)}, \mathfrak{p}^{k+1} \nmid \sqrt{\text{disc}(S)} \}$$

• Teorema Principal (Teorema 4.1): El artículo establece una condición necesaria y suficiente para que un orden $S$ sea "selectivo" (es decir, no incrustable en todos los órdenes maximales):
  $S$ no puede incrustarse óptimamente en todo orden maximal de $B$ si y solo si:

  1. $K/F$ es no ramificada en todas partes.
  2. $B \cong M_3(F)$ (es decir, $B$ está descompuesta).
  3. $D(S) \neq \text{Gal}(K/F)$.

  En el caso donde se cumplen estas condiciones, el artículo demuestra que $S$ puede incrustarse óptimamente en exactamente $|D(S)|/3$ de las clases de isomorfismo de órdenes maximales en el género. Dado que $|\text{Gal}(K/F)| = 3$, esto implica que la incrustación es posible en $1/3$ o $2/3$ de las clases, dependiendo del tamaño de $D(S)$.

• Refinamiento de Resultados Previos: El artículo proporciona un contraejemplo a la aplicación directa de resultados de selectividad desde grado 2 o generalizaciones previas de grado superior. Específicamente, demuestra un orden $S_2$ que, según criterios previos de incrustación no óptima (Linowitz y Shemanske), se incrustaría en todos los órdenes maximales, pero falla en admitir una incrustación óptima en todos ellos.

Significado
El artículo afirma establecer la condición precisa de selectividad para incrustaciones óptimas en álgebras simples centrales de grado 3. Su significado radica en:

1. Generalización: Extender la teoría de la selectividad óptima desde álgebras de cuaterniones (grado 2) hasta grado 3, un paso no trivial debido a la mayor complejidad de las clases de similitud de matrices y la aparición de incrustaciones "especiales".
2. Cuantificación Exacta: Ir más allá de los resultados binarios de existencia para proporcionar un conteo exacto ($1/3$ o $2/3$) de los órdenes maximales que admiten incrustaciones óptimas, gobernado explícitamente por la aritmética del discriminante del orden.
3. Corrección de la Intuición: Destacar que los resultados para incrustaciones no óptimas o grados inferiores no se generalizan automáticamente a incrustaciones óptimas en grado 3, haciendo necesaria el análisis local específico de los casos "especiales" presentado en el artículo.

El trabajo se basa en notación estándar de la teoría de cuerpos de clases y la teoría de órdenes en ASC, construyendo directamente sobre el trabajo fundamental de Eichler, Voight y Linowitz/Shemanske.