Measuring birational derived splinters

Resumo Técnico: Medindo Splinters Derivados Biracionais

1. O Problema e o Contexto

O artigo aborda o estudo de singularidades em geometria algébrica através de métodos categóricos, especificamente focando em uma generalização das singularidades racionais para além dos corpos de característica zero.

• Conceito Central: O termo "splinter" (ou "estilhaço") refere-se a um esquema $X$ onde o morfismo natural $\mathcal{O}_X \to f_*\mathcal{O}_Y$ se divide (split) para todo morfismo finito e sobrejetivo $f: Y \to X$.
• Evolução do Conceito:
  • Em característica zero, ser um splinter é equivalente a ser um esquema normal.
  • Em característica positiva, a definição clássica é insuficiente. Bhatt introduziu os splinters derivados, onde a condição de divisão ocorre no nível derivado ($\mathcal{O}_X \to Rf_*\mathcal{O}_Y$) para morfismos próprios e sobrejetivos.
  • O foco deste trabalho são os Splinters Derivados Biracionais: esquemas onde $\mathcal{O}_X \to Rf_*\mathcal{O}_Y$ se divide para todo morfismo próprio e biracional $f: Y \to X$.
• A Lacuna: Embora se saiba que certas singularidades são splinters derivados biracionais, não havia uma medida quantitativa para avaliar "o quão longe" um esquema está de satisfazer essa propriedade, especialmente em característica positiva onde o comportamento é mais complexo (ex: curvas elípticas em característica positiva são splinters biracionais, mas não splinters derivados gerais).

2. Metodologia

Os autores utilizam ferramentas da teoria de categorias trianguladas para quantificar a falha de uma singularidade em ser um splinter derivado biracional.

• Invariante "Level" (Nível): Baseado nos trabalhos de Balmer, Van den Bergh, Aoki, Iyama, Minamoto e Mori, eles utilizam o conceito de geração em categorias trianguladas.
  • Para uma subcategoria $\mathcal{S} \subseteq \mathcal{T}$, define-se $\langle \mathcal{S} \rangle_n$ como a subcategoria gerada por $\mathcal{S}$ usando somas diretas, somas diretas diretas, shifts e no máximo $n$ cones.
  • O nível de um objeto $E$ em relação a $\mathcal{S}$, denotado $\text{level}_{\mathcal{S}}(E)$, é o menor inteiro $N$ tal que $E \in \langle \mathcal{S} \rangle_N$.
• Definição do Invariante $\mu_{bds}$:
  Para um esquema Noetheriano $X$, define-se:
  $$\mu_{bds}(X) := \sup \{ \text{level}_{Rf_* D^b_{coh}(Y)}(\mathcal{O}_X) \mid f: Y \to X \text{ é próprio e biracional} \}$$
  • Interpretação: $X$ é um splinter derivado biracional se e somente se $\mu_{bds}(X) = 1$. Valores maiores indicam a "falha" ou a complexidade da singularidade.
• Técnicas Adicionais: O artigo emprega mudanças de base planas, resoluções de singularidades, e propriedades de morfismos próprios e biracionais (como blow-ups) para analisar o comportamento desse invariante.

3. Contribuições Principais e Resultados

A. Caracterização e Finitude:

• Teorema 3.4: Se $X$ admite uma resolução de singularidades $f: \tilde{X} \to X$, então $\mu_{bds}(X)$ é finito e igual a $\text{level}_{Rf_* D^b_{coh}(\tilde{X})}(\mathcal{O}_X)$. Isso mostra que o invariante é independente da resolução escolhida.
• Proposição 3.3: O invariante pode ser calculado apenas considerando blow-ups ao longo de feixes de ideais não nulos, simplificando a verificação prática.

B. Comportamento Local e Global:

• Proposição 3.12: Para esquemas afins normais que admitem resolução, o invariante global é o supremo dos invariantes locais:
  $$\mu_{bds}(X) = \sup_{p \in X} \{ \mu_{bds}(\mathcal{O}_{X,p}) \}$$
  Isso estabelece uma conexão crucial entre a propriedade global e a local.
• Corolário 3.8 (Invariância por Fibrados Projetivos): O valor de $\mu_{bds}$ é invariante sob fibrados projetivos ($\mu_{bds}(X) = \mu_{bds}(\mathbb{P}_X(E))$).

C. Comportamento sob Operações Geométricas (Característica Positiva):
O trabalho demonstra como o invariante se comporta sob produtos e extensões de corpo, algo difícil de provar em característica positiva devido à falta de ferramentas de anulação (como vanishing de Grauert-Riemenschneider).

• Teorema 1.4 e Teorema 4.6: Para esquemas próprios sobre um corpo perfeito $k$ com resolução de singularidades:
  1. Extensão de Corpo: $\mu_{bds}(X) \geq \mu_{bds}(X \times_k \text{Spec}(L))$. Se $L/k$ é finita, a igualdade vale.
  2. Produto: $\max\{\mu_{bds}(X), \mu_{bds}(Y)\} \leq \mu_{bds}(X \times_k Y) \leq \mu_{bds}(X) \cdot \mu_{bds}(Y)$.
• Corolário 1.5 (Estabilidade): Um esquema $Y$ é um splinter derivado biracional se e somente se seu produto com uma extensão de corpo (ou outro esquema) também o for. Isso resolve questões de estabilidade que eram abertas em característica positiva.

D. Relação com Outras Singularidades:

• O artigo clarifica a relação entre splinters derivados biracionais e singularidades pseudo-racionais (em esquemas Cohen-Macaulay normais), mostrando que coincidem sob certas condições (Lema 2.10).
• Fornece exemplos onde a propriedade não sobe (ascende) em extensões de corpo não perfeitas (Exemplo 4.2), justificando a restrição a corpos perfeitos nos teoremas principais.

4. Significância e Impacto

• Quantificação de Singularidades: O trabalho introduz uma ferramenta numérica ($\mu_{bds}$) para medir a severidade de singularidades que não são splinters derivados biracionais, indo além da classificação binária (sim/não).
• Ponte entre Características: Oferece uma abordagem unificada que funciona em característica zero, positiva e mista, superando as limitações das técnicas clássicas de característica zero (como o uso de resoluções de singularidades que dependem de anulações de cohomologia).
• Métodos Categóricos: Demonstra o poder da teoria de categorias trianguladas (geração e níveis) para resolver problemas geométricos concretos sobre singularidades, validando a intuição de que propriedades geométricas são refletidas no comportamento da categoria derivada.
• Novos Resultados em Característica Positiva: Os resultados sobre produtos e extensões de corpo (Corolário 1.5) são novos e preenchem lacunas na literatura sobre o comportamento de splinters derivados em geometria positiva, onde tais propriedades não eram bem compreendidas.

Em suma, o artigo estabelece uma nova framework para estudar singularidades através de invariantes categóricos, fornecendo resultados robustos sobre a estabilidade e o comportamento local-global de splinters derivados biracionais, com aplicações diretas para a compreensão de singularidades em característica positiva.