🔢 mathematics

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

The paper establishes that for a quasi-compact quasi-separated scheme $X$ with an ample family of line bundles, the connective part of the standard $t$ -structure on its derived $\infty$ -category of quasi-coherent sheaves is compactly generated by a connective perfect object if and only if $X$ is quasi-affine.

Original authors: Giovanni Rossanigo

Published 2026-06-19

📖 4 min read🧠 Deep dive

CC BY 4.0

Original authors: Giovanni Rossanigo

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

Imagine you are trying to organize a massive, chaotic library. This library represents a mathematical "scheme" (a geometric space), and the books represent "quasi-coherent sheaves" (the mathematical objects living on that space).

The paper by Giovanni Rossanigo is essentially a detective story about finding a single master key that can unlock and organize the entire "positive half" of this library's collection.

Here is the breakdown of the paper's findings using simple analogies:

1. The Setup: The Library and the Key

In this mathematical world, there is a special type of library called a Quasi-Affine Scheme. Think of this as a library that is "well-behaved" and can be easily mapped out from a single, central blueprint (like a standard city grid).

The author is asking a specific question: Can we organize the entire "positive" section of this library using just one single, perfect "master key" (a compact generator)?

The "Positive Half" ( $QCoh(X)_{\ge 0}$ ): Imagine the library has a "Connective" section (books that make sense right now) and a "Negative" section (books that are abstract or future-dated). The author is only interested in the "Connective" section.
The "Master Key" (Compact Generator): This is a single object (a specific bundle of books) that, if you have it, you can build every other book in the Connective section by combining copies of it, stretching it, or gluing it together.

2. The Big Discovery: The "One-Key" Rule

The paper proves a strict "If and Only If" rule:

You can organize the Connective section of the library with a single master key IF AND ONLY IF the library is a "Quasi-Affine" scheme.

If the library is Quasi-Affine: It is simple enough that one single "perfect" object (like the structure of the building itself) is enough to generate everything else. It's like having a single master blueprint that can describe every room in a house.
If the library is NOT Quasi-Affine: No matter how hard you try, you cannot do it with just one key. You would need an infinite number of different keys to describe the whole collection.

3. The Detective Work: How They Proved It

The author uses a clever two-step logic to solve the mystery:

Step A: The "Strict" Key
The author assumes you have a master key that is "strict." In our analogy, this means the key isn't a messy, abstract concept; it's a tangible, physical object made of a finite stack of "vector bundles" (think of these as sturdy, standard bookshelves).

Step B: The "One-Shelf" Property
The author shows that if you have this strict master key, you can build a "Super-Shelf" (a specific vector bundle $E_G$ ).

The magic happens here: This Super-Shelf is so powerful that every single finite book in the library can be pulled off the shelf by taking a copy of the Super-Shelf.
In math terms, this is called the "1-resolution property." It means one single bundle can "resolve" (cover) everything else.

Step C: The Conclusion
The paper cites a previous result (by DHM20) which says: "If a library has this 'One-Shelf' property and a good supply of line bundles (lighting), then the library MUST be Quasi-Affine."

Therefore, if you found a single master key that works, the library must be the simple, well-behaved Quasi-Affine type.

4. The "Horrible Discovery" (Why This Matters)

The paper mentions a "horrible discovery" regarding Smooth Projective Curves (think of a perfect, closed loop like a circle or a torus).

These shapes are beautiful and have plenty of light (ample line bundles).
However, the paper confirms that you cannot organize their Connective section with a single key.
This explains why, in recent years, mathematicians have struggled to find a single generator for these shapes. The paper says, "Don't worry, it's not because you aren't smart enough; it's because the shape itself doesn't allow for a single key."

Summary

The paper draws a clear line in the sand:

Simple Shapes (Quasi-Affine): Can be fully described by one master object.
Complex Shapes (like curves): Cannot be described by one master object; they require many.

The author's main contribution is proving that the ability to use a "single master key" is the exact mathematical definition of a shape being "Quasi-Affine." It's a perfect match: if you have the key, you have the simple shape; if you have the simple shape, you have the key.

Technical Summary: Quasi-Affine Schemes and Singly Compactly Generated t-Structures

