Classification and nonexistence for $t$-structures on derived categories of schemes

Resumo Técnico: Classificação e Não Existência para t-Estruturas em Categorias Derivadas de Esquemas

Enunciado do Problema
O artigo aborda a classificação de t-estruturas tensoriais em categorias derivadas de feixes coerentes ($D^b_{\text{coh}}(X)$) e complexos perfeitos ($\text{Perf}(X)$) sobre esquemas noetherianos, particularmente aqueles com suporte prescrito em um subconjunto fechado $Z$. Embora a classificação de t-estruturas tensoriais compactamente geradas na categoria derivada ilimitada de feixes quasi-coerentes ($D_{\text{qc}}(X)$) seja bem compreendida por meio de filtrações de Thomason (estabelecida em trabalhos como [ATJLS10], [DS23], [Lan25]), o problema de determinar quando essas estruturas se restringem a subcategorias de complexos coerentes ou perfeitos permanece sutil.

Uma motivação central é a conjectura de Antieau–Gepner–Heller, que postula que $\text{Perf}(X)$ admite uma t-estrutura limitada se e somente se $X$ for regular. Isso foi recentemente resolvido por Neeman [Nee24] no caso geral e por Smith [Smi22] no caso afim. Este artigo busca estender esses resultados a subconjuntos fechados arbitrários $Z$ e fornecer uma caracterização topológica de quando t-estruturas em $D_{\text{qc}}(X)$ se restringem a $D^b_{\text{coh}, Z}(X)$ e $\text{Perf}_Z(X)$.

Metodologia
Os autores empregam uma estratégia "local para global", aproveitando o fato de que muitas propriedades de t-estruturas em esquemas podem ser detectadas localmente em subesquemas abertos afins ou em estolhos. As ferramentas técnicas centrais incluem:

1. Filtrações de Thomason: A classificação depende da correspondência biunívoca entre t-estruturas tensoriais compactamente geradas em $D_{\text{qc}}(X)$ e filtrações de Thomason (sequências de subconjuntos fechados sob especialização).
2. Condição Fraca de Cousin Relativa: Os autores introduzem e utilizam uma condição "fraca de Cousin relativa" para filtrações de Thomason através de um subconjunto fechado $Z$. Isso generaliza a condição fraca de Cousin clássica de [ATJLS10] para o contexto relativo.
3. Restrição e Localização: O artigo estabelece que a restrição de uma t-estrutura a um subconjunto fechado $Z$ (ou a um subesquema aberto) corresponde à restrição da filtração de Thomason associada. Os lemas 3.5, 3.6 e 3.17 demonstram que os funtores de truncamento comutam com a restrição a abertos afins e anéis locais, permitindo que questões globais sejam reduzidas a condições algébricas locais.
4. Teoria de Suporte e Regularidade: Os resultados de não existência dependem da análise do comportamento de complexos de Koszul e cohomologia local. Especificamente, os autores utilizam a dimensão dos suportes e as propriedades dos anéis locais (regulares versus não regulares) para derivar contradições quando se assume que t-estruturas se restringem a complexos perfeitos em contextos não regulares.

Principais Contribuições e Resultados

• Classificação em Feixes Coerentes com Suporte (Teorema 1.2 & Proposição 1.1):
  Para um esquema $X$ quasi-compacto, CM-excelente e de dimensão de Krull finita, e um subconjunto fechado $Z$, o artigo estabelece uma correspondência um-para-um entre:

  • t-estruturas tensoriais (ou $\otimes$-corredores) em $D^b_{\text{coh}, Z}(X)$.
  • Filtrações de Thomason em $X$ que são "fracas de Cousin através de $Z$".

  Uma filtração $\phi$ é fraca de Cousin através de $Z$ se, para qualquer generalização direta $p \leadsto q$ em $Z$, $q \in \phi(n)$ implica $p \in \phi(n-1)$. Este resultado generaliza resultados de classificação afim [ATJLS10, Tak23] para o contexto global e fornece um critério topológico para a existência de tais restrições.

• Não Existência e Detecção de Regularidade (Teorema 1.3):
  O artigo prova que um subconjunto fechado não vazio $Z$ de um esquema noetheriano $X$ está contido no lugar regular de $X$ se e somente se existir uma filtração de Thomason não constante em $X$ cuja t-estrutura associada em $D_{\text{qc}}(X)$ se restringe a $\text{Perf}_Z(X)$.

  • Se $Z$ contiver um ponto singular, nenhuma t-estrutura não constante pode restringir-se a $\text{Perf}_Z(X)$.
  • Isso recupera o teorema de Neeman [Nee24] no caso afim ($Z=X$) e estende o resultado de Smith [Smi22] para dimensões de Krull arbitrárias.
  • A prova utiliza técnicas de álgebra local (especificamente propriedades de cohomologia local e complexos de Koszul) em vez dos métodos de categorias trianguladas aproximáveis utilizados por Neeman.

• Classificação em Complexos Perfeitos com Suporte (Corolário 1.4):
  Combinando os resultados acima, os autores classificam t-estruturas em $\text{Perf}_Z(X)$. Uma filtração de Thomason $\phi$ produz uma t-estrutura que se restringe a $\text{Perf}_Z(X)$ se e somente se, para cada componente conexa $Z_t$ de $Z$:

  • Se $Z_t$ estiver no lugar regular, $\phi \cap Z_t$ satisfaz a condição fraca de Cousin.
  • Se $Z_t$ não estiver no lugar regular, $\phi \cap Z_t$ deve ser constante.

Significado e Afirmações
O artigo afirma estabelecer princípios robustos de "local para global" para t-estruturas tensoriais, preenchendo a lacuna entre o caso afim bem compreendido e o contexto global de esquemas. Ao caracterizar a restrição de t-estruturas a complexos coerentes e perfeitos por meio de condições topológicas em filtrações de Thomason, o trabalho fornece uma classificação completa para essas subcategorias sob a hipótese de CM-excelência.

Além disso, os resultados de não existência oferecem uma nova perspectiva sobre a relação entre álgebra homológica e regularidade geométrica. Os autores observam que seus métodos fornecem uma prova alternativa para o caso afim da conjectura de Antieau–Gepner–Heller e a estendem para dimensões de Krull infinitas, aplicando-se a exemplos específicos de domínios integrais noetherianos não regulares construídos por Hochster [Hoc73]. Os resultados também têm ramificações para a classificação de t-estruturas decorrentes de funções de perversidade, oferecendo uma conclusão efetiva para esse problema de classificação em $D^b_{\text{coh}}(X)$.