Degenerations of CoHAs of 2-Calabi-Yau categories

This paper establishes that the degenerations of cohomological Hall algebras associated with 2-Calabi-Yau categories and preprojective algebras, with respect to the "less perverse" filtration, are isomorphic to the enveloping algebra of the current Lie algebra of the BPS Lie algebra, a result proven at the sheafified level and extended to torus-deformed settings to connect these structures with Maulik-Okounkov Yangians.

The Gist

Here is an explanation of the paper "Degenerations of Cohomological Hall Algebras of 2-Calabi–Yau Categories" using simple language, analogies, and metaphors.

The Big Picture: Decoding the "DNA" of Math Structures

Imagine you are a detective trying to understand a very complex, chaotic city. This city is a Cohomological Hall Algebra (CoHA). In the world of mathematics, these algebras are like massive, swirling clouds of data that describe how different geometric shapes (like curves, surfaces, or representations of quivers) can be built, broken, and reassembled.

For a long time, mathematicians knew these clouds existed and that they contained a lot of information, but the rules governing how they interacted were incredibly messy and hard to read. It was like trying to understand a symphony by listening to a recording where all the instruments were playing at once, out of tune, and at different speeds.

The Goal of this Paper:
Authors Lucien Hennecart and Shivang Jindal want to "tune" this symphony. They want to find a way to slow down the chaos, filter out the noise, and reveal the simple, underlying melody. They do this by applying a specific mathematical filter called the "Less Perverse Filtration."

---

The Main Characters

1. The Quiver (The Blueprint)

Think of a Quiver as a simple map or blueprint. It's a collection of dots (vertices) connected by arrows.

• Analogy: Imagine a subway map. The stations are dots, and the train lines are arrows.
• The "Preprojective Algebra": This is a set of rules for how you can travel on this map. It's like a rulebook that says, "If you go from Station A to B, you must eventually return to A in a specific way."

2. The CoHA (The City of Possibilities)

The Cohomological Hall Algebra is the "city" built on top of this blueprint. It contains every possible way you can arrange the trains (representations) on the map.

• The Problem: In this city, everything is jumbled together. The rules for combining two arrangements (multiplication) are complicated and depend on the "twist" of the universe (mathematical signs and potentials).

3. The BPS Lie Algebra (The Skeleton)

Deep inside the chaotic city, there is a rigid, invisible skeleton called the BPS Lie Algebra.

• Analogy: Think of a building. The CoHA is the building with all the furniture, paint, and decorations. The BPS Lie Algebra is just the steel beams and concrete pillars. It's the fundamental structure that holds everything up.
• The Discovery: The authors prove that if you strip away all the decorations (using their filtration), the messy CoHA turns out to be exactly the "Universal Enveloping Algebra" of this skeleton. In plain English: The messy city is just a fancy, expanded version of the simple skeleton.

---

The Magic Trick: "Degeneration"

The core of the paper is about degeneration. This sounds scary, but think of it as freezing time or simplifying a recipe.

Imagine you have a complex cake (the CoHA) with layers of frosting, sprinkles, and filling.

1. The Filter (Less Perverse Filtration): The authors invent a special sieve. When they pour the cake through this sieve, the fancy frosting and sprinkles (the complex, higher-order interactions) fall away or get flattened.
2. The Result: What remains is a simple, uniform block of cake.
3. The Surprise: This simple block isn't just "cake." It turns out to be exactly the same shape as the skeleton (the BPS Lie Algebra) multiplied by a simple polynomial variable (like adding a layer of vanilla to every piece).

The Main Theorem in Simple Terms:

"If you take the complex algebra of these geometric shapes and apply our special 'Less Perverse' filter, the result is exactly the same as taking the simple 'skeleton' (BPS Lie algebra) and stretching it out with a variable $u$."

Mathematically, they show:
$$\text{Messy CoHA (Simplified)} \cong \text{Universal Envelope of (Skeleton + Variable } u)$$

---

Why Does This Matter? (The "So What?")

1. It Connects Two Different Worlds

The paper bridges two major areas of math:

• Geometry: Studying shapes like Riemann surfaces (think of a donut or a pretzel shape) and Higgs bundles (objects from physics describing forces).
• Representation Theory: Studying algebraic structures like Yangians (which are used in quantum physics to describe how particles interact).

The authors show that the "simplified" version of their geometric shapes behaves exactly like the Maulik–Okounkov Yangian, a famous algebra used in physics.

• Analogy: It's like discovering that the way water flows down a mountain (geometry) follows the exact same mathematical rules as the way electrons spin in a magnetic field (physics).

2. It Solves a "Twist" Problem

In these algebras, there is often a "twist" (a sign change) that makes calculations annoying. The authors show that when you look at the "degenerated" (simplified) version, this twist becomes very predictable. It's like realizing that the complicated knot in your shoelace actually unties itself if you just pull it in a specific direction.

3. It Works Everywhere

The paper doesn't just solve this for one specific shape. It proves this works for:

