Birational properties of word varieties

Resumo Técnico: Propriedades Biracionais de Variedades de Palavras

Enunciado do Problema
O artigo investiga a geometria biracional das variedades de palavras $S_{w,\alpha}$, definidas como as subvariedades fechadas de $SL(2) \times SL(2)$ sobre um corpo $k$ (característica $\neq 2$) que satisfazem a equação matricial $w(A, B) = \alpha$. Aqui, $w(x, y)$ é uma palavra não trivial no grupo livre $F_2$, e $\alpha \in SL(2)(k)$. A motivação primária é determinar as propriedades de racionalidade dessas variedades e analisar a existência e distribuição de pontos $k$-racionais, particularmente quando $k$ é um corpo numérico. Um foco específico é colocado na palavra comutadora $w = xyx^{-1}y^{-1}$, abordando uma questão levantada por Rapinchuk, Benyash-Krivetz e Chernousov sobre se tais variedades são sempre $k$-racionais.

Metodologia
Os autores empregam uma redução sistemática do grupo de estrutura da variedade de palavras para um toro de norma 1, utilizando a teoria clássica de polinômios de traço. As etapas metodológicas centrais incluem:

1. Superfícies de Traço: Utilizando o teorema de Cayley–Hamilton, o traço da avaliação da palavra, $\text{tr}(w(A, B))$, é expresso como um polinômio $P_w(s, t, u)$ nos traços $s=\text{tr}(A)$, $t=\text{tr}(B)$ e $u=\text{tr}(AB)$. A "superfície de traço" $H_{w,a}$ é definida por $P_w(s, t, u) = a$, onde $a = \text{tr}(\alpha)$.
2. Redução de Torsor: Para um elemento semissimples não central $\alpha$, a variedade $S_{w,\alpha}$ é identificada como um torsor sobre a superfície de traço $H_{w,a}$ para o toro de norma 1 $R^1_{k'/k}(\mathbb{G}_{m, k'})$, onde $k' = k(\sqrt{a^2-4})$.
3. Fibrados de Cones: Ao analisar a similaridade simultânea de matrizes, os autores relacionam a variedade de palavras a um fibrado de cones suave (um esquema de Severi–Brauer de dimensão relativa 1) sobre a superfície de traço. Especificamente, eles mostram que $S_{w,\alpha}$ é um subconjunto aberto denso deste fibrado de cones.
4. Análise do Grupo de Brauer: A racionalidade e as propriedades de aproximação são determinadas computando o grupo de Brauer não ramificado das superfícies associadas (especificamente superfícies de Markoff) e analisando a obstrução de Brauer–Manin.

Principais Contribuições e Resultados

• Estrutura Geométrica de Variedades de Palavras:
  O artigo estabelece que, para qualquer palavra não trivial $w$ e $\alpha$ semissimples não central, a variedade $S_{w,\alpha}$ é um subconjunto aberto denso de um fibrado de cones suave sobre a superfície de traço $H_{w,a}$. Se $w$ pertence ao subgrupo comutador $[F_2, F_2]$, a superfície de traço está contida no complemento do cúbico de Cayley (o contexto da "superfície de Markoff"), garantindo que o fibrado de cones seja bem comportado.

• A Variedade Comutadora e Racionalidade:
  Para a palavra comutadora $w = xyx^{-1}y^{-1}$, a superfície de traço é a superfície de Markoff $M_d$ definida por $s^2 + t^2 + u^2 - stu = d + 2$, onde $d = \text{tr}(\alpha) - 2$.

  • Irracionalidade: Os autores provam que a variedade comutadora $S_\alpha$ é $k$-racional se, e somente se, a superfície de Markoff $M_d$ for $k$-racional. Isso ocorre se, e somente se, $d$ ou $d(d+4)$ for um quadrado em $k$.
  • Resposta Negativa a Rapinchuk et al.: Consequentemente, para um $\alpha \in SL(2)(k)$ "geral", a variedade comutadora é irracional sobre $k$. Isso fornece uma resposta negativa à questão levantada por Rapinchuk, Benyash-Krivetz e Chernousov sobre a racionalidade universal destas variedades.

• Grupo de Brauer e Classes Não Ramificadas:
  O artigo computa a classe de Brauer do fibrado de cones associado. Para o caso comutador, a classe no grupo de Brauer da superfície de Markoff é dada pela álgebra de quatérnios $(t^2-4, d)$. Esta classe gera o grupo de Brauer não ramificado da superfície de Markoff genérica módulo $\text{Br}(k)$ sob condições gerais.

• Pontos Racionais e Aproximação Fraca:
  Quando $k$ é um corpo numérico, o artigo demonstra que a obstrução de Brauer–Manin é a única obstrução para a aproximação fraca em modelos suaves e próprios da variedade comutadora.

  • Se $\text{tr}(\alpha) + 2$ é um quadrado em $k$, mas $\text{tr}(\alpha) - 2$ não é, a aproximação fraca ocorre incondicionalmente (sem obstrução de Brauer–Manin).
  • Em outros casos, a obstrução é precisamente descrita pelo elemento do grupo de Brauer derivado da estrutura do fibrado de cones.

• Planação do Mapa Comutador:
  Como um subproduto de seu método, os autores mostram que o mapa comutador $SL(2) \times SL(2) \to SL(2)$ é fielmente plano sobre o complemento do elemento identidade em $SL(2)$. Este resultado é derivado sem depender do trabalho recente de Larsen e Lu, embora se alinhe aos seus achados para $n$ primo.

Significância
A significância deste artigo reside em sua capacidade de reduzir o problema complexo de equações de palavras em $SL(2)$ ao estudo de pontos racionais em superfícies afins explícitas (superfícies de traço) e seus fibrados de cones associados. Ao vincular estas variedades à geometria das superfícies de Markoff e utilizar a obstrução de Brauer–Manin, os autores fornecem uma classificação completa do tipo biracional da variedade comutadora. Isso resolve uma questão aberta específica no campo ao demonstrar que estas variedades não são universalmente racionais, refinando assim a compreensão das propriedades aritméticas e geométricas de equações de palavras em grupos algébricos. O trabalho também oferece um arcabouço unificado para analisar pontos $k$-racionais em variedades de palavras sobre corpos numéricos.