Proxy smallness meets $t$-structures

Resumo Técnico: Pequenez Proxy encontra Estruturas-t

1. Problema e Motivação
O artigo aborda as limitações da "pequenez proxy", um conceito introduzido por Dwyer, Greenlees e Iyengar [DGI06a, DGI06b] como um enfraquecimento da compacidade em categorias trianguladas. Embora a pequenez proxy caracterize com sucesso singularidades de interseção completa local (LCI) no contexto local (e.g., [Pol19]) e tenha sido refinada via ações tensoriais para caracterizar esquemas LCI globalmente ([BILP22]), ela falha em comportar-se bem sob globalização quando vista através da lente de $t$-estruturas. Especificamente, análogos globais ingênuos da pequenez proxy não capturam as propriedades geométricas corretas ao transitar de contextos locais para globais.

Os autores visam introduzir um refinamento natural da pequenez proxy que integra $t$-estruturas e ações tensoriais. O objetivo central é desenvolver uma teoria de "pequenez proxy para $t$-estruturas" (especificamente $t$-pequenez proxy e $t$-$\otimes$-pequenez proxy) para fornecer novas caracterizações de esquemas LCI e classificar subcategorias específicas (pré-eixos) dentro da categoria derivada limitada de feixes coerentes, $D^b_{\text{coh}}(X)$.

2. Metodologia e Estrutura
A teoria é desenvolvida no contexto de categorias trianguladas tensoriais rigidamente geradas por objetos compactos, focando especificamente em $D_{\text{qc}}(X)$ para um esquema Noetheriano $X$. A metodologia baseia-se em três pilares técnicos primários:

• Ações Tensoriais e Pré-eixos: Os autores utilizam a ação da categoria de complexos perfeitos, $\text{Perf}(X)$, sobre $D_{\text{qc}}(X)$ e categorias relacionadas (como a categoria homotópica de injetivos $K(\text{Inj}(X))$). Eles definem $\otimes$-pré-eixos (subcategorias fechadas sob deslocamentos positivos, extensões, somandos diretos e tensorização com $\text{Perf}_{\leq 0}(X)$).
• Recolhimentos: Uma ferramenta crucial é o recolhimento de Krause relacionando $D_{\text{qc}}(X)$, $K(\text{Inj}(X))$ e a categoria de singularidades $D_{\text{sg}}(X)$. Os autores usam essa estrutura para "colar" $t$-estruturas e analisar como propriedades como a pequenez proxy comportam-se através dessas categorias.
• Geração Pseudo-coerente: O artigo estende resultados do caso afim para esquemas Noetherianos arbitrários estudando eixos gerados por complexos pseudo-coerentes. Um resultado técnico chave (Teorema 3.5) estabelece que $\otimes$-eixos gerados por complexos pseudo-coerentes são gerados por objetos compactos, generalizando [ATJLS10].

3. Definições e Contribuições Chave

• $t$-Pequenez Proxy: Um objeto $P$ é definido como $t$-pequenez proxy se o pré-eixo cocompleto gerado por $P$, denotado $\langle P \rangle^{(-\infty, 0]}$, for gerado por objetos compactos e seus objetos compactos estiverem contidos no pré-eixo gerado pelos objetos compactos de $P$. Isso restringe o processo de "construção" a suspensões positivas e extensões, ao contrário da pequenez proxy clássica que permite operações trianguladas arbitrárias.
• $t$-$\otimes$-Pequenez Proxy: Isso estende o conceito para a presença de uma ação tensorial. Um objeto é $t$-$\otimes$-pequenez proxy se o $\otimes$-pré-eixo gerado por ele satisfizer a condição de $t$-pequenez proxy.
• Caracterização Estrutural (Teorema 4.7): Os autores caracterizam objetos $t$-pequenez proxy via recolhimentos. Um objeto $P$ é $t$-pequenez proxy se e somente se:
  1. O pré-eixo $\langle P \rangle^{(-\infty, 0]}$ for gerado por objetos compactos.
  2. Um endofunctor específico envolvendo o Hom derivado e o produto tensorial preservar coprodutos pequenos.
  3. A $t$-estrutura padrão da álgebra dg-endomorfismos de $P$ colar ao longo do recolhimento relevante.
