🔢 mathematics

Quot spaces in tilted hearts and Hall algebra modules

This paper constructs a two-sided categorical action of the Hall algebra of semistable coherent sheaves on the derived category of Quot spaces in tilted hearts via correspondence stacks parameterizing extensions, while establishing relationships between Quot spaces, Bradlow pairs, and stable pairs.

Original authors: Niccolò Giacomini

Published 2026-06-05

📖 4 min read🧠 Deep dive

CC BY 4.0

Original authors: Niccolò Giacomini

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 a master architect working in a world made entirely of mathematical shapes and patterns. This paper is about building a very specific, powerful machine that can take a collection of these shapes, rearrange them, and create new structures, all while following strict rules of symmetry and balance.

Here is the breakdown of the paper's journey, translated into everyday language:

1. The Building Blocks: The "Hall Algebra"

First, the author introduces a tool called a Hall Algebra. Think of this as a giant instruction manual or a "recipe book" for combining mathematical objects (specifically, sheaves, which are like flexible fabrics draped over a curved surface called a "curve").

The Recipe: If you have two pieces of fabric, the Hall Algebra tells you how to stitch them together to make a bigger piece. It's a system for counting and organizing all the possible ways these fabrics can be extended or combined.
The Goal: The author wants to use this recipe book not just to make new fabrics, but to act upon a specific "construction site" (a mathematical space called a Quot space).

2. The Construction Site: "Tilted Hearts"

The paper focuses on a specific type of construction site called a Quot space. Usually, these sites are built using standard blueprints. However, the author decides to tilt the ground.

The Tilt: Imagine you have a flat table (the standard mathematical world). The author tilts this table slightly. This changes how objects sit on it. Some things that used to be "heavy" (stable) might now slide, and some "light" things might stick.
The Result: This "tilted heart" creates a new, slightly warped version of the construction site. The author proves that this warped site is actually the perfect place to apply the Hall Algebra's recipes. It's like realizing that a specific type of puzzle only fits together if you look at it from a slightly different angle.

3. The Machine: Two-Sided Action

The core achievement of the paper is building a machine that works from both sides.

The Left Hand (The Builder): The author shows that you can take a piece of fabric from the "recipe book" and attach it to the beginning of a structure on the construction site. This changes the structure, making it "bigger" or "heavier" in a specific way.
The Right Hand (The Dismantler): Conversely, you can take a piece from the recipe book and attach it to the end of the structure. This does the opposite, effectively shrinking or altering the structure from the other side.
The Magic: Usually, it's very hard to get a machine to work perfectly from both directions at once without breaking the rules. The author proves that in this specific "tilted" world, the machine works perfectly from both the left and the right. It's like having a door that opens smoothly whether you push it from the inside or the outside.

4. The Connections: Linking Different Worlds

To prove this machine works, the author had to show that three different ways of describing the same construction site are actually the same thing. It's like proving that a "house," a "dwelling," and a "shelter" are just different names for the same building.

Quot Spaces: The standard construction site.
Bradlow Pairs: A way of describing the site using equations from physics (specifically, equations that describe how magnetic fields and particles interact).
Stable Pairs: A way of describing the site using a specific type of stability condition (like balancing a stack of plates).

The author shows that when you tilt the ground correctly, these three descriptions overlap perfectly. This overlap is the key that unlocks the ability to run the two-sided machine.

5. The Conclusion: A Symmetric Dance

The final result is a proof that the "recipe book" (the Hall Algebra) can dance with the "construction site" (the Quot space) in a perfectly balanced way.

The Dance: The recipe book can push the construction site from the left, and it can pull it from the right.
The Impact: This doesn't just work for one specific shape; it works for a whole family of shapes defined by a specific slope (a measure of their "tilt").

In Summary:
The author took a complex mathematical problem involving how to combine shapes on a curved surface. By "tilting" the mathematical ground, they discovered a hidden symmetry. This allowed them to build a machine that can manipulate these shapes from both the left and the right simultaneously, proving that different mathematical descriptions of the same problem are actually the same thing. It's a story about finding a hidden angle that makes a complicated puzzle suddenly click into place.

Technical Summary: Quot spaces in tilted hearts and Hall algebra modules

Problem Statement
The paper addresses the construction of a two-sided categorical action of the Hall algebra associated with the category of semistable coherent sheaves of fixed slope $\beta$ on a smooth complex projective curve $X$ . While Cohomological Hall Algebras (CoHA) are well-understood as associative algebras acting on the cohomology of moduli stacks, constructing a "double" (a simultaneous left and right action) that respects the algebraic structure is a significant challenge. The geometric property required to encode such an action is a "Hecke pattern," where stable objects remain stable under extensions by other objects. Such patterns are rare in general geometric settings. The specific difficulty lies in the fact that the category of semistable sheaves on a curve has homological dimension 1 but is not finitary, complicating standard algebraic approaches to doubles.

