The crisp topology, a refinement of the fpqc topology

Resumo Técnico: A Topologia Crisp e a Generalização da Pureza para Esquemas

1. O Problema

A motivação central do artigo reside na necessidade de generalizar o conceito de morfismos puros (ou universalmente injetivos) de homomorfismos de anéis para morfismos arbitrários de esquemas.

• Contexto: Na teoria de anéis, morfismos puros são fundamentais na teoria de descida efetiva (effective descent). Eles generalizam os homomorfismos fielmente planos e coincidem com morfismos de descida efetiva para módulos.
• Limitações das Abordagens Existentes:
  • Tentativas de definir pureza para esquemas via dominância esquemática universal (como feito por Picavet e Mesablishvili) restringem-se a morfismos quasi-compactos, perdendo a generalidade desejada.
  • Tentativas de definir pureza exigindo que o morfismo seja sobrejetivo e puro nos estolhos (stalks) falham, pois não são equivalentes à pureza do homomorfismo de anéis subjacente no caso afim.
• Objetivo: Definir uma classe de morfismos de esquemas que generalize a pureza de anéis, não se restrinja a morfismos quasi-compactos, preserve a relação com a topologia fpqc e permita o desenvolvimento de uma nova topologia de Grothendieck.

2. Metodologia

A autora adota uma abordagem estruturada em três capítulos, transitando da álgebra comutativa para a geometria algébrica:

1. Fundamentação Algébrica (Capítulo 1):

   • Revisão e unificação das caracterizações equivalentes de homomorfismos de anéis puros (denominados "crisp" no artigo).
   • Estabelecimento de propriedades de permanência (composição, base change, descida) para mapas de módulos e anéis.
   • Demonstração de que a pureza de anéis é equivalente à fidelidade do functor de base change e à exatidão de certas sequências.

2. Definição Geométrica (Capítulo 2):

   • Introdução da definição de morfismo crisp para esquemas quasi-separados.
   • Definição Chave: Um morfismo sobrejetivo $f: X \to Y$ é crisp se for localmente quasi-compacto sobrejetivo e, para todo subesquema afim aberto $V \subseteq Y$, existir um aberto quasi-compacto $U \subseteq f^{-1}(V)$ cobrindo $V$ tal que o homomorfismo de anéis associado à união disjunta de um cobrimento afim finito de $U$ seja um homomorfismo de anéis puro.
   • Uso do "Princípio do Lixo" (Garbage Principle): A adição de "lixo" (subesquemas abertos) a um morfismo crisp não destrói a propriedade, permitindo flexibilidade na definição.
   • Prova de que, para morfismos quasi-compactos, ser "crisp" é equivalente a ser "puro" (universalmente esquematicamente dominante).

3. Topologia de Grothendieck (Capítulo 3):

   • Construção da Topologia Crisp na categoria de esquemas sobre uma base $S$.
   • Definição de coberturas: Uma família $\{U_i \to U\}$ é uma cobertura crisp se o morfismo induzido $\bigsqcup U_i \to U$ for crisp.
   • Investigação de propriedades locais em relação a esta topologia e verificação de que a topologia é subcanônica.

3. Contribuições Principais e Resultados

A. Definição e Caracterização de Morfismos Crisp

• O artigo define rigorosamente morfismos crisp, generalizando a pureza de anéis para esquemas sem a restrição de quasi-compacidade.
• Teorema 2.8: Estabelece as propriedades de permanência fundamentais:
  1. Estabilidade sob composição.
  2. Estabilidade sob mudança de base.
  3. Localidade no alvo (target).
• Teorema 2.12: Estabelece a equivalência crucial: Um morfismo de esquemas quasi-compacto é crisp se e somente se é puro (universalmente esquematicamente dominante).
• Relação com fpqc: Todo morfismo fpqc é crisp, mas a recíproca não é verdadeira (exemplos fornecidos mostram morfismos crisp que não são fielmente planos).

B. Propriedades Topológicas e Descida

• Teorema 2.20: Todo morfismo crisp quasi-compacto é universalmente subtrusivo (e, portanto, universalmente submersivo). Isso conecta a pureza algébrica a propriedades topológicas fortes necessárias para a descida.
• Teorema 3.4 (Descida de Propriedades): O artigo lista 20 propriedades de morfismos de esquemas que descem ao longo de morfismos crisp quasi-compactos. Isso inclui:
  • Propriedades topológicas: sobrejetividade, injetividade, homeomorfismo, quasi-compactidade, separação.
  • Propriedades geométricas: tipo finito, apresentação finita, suave, não ramificado, étale, próprio, quasi-finito.
  • Isomorfismos e imersões abertas.
• Isso implica que muitas propriedades podem ser verificadas localmente na topologia crisp.

C. A Topologia Crisp

• Definição 3.2: A topologia crisp é definida onde as coberturas são morfismos crisp.
• Teorema 3.6: A topologia crisp é subcanônica. Isso significa que todo functor representável na categoria de esquemas é um feixe (sheaf) em relação a esta topologia.
• Refinamento: A topologia crisp é mais fina (finer) que a topologia fpqc e a topologia de Zariski, oferecendo um contexto mais rico para testes de propriedades locais.

4. Significado e Impacto

• Unificação Conceitual: O artigo propõe substituir a terminologia "puro" (pure) e "universalmente injetivo" por "crisp" tanto para anéis quanto para esquemas, criando uma nomenclatura unificada e consistente.
• Generalização da Descida: Ao estender a noção de pureza para morfismos não quasi-compactos, o trabalho amplia o escopo de morfismos que podem ser usados como morfismos de descida efetiva, superando limitações de definições anteriores.
• Ferramenta para Geometria Algébrica: A demonstração de que a topologia crisp é subcanônica e que muitas propriedades geométricas descem ao longo de morfismos crisp fornece uma nova ferramenta poderosa para provar teoremas de descida e estudar propriedades locais de esquemas.
• Conexão com Topologias Existentes: Ao posicionar a topologia crisp como um refinamento da fpqc, o artigo conecta a teoria de descida clássica (fpqc) com a teoria de morfismos puros, sugerindo que a "crispness" é a propriedade correta para capturar a essência da descida efetiva em um contexto mais amplo.

Em resumo, Saskia Kern introduz uma nova estrutura topológica e uma classe de morfismos que resolvem problemas de generalização na teoria de descida, oferecendo um framework robusto e bem-comportado para o estudo de propriedades locais e globais em geometria algébrica.