Problem Statement
The paper addresses a specific structural question within the derived $\infty$ -category of quasi-coherent sheaves, $\text{QCoh}(X)$ , on a quasi-compact quasi-separated scheme $X$ . While it is a known result (Bondal and Van den Bergh) that $\text{QCoh}(X)$ admits a single compact generator, and that a $t$ -structure exists whose connective half is generated by this single object, it remains an open question whether this generated $t$ -structure coincides with the standard $t$ -structure. Specifically, the author investigates the conditions under which the connective half of the standard $t$ -structure, denoted $\text{QCoh}(X)_{\ge 0}$ , is singly compactly generated by a connective perfect object.

Methodology
The author employs a synthesis of stable $\infty$ -category theory and algebraic geometry, specifically leveraging the theory of Grothendieck prestable $\infty$ -categories. The methodology proceeds through the following logical steps:

Categorical Framework: The paper utilizes the language of stable $\infty$ -categories and $t$ -structures, treating $\text{QCoh}(X)_{\ge 0}$ as a Grothendieck prestable $\infty$ -category. It relies on the characterization that if a connective half is singly compactly generated by an object $G$ , then the heart of the $t$ -structure is generated by the truncation $\pi_0 G$ .
Strictness and Resolution: Assuming $X$ admits an ample family of line bundles, the author invokes results from [DHM20] and [Aut18] to establish that any perfect complex can be represented by a bounded complex of vector bundles (i.e., it is "strict").
Construction of a Special Vector Bundle: Starting from a hypothetical strict compact generator $G \in \text{QCoh}(X)_{\ge 0}$ , the author constructs a specific vector bundle $E_G$ by taking the direct sum of the vector bundles appearing in the bounded complex representing $G$ .
Generation of the Heart: Through inductive arguments on the coconnectivity of $G$ , the paper demonstrates that $E_G$ generates the entire connective half $\text{QCoh}(X)_{\ge 0}$ . Consequently, the truncation $\pi_0 E_G$ (which is isomorphic to $E_G$ itself in the heart) generates the abelian category of discrete quasi-coherent sheaves, $\text{QCoh}(X)^\heartsuit$ .
The 1-Resolution Property: The author defines the "1-resolution property" as the existence of a single vector bundle $E$ such that every quasi-coherent sheaf of finite type is a quotient of a finite direct sum of copies of $E$ . The paper proves that the existence of the strict generator $G$ implies $X$ satisfies this property.
Geometric Characterization: Finally, the paper applies a result from [DHM20, Proposition 3.4], which states that for a scheme with an ample family of line bundles, the 1-resolution property is equivalent to the scheme being quasi-affine.

Key Contributions and Results
The central result of the paper is Theorem 1.1 (restated as Theorem 3.9):

Let $X$ be a quasi-compact quasi-separated scheme. Then $X$ is quasi-affine if and only if it admits an ample family of line bundles and the connective half $\text{QCoh}(X)_{\ge 0}$ is compactly generated by a connective perfect object.

Key technical lemmas supporting this include:

Lemma 3.6: Establishes that if $G$ is a strict compact generator, the associated vector bundle $E_G$ generates both the connective half and the heart of the $t$ -structure.
Lemma 3.7: Proves that the existence of such a generator forces the scheme to satisfy the 1-resolution property.
Corollary 3.8: Provides specific instances where the theorem applies, showing that certain Noetherian normal schemes (e.g., J-2 or Q-factorial) admitting a strict compact generator must be quasi-affine.

Significance and Claims
The paper claims to provide a precise geometric characterization for when the standard $t$ -structure on $\text{QCoh}(X)$ is singly compactly generated. The author notes that this result is compatible with recent non-existence results; for instance, it explains why smooth projective curves over $\mathbb{C}$ (which are not quasi-affine) do not possess a singly compactly generated standard connective half, a fact previously established via Harder-Narasimhan filtrations in [BDH+25].

The paper frames this as a "horrible discovery" in the sense that it reveals a strict limitation: the standard $t$ -structure is singly compactly generated by a perfect object only in the quasi-affine case (under the assumption of an ample family of line bundles). The author concludes by posing the open question of whether there exist quasi-compact quasi-separated schemes that are not quasi-affine but still possess a singly compactly generated connective half, suggesting that the "ample family of line bundles" assumption is a critical boundary for the current characterization.

Conventions and Scope
The work operates strictly within the realm of derived algebraic geometry and $\infty$ -categories. It assumes $X$ is quasi-compact and quasi-separated. The paper does not propose new experimental applications or future research directions beyond the specific open question regarding the necessity of the "ample family" assumption. The dedication to the author's late uncle and the homage to Josef Albers are noted as personal and artistic elements, respectively, but do not influence the technical content.