Methodology
The author employs a strategy rooted in derived algebraic geometry and the theory of Bridgeland stability conditions, following the philosophy established in works by Diaconescu, Porta, and Sala [8]. The methodology proceeds through several key steps:

Categorical Hall Algebra Construction: The paper utilizes the language of derived stacks and 2-Segal spaces to construct the categorified Hall algebra (CatHA) for the category $\text{Coh}^{ss}_\beta(X)$ . This involves defining a simplicial derived stack of extensions and applying a Waldhausen construction to endow the stable $\infty$ -category of coherent sheaves on the stack with an $E_1$ -monoidal structure.
Tilting and Torsion Pairs: To define the module space, the author introduces a family of tilted hearts $\mathcal{A}_\beta \subset D^b(\text{Coh}(X))$ . This is achieved by tilting the standard t-structure with respect to a torsion pair $(\mathcal{F}_\beta, \mathcal{T}_\beta)$ defined by the slope $\beta$ . The heart $\mathcal{A}_\beta$ allows for the definition of "Quot spaces" within a non-standard abelian category.
Moduli Space Comparison: A crucial technical component is the identification of the derived stack of $\beta$ -stable $V$ -pairs (defined via fiber sequences in the tilted heart) with other moduli spaces. Specifically, the paper establishes that for a line bundle $L$ of slope less than $\beta$ , the Quot space $\text{Quot}_\beta(X, L[1])$ in the tilted heart coincides with the classical truncation of the derived stack of stable pairs and is an open subscheme of the moduli space of semistable Bradlow pairs.
Hecke Pattern Construction: The action is induced by correspondence stacks parameterizing extensions.
- Left Action: Constructed via a stack of extensions where a stable pair is extended by a semistable sheaf in the shifted category $\text{Coh}^{ss}_\beta(X)[1]$ . The associativity relies on the property that if the quotient of a pair is stable and the extension term is semistable, the resulting pair is stable.
- Right Action: Constructed via a stack of "copairs" (rotated fiber sequences). The author defines a dual Hecke pattern where the extension occurs in the opposite direction, requiring the stability of the resulting copair.
Geometric Verification: The validity of the pull-push operations defining the action depends on proving that specific morphisms in the correspondence diagrams are proper and derived locally complete intersection (lci). These proofs rely heavily on the properties of the tilted hearts, particularly the openness of flatness and the behavior of torsion pairs under extensions.

Key Contributions and Results

Theorem 1 (Main Result): The paper proves that the pro- $\infty$ -category $\text{Coh}^b(\text{Quot}_\beta(X, L[1]))$ carries the structure of a left and right categorical module over the CatHA of semistable sheaves of slope $\beta$ . Consequently, the $K$ -theory $G_0$ and Borel-Moore homology $H^{BM}_*$ of these Quot spaces inherit left and right module structures over the corresponding Hall algebras.
Identification of Moduli Spaces: The paper rigorously connects three distinct moduli problems on curves:
1. Quot spaces in the tilted heart $\mathcal{A}_\beta$ .
2. $\beta$ -stable $V$ -pairs (in the sense of [8]).
3. Semistable Bradlow pairs (arising from vortex equations).
  Specifically, it shows that $\text{Quot}_\beta(X, L[1])$ is an open subscheme of the coarse moduli space of semistable Bradlow pairs.
Two-Sided Action via Tilting: The construction demonstrates that working in different t-structures (the standard heart for the right action's geometric properties and the tilted heart for the left action's stability conditions) is essential to establishing the necessary properness and lci properties for the correspondence maps.
Left vs. Right Action Dynamics: The paper clarifies the topological behavior of the actions: operators from the left action decrease the topological type (Chern class) of the objects, while operators from the right action increase it.

Significance and Claims
The paper claims to provide a systematic construction of a two-sided categorical action for Hall algebras associated with semistable sheaves on curves, a setting where the category is not finitary. By establishing the connection between Quot spaces in tilted hearts, stable pairs, and Bradlow pairs, the author creates the necessary geometric framework (Hecke patterns) to define these actions.

The significance lies in:

Extending the Double Construction: It offers a geometric realization of the "double" of a Hall algebra in a context involving curves and non-finitary categories, complementing existing results for surfaces and quivers.
Unifying Moduli Spaces: It explicitly bridges the gap between the algebraic geometry of Quot schemes in tilted hearts and the geometric analysis of Bradlow pairs, showing they describe the same underlying geometric objects under specific stability conditions.
Categorical Framework: The work operates at the level of derived categories and $\infty$ -categories, providing a refined "categorified" action that lifts the classical cohomological actions.

The author notes that while the construction is robust for rational $\beta$ (where the tilted heart is Noetherian), the properness of the Quot spaces for irrational $\beta$ remains an open technical point, though the categorical action is defined via pro-categories to handle general cases. The paper does not claim to compute the resulting double algebra explicitly but focuses on the existence and structural properties of the module action.