Unramified Grothendieck-Serre for simply-connected group schemes satisfying an isotropy condition via unipotent chains

Resumo Técnico de "Unramified Grothendieck–Serre for Simply-Connected Group Schemes Satisfying an Isotropy Condition via Unipotent Chains"

Enunciado do Problema
O artigo aborda um caso específico da conjectura de Grothendieck–Serre, que postula que um $G$-torsor de esquema redutivo sobre um anel local regular $R$ é trivial se for trivial sobre o corpo de frações de $R$. Embora a conjectura tenha sido estabelecida anteriormente para anéis contendo corpos infinitos, corpos finitos e para o caso quase-split não ramificado (via Česnavičius), este trabalho foca no caso de característica mista não ramificada para esquemas de grupos redutivos simplesmente conexos que satisfazem uma condição de isotropia (especificamente, possuindo um subesquema de grupo parabólico estritamente próprio).

A principal dificuldade no cenário de característica mista, como observado na introdução, é a "perda de uma dimensão" ao tentar fibrar esquemas sobre uma base de Dedekind (como $\mathbb{Z}_p$). As estratégias padrão de característica equivalente que utilizam fibrados em curvas suaves falham porque os fibrados da projeção para a base já são unidimensionais, não restando espaço para fibrar adicionalmente mantendo o controle sobre o lugar singular.

Metodologia
O autor, Roman Fedorov, introduz uma ferramenta estrutural inovadora chamada cadeia unipotente (unipotent chain) para preencher a lacuna entre a trivialidade genérica de um torsor e sua trivialidade global. A estratégia de prova procede através dos seguintes estágios lógicos:

1. Redução ao Caso Afim Suave: Usando o Teorema de Popescu, o problema é reduzido ao caso onde o anel base $R$ é o anel semilocal de um conjunto finito de pontos em um esquema afim integral $X$ que é suave sobre um domínio de Dedekind semilocal $O$.
2. Introdução de Cadeias Unipotentes: Uma cadeia unipotente é definida como uma sequência de $G$-torsors onde cada torsor subsequente é obtido do anterior via uma modificação ao longo de um radical unipotente de um subgrupo parabólico. O núcleo do feito técnico é provar que um torsor genericamente trivial pode ser conectado ao torsor trivial via tal cadeia, desde que a base seja removida por um subconjunto fechado de codimensão pelo menos dois.
3. Lidando com a "Dimensão Perdida": Em vez da fibração padrão em curvas usada em provas de característica equivalente, o autor constrói uma curva relativa $C \to \text{Spec } R$ e uma seção $\Delta$. O torsor é puxado para esta curva. Crucialmente, o autor utiliza o conceito de uma cadeia unipotente trivial (relativa a um par de subgrupos parabólicos opostos) para gerenciar o descenso.
4. Descenso e Igualação de Esquemas de Grupos: O descenso envolve "igualar" esquemas de grupos. Como o esquema de grupo sobre a curva relativa $C$ pode não ser um pullback da base, o autor emprega coberturas étale e morfismos étale finitos (via Proposição 4.4) para alinhar as estruturas parabólicas e reduzir o esquema de grupo a um pullback da base.
5. Descenso para $\mathbb{A}^1_R$: Usando quadrados distinguídos elementares e técnicas de colagem (Proposição 4.9), a cadeia unipotente e o torsor são descendidos para um torsor sobre a reta afim $\mathbb{A}^1_R$ que é trivial longe de um subesquema finito.
6. Trivialidade Final: O passo final baseia-se em um teorema (Teorema D) que afirma que, se um torsor sobre $\mathbb{A}^1_U$ é trivial longe de um subesquema finito, sua restrição a qualquer seção é trivial. Isso generaliza resultados anteriores para o cenário de característica mista.

Principais Contribuições e Resultados

• Teorema A (Resultado Principal): Seja $R$ uma álgebra plana noetheriana sobre um domínio de Dedekind $O$ com fibras geometricamente regulares. Seja $G$ um esquema de grupo redutivo simplesmente conexo sobre $R$ que possui um subesema de grupo parabólico estritamente próprio. Se um $G$-torsor sobre $R$ é trivial sobre o anel total de frações, ele é trivial.
  • Isso generaliza o resultado de Česnavičius (limitado ao caso quasi-split) para a classe mais ampla de grupos isotropicamente conexos simples no cenário de característica mista não ramificada.
• Corolário B: A conjectura de Grothendieck–Serre é válida para esquemas de grupos redutivos totalmente isotrópicos e simplesmente conexos sobre anéis locais regulares não ramificados.
• Teorema C ("Quase Trivial" Torsors): Para um domínio noetheriano normal $R$ e um grupo $G$ simplesmente conexo e isótropo, qualquer $G$-torsor genericamente trivial sobre um aberto $U \subset \text{Spec } R$ torna-se trivial sobre cada esquema afim que fatora através de $U \setminus Z$, onde $Z$ é um subconjunto fechado de codimensão pelo menos dois. Este resultado requer apenas que $R$ seja normal e noetheriano, não necessariamente regular.
• Teorema D: Uma generalização de resultados anteriores sobre torsors sobre $\mathbb{A}^1_U$, provando que um $G$-torsor sobre $\mathbb{A}^1_U$ trivial longe de um subesquema fechado finito sobre $U$ é trivial ao longo de toda seção.

Significância e Alegações
O artigo afirma resolver a conjectura de Grothendieck–Serre para uma classe significativa de esquemas de grupos (simplesmente conexos e isótropos) no caso de característica mista não ramificada, um cenário onde métodos anteriores (como aqueles dependentes de teoremas de Bertini para corpos finitos ou suposições específicas de compactificação) eram insuficientes ou exigiam técnicas distintas.

O autor enfatiza a introdução de cadeias unipotentes como o mecanismo central que permite a prova. Esta noção permite que o autor contorne as restrições dimensionais das fibragens de característica mista ao conectar torsors através de uma sequência de modificações unipotentes. O artigo também observa que simplifica a prova do caso quasi-split não ramificado (reprovando o resultado de Česnavičius) ao evitar a necessidade de descer torsors sob grupos unipotentes ao longo de morfismos afins, um passo exigido em trabalhos anteriores.

O autor declara explicitamente expectativas modestas quanto ao escopo destes resultados, observando que o resultado "quase trivial" (Teorema C) não se espera que ocorra para grupos não isótropos (ex: tori) ou grupos que são apenas genericamente isótropos, devido às dificuldades em igualar subesquemas de grupos parabólicos genéricos. O trabalho é apresentado como uma generalização de resultados existentes, e não como uma solução da conjectura em sua totalidade para todos os grupos redutivos.