• Quivers: The subway maps.
• Deformed Potentials: When you tweak the rules of the subway map slightly.
• Torus Actions: When you rotate or scale the map.
• Nilpotent CoHAs: Special, "broken" versions of these algebras used in advanced studies.

The Takeaway

Imagine you have a giant, tangled ball of yarn (the CoHA). It looks impossible to understand.

• Previous Math: "It's a ball of yarn. It's complex. Good luck."
• This Paper: "Wait, if we pull on this specific thread (the Less Perverse Filtration), the whole ball unravels into a single, straight, predictable line (the BPS Lie Algebra) with a simple pattern repeating along it."

This discovery allows mathematicians to stop guessing and start calculating. They can now use the simple rules of the "skeleton" to understand the complex behavior of the "city," opening doors to solving problems in geometry, physics, and combinatorics that were previously out of reach.

In a nutshell: The authors found a way to turn a chaotic, high-dimensional mathematical monster into a clean, understandable structure, proving that deep down, these complex geometric worlds are built on a simple, elegant foundation.

Technical Summary

Here is a detailed technical summary of the paper "Degenerations of CoHAs of 2-Calabi–Yau Categories" by Lucien Hennecart and Shivang Jindal.

1. Problem Statement and Context

Background:
Cohomological Hall Algebras (CoHAs), introduced by Kontsevich and Soibelman, are associative algebras defined on the cohomology of moduli stacks of representations of quivers with potentials. They play a central role in enumerative geometry, representation theory, and the study of BPS states. A key structural result by Davison and Meinhardt established that for symmetric quivers with potentials, the CoHA admits a perverse filtration whose associated graded algebra is supercommutative and isomorphic to the symmetric algebra of the current Lie algebra of the BPS Lie algebra (the "cohomological integrality" theorem).

The Gap:
While the perverse filtration is well-understood, there exists a coarser filtration called the less perverse filtration (introduced by Davison), specifically relevant for 2-Calabi–Yau (2CY) categories and preprojective algebras. The structure of the CoHA with respect to this less perverse filtration was not fully characterized. Specifically, it was unknown what the associated graded algebra looks like and how the Lie bracket behaves under this degeneration. Furthermore, the relationship between this degeneration and the Maulik–Okounkov Yangian (constructed via geometric R-matrices) required clarification.

Objective:
The authors aim to:

1. Determine the structure of the associated graded algebra of the CoHA of preprojective algebras (and general 2CY categories) with respect to the less perverse filtration.
2. Describe the Lie bracket on this associated graded algebra.
3. Extend these results to deformed potentials and torus-equivariant settings.
4. Compare the less perverse filtration on CoHAs with the standard order filtration on Maulik–Okounkov Yangians.

---

2. Methodology

The paper employs a combination of geometric representation theory, sheaf theory, and algebraic techniques:

• Dimensional Reduction: The authors utilize the isomorphism between the CoHA of a preprojective algebra $\Pi_Q$ and the CoHA of a triple quiver $\tilde{Q}$ with a canonical cubic potential $\tilde{W}$ (via Davison's dimensional reduction). This allows them to transfer results from the triple quiver setting to the preprojective setting.
• Sheafified CoHAs: Instead of working solely with global cohomology, the authors work with sheafified CoHAs (constructible complexes on the moduli space). This allows for the use of étale slices and local neighborhood theorems to reduce global problems to local ones involving simpler quivers.
• Less Perverse Filtration ($L$): Defined via the "less perverse" filtration on the derived category of constructible sheaves. The associated graded object is denoted $\text{Gr}_L$.
• Heisenberg Action: The authors utilize the action of raising ($u \cdot -$) and lowering ($\partial_u$) operators derived from determinant line bundles. These operators shift the less perverse degree and are crucial for inductively determining the Lie bracket structure.
• Local-Global Principle: Using the local neighborhood theorem for 2CY categories (which relates the local geometry of the moduli space to that of a preprojective algebra of a quiver), they prove global results by verifying them locally on étale neighborhoods.
• Comparison with Yangians: They use the comparison isomorphism between CoHAs and Maulik–Okounkov Yangians (established by Botta–Davison and Schiffmann–Vasserot) to compare filtrations.

---

3. Key Contributions and Results

A. Structure of the Degenerated CoHA (The Main Theorem)

The central result (Theorem 1.1, Theorem 5.7, Theorem 6.4) establishes that the associated graded algebra of the CoHA with respect to the less perverse filtration is isomorphic to the universal enveloping algebra of a specific Lie algebra.

• The Lie Algebra: Let $\mathfrak{n}^+_{\text{BPS}}$ be the BPS Lie algebra of the preprojective algebra (or 2CY category). The relevant Lie algebra for the degeneration is the affinized BPS Lie algebra $\mathfrak{n}^+_{\text{BPS}} \otimes H^*_{C^*}(\text{pt}) \cong \mathfrak{n}^+_{\text{BPS}}[u]$, where $u$ is the first Chern class of a determinant line bundle.
• The Lie Bracket: The Lie bracket on the associated graded algebra is not the trivial extension. It is a $|-\!|$-twisted extension.
  For elements $x \in \mathfrak{n}^+_{\text{BPS}, d}$ and $y \in \mathfrak{n}^+_{\text{BPS}, e}$ (where $d, e$ are dimension vectors) and integers $m, n$:
  $$[x u^m, y u^n]_{\text{deg}} = \frac{|d|^m |e|^n}{|d+e|^{m+n}} [x, y] u^{m+n}$$
  Here, $|d|$ is the weight of the determinant line bundle on the component corresponding to dimension vector $d$.
• Isomorphism: There is an algebra isomorphism:
  $$U(\mathfrak{n}^+_{\text{BPS}} \otimes H^*_{C^*}(\text{pt})) \xrightarrow{\sim} \text{Gr}_L(\text{CoHA})$$
  where the LHS has the twisted Lie bracket defined above.

B. Generalization to 2-Calabi–Yau Categories

The results are extended beyond preprojective algebras to any suitably geometric 2-Calabi–Yau abelian category $\mathcal{C}$ (e.g., categories of Higgs bundles on curves or coherent sheaves on K3 surfaces).

• The BPS sheaf $\text{BPS}_{\mathcal{C}}$ is defined as a Lie algebra object in the category of perverse sheaves.
• The same twisted Lie bracket structure and enveloping algebra isomorphism hold for the sheafified CoHA of $\mathcal{C}$ (Theorem 6.4).

C. Deformations and Torus Actions

The authors generalize the results to:

1. Deformed Potentials: For triple quivers with deformed canonical cubic potentials ($W = \tilde{W} + W_0$), the degeneration structure remains isomorphic to the enveloping algebra of the deformed BPS Lie algebra (Theorem 6.16).
2. Torus Equivariance: When a torus $T'$ acts on the arrows of the quiver (preserving the preprojective relation), the results hold in the equivariant derived category. The Lie algebra becomes $\mathfrak{n}^+_{\text{BPS}} \otimes H^*_{T' \times C^*}(\text{pt})$ (Theorem 7.2, Corollary 7.3).

D. Nilpotent CoHAs

The paper shows that these degeneration results apply to nilpotent CoHAs (restrictions to nilpotent, semi-nilpotent, or strictly semi-nilpotent representations). The associated graded of a nilpotent CoHA is isomorphic to the enveloping algebra of the corresponding nilpotent BPS Lie algebra (Corollary 8.1).

E. Comparison with Maulik–Okounkov Yangians

A significant application is the comparison with the Maulik–Okounkov (MO) Yangian $Y_Q$.

• The MO Yangian admits a filtration $F$ defined by the degree of the variable $u$ (or $a$ in their notation).
• The authors prove that the comparison isomorphism $\Phi: \text{CoHA} \to Y_Q^+$ (the positive half of the Yangian) respects the filtrations.
• Specifically, the less perverse filtration $L$ on the CoHA corresponds to the degree filtration $F$ on the Yangian (up to a factor of 2 in the indexing):
  $$\Phi(L_{\le i}(\text{CoHA})) = F_{\le \lfloor i/2 \rfloor}(Y_Q^+)$$
• Consequently, the associated graded algebra of the CoHA (with respect to $L$) is isomorphic to the associated graded algebra of the Yangian (with respect to $F$), which is the universal enveloping algebra of the MO Lie algebra. This provides a geometric identification of the MO Lie algebra with the BPS Lie algebra in the degenerated limit.

---

4. Significance

1. Structural Clarity: The paper provides a complete description of the "less perverse" degeneration of CoHAs, revealing that they are universal enveloping algebras of twisted current Lie algebras. This clarifies the algebraic structure underlying the cohomology of moduli spaces of 2CY objects.
2. Unification of Filtrations: By linking the less perverse filtration on CoHAs to the degree filtration on Maulik–Okounkov Yangians, the paper bridges two major approaches to studying the symmetries of quiver varieties: the CoHA approach (Kontsevich–Soibelman) and the geometric R-matrix approach (Maulik–Okounkov).
3. Generalization: The results apply to a broad class of geometric 2CY categories (Higgs bundles, K3 surfaces), not just quiver representations, suggesting a universal phenomenon in the cohomology of 2CY moduli spaces.
4. Lie Bracket Formula: The explicit formula for the twisted Lie bracket involving the determinant line bundle weights ($|d|$) offers a concrete computational tool for understanding the interaction between the geometry of the moduli space and the algebraic structure of the BPS states.
5. Nilpotent Cases: The extension to nilpotent CoHAs connects these results to the theory of Yangians for affine quivers, providing a new perspective on the generators and relations of these algebras.

In summary, the paper establishes that the "less perverse" degeneration of CoHAs for 2-Calabi–Yau categories yields a universal enveloping algebra of a twisted BPS Lie algebra, and this structure is isomorphic to the associated graded of the Maulik–Okounkov Yangian, thereby unifying geometric and algebraic perspectives on these symmetries.