Cohomological Hall algebras of one-dimensional sheaves on surfaces and Yangians

This paper establishes an explicit isomorphism between the equivariant nilpotent cohomological Hall algebra of one-dimensional sheaves on a surface resolving a Kleinian singularity and a completed positive half of the affine Yangian of the corresponding ADE Lie algebra, utilizing continuity theorems for $t$-structures and multi-parameter Yangian definitions to characterize the algebra of cohomological Hecke operators.

The Gist

Imagine you are standing in a vast, complex city called Geometry. In this city, there are special buildings called Sheaves. Think of these sheaves as intricate, multi-layered structures made of data, fabric, or even clouds of information. Sometimes, these buildings are perfect and smooth; other times, they have cracks, holes, or weird shapes.

Mathematicians have long been interested in a game called "The Modification Game." In this game, you take a building (a sheaf) and make a tiny, local change to it.

• The Old Game (Punctual): For decades, mathematicians only studied changes made to a single point (like putting a tiny sticker on a wall). They discovered that these tiny changes created a massive, organized library of rules called an Algebra. This library was surprisingly similar to a famous musical instrument called a Yangian (a type of quantum algebra). It was like finding that every time you tapped a specific spot on a drum, it played a note from a specific symphony.

The New Game (Curve Modifications):
The authors of this paper asked a bold question: "What if we don't just change a single point, but we change an entire street or curve?"

Imagine instead of putting a sticker on one brick, you repaint an entire curved wall. This is much harder. The "rules" of the game become messy, chaotic, and difficult to write down. For a long time, no one knew what the "library of rules" (the Algebra) looked like for these curve changes.

The Big Discovery

This paper is the first time anyone has successfully written down the "rulebook" for changing entire curves on a special type of surface (a smooth surface with a specific kind of "crack" or singularity, known as a Kleinian singularity).

Here is the magic they found:

1. The Connection: They proved that the chaotic library of rules for changing curves is actually exactly the same as a very specific, highly structured quantum algebra called a Yangian.
2. The Translation: They built a dictionary (an isomorphism) that translates the messy geometric changes (painting the wall) into the clean, mathematical language of the Yangian (the symphony).
3. The Braid Group: They also discovered that if you twist the surface or the curve (like braiding hair), it corresponds to a specific operation in the Yangian called a Braid Group action. It's like realizing that braiding your hair follows the exact same mathematical laws as rearranging notes in a complex musical scale.

How Did They Do It? (The Creative Analogy)

To solve this, the authors used three main "tools," which can be imagined as follows:

1. The "Slow Motion" Camera (Variation of t-structures)
Imagine trying to understand a fast-moving car. You can't see the details. So, you take a video and play it in slow motion.
The authors looked at their geometric objects through a "lens" that slowly changed. They started with a very simple, easy-to-understand version of the objects (like a flat sheet) and slowly "morphed" them into the complex, curved version they wanted to study.

• The Insight: They proved that if you watch this morphing process carefully, the "rules" of the simple version smoothly transform into the "rules" of the complex version. This allowed them to calculate the complex rules by starting with the simple ones.

2. The "Mirror World" (Derived McKay Correspondence)
The surface they were studying (a Kleinian resolution) is a bit like a funhouse mirror. It looks weird, but it has a twin in a different world (a world of Quivers).

• A Quiver is just a simple diagram of dots and arrows.
• The authors used a magical mirror (the McKay correspondence) to reflect their complex surface problem into this simple dot-and-arrow world.
• In this simple world, the rules were already known (or easier to figure out). They solved the puzzle there and then reflected the answer back to the complex surface.

3. The "Limit" (The Infinite Zoom)
They realized that the algebra they were looking for wasn't just one static object. It was like a limit. Imagine zooming in on a fractal. As you zoom in infinitely, you see a pattern emerge.
They showed that the algebra of curve modifications is the "limit" of a sequence of simpler algebras. By understanding how these simpler pieces fit together, they could describe the whole infinite structure.

Why Does This Matter?

• For Physics: These algebras are deeply connected to Quantum Field Theory and String Theory. Physicists use these "Yangians" to calculate how particles interact. By linking them to geometry, this paper gives physicists new tools to understand the universe at a fundamental level.
• For Mathematics: It unifies two huge fields: Geometry (shapes and spaces) and Representation Theory (symmetry and algebra). It shows that the messy, beautiful shapes of the universe follow the same strict, elegant laws as abstract quantum symmetries.

In a Nutshell

Think of the universe as a giant, complex tapestry. For a long time, mathematicians only knew how to count the threads at a single point. This paper teaches us how to count and understand the threads along an entire curved line. They discovered that the pattern of these threads is not random chaos, but a perfect, symmetrical dance known as a Yangian. They built a bridge between the messy, physical world of shapes and the clean, abstract world of quantum symmetries, showing us that they are, in fact, two sides of the same coin.

Technical Summary

Here is a detailed technical summary of the paper "Cohomological Hall Algebras of One-Dimensional Sheaves on Surfaces and Yangians" by Diaconescu, Porta, Sala, Schiffmann, and Vasserot.

1. Problem Statement and Motivation

The paper addresses a fundamental gap in geometric representation theory regarding Cohomological Hall Algebras (COHAs) associated with curve modifications of coherent sheaves on smooth surfaces.

• Context: Traditionally, COHAs have been studied for punctual modifications (modifications supported on points). In this setting, the algebra of Hecke operators acting on the cohomology of moduli spaces (e.g., Hilbert schemes of points) is well-understood and isomorphic to the positive half of a deformed $W_{1+\infty}$ algebra or a Yangian of $\mathfrak{gl}_1$.
• The Gap: The paper seeks to generalize this to curve modifications, where the quotient sheaf $E/F$ is supported on a fixed proper curve $Z \subset X$ (which may be singular or reducible). While Hecke operators for curve modifications have been studied in specific contexts (e.g., ALE spaces, geometric Langlands), a systematic algebraic characterization of the full algebra of such operators was missing.
• Specific Goal: To construct the largest algebra of cohomological Hecke operators associated with modifications along a fixed curve $Z$ on a smooth surface $X$ and to establish an explicit isomorphism with a specific quantum group, specifically an affine Yangian.

2. Methodology and Framework

The authors develop a unified framework combining derived algebraic geometry, stability conditions, and Lie theory. The methodology is divided into three main parts:

Part I: Variation of $t$-structures and Limiting COHAs

The authors address the problem of how COHAs behave when the underlying $t$-structure on a triangulated category varies.

• Limiting Process: They consider a sequence of $t$-structures $\tau_n$ converging to a limit $t$-structure $\tau_\infty$.
• 2-Segal Stacks: They utilize the theory of 2-Segal derived stacks (Waldhausen constructions) to define a "limiting cohomological Hall algebra" ($HA_{\tau_\infty}^+$) as a limit of the COHAs associated with the sequence $\tau_n$.
• Stabilization Theorem: They prove that under specific assumptions (openness of stacks, properness of maps), the limiting COHA is isomorphic to the COHA of the limit $t$-structure. This allows them to approximate the COHA of a difficult-to-define stack (sheaves supported on a curve) by a sequence of better-understood stacks (sheaves in hearts of tilted categories).

Part II: Quiver COHAs, Reflection Functors, and Braid Groups

This section establishes the bridge between quiver representations and Yangians.

• Multi-parameter Yangians: They define a multi-parameter Yangian $Y_Q$ for an arbitrary quiver $Q$ via generators and relations, extending the work of Maulik-Okounkov.
• Derived Reflection Functors: They utilize derived reflection functors (BGP functors) which act on the derived category of quiver representations. These functors induce an action of the braid group $B_Q$.
• Compatibility: A key technical result is proving that the braid group action on the Yangian (defined algebraically via triple exponentials) is compatible with the braid group action on the COHA (induced by derived reflection functors on the moduli stacks). This involves analyzing the action on specific quotients of the COHA and the Yangian defined by Harder-Narasimhan strata.

Part III: Application to Kleinian Singularities

The authors apply the previous machinery to the specific geometric setting of a Kleinian singularity.

• McKay Correspondence: Let $X$ be the minimal resolution of a Kleinian singularity $\mathbb{C}^2/G$. The derived McKay correspondence provides an equivalence between the derived category of perverse coherent sheaves on $X$ (supported on the exceptional divisor $C$) and the derived category of nilpotent representations of the preprojective algebra $\Pi_Q$ of the McKay quiver $Q$.
• Tilting and Stability: By varying the stability condition (using the action of the extended affine braid group via tensoring with line bundles), they construct a sequence of hearts in the derived category that converges to the category of coherent sheaves supported on $C$.
• The Limit: Using the results from Part I, they identify the COHA of sheaves supported on $C$ with the limit of the COHAs of these tilted hearts.

3. Key Contributions and Results

Main Theorem A: Isomorphism with Affine Yangians

The central result is an explicit algebra isomorphism between the equivariant nilpotent COHA of sheaves supported on the exceptional divisor $C$ and a specific completion of an affine Yangian.

Let $X$ be the resolution of a Kleinian singularity, $C$ the exceptional divisor, and $Q$ the associated affine ADE quiver. Let $\mathfrak{g}$ be the corresponding affine Lie algebra.
$$H^A_{X,C} \simeq Y^+_\infty(\mathfrak{g})$$

• $Y^+_\infty(\mathfrak{g})$: This is a "completed, nonstandard, positive half" of the affine Yangian. It is defined as a limit of quotients of the standard negative half $Y^-_Q$, where the transition maps are given by truncated braid group operators.
• Action of Pic(X): The natural action of the Picard group $\text{Pic}(X)$ (tensoring with line bundles) on the COHA corresponds to the action of the extended affine braid group on the Yangian.

Main Theorem B: Explicit Generators

The authors provide explicit formulas for the images of fundamental geometric classes under the isomorphism $\Theta_{X,C}$.

1. Zero-dimensional sheaves: The fundamental classes of zero-dimensional sheaves supported on a component $C_i$ map to specific elements involving the generators $x^+_{i}$ and the Cartan subalgebra elements $h_{i}$.
2. One-dimensional sheaves: The fundamental classes of rank 1 sheaves supported on a component $C_i$ (with varying degree) map to generating series involving the positive root vectors $x^+_{i}$ and exponentials of the Cartan elements.

• Significance: These formulas allow for the topological generation of the entire algebra $H^A_{X,C}$ by these fundamental classes, providing a concrete presentation of the algebra in terms of Yangian generators.

Auxiliary Results of Independent Interest

• Continuity Theorem for COHAs: A general theorem describing the convergence of COHAs under the variation of $t$-structures, applicable beyond the specific case of Kleinian singularities.
• Braid Group Compatibility: A rigorous proof of the compatibility between the algebraic braid group action on Yangians and the geometric action via derived reflection functors on COHAs.
• Multi-parameter Yangians: A new presentation of Yangians for arbitrary quivers with multiple parameters, generalizing previous definitions.

4. Significance and Impact

• Unification of Geometric and Algebraic Structures: The paper provides the first systematic structural result connecting the geometry of curve modifications on surfaces to the representation theory of affine Yangians. It generalizes the well-known punctual case (Nakajima-Grojnowski) to the curve case.
• Resolution of a Long-standing Problem: It answers the question of what algebra governs the Hecke operators for curve modifications, identifying it as a specific limit of affine Yangians.
• New Tools for Representation Theory: The "limiting COHA" technique offers a powerful new method to study algebras associated with difficult moduli problems by approximating them with sequences of simpler, well-understood algebras.
• Applications to Physics and Geometry:
  • Gauge Theory: The results are relevant to the study of supersymmetric gauge theories on 4-manifolds and the AGT correspondence, particularly for ALE spaces.
  • Geometric Langlands: The construction of these algebras is a crucial step towards understanding the geometric Langlands program for surfaces.
  • Triple Loop Yangians: The authors suggest that their construction of $Y^+_\infty$ serves as a building block for defining "triple loop Yangians," potentially linking to BPS state algebras in non-compact Calabi-Yau 3-folds.

In summary, this paper establishes a profound dictionary between the geometry of coherent sheaves on resolutions of Kleinian singularities and the representation theory of affine Yangians, utilizing advanced techniques in derived algebraic geometry and stability conditions to bridge the gap between geometric moduli spaces and quantum groups.