Representing in Low Rank I: conjugacy, topological and homological aspects

1. Problema e Motivação

O artigo investiga propriedades de grupos finitos $G$ que são determinadas pelo seu anel de grupo $FG$ sobre um corpo de números $F$ (especificamente focando em representações de baixo grau, $n \le 2$). O objetivo central é entender quais invariantes do grupo podem ser recuperados a partir da categoria de representações ou da estrutura do anel de grupo, especialmente em relação ao Anel de Grupo Inteiro $RG$ (onde $R$ é o anel de inteiros de $F$) e seu grupo de unidades $U(RG)$.

O problema é motivado pela decomposição de Wedderburn-Artin:
$$FG \cong M_{n_1}(D_1) \times \dots \times M_{n_\ell}(D_\ell)$$
onde $D_i$ são álgebras de divisão. O foco recai sobre os componentes simples "excepcionais", definidos como:

1. Álgebras de divisão não comutativas que não são álgebras de quaterniões totalmente definidas.
2. Álgebras de matrizes $M_2(D)$ onde $D$ pertence a um conjunto específico de corpos de números ou álgebras de quaterniões (ex: $M_2(\mathbb{Q})$, $M_2(\mathbb{Q}(\sqrt{-d}))$, etc.).

Esses componentes são chamados de excepcionais porque o grupo $SL_n(\mathcal{O})$ (onde $\mathcal{O}$ é uma ordem maximal) tem rank aritmético 1. Isso implica que o Problema do Subgrupo de Congruência (SCP) falha ou é aberto para eles, e métodos padrão de construção de unidades não se aplicam.

O artigo define a propriedade (Mexc): Um anel de grupo $FG$ possui (Mexc) se todos os seus componentes simples $FGe$ (para $e \in PCI(FG)$) com grau de matriz $n \ge 2$ são excepcionais.

2. Metodologia

Os autores utilizam uma abordagem interdisciplinar combinando:

• Teoria de Representações de Grupos Finitos: Análise dos componentes simples de $FG$ e suas propriedades de divisão.
• Topologia e Homologia de Grupos Discretos: Estudo da dimensão cohomológica virtual (vcd), propriedades de "boa" (good property) de Serre e embeddings discretos em grupos de Lie complexos (grupos Kleinianos superiores).
• Teoria de Números e Álgebras de Quaterniões: Análise de ordens em álgebras de divisão e grupos de congruência.
• Geometria Hiperbólica: Uso de subgrupos de isometrias do espaço hiperbólico 5-dimensional ($H^5$) e grupos modulares superiores para estudar a estrutura de $SL_2(\mathcal{O})$.
• Teoria de Grupos de Unidades: Investigação do Problema de Isomorfismo de Subgrupos e as Conjecturas de Zassenhaus em uma variante "bloco a bloco".

3. Principais Contribuições e Resultados

O artigo é dividido em três eixos principais de investigação:

A. Caracterização Topológica e Homológica de Componentes Excepcionais

Os autores estabelecem critérios para identificar quando um anel de grupo possui a propriedade (Mexc) baseando-se em invariantes topológicos dos grupos de unidades:

• Dimensão Cohomológica Virtual (vcd): Eles provam que $FG$ tem (Mexc) se e somente se $[F:\mathbb{Q}] \le 2$ e $vcd(SL_1(RGe))$ divide 4 para todos os componentes não de divisão.
• Propriedade "Good" (Serre): Demonstram que o grupo de unidades $U(RG)$ possui a propriedade "good" (cohomologia coincide com a do completamento profinito) se e somente se $FG$ tem (Mexc) e não possui componentes de divisão excepcionais.
• Propriedade Kleiniana Superior ($D_n$): Caracterizam quando $SL_1(O)$ pode ser embutido discretamente em $SL_n(\mathbb{C})$ com $n|4$.

Teorema A: Estabelece a equivalência entre a propriedade (Mexc) de $FG$, limites no vcd dos componentes, e a propriedade "good" de $U(RG)$e$SL_1(RG)$.

B. Subgrupos de Congruência e Núcleos de Congruência

Uma contribuição significativa é a prova de que subgrupos de congruência de $SL_2(\mathcal{O})$ (onde $M_2(D)$ é excepcional) são "large" (grandes), ou seja, possuem um subgrupo de índice finito que mapeia sobre um grupo livre não abeliano.

• Teorema B: Todo subgrupo de congruência principal sem torção de $SL_2(L_{u,v})$ (onde $L_{u,v}$ é uma ordem em uma álgebra de quaterniões totalmente definida) é "large".
• Consequência para o Núcleo de Congruência: Eles provam que o núcleo de congruência $C(\Gamma)$ de tais grupos contém uma cópia fechada do completamento profinito de um grupo livre de posto infinito ($\hat{F}_\omega$).
• Aplicação a Anéis de Grupo: Isso fornece uma cota inferior para o núcleo de congruência do grupo de unidades de um anel de grupo integral $U(\mathbb{Z}G)$. Se $\mathbb{Q}G$ tem um componente matricial excepcional, o núcleo de congruência contém $\hat{F}_\omega$.

C. Propriedade de Zassenhaus e Isomorfismo de Subgrupos (Variante Bloco a Bloco)

Os autores estudam uma variante das conjecturas de Zassenhaus e do Problema de Isomorfismo de Subgrupos, focando na conjugação de subgrupos finitos sob representações irredutíveis individuais (componentes simples).

• Definição: Investigam se a imagem de um subgrupo finito $H \le V(\mathbb{Z}G)$ sob uma representação irredutível $\rho$ é conjugada em $\rho(\mathbb{Q}G)$ a um subgrupo de $\rho(G)$.
• Teorema G: Para componentes simples que são corpos, álgebras de quaterniões ou $M_2(\mathbb{Q}(\sqrt{-d}))$ (com $d \neq 3$), a propriedade de Zassenhaus bloco a bloco é válida.
• Classificação de Subgrupos: Na Seção 7.4, eles classificam completamente os subgrupos finitos de álgebras matriciais excepcionais, distinguindo entre subgrupos primitivos e imprimitivos, e determinando quais são conjugados a subgrupos de bases de grupo.

4. Classificação de Grupos com Propriedade (Mexc)

Embora a classificação completa dos grupos $G$ que satisfazem (Mexc) seja detalhada no artigo complementar [15], este trabalho fornece as condições necessárias e suficientes:

• $G$ deve ter um subgrupo de Fitting $Fit(G)$ tal que $[G : Fit(G)] \le 2$.
• O subgrupo de Fitting deve ter classe nilpotente no máximo 3.
• A estrutura dos componentes simples é restrita a formas muito específicas (ex: $M_2(\mathbb{Q})$, $M_2(\mathbb{Q}(\sqrt{-d}))$, etc.).

5. Significado e Impacto

1. Resolução de Problemas Abertos: O trabalho fornece novas informações sobre o Problema do Subgrupo de Congruência para grupos de unidades de anéis de grupo, mostrando que a presença de componentes excepcionais implica um núcleo de congruência "gigante" (contendo $\hat{F}_\omega$).
2. Conexão entre Topologia e Álgebra: Estabelece uma ponte clara entre propriedades homológicas de grupos de unidades (como a propriedade "good" e vcd) e a estrutura algébrica dos componentes simples do anel de grupo.
3. Avanço nas Conjecturas de Zassenhaus: Ao introduzir e estudar a versão "bloco a bloco", os autores oferecem uma nova perspectiva para atacar o Problema de Isomorfismo de Subgrupos, que é mais tratável componente a componente.
4. Classificação de Grupos "Degenerados": Identifica e caracteriza uma classe de grupos finitos que representam o caso mais "degenerado" na teoria de representações de baixo grau, onde todas as representações de dimensão $\ge 2$ caem em casos excepcionais de rank aritmético 1.

Em suma, este artigo é uma peça fundamental na série que visa entender a relação entre a estrutura de um grupo finito e as propriedades topológicas e homológicas de seu anel de grupo, especialmente focando nos casos onde a teoria padrão de grupos aritméticos falha (rank 1).