Yoga for Fourier--Mukai partnership

Resumo Técnico: Yoga para Parcerias de Fourier–Mukai

Autores: Elías Guisado Villalgordo, Pat Lank, Kabeer Manali Rahul e Nebojsa Pavic.

1. O Problema e o Contexto

O trabalho situa-se na interseção entre a geometria algébrica e a teoria das categorias derivadas, focando especificamente nos transformadores integrais (ou transformadas de Fourier–Mukai). Historicamente, desde o trabalho seminal de Mukai (1981), esses transformadores têm sido ferramentas centrais para estudar equivalências entre categorias derivadas de variedades suaves (como variedades abelianas).

O problema central abordado neste artigo é a extensão dessas técnicas para variedades singulares e para contextos relativos (famílias sobre um esquema base $S$), onde as ferramentas clássicas falham. Em variedades singulares, os complexos coerentes limitados não são necessariamente "perfeitos", o que complica a aplicação de métodos categóricos. Além disso, resultados anteriores sobre a preservação de propriedades de equivalência sob mudança de base (como o teorema de Orlov) foram limitados a variedades suaves ou a corpos algebricamente fechados. O objetivo é desenvolver uma "yoga" (um conjunto de técnicas e princípios) para testar equivalências derivadas e fidelidade plena em esquemas singulares e sobre corpos arbitrários, utilizando fibras especiais e álgebra local.

2. Metodologia

Os autores desenvolvem uma abordagem sistemática baseada em mudança de base e álgebra local, explorando o comportamento dos transformadores integrais ao restringir-se a fibras especiais (pontos fechados ou extensões de corpos).

• Estrutura de Categorias: O trabalho opera nas categorias derivadas de módulos quasi-coerentes ($D_{qc}$), complexos coerentes limitados ($D^b_{coh}$) e complexos perfeitos ($Perf$). Eles utilizam a teoria de categorias trianguladas aproximáveis (desenvolvida por Neeman) para reduzir questões de equivalência global para subcategorias menores.
• Técnicas de Descida e Ascensão: O núcleo metodológico consiste em analisar como as propriedades de um kernel $K$ (que define o transformador $\Phi_K$) se comportam sob pullback (mudança de base) via morfismos afins, extensões de corpos e imersões de pontos fechados.
• Análise de Adjuntos: Uma parte crucial da metodologia é o estudo detalhado da preservação de adjuntos (esquerdo e direito) sob mudança de base. Os autores constroem transformações de comparação naturais entre os funtores de base e seus adjuntos, demonstrando que a existência e a natureza dos adjuntos são preservadas sob condições específicas de "perfeição relativa".
• Generalização de Resultados Clássicos: Em vez de depender de "morfismos canônicos" entre kernels (que podem não existir em contextos singulares como no lema de Orlov), os autores utilizam técnicas de álgebra homológica e propriedades de feixes duais relativos para bypassar a ausência dessas ferramentas.

3. Principais Contribuições e Resultados

O artigo estabelece um conjunto de equivalências que permitem testar propriedades globais de transformadores integrais verificando-as apenas em fibras especiais.

A. Preservação de Adjuntos (Teorema 1.1 / Teorema 3.6)
Os autores provam que, para esquemas $Y_1, Y_2$ próprios e planos sobre um esquema de Noetheriano $S$, e um kernel $K \in D^b_{coh}(Y_1 \times_S Y_2)$, a propriedade de ser "relativamente perfeito" (o que garante que o transformador restringe-se adequadamente a $D^b_{coh}$ ou $Perf$) é equivalente a:

1. Ser relativamente perfeito sobre $Y_1$ (ou $Y_2$).
2. Manter essa propriedade após qualquer mudança de base afim.
3. Manter essa propriedade após mudança de base para qualquer corpo $k$ (extensões de corpos).
4. Manter essa propriedade apenas nos pontos fechados de $S$.

Isso generaliza resultados conhecidos e resolve a questão de quando os adjuntos de um transformador integral também se restringem a subcategorias menores sob mudança de base.

B. Fidelidade Plena e Equivalências (Teorema 1.2 / Teorema 4.13)
Este é o resultado central. O teorema estabelece que um transformador integral $\Phi_K$ é uma equivalência (ou fielmente pleno) na categoria $D^b_{coh}$ se e somente se a sua restrição a qualquer fibra especial (via morfismos de pontos fechados ou extensões de corpos) for uma equivalência.

• Generalização de Orlov: Isso generaliza o Lema 2.12 de Orlov (que exigia variedades suaves) para o contexto de variedades singulares e esquemas arbitrários.
• Generalização de HLS: Estende os resultados de Hille, Lunts e Schröer (que trabalhavam sobre corpos algebricamente fechados) para corpos arbitrários e esquemas singulares.

C. Aplicações e Invariantes Derivados (Seção 5)
Os resultados são aplicados para demonstrar que certas propriedades geométricas são invariantes sob parcerias de Fourier–Mukai:

• Formas de Curvas (Proposição 1.4): Para curvas projetivas geometricamente integrais sobre um corpo de característica zero, se duas curvas são parceiros de Fourier–Mukai, elas são $k$-formas (tornam-se isomórficas após uma extensão finita de corpos). Isso generaliza resultados anteriores para curvas singulares.
• Regularidade/Smoothness (Lema 5.2): A suavidade (regularidade geométrica) é um invariante derivado, mesmo sobre corpos imperfeitos. Se $Y_1$ é suave e equivalente a $Y_2$, então $Y_2$ também é suave.
• Propriedades de Fibras (Proposições 1.5 e 1.6): Para fibrations (morfismos próprios e planos), a suavidade do espaço total, bem como as propriedades de Cohen-Macaulay e Gorenstein das fibras, são invariantes derivadas.
• Gorenstein em Contexto Geral (Proposição 5.3): Sob certas condições (esquemas de resolução), a propriedade de ser Gorenstein é preservada por equivalências derivadas, mesmo que a equivalência não seja induzida por um transformador integral.

4. Significado e Impacto

• Superação de Limitações de Suavidade: O trabalho remove a barreira da suavidade que limitava a teoria de Fourier–Mukai. Isso permite aplicar poderosas ferramentas de equivalência derivada a esquemas singulares, que são ubíquos na geometria algébrica (ex: compactificações de espaços de módulos, variedades de Fano singulares).
• Unificação de Contextos Arithméticos e Geométricos: Ao permitir corpos arbitrários e esquemas de base gerais (incluindo esquemas sobre DVRs), o artigo conecta a teoria de equivalências derivadas com situações aritméticas e de redução de singularidades.
• Novas Ferramentas para Singularidades: A demonstração de que certas singularidades (como as propriedades Gorenstein e Cohen-Macaulay) são invariantes derivadas abre novas portas para classificar variedades singulares através de suas categorias derivadas.
• Fundação para Futuras Pesquisas: Os autores indicam que suas técnicas são adaptáveis para pilhas algébricas (stacks) e espaços de módulos, sugerindo que este trabalho servirá como base para generalizações futuras na teoria de Fourier–Mukai em contextos mais amplos.

Em suma, o artigo estabelece uma "yoga" robusta que permite aos pesquisadores testar equivalências derivadas complexas verificando-as localmente em fibras, generalizando teoremas fundamentais para o cenário de variedades singulares e esquemas relativos.