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

Resumen Técnico: Esquemas Cuasi-Afines y $t$-estructuras de Generación Compacta Simple

Planteamiento del Problema
El artículo aborda una cuestión estructural específica dentro de la $\infty$-categoría derivada de los haces cuasicoherentes, $\text{QCoh}(X)$, sobre un esquema cuasicompacto y cuasiseparado $X$. Si bien es un resultado conocido (Bondal y Van den Bergh) que $\text{QCoh}(X)$ admite un único generador compacto, y que existe una $t$-estructura cuya mitad conectiva está generada por este único objeto, sigue siendo una pregunta abierta si esta $t$-estructura generada coincide con la $t$-estructura estándar. Específicamente, el autor investiga las condiciones bajo las cuales la mitad conectiva de la $t$-estructura estándar, denotada como $\text{QCoh}(X)_{\ge 0}$, está generada compactamente de forma simple por un objeto perfecto conectivo.

Metodología
El autor emplea una síntesis de la teoría de $\infty$-categorías estables y la geometría algebraica, aprovechando específicamente la teoría de las $\infty$-categorías preestables de Grothendieck. La metodología procede a través de los siguientes pasos lógicos:

1. Marco Categórico: El artículo utiliza el lenguaje de las $\infty$-categorías estables y las $t$-estructuras, tratando a $\text{QCoh}(X)_{\ge 0}$ como una $\infty$-categoría preestable de Grothendieck. Se apoya en la caracterización de que, si una mitad conectiva está generada compactamente de forma simple por un objeto $G$, entonces el corazón de la $t$-estructura está generado por la truncación $\pi_0 G$.
2. Estrictez y Resolución: Suponiendo que $X$ admite una familia ample de fibrados lineales, el autor invoca resultados de [DHM20] y [Aut18] para establecer que cualquier complejo perfecto puede ser representado por un complejo acotado de fibrados vectoriales (es decir, es "estricto").
3. Construcción de un Fibrado Vectorial Especial: Partiendo de un hipotético generador compacto estricto $G \in \text{QCoh}(X)_{\ge 0}$, el autor construye un fibrado vectorial específico $E_G$ tomando la suma directa de los fibrados vectoriales que aparecen en el complejo acotado que representa a $G$.
4. Generación del Corazón: Mediante argumentos inductivos sobre la coconectividad de $G$, el artículo demuestra que $E_G$ genera toda la mitad conectiva $\text{QCoh}(X)_{\ge 0}$. En consecuencia, la truncación $\pi_0 E_G$ (que es isomórfica a $E_G$ misma en el corazón) genera la categoría abeliana de los haces cuasicoherentes discretos, $\text{QCoh}(X)^\heartsuit$.
5. La Propiedad de 1-Resolución: El autor define la "propiedad de 1-resolución" como la existencia de un único fibrado vectorial $E$ tal que todo haz cuasicoherente de tipo finito es un cociente de una suma directa finita de copias de $E$. El artículo prueba que la existencia del generador estricto $G$ implica que $X$ satisface esta propiedad.
6. Caracterización Geométrica: Finalmente, el artículo aplica un resultado de [DHM20, Proposición 3.4], que establece que para un esquema con una familia ample de fibrados lineales, la propiedad de 1-resolución es equivalente a que el esquema sea cuasi-afín.

Contribuciones Clave y Resultados
El resultado central del artículo es el Teorema 1.1 (reformulado como Teorema 3.9):

Sea $X$ un esquema cuasicompacto y cuasiseparado. Entonces $X$ es cuasi-afín si y solo si admite una familia ample de fibrados lineales y la mitad conectiva $\text{QCoh}(X)_{\ge 0}$ está generada compactamente por un objeto perfecto conectivo.

Los lemas técnicos clave que sustentan esto incluyen:

• Lema 3.6: Establece que, si $G$ es un generador compacto estricto, el fibrado vectorial asociado $E_G$ genera tanto la mitad conectiva como el corazón de la $t$-estructura.
• Lema 3.7: Prueba que la existencia de tal generador obliga al esquema a satisfacer la propiedad de 1-resolución.
• Corolario 3.8: Proporciona instancias específicas donde el teorema es aplicable, mostrando que ciertos esquemas noeltrinos normales (por ejemplo, J-2 o Q-factoriales) que admiten un generador compacto estricto deben ser cuasi-afines.

Significado y Reivindicaciones
El artículo afirma proporcionar una caracterización geométrica precisa para cuando la $t$-estructura estándar en $\text{QCoh}(X)$ está generada compactamente de forma simple. El autor señala que este resultado es compatible con resultados recientes de no-existencia; por ejemplo, explica por qué las curvas proyectivas suaves sobre $\mathbb{C}$ (que no son cuasi-afines) no poseen una mitad conectiva estándar generada compactamente de forma simple, un hecho establecido previamente mediante filtraciones de Harder-Narasimhan en [BDH+25].

El artículo enmarca esto como un "descubrimiento horrible" en el sentido de que revela una limitación estricta: la $t$-estructura estándar está generada compactamente de forma simple por un objeto perfecto solo en el caso cuasi-afín (bajo la suposición de una familia ample de fibrados lineales). El autor concluye planteando la pregunta abierta de si existen esquemas cuasicompactos y cuasiseparados que no sean cuasi-afines pero que aún posean una mitad conectiva generada compactamente de forma simple, sugiriendo que la suposición de la "familia ample de fibrados lineales" es un límite crítico para la caracterización actual.

Convenciones y Alcance
El trabajo opera estrictamente dentro del ámbito de la geometría algebraica derivada y las $\infty$-categorías. Supone que $X$ es cuasicompacto y cuasiseparado. El artículo no propone nuevas aplicaciones experimentales ni direcciones de investigación futura más allá de la pregunta abierta específica sobre la necesidad de la suposición de la "familia ample". La dedicatoria al difunto tío del autor y el homenaje a Josef Albers se observan como elementos personales y artísticos, respectivamente, pero no influyen en el contenido técnico.