Linearizability notions in equivariant birational geometry

Resumo Técnico: Noções de Linearizabilidade em Geometria Biracional Equivariante

Enunciado do Problema
Este artigo investiga a geometria biracional equivariante de ações regulares de grupos finitos $G$ em variedades projetivas suaves sobre um corpo algebricamente fechado $k$ de característica zero. O problema central é compreender a relação entre a linearizabilidade de ações de grupos e seu comportamento sob "torção" (twisting) via torsores. Especificamente, os autores abordam até que ponto as propriedades equivariantes globais (como linearizabilidade, racionalidade e uniracionalidade) de uma $G$-variedade $X$ são determinadas pelas propriedades de suas torções $T_X$ sobre corpos não fechados.

Uma tensão fundamental no campo, observada no trabalho anterior de Duncan e Reichstein ([DR15]), é que, embora ações linearizáveis sejam "versais" (uma propriedade relacionada à existência de pontos racionais em torções), nem todas as ações versais são linearizáveis. O artigo busca refinar a compreensão dessas propriedades estabelecendo que muitas condições equivariantes globais podem ser reduzidas à verificação de uma única torção específica, originada de uma ação versal genericamente livre, em vez de verificar todos os torsores possíveis.

Metodologia
Os autores empregam uma combinação de geometria biracional equivariante, a teoria de torsores e teoria de interseção equivariante (grupos de Chow).

1. Construção de Torção (Twisting Construction): A ferramenta técnica central é a torção de uma $G$-variedade $X$ por um $G$-torsor $T = \text{Spec}(L)$ sobre uma extensão de corpo $K$. Isso resulta em uma variedade $T_X$ sobre $K$. O artigo aproveita a correspondência entre $G$-variedades sobre $k$ e variedades sobre corpos não fechados através desta construção.
2. Versalidade e Liberdade Genérica: Os autores utilizam o conceito de $G$-variedades "versais" (onde toda subvariedade densa invariante admite um mapa $G$-equivariante de qualquer torsor) e ações "genericamente livres". Eles focam na construção de um único torsor de teste $T_Z$ originado de uma $G$-variedade versal genericamente livre $Z$.
3. Grupos de Chow Equivariantes e Decomposição da Diagonal: Na Seção 4, os autores introduzem a noção de decomposição integral da diagonal $G$-equivariante. Isso envolve analisar a classe da diagonal $[\Delta_X]$ no grupo de Chow equivariante $CH^G_n(X \times X)$ e determinar se ela pode ser decomposta em um produto da classe fundamental por um ciclo de dimensão zero, mais um termo suportado em uma subvariedade própria.
4. Invariantes Cohomológicos: A seção final analisa o comportamento dos invariantes de Amitsur e da cohomologia negligível sob torção, utilizando a sequência espectral de Leray e propriedades do grupo de Brauer.

Principais Contribuições e Resultados

• Redução a uma Única Torção Versal (Teoremas 2.5 & 2.6):
  O artigo estabelece que, para uma $G$-variedade quase-projetiva $X$, uma ampla gama de propriedades que se aplicam a todas as torções $T_X$ (sobre todos os torsores $T$) é equivalente à mesma propriedade aplicando-se a uma única torção $T_Z X$, onde $Z$ é qualquer $G$-variedade quase-projetiva com uma ação versal genericamente livre.

  • Teorema 2.5 abrange propriedades como a existência de pontos racionais, uniracionalidade, racionalidade estável e racionalidade.
  • Teorema 2.6 estende essa equivalência para a biracionalidade das torções ($T_X \sim T_Y$).
  • Significância: Isso fortalece resultados anteriores que exigiam a verificação de propriedades contra torções originadas de representações lineares fiéis. Os autores mostram que qualquer ação versal genericamente livre serve como um "caso de teste universal".

• G-Biracionalidade Coarse e Linearizabilidade (Seção 3):
  Motivados pelos teoremas de redução, os autores definem g-biracionalidade coarse ($X \sim^c_G Y$) e linearizabilidade coarse (Condição (CL)).

  • $X$ é coercivamente linearizável se for coercivamente $G$-biracional a um espaço projetivo $P^d$.
  • Isso define uma hierarquia: Linearizabilidade (L) $\implies$ Linearizabilidade Coarse (CL) $\implies$ Linearizabilidade Estável (SL).
  • Os autores fornecem exemplos (por exemplo, ações de $S_3 \times S_3$ em $P^1 \times P^1$) mostrando que (CL) é estritamente mais fraca que (L), mas estritamente mais forte que (SL) em certos contextos, oferecendo uma classificação mais fina de ações que não são linearizáveis, mas que se comportam como linearizáveis sob torção.

• Decomposição da Diagonal Equivariante (Seção 4):
  Os autores definem a decomposição da diagonal integral $G$-equivariante (Definição 4.2).

  • Teorema 4.4 prova que uma $G$-variedade $X$ possui esta propriedade se, e somente se, sua torção $T_Z X$ (para um $Z$ versal) possui a decomposição da diagonal integral padrão (não equivariante).
  • Teorema 4.6 conecta isso à linearizabilidade: Se uma variedade projetiva suave com uma ação genericamente livre é estavelmente linearizável, ela admite uma decomposição da diagonal integral $G$-equivariante.
  • Teorema 4.7 estabelece a propriedade de especialização: se a fibra geral de uma família suave e própria de $G$-variedades admite tal decomposição, a fibra especial também a admite.

• Obstruções Cohomológicas (Seção 5):
  O artigo investiga o comportamento dos invariantes de Amitsur ($Am_d(X, G)$) e da obstrução do torsor universal sob torção.

  • Proposição 5.1 afirma que, para ações fracamente versais, os invariantes de Amitsur de ordem superior desaparecem.
  • Proposição 5.3 demonstra que a construção de torção por um torsor versal induz um isomorfismo no grupo de Amitsur $Am_2(X, G)$.
  • Proposição 5.2 caracteriza classes de cohomologia "negligíveis" como aquelas que desaparecem quando puxadas via o mapa associado a um único torsor versal, reforçando o tema de que um único objeto versal controla o comportamento cohomológico de toda a classe de torções.

Significância e Alegações
Os autores alegam que seus resultados representam um fortalecimento dos desenvolvimentos anteriores (especificamente aqueles em [DR15] e [GM22]). Enquanto trabalhos anteriores mostraram que as propriedades de todas as torções são implicadas pelas propriedades das torções originadas de representações lineares fiéis, este artigo demonstra que a condição pode ser relaxada para qualquer ação versal genericamente livre.

O artigo não pretende resolver o problema geral da linearizabilidade, mas sim fornecer um arcabouço robusto para testar propriedades biracionais equivariantes. Ao introduzir a "linearizabilidade coarse" e vinculá-la à decomposição da diagonal, os autores oferecem novas ferramentas para distinguir entre ações que são genuinamente linearizáveis e aquelas que são apenas "estavelmente" ou "coercivamente" tão. O trabalho faz a ponte entre a geometria equivariante sobre corpos algebricamente fechados e a geometria de variedades sobre corpos não fechados, mostrando que esta última pode frequentemente ser reduzida ao estudo de um único modelo equivariante bem escolhido.