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

Resumo Técnico: Embeddings Ótimos para Ordens Máximas de Álgebras Simples Centrais de Grau 3

Declaração do Problema
Este artigo aborda o problema de embeddings integrais de ordens em álgebras simples centrais (CSAs) sobre corpos de números. Enquanto o princípio local-global vale para extensões de corpos que se embutem em CSAs (via teoria dos corpos de classes), ele falha para embeddings integrais. Especificamente, uma ordem $S$ de uma extensão de corpos $K/F$ de grau $n$ pode não se embutir optimalmente em todas as ordens máximas de uma CSA $B$ de grau $n$.

Trabalhos anteriores de Chevalley, Chinburg, Friedman, Chan, Xu, Linowitz, Shemanske e Voight estabeleceram critérios de "seletividade" para $n=2$ (álgebras de quatérnios) e para ordens de Eichler. Este artigo estende o estudo da seletividade ótima ao caso onde $B$ é uma álgebra simples central de grau 3 sobre um corpo de números $F$, e $K/F$ é uma extensão de grau 3. O objetivo principal é determinar exatamente quando uma ordem $S \subset K$ não pode ser embutida optimalmente em todas as ordens máximas de $B$, e quantificar a proporção de ordens máximas que admitem tais embeddings.

Metodologia
Os autores empregam uma combinação da teoria global dos corpos de classes e análise local detalhada:

1. Estrutura Global (Sanduíche de Seletividade):
   O artigo utiliza a estrutura de "sanduíche de seletividade" adaptada do trabalho de Voight sobre quatérnios. Relaciona a existência de embeddings ótimos à norma reduzida de um conjunto específico de elementos $E$ na álgebra. O objeto chave é o grupo $F^\times \text{Nr}(\mathbb{E})$ dentro do grupo de ideles $\mathbb{A}_F^\times$.

   • O artigo estabelece que, se $K$ não estiver contido em um corpo de classes específico $H_{GN(\mathcal{O})}$ associado à ordem máxima $\mathcal{O}$, então $S$ se embute em todas as ordens máximas no gênero.
   • Se $K \subseteq H_{GN(\mathcal{O})}$, o problema reduz-se à análise do índice de $F^\times \text{Nr}(\mathbb{E})$ relativo a $F^\times \text{Nr}(\mathbb{K}^\times)$.

2. Análise Local (Grau 3):
   Uma parte significativa do trabalho é dedicada ao cálculo dos números de embedding locais $m(S_p, \mathcal{O}_p)$ para álgebras de grau 3 sobre corpos locais $F_p$.

   • Caso Normal: Os autores analisam embeddings em $M_3(R_p)$ e álgebras de divisão. Eles derivam critérios explícitos para optimalidade usando reduções de matrizes módulo o ideal máximo.
   • Embeddings Ótimos Especiais: Diferentemente do caso de grau 2, os autores identificam um fenômeno específico do grau 3: "embeddings ótimos especiais". Estes ocorrem quando a redução das matrizes de embedding cai em uma forma específica de bloco de Jordan (Caso 3 no Lema 3.3), onde o argumento padrão de conjugação para a representação regular falha.
   • Casos Split e Inerte: O artigo calcula a estrutura do conjunto de norma reduzida $\text{Nr}(E_p)$ para ambos os casos split ($K_p \cong F_p \times F_p \times F_p$) e inerte (extensão não ramificada). Eles determinam que o número de classes de conjugação de embeddings ótimos é 1 ou 2, dependendo do discriminante da ordem $S_p$.

3. Síntese:
   Combinando os resultados locais via o mapa de Artin, os autores relacionam o conjunto global de seletividade ao ideal discriminante da ordem $S$.

Principais Contribuições e Resultados

• O Conjunto de Seletividade $D(S)$: O artigo define um "conjunto de seletividade" $D(S)$ para uma ordem $S$ em uma extensão não ramificada de grau 3 $K/F$. Este conjunto é um subconjunto do grupo de Galois $\text{Gal}(K/F)$, construído via o mapa de restrição do grupo de classes de ideais de $F$ para o grupo de Galois, aplicado aos fatores primos da raiz quadrada do 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): O artigo estabelece uma condição necessária e suficiente para que uma ordem $S$ seja "seletiva" (ou seja, não embutível em todas as ordens máximas):
  $S$ não pode ser embutida optimalmente em toda ordem máxima de $B$ se e somente se:

  1. $K/F$ for totalmente não ramificada.
  2. $B \cong M_3(F)$ (ou seja, $B$ é split).
  3. $D(S) \neq \text{Gal}(K/F)$.

  No caso onde estas condições se verificam, o artigo prova que $S$ pode ser embutida optimalmente em exatamente $|D(S)|/3$ das classes de isomorfismo de ordens máximas no gênero. Como $|\text{Gal}(K/F)| = 3$, isto implica que o embedding é possível em $1/3$ ou $2/3$ das classes, dependendo do tamanho de $D(S)$.

• Refinamento de Resultados Anteriores: O artigo fornece um contraexemplo à aplicação direta de resultados de seletividade de grau 2 ou generalizações anteriores de graus superiores. Especificamente, demonstra uma ordem $S_2$ que, segundo critérios anteriores de embedding não-ótimo (Linowitz e Shemanske), se embutiria em todas as ordens máximas, mas falha em admitir um embedding ótimo em todas elas.

Significado
O artigo afirma estabelecer a condição precisa de seletividade para embeddings ótimos em álgebras simples centrais de grau 3. Seu significado reside em:

1. Generalização: Estender a teoria da seletividade ótima de álgebras de quatérnios (grau 2) para grau 3, um passo não trivial devido ao aumento da complexidade das classes de similaridade de matrizes e ao surgimento de embeddings "especiais".
2. Quantificação Exata: Ir além de resultados de existência binária para fornecer uma contagem exata ($1/3$ ou $2/3$) das ordens máximas que admitem embeddings ótimos, governada explicitamente pela aritmética do discriminante da ordem.
3. Correção de Intuição: Destacar que resultados para embeddings não-ótimos ou graus inferiores não se generalizam automaticamente para embeddings ótimos em grau 3, tornando necessária a análise local específica dos casos "especiais" apresentada no artigo.

O trabalho recorre à notação padrão da teoria dos corpos de classes e da teoria de ordens em CSAs, construindo diretamente sobre o trabalho fundamental de Eichler, Voight e Linowitz/Shemanske.