Quasi-affine schemes and singly compactly generated $t$-structures

Resumo Técnico: Esquemas Quasi-Afins e $t$-estruturas Singularmente Compactamente Geradas

Enunciado do Problema
O artigo aborda uma questão estrutural específica dentro da $\infty$-categoria derivada de feixes quase coerentes, $\text{QCoh}(X)$, sobre um esquema quasi-compacto e quasi-separado $X$. Embora seja um resultado conhecido (Bondal e Van den Bergh) que $\text{QCoh}(X)$ admite um único gerador compacto, e que existe uma $t$-estrutura cuja metade conectiva é gerada por esse objeto único, permanece uma questão em aberto se essa $t$-estrutura gerada coincide com a $t$-estrutura padrão. Especificamente, o autor investiga as condições sob as quais a metade conectiva da $t$-estrutura padrão, denotada por $\text{QCoh}(X)_{\ge 0}$, é singularmente compactamente gerada por um objeto perfeito conectivo.

Metodologia
O autor utiliza uma síntese da teoria de $\infty$-categorias estáveis e geometria algébrica, aproveitando especificamente a teoria das $\infty$-categorias pré-estáveis de Grothendieck. A metodologia procede através dos seguintes passos lógicos:

1. Estrutura Categórica: O artigo utiliza a linguagem das $\infty$-categorias estáveis e $t$-estruturas, tratando $\text{QCoh}(X)_{\ge 0}$ como uma $\infty$-categoria pré-estável de Grothendieck. Ele baseia-se na caracterização de que, se uma metade conectiva é singularmente compactamente gerada por um objeto $G$, então o coração da $t$-estrutura é gerado pelo truncamento $\pi_0 G$.
2. Estritura e Resolução: Assumindo que $X$ admite uma família ampla de fibrados lineares, o autor invoca resultados de [DHM20] e [Aut18] para estabelecer que qualquer complexo perfeito pode ser representado por um complexo limitado de fibrados vetoriais (ou seja, é "estrito").
3. Construção de um Fibrado Vetorial Especial: Partindo de um hipotético gerador compacto estrito $G \in \text{QCoh}(X)_{\ge 0}$, o autor constrói um fibrado vetorial específico $E_G$ ao tomar a soma direta dos fibrados vetoriais que aparecem no complexo limitado que representa $G$.
4. Geração do Coração: Através de argumentos indutivos sobre a coconectividade de $G$, o artigo demonstra que $E_G$ gera toda a metade conectiva $\text{QCoh}(X)_{\ge 0}$. Consequentemente, o truncamento $\pi_0 E_G$ (que é isomorfo a $E_G$ em si mesmo no coração) gera a categoria abeliana de feixes quase coerentes discretos, $\text{QCoh}(X)^\heartsuit$.
5. A Propriedade de 1-Resolução: O autor define a "propriedade de 1-resolução" como a existência de um único fibrado vetorial $E$ tal que todo feixe quase coerente de tipo finito é um quociente de uma soma direta finita de cópias de $E$. O artigo prova que a existência do gerador estrito $G$ implica que $X$ satisfaz esta propriedade.
6. Caracterização Geométrica: Finalmente, o artigo aplica um resultado de [DHM20, Proposição 3.4], que afirma que, para um esquema com uma família ampla de fibrados lineares, a propriedade de 1-resolução é equivalente ao esquema ser quasi-afim.

Contribuições e Resultados Principais
O resultado central do artigo é o Teorema 1.1 (reformulado como Teorema 3.9):

Seja $X$ um esquema quasi-compacto e quasi-separado. Então $X$ é quasi-afim se, e somente se, admite uma família ampla de fibrados lineares e a metade conectiva $\text{QCoh}(X)_{\ge 0}$ é compactamente gerada por um objeto perfeito conectivo.

Os lemas técnicos fundamentais que sustentam este resultado incluem:

• Lema 3.6: Estabelece que, se $G$ é um gerador compacto estrito, o fibrado vetorial associado $E_G$ gera tanto a metade conectiva quanto o coração da $t$-estrutura.
• Lema 3.7: Prova que a existência de tal gerador força o esquema a satisfazer a propriedade de 1-resolução.
• Corolário 3.8: Fornece instâncias específicas onde o teorema se aplica, mostrando que certos esquemas normais noetherianos (por exemplo, J-2 ou Q-factorial) que admitem um gerador compacto estrito devem ser quasi-afins.

Significância e Alegações
O artigo afirma fornecer uma caracterização geométrica precisa para quando a $t$-estrutura padrão em $\text{QCoh}(X)$ é singularmente compactamente gerada. O autor observa que este resultado é compatível com recentes resultados de não-existência; por exemplo, explica por que curvas projetivas suaves sobre $\mathbb{C}$ (que não são quasi-afins) não possuem uma metade conectiva padrão singularmente compactamente gerada, um fato estabelecido anteriormente via filtrações de Harder-Narasimhan em [BDH+25].

O artigo enquadra isto como uma "descoberta horrível" no sentido de que revela uma limitação estrita: a $t$-estrutura padrão é singularmente compactamente gerada por um objeto perfeito apenas no caso quasi-afim (sob a suposição de uma família ampla de fibrados lineares). O autor conclui levantando a questão aberta de se existem esquemas quasi-compactos e quasi-separados que não são quasi-afins, mas que ainda assim possuem uma metade conectiva singularmente compactamente gerada, sugerindo que a suposição de "família ampla de fibrados lineares" é uma fronteira crítica para a atual caracterização.

Convenções e Escopo
O trabalho opera estritamente no domínio da geometria algébrica derivada e de $\infty$-categorias. Assume-se que $X$ é quasi-compacto e quasi-separado. O artigo não propõe novas aplicações experimentais ou direções de pesquisa futura além da questão aberta específica sobre a necessidade da suposição de "família ampla". A dedicação ao falecido tio do autor e a homenagem a Josef Albers são notadas como elementos pessoais e artísticos, respectivamente, mas não influenciam o conteúdo técnico.