Order-Preserving outer automorphisms of free and surface groups

1. Problema e Contexto

O artigo aborda a questão fundamental da bi-ordenabilidade de grupos e a classificação dos seus automorfismos externos que preservam essa ordem.

• Definição de Bi-ordenabilidade: Um grupo $G$ é bi-ordenável se admite uma ordem total $\prec$ invariante sob multiplicação à esquerda e à direita ($g \prec h \implies fg \prec fh$ e $gf \prec hf$). Isso equivale à existência de um "cone positivo" $P \subset G$ que satisfaz propriedades de partição, fechamento sob multiplicação e invariância por conjugação.
• O Problema Central: Dado um grupo bi-ordenável $G$ (como grupos livres não abelianos ou grupos fundamentais de superfícies fechadas, exceto o plano projetivo e a garrafa de Klein), quais subgrupos do grupo de automorfismos externos, $\text{Out}(G)$, são preservadores de ordem? Ou seja, quais subgrupos fixam pelo menos uma bi-ordem em $G$?
• Motivação Topológica: Este estudo é impulsionado pela conjectura do espaço L (L-space conjecture) na topologia de dimensão 3, que relaciona a bi-ordenabilidade do grupo fundamental de uma 3-variedade à sua estrutura de folheação. Especificamente, o artigo investiga a bi-ordenabilidade de grupos fundamentais de complementos de nós e ligações trançadas (mapping tori de grupos livres).

2. Metodologia

Os autores utilizam uma combinação de teoria de grupos, topologia algébrica e teoria de campos ordenados para desenvolver dois resultados principais:

A. Classificação de Subgrupos Finitos

Para subgrupos finitos de $\text{Out}(G)$, os autores utilizam a teoria de extensões de grupos e resultados clássicos sobre grupos virtuais (trabalhos de Stallings e Eckmann-Linnell-Müller).

• Estratégia: Analisam a pré-imagem de um subgrupo finito $H \leq \text{Out}(G)$ no grupo de automorfismos $\text{Aut}(G)$.
• Conexão Topológica: Relacionam a estrutura algébrica do subgrupo com a estrutura de espaços de Seifert e orbifolds, mostrando que a preservação de ordem está intrinsecamente ligada à ausência de torção no grupo de cobertura associado.

B. Critério para Automorfismos de Ordem Infinita (Braids)

Para automorfismos de ordem infinita, especificamente aqueles induzidos por tranças (braid groups $B_n$) agindo em grupos livres $F_n$, os autores desenvolvem uma nova ferramenta baseada em representações homológicas.

• Representação de Burau Reduzida: Utilizam a representação de Burau reduzida $\rho: B_n \to \text{GL}_{n-1}(\mathbb{Z}[t^{\pm 1}])$.
• Extensão de Corpo: Para definir "autovalores positivos" em um anel de polinômios, eles estendem os coeficientes para o corpo de séries de Puiseux sobre $\mathbb{R}$, denotado por $E$. Este corpo é realmente fechado e admite uma ordenação única.
• Construção de Ordem via Série Central Descendente: Eles constroem uma bi-ordem no grupo livre analisando a ação do automorfismo nos quocientes da série central descendente do núcleo de um homomorfismo para $\mathbb{Z}$. A preservação da ordem é garantida se a ação induzida na homologia (via representação de Burau estendida) tiver todos os autovalores positivos no corpo ordenado $E$.

3. Principais Contribuições e Resultados

Teorema 1.3: Classificação de Subgrupos Finitos

O artigo fornece uma caracterização completa para grupos livres não abelianos e grupos de superfícies bi-ordenáveis:

Um subgrupo finito $H \leq \text{Out}(G)$ preserva uma bi-ordem se e somente se a sua pré-imagem completa $\pi^{-1}(H)$ em $\text{Aut}(G)$ for livre de torção (torsion-free).

• Corolário: Isso implica um algoritmo para decidir se um subgrupo finito preserva ordem (Corolário 1.4).
• Generalização: Este resultado generaliza a classificação anterior de Kin e Rolfsen para tranças periódicas.

Teorema 1.6: Critério de Autovalores Positivos

Este é o resultado central para automorfismos de ordem infinita:

Seja $\rho: B_n \to \text{GL}_{n-1}(E)$ a representação de Burau reduzida. Se, para uma trança $\beta$, todos os autovalores de $\rho(\beta)$ (contados com multiplicidade) forem positivos no corpo ordenado $E$, então $\beta$ preserva uma bi-ordem em $F_n$.

Aplicações Específicas em $B_3$ (Tranças de 3 cordas)

Os autores aplicam o Teorema 1.6 para classificar famílias de tranças em $B_3$:

• Teorema 1.8: Estabelece condições de paridade para que tranças da forma $\sigma_1 \sigma_2^{-a_1} \dots \sigma_1 \sigma_2^{-a_k} \Delta^{2d}$ preservem ordem.
• Corolário 1.9 (Resultado Chave): Para qualquer trança não periódica $\beta \in B_3$, o quadrado $\beta^2$ é uma trança que preserva ordem.
  • Significado: Isso responde afirmativamente a uma questão aberta de Kin e Rolfsen sobre a existência de tranças preservadoras de ordem cuja permutação subjacente seja um ciclo completo (full cycle). Antes deste trabalho, não havia exemplos conhecidos de tais tranças.

Exemplos Esporádicos ($n \geq 4$)

O artigo apresenta exemplos de tranças preservadoras de ordem em $B_5, B_7, B_9$ que possuem permutação de ciclo único, demonstrando que tais objetos são abundantes em grupos de tranças de número ímpar de cordas.

4. Significado e Impacto

1. Resolução de Questões Abertas: O trabalho resolve positivamente a questão de Kin e Rolfsen sobre a existência de tranças de ciclo completo que preservam ordem, fornecendo uma classe infinita de exemplos ($\beta^2$ para qualquer trança não periódica em $B_3$).
2. Novo Critério Algébrico: Introduz um critério robusto baseado em autovalores positivos em corpos de séries de Puiseux para determinar a preservação de ordem, superando limitações de critérios anteriores (como o de Perron-Rolfsen) que exigiam autovalores reais positivos na abelianização.
3. Conexão Topologia-Álgebra: Reforça a ligação entre a estrutura de grupos fundamentais de 3-variedades (especificamente fibrados sobre o círculo) e a teoria de grupos ordenados, oferecendo novas ferramentas para investigar a conjectura do espaço L.
4. Contra-exemplos e Limites: O artigo demonstra que a recíproca do Teorema 1.6 é falsa (existem tranças que preservam ordem mas cujos autovalores de Burau não são todos positivos), sugerindo que a condição é suficiente, mas não necessária, e propondo uma conjectura parcial sobre a existência de pelo menos um autovalor positivo.

Em suma, o artigo avança significativamente a compreensão da bi-ordenabilidade em grupos fundamentais de topologia de baixa dimensão, fornecendo tanto uma classificação completa para o caso finito quanto uma ferramenta poderosa e nova para o caso infinito, com aplicações diretas na teoria de nós e tranças.