Unipotent morphisms

Resumo Técnico de "Morfismos Unipotentes"

Enunciado do Problema
O artigo aborda o desafio de construir fibrados vetoriais não triviais em pilhas algébricas, esquemas e espaços algébricos, particularmente em contextos onde os métodos clássicos quasi-projetivos falham. Uma motivação central é a "propriedade de resolução", que afirma que todo feixe quasi-coerente em uma pilha é um quociente de uma soma direta de fibrados vetoriais. Embora o Teorema de Gabber tenha estabelecido essa propriedade para esquemas quasi-compactos com feixes de linha amplos (especificamente para gerbes de torção $\mathbb{G}_m$), estender esses resultados para configurações mais gerais — como gerbes com estabilizadores aditivos ($\mathbb{G}_a$) ou pilhas de Deligne–Mumford em característica positiva com inércia "selvagem" — permaneceu difícil. Os autores visam desenvolver um quadro para provar a propriedade de resolução nesses contextos mais amplos e não quasi-projetivos.

Metodologia
A inovação metodológica central é a introdução e o estudo sistemático de morfismos unipotentes de pilhas algébricas. Os autores aproveitam a abundância de cohomologia em configurações unipotentes para construir fibrados vetoriais.

1. Bandeeiras e Estruturas Gradadas: Os autores introduzem o conceito de uma bandeira em um fibrado vetorial (uma filtração com peças graduadas que são fibrados vetoriais). Eles definem bandeiras graduadas, onde as peças graduadas são puxadas de volta da base, e bandeiras trivialmente graduadas, onde as peças graduadas são triviais.
2. Descida de Bandeiras: Uma ferramenta técnica chave é um resultado de descida para bandeiras (Teorema 4.8). Usando resultados de Schäppi sobre módulos planos e colimites filtrados, os autores provam que, sob condições específicas (morfismos fielmente planos a partir de bases afins), um fibrado vetorial que admite uma bandeira trivialmente graduada em uma cobertura pode ser descido para a base, potencialmente após tomar uma soma direta.
3. Morfismos Unipotentes: Construindo sobre a descida de bandeiras, os autores definem um morfismo $f: \mathcal{X} \to S$ como unipotente (ou $R$-unipotente) se ele admitir uma bandeira completa, $f$-graduada e $f$-(R)-fiel. Essa noção generaliza a estrutura de quocientes $[Z/G]$ onde $G$ é um grupo unipotente (especificamente subgrupos de matrizes triangulares superiores $U_n$).
4. Princípio Local-para-Global: A teoria estabelece um princípio local-para-global: se um morfismo é localmente unipotente sobre uma base com estrutura suficiente (especificamente, a "propriedade de resolução de bandeira"), ele é globalmente unipotente.

Contribuições e Resultados Principais

• Definição e Caracterização de Morfismos Unipotentes: O artigo define morfismos unipotentes, localmente unipotentes e geometricamente unipotentes. Ele fornece uma caracterização (Teorema 5.4) mostrando que um morfismo $R$-unipotente é equivalente a uma fatoração através de uma pilha classificante de uma sequência de feixes de linha, $BU(\mathcal{L})$, via um morfismo quasi-affine. Isso serve como um enriquecimento unipotente do Teorema de Totaro–Gross que relaciona pilhas quociente à propriedade de resolução.
• Teorema A (Análogo Aditivo do Teorema de Gabber): Os autores provam que, se $\mathcal{X}$ é uma pilha algébrica quasi-compacta com diagonal afim e a propriedade de resolução, e $\mathcal{G} \to \mathcal{X}$ é um gerbe $\mathbb{G}_a$, então $\mathcal{G}$ possui a propriedade de resolução. Isso contrasta com o caso multiplicativo ($\mathbb{G}_m$), onde a afirmação análoga permanece aberta em dimensões superiores.
• Teorema B (Propriedade de Resolução para Pilhas DM Selvagens): O artigo prova que pilhas de Deligne–Mumford suaves, separadas e de tipo finito sobre um corpo $k$, cujo espaço de módulos grosseiro é quasi-projetivo, satisfazem a propriedade de resolução. Isso estende o resultado de Kresch–Vistoli para o cenário "genericamente selvagem" (onde os grupos de inércia podem não ser linearmente redutivos).
• Teorema C (Descida de Bandeiras): Um resultado técnico central afirmando que, se $\mathcal{X}' \to \mathcal{X}$ é um morfismo fielmente plano a partir de um esquema afim, e um fibrado vetorial no produto fibrado admite uma bandeira trivialmente graduada, então existe um fibrado vetorial em $\mathcal{X}$ e uma sobrejeção dividida a partir de seu pullback para o fibrado original.
• Espaços de Módulos Fieis: Os autores conectam morfismos unipotentes à noção de "espaços de módulos fieis" (introduzida por Alper). Eles mostram que espaços de módulos fieis com estabilizadores afins possuem estabilizadores unipotentes e são genericamente gerbes para grupos unipotentes.
• Questões de Embebimento: O artigo aborda a Questão 1.1 sobre o embebimento de esquemas de grupo com fibras geométricas unipotentes em $U_n$. Ele estabelece que, para esquemas separados regulares ou aqueles com feixes de linha amplos, a embebibilidade local-plana implica embebibilidade local-Zariski. Também fornece contraexemplos em característica positiva onde a unipotência geométrica não implica em unipotência local (por exemplo, esquemas de grupo não separados).

Significância e Afirmações
O artigo afirma que a introdução de morfismos unipotentes e a teoria de descida associada para bandeiras fornece um novo mecanismo poderoso para construir fibrados vetoriais em pilhas algébricas. Os autores afirmam que sua principal contribuição técnica (Teorema C) é de interesse geral, revelando um princípio local-para-global onde morfismos localmente unipotentes sobre bases adequadas tornam-se globalmente unipotentes.

A significância reside em:

1. Generalizar o Teorema de Gabber: Fornecer um análogo aditivo ($\mathbb{G}_a$) que vale em maior generalidade do que o caso multiplicativo.
2. Resolver Casos Abertos: Provar a propriedade de resolução para pilhas de Deligne–Mumford suaves com espaços grosseiros quasi-projetivos em característica positiva, um caso anteriormente não resolvido para inércia "selvagem".
3. Questões Fundamentais: Oferecer novos insights sobre a estrutura de esquemas de grupo sobre bases gerais, especificamente regarding a relação entre unipotência geométrica e embebibilidade local em grupos unipotentes.

Os autores observam explicitamente que, embora forneçam resultados positivos para bases regulares e características específicas, o comportamento de grupos unipotentes sobre bases gerais permanece sutil, particularmente em característica positiva, onde existem exemplos não separados. O trabalho é apresentado como um desenvolvimento de novos métodos, e não como uma solução completa para todas as questões relativas a fibrados vetoriais em pilhas.