• Distinção da Pequenez Proxy Clássica: O artigo demonstra que a $t$-pequenez proxy é uma condição estritamente mais forte. O Exemplo 4.11 constrói um objeto em $D^b_{\text{coh}}(R)$ (onde $R$ é um anel Artiniano local específico) que é pequenez proxy, mas não $t$-pequenez proxy. Isso depende de contraexemplos teóricos de módulos para conjecturas de Eisenbud e Auslander encontrados em [JŞ04] e [GP90].

4. Resultados Principais

• Caracterização de Esquemas LCI (Proposição 1.2): O artigo fornece uma nova caracterização de esquemas de interseção completa local. Para um esquema Noetheriano $X$, os seguintes são equivalentes:

  1. $X$ é localmente uma interseção completa.
  2. Todo objeto de $D^b_{\text{coh}}(X)$ é $\otimes$-pequenez proxy.
  3. Todo objeto de $D^b_{\text{coh}}(X)$ é $t$-$\otimes$-pequenez proxy.
     A novidade reside na condição (3), que oferece um refinamento $t$-estrutural das caracterizações existentes. A prova utiliza uma propriedade de local para global estabelecida via Lema 6.8, mostrando que a pertinência a um eixo gerado por objetos compactos em $K(\text{Inj}(X))$ é uma condição local de estolho.

• Classificação de Pré-eixos (Teorema 1.1 e Teorema 5.4): Os autores estabelecem uma aplicação injetiva $\Theta$ da coleção de subcategorias $\otimes$-suspensas de $D^b_{\text{coh}}(X)$ (geradas por objetos $t$-$\otimes$-pequenez proxy) para o produto cartesiano de:

  • Subcategorias $\star$-suspensas da categoria de singularidades $D_{\text{sg}}(X)$.
  • Filtrações Thomason em $X$.
    A aplicação é dada por $A \mapsto (\langle \pi(A) \rangle^{(-\infty, 0]}, \phi_A)$, onde $\pi$ é a localização de Verdier e $\phi_A$ é a filtração Thomason associada ao eixo gerado em $D_{\text{qc}}(X)$.

• Classificações Explícitas em Casos Específicos:

  • Singularidades de Hipersuperfície (Teorema 1.3): Se $X$ possui apenas singularidades de hipersuperfície, $\Theta$ torna-se uma bijeção entre subcategorias $\otimes$-suspensas de $D^b_{\text{coh}}(X)$ e pares $(W, \phi)$, onde $W$ é um subconjunto fechado por especialização do lugar singular e $\phi$ é uma filtração Thomason satisfazendo uma condição específica de contenção.
  • Lócus Zeros de Seções (Teorema 1.5): Para esquemas $X$ surgindo como lócus zeros de seções de fibrados vetoriais em esquemas regulares (satisfazendo propriedades de resolução), a classificação é refinada para envolver o lugar singular de um esquema de hipersuperfície relacionado $Y$. Este resultado fornece uma generalização não-afim da classificação de Takahashi [Tak25] para subcategorias suspensas contendo o feixe estrutural.

5. Significado e Afirmações
O artigo afirma fornecer um "refinamento natural" da pequenez proxy que é sensível à $t$-estrutura. Seu significado é duplo:

1. Caracterização Geométrica: Oferece um novo critério $t$-estrutural para identificar esquemas de interseção completa local, atualizando resultados anteriores para lidar com casos não separados e fornecendo um princípio local-para-global mais robusto.
2. Teoria de Classificação: Produz uma classificação topológica de $\otimes$-pré-eixos em $D^b_{\text{coh}}(X)$ para classes específicas de esquemas (hipersuperfícies e lócus zeros). Esta classificação conecta a geometria do esquema (via filtrações Thomason) e suas singularidades (via a categoria de singularidades) à estrutura de sua categoria derivada.

Os autores enfatizam que sua abordagem é independente dos métodos usados no trabalho recente de Takahashi [Tak25], oferecendo uma prova alternativa e generalização para contextos não-afins. Além disso, a construção de contraexemplos (Exemplo 4.11) destaca as diferenças sutis entre as noções clássicas e $t$-estruturais de pequenez, aproveitando resultados profundos em álgebra comutativa sobre o comportamento de módulos sobre anéis não-LCI.