Measuring rationality of Schwede--Takagi pairs

Resumo Técnico: Medindo a Racionalidade de Pares de Schwede–Takagi

Autores: Pat Lank, Peter M. McDonald e Sridhar Venkatesh.
Contexto: Geometria Algébrica, Singularidades Racionais, Categorias Trianguladas, Programa de Modelo Mínimo.

1. O Problema

O artigo aborda a caracterização e a quantificação da racionalidade de singularidades para pares de Schwede–Takagi $(Y, I^c)$, onde $Y$ é uma variedade normal sobre um corpo de característica zero, $I$ é um feixe de ideais coerente e $c \in \mathbb{R}_{\geq 0}$.

• Definição Clássica: Um par $(Y, I^c)$ possui singularidades racionais se, para uma resolução logarítmica $f: \tilde{Y} \to Y$, o mapa natural $\mathcal{O}_Y \to Rf_*\mathcal{O}_{\tilde{Y}}(\lfloor c \cdot G \rfloor)$ for um isomorfismo (onde $I \cdot \mathcal{O}_{\tilde{Y}} = \mathcal{O}_{\tilde{Y}}(-G)$).
• Limitação Existente: Caracterizações anteriores de singularidades racionais (como as de Lank–Venkatesh) focavam em morfismos naturais entre feixes estruturais que surgiam como unidades de adjunções de funtores derivados. No entanto, para pares de Schwede–Takagi, o mapa relevante não necessariamente surge como uma unidade de adjunção, exigindo uma estratégia de prova diferente.
• Questão Central: É possível utilizar a teoria de geração em categorias trianguladas (especificamente o conceito de "nível" ou level) para caracterizar a racionalidade desses pares e, mais importante, medir o grau de falha da racionalidade quando ela não se verifica?

2. Metodologia

Os autores empregam uma abordagem baseada em categorias trianguladas derivadas e álgebra local.

• Nível (Level) em Categorias Trianguladas: Utilizam a noção de nível de um objeto $E$ em relação a um gerador $G$, denotado por $\text{level}_G(E)$. Este é o menor inteiro $n$ tal que $E$ pode ser construído a partir de $G$ usando somas diretas, somas diretas finitas, shifts e no máximo $n$ cones. Se tal $n$ não existir, o nível é infinito.
• Estratégia de Prova (Teorema 1.1): Diferente de trabalhos anteriores que usavam adjunções globais, os autores passam para as completções dos anéis locais (estudos locais em $p \in Y$).
  • Eles utilizam álgebra local para mostrar que a condição de nível finito implica que o feixe estrutural $\mathcal{O}_Y$ é um somando direto de $Rf_*\mathcal{O}_{\tilde{Y}}(\lfloor c \cdot G \rfloor)$ no contexto local.
  • A prova explora a dualidade (complexos dualizantes) e propriedades de feixes torsion-free em domínios normais completos.
• Submódulos Multiplicadores: Para casos onde a variedade é um Interseção Local Completa (LCI), eles conectam o nível do feixe estrutural ao nível do submódulo multiplicador $J(\omega_Y, I^c)$ em relação ao feixe dualizante $\omega_Y$.

3. Contribuições e Resultados Principais

A. Caracterização Derivada de Singularidades Racionais (Teorema 1.1)
O resultado principal estabelece uma equivalência fundamental:
Um par $(Y, I^c)$ com $Y$ normal possui singularidades racionais se e somente se:
$$\mathcal{O}_Y \in \langle Rf_*\mathcal{O}_{\tilde{Y}}(\lfloor c \cdot G \rfloor) \rangle_1$$
Ou seja, o feixe estrutural $\mathcal{O}_Y$ pertence à primeira camada de geração gerada pelo complexo de cohomologia da resolução. Isso estende resultados anteriores de Lank–Venkatesh para o contexto de pares.

B. Medição da Falha de Racionalidade (Proposição 1.2 e Corolário 3.2)
Para variedades afins que são Interseções Locais Completas (LCI), os autores mostram que o nível é sempre finito.

• Introduzem um invariante categórico: $\text{level}_{J(\omega_Y, I^c)}(\omega_Y)$.
• Resultado: O par $(Y, I^c)$ tem singularidades racionais se e somente se este nível for igual a 1.
• Significado: Se o nível for maior que 1, ele quantifica "quão longe" o par está de ser racional. Isso fornece uma métrica numérica para a gravidade da singularidade do par, indo além da simples classificação binária (racional/não racional).

C. Computabilidade
O artigo destaca que, no caso de variedades afins LCI, esses invariantes são computáveis. Os autores mencionam que pacotes do Macaulay2 (como ThickSubcategories) podem ser utilizados para calcular esses valores, tornando a teoria aplicável a exemplos concretos.

D. Extensão para Pares de Kollár–Kovács (Apêndice A)
Os autores adaptam seus resultados para o contexto de pares reduzidos $(Y, D)$ estudados por Kollár e Kovács, provando uma versão análoga do Teorema 1.1 (Teorema A.2) e um critério de divisão (Proposição A.1) para esse cenário.

4. Significância e Impacto

• Nova Perspectiva Derivada: O trabalho consolida a ideia de que a teoria de categorias trianguladas (especificamente a geração e níveis) é uma ferramenta poderosa para estudar singularidades em geometria algébrica, não apenas para variedades, mas para pares.
• Quantificação de Singularidades: Ao contrário de critérios que apenas dizem "sim" ou "não" sobre a racionalidade, este trabalho oferece um invariante numérico que mede a falha da racionalidade. Isso permite uma análise mais granular da geometria do ideal $I$ em relação à variedade ambiente $Y$.
• Superação de Obstáculos Técnicos: A prova do Teorema 1.1 supera a dificuldade de que o mapa natural em pares de Schwede–Takagi não é uma unidade de adjunção, utilizando técnicas de completção local e álgebra homológica para contornar essa limitação.
• Conexão com LCI: A demonstração de que o nível é finito para variedades LCI conecta a teoria de singularidades racionais com a teoria de interseções completas, abrindo caminho para o uso de ferramentas computacionais em problemas de singularidades de pares.

Em resumo, o artigo fornece uma nova lente derivada para analisar a racionalidade de pares, transformando uma propriedade geométrica qualitativa em um invariante categórico quantitativo, com implicações tanto teóricas quanto computacionais.