Pith. sign in

REVIEW 2 major objections 4 minor 116 references

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

T0 review · 2 major / 4 minor · reviewed 2026-08-02 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read For a Kleinian resolution, the cohomological Hall algebra of one-dimensional sheaves on the exceptional divisor is isomorphic to a completed positive half of the affine Yangian, identifying the curve-modification Hecke operators.

desk verdict A serious, technically dense paper whose main isomorphism is likely correct, but the proof of Theorem A has a genuine gap in the simplest case (T*P^1): the surjection from the affine Yangian to the multi-parameter Yangian half is not justified for affine A_1, and the verification of the limiting-COHA assumptions is not displayed. read the letter →

arxiv 2603.03386 v2 pith:4GS43DNU submitted 2026-03-03 math.AG hep-thmath.QAmath.RT

Duiliu-Emanuel Diaconescu , Mauro Porta , Francesco Sala , Olivier Schiffmann , Eric Vasserot This is my paper · ORCID
classification math.AGhep-thmath.QAmath.RT MSC 14A2017B3755P99
keywords CohomologicalHallalgebrasYangiansKleiniansingularitiesquiverrepresentationsone-dimensionalsheavest-structuresbraidgroupactionsHeckeoperators
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

This paper establishes that the algebra of cohomological Hecke operators attached to curve modifications of coherent sheaves on a minimal resolution of a Kleinian surface singularity is not a new mysterious object: it is precisely a completed, nonstandard positive half of the affine Yangian of the corresponding ADE affine Lie algebra. The identification is explicit enough that natural geometric generators—fundamental classes of zero-dimensional sheaves and of rank-one line-bundle pushforwards supported on the exceptional divisor—are written down in terms of Yangian generators. The proof works by varying the t-structure: hearts formed by tensoring nilpotent preprojective representations by increasingly positive line bundles converge to the heart of coherent sheaves, and the paper proves a continuity theorem guaranteeing that the cohomological Hall algebra of the limit is the limit of the cohomological Hall algebras. A careful reader should care because, if correct, the full algebra of Hecke modifications along curves on ALE spaces becomes amenable to representation-theoretic methods, in the same way punctual modifications were understood via Heisenberg and Virasoro algebras.

What carries the argument

The load-bearing construction is the limiting cohomological Hall algebra and its continuity theorem. Given a slicing and a decreasing sequence of real numbers converging to a∞, one forms t-structures τ_k; the limiting COHA is a double limit of Borel-Moore homologies of stacks of objects whose Harder-Narasimhan factors lie in shrinking intervals. Under openness, lci/properness, and quasi-compactness assumptions it is isomorphic to the COHA of the limiting t-structure. The paper feeds this machinery with hearts arising from the derived McKay equivalence: perverse coherent sheaves on the resolution identify with nilpotent modules over the preprojective algebra of the McKay quiver, and tensoring

What would settle it

Verify Assumption I.3 directly for a small example, say G=Z/2Z and X=T*P^1, by checking that for every dimension vector and every interval I_{ℓ,k} the derived stack Coh_ps(D0,I_{ℓ,k};v) is quasi-compact; a single counterexample would disconnect the geometric and algebraic limits and invalidate Theorem A. Alternatively, compute the leading graded dimension of HA^T_{X,C} from the explicit Yangian presentation and compare it with an independent count of nilpotent one-dimensional sheaves over finite fields for the first few degrees; any mismatch would falsify the isomorphism.

Watch

Extended reading notes

Core claim

On the paper's own terms, the central discovery is Theorem A: for X the minimal resolution of C^2/G with G a finite subgroup of SL(2,C), and C the exceptional divisor in X, there is an algebra isomorphism HA^T_{X,C} ≅ Y^+_∞, where HA^T_{X,C} is the T-equivariant nilpotent cohomological Hall algebra of one-dimensional coherent sheaves set-theoretically supported on C, and Y^+_∞ is a completed positive half of the affine Yangian, built as a limit of quotients of the negative half where the transition maps are truncated braid-group operators. The isomorphism intertwines the Pic(X)-action with the extended affine braid group action and sends fundamental classes [Y_{i,d}] and [Z_{i,n}] to explici

Load-bearing premise

The argument breaks if the Harder-Narasimhan strata of the moduli stacks Coh_ps(D0, I_{ℓ,k}; v) fail to be quasi-compact for the specific sequence of hearts S^{-θ_f}(nilp(Π_Q)) approaching Coh(Ẑ_X^C); then the geometric limit of the COHAs and the algebraic limit captured by Yangians need not coincide.

Editorial extensions

If this is right

  • The algebra of cohomological Hecke operators for curve modifications on any Kleinian resolution is now explicitly computable: mod the PBW data of the affine Yangian, products of fundamental classes [Y_{i,d}] and [Z_{i,n}] obey known commutation relations, so actions on moduli spaces of sheaves can be studied algebraically.
  • The explicit formulas in type A1 give the full generating function of the fundamental classes of rank-one sheaves and zero-dimensional sheaves in the Yangian, reducing geometric intersection computations to algebra.
  • The paper's continuity theorem supplies a general method: to define or compute a COHA for a difficult heart, approximate it by a convergent sequence of simpler hearts and take the limiting COHA; the authors indicate this should apply beyond SL(2,C), for instance when the relevant endomorphism algebra has global dimension three.
  • Via the braid-group compatibility, any representation of the affine Yangian constructed by truncation and braiding yields a representation of the curve-modification Hecke algebra, giving a systematic source of actions on cohomology of moduli stacks.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The identification suggests that representations of HA^T_{X,C} on moduli spaces of stable sheaves should be sought through Yangian highest-weight modules; if the predicted double recovers a non-dominant-coweight Yangian, curve modifications on ALE spaces would fit the same Langlands-style pattern as punctual modifications, with the Heisenberg/Virasoro layer replaced by an affine Yangian layer.
  • Because Theorem B localizes the computation to the cotangent of P^1, one can test the conjectural generation result by checking whether the topological algebra is generated by [Y_{i,d}] and [Z_{i,n}] in types D and E; this is expected but not proved here.
  • The limiting-COHA technique could be exported to non-Kleinian settings: any wall-crossing path in the space of stability conditions converging to a known heart would give a computational handle on the COHA of that heart, and the paper's convergence language is formulated generally enough to invite such use.
  • The emergence of a double-loop, and when glued along components a triple-loop, Yangian from these geometric operators suggests a hierarchy of ever-higher loop quantum groups attached to surfaces with curves; testing this on configurations of two intersecting (-2)-curves of type A2 would be a direct next step.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

2 major / 4 minor

Summary. The paper develops a framework for cohomological Hall algebras attached to convergent sequences of t-structures (Part I), introduces a multi-parameter Yangian for arbitrary loopless quivers (Part II), and uses these tools to give an explicit algebraic model for the equivariant nilpotent COHA of one-dimensional sheaves on a minimal resolution of a Kleinian singularity (Part III). The central claims are Theorem A, identifying HA^T_{X,C} with a completed nonstandard positive half Y^+_∞ of the affine Yangian, and Theorem B, expressing fundamental classes of zero-dimensional sheaves and line-bundle pushforwards in terms of Yangian generators. The strategy passes through a limiting-COHA stabilization theorem (Theorem C), a quiver Yangian-to-COHA map (Theorem II.6.3), and a compatibility between braid-group actions and derived reflection functors (Theorem D).

Significance. If the main theorems are fully correct, this is a substantial advance: it gives the first algebraic description of cohomological Hecke operators for curve modifications on Kleinian resolutions, and it provides several tools of independent interest—most notably the limiting COHA construction, the multiparameter Yangian, and the braid-group/reflection-functor compatibility. The paper is ambitious, carefully structured, and contains many explicit computations (e.g., the graded-dimension comparisons, the shuffle-algebra computations, and the explicit images in Theorem B). The main caveat is that the algebraic model Y^+_∞ is defined by a limiting procedure on the algebraic side that is deliberately aligned with the geometric limit; the content of Theorem A therefore lies in the identification of the geometric transition maps with truncated braid-group operators, not in an independent presentation of the algebra. This is legitimate, but it means the continuity and compatibility theorems carry a large part of the weight. The paper also contains detailed appendices and references, which is a strength.

major comments (2)
  1. [Theorem III.2.11 and Remark II.4.4] The proof of the key isomorphism Y^-_{Q;ε1,ε2} ≃ HA^T_Q depends on the claim, attributed to Remark II.4.3, that there is a surjective homomorphism Y^-_{Q;ε1,ε2} → Y^-_Q. This is load-bearing: the dimension-chain inequality grdim U(s^-_Q) ≥ grdim grY^-_{Q;ε1,ε2} ≥ grdim Y^-_Q ≥ grdim HA^T_Q can only force the desired isomorphisms if Y^-_Q is indeed a quotient of Y^-_{Q;ε1,ε2}. But Definition III.2.1 imposes only the quadratic and Serre relations, while Y^-_Q in Definition II.4.1 is the quotient by additional cubic relations (II.4.14). The cited Remark II.4.4 proves, for two vertices joined by a single edge, that the Serre relation is a formal consequence of the quadratic plus cubic relations; it does not prove the needed converse, namely that the cubic relations follow from the affine Yangian relations (III.2.1)–(III.2.6). No computation establishing this converse is provided. Without it,
  2. [Theorem A / Theorem C / Assumption I.3] The proof of Theorem A in §III.7 passes through Theorem C, whose part (iv) requires Assumptions I.1, I.2, and I.3. Assumption I.3(3) asks that the stacks Coh_ps(D0,I_{ℓ,k};v) be quasi-compact. In the application to the sequence S^{-θ_f}(nilp(Π_Q)) converging to Coh(Ẑ_X^C), this quasi-compactness is not a formality: it is exactly what lets one replace the formal limit by the honest COHA of the limiting t-structure. The portions of §III.7 available to me do not contain an explicit verification of Assumption I.3 for these specific stacks. If the verification appears later in the section, please point to it explicitly; if it is omitted, the geometric and algebraic limits in Theorem A need not coincide and the isomorphism chain is incomplete.
minor comments (4)
  1. [Remark II.4.4] The phrase 'the Serre relation ... is a formal consequence of the other relations' is misleading: the displayed computation shows that Serre follows from the quadratic relations together with the cubic relation, not from the quadratic relations alone. Please rephrase to avoid ambiguity, since the direction of this implication is central to the issue in Theorem III.2.11.
  2. [Part I heading] The running header 'PARTI' should read 'PART I'.
  3. [Notation, §III.2.4] After introducing Y_{Q;ε1,ε2}, the text says 'we shall simply denote Y_{Q;ε1,ε2} by Y_Q'. This creates notational collision with the multi-parameter Yangian Y_Q of Definition II.4.1. The overlap is harmless once the specialization is fixed, but a brief reminder would help.
  4. [Introduction, after Theorem C] In the sentence 'we get an algebra isomorphism between HA A X,C and...', 'HA A X,C' appears to be a typo for 'HA^T_{X,C}'.

Circularity Check

0 steps flagged · score 0.0 of 10

No circular reduction found; main isomorphism is a substantive comparison, though one supporting surjection in Theorem III.2.11 is under-proved.

full rationale

The derivation chain is not circular. The geometric COHA HA^T_{X,C} is defined by Borel-Moore homology of a moduli stack, while Y^+_∞ is defined algebraically as a limit of quotients of the negative half of the affine Yangian with braid-group transition operators; the two are then compared via the continuity theorem (Theorem C), the derived McKay equivalence, and the braid-action compatibility theorem (Theorem D). The fact that Y^+_∞ is tailored to the geometric limit does not make the isomorphism definitional: the algebra is independently presented, and the content lies in proving that the geometric and algebraic limits coincide. External inputs such as Kac polynomials, the [SV20] dimension formulas, and the McKay equivalence [KV00, VdB04] are genuinely independent of the paper's conclusions. The main weakness is Theorem III.2.11, where the surjection Y^-_{Q;ε1,ε2}→Y^-_Q is attributed to Remark II.4.3/II.4.4; that remark only shows the Serre relation is a formal consequence for two vertices joined by a single edge and does not verify that the cubic relations (II.4.14) defining Y^-_Q follow from the affine Yangian relations. This is an unsupported step and a correctness risk, but not a circular reduction, because the asserted implication does not presuppose the target isomorphism. No fitted parameter is relabeled as a prediction, and no load-bearing uniqueness theorem is imported from the authors' prior work.

Assumptions & free parameters 2 free parameters · 7 assumptions · 3 invented entities

The central claim rests on (i) the authors' companion framework for nilpotent COHAs of sheaves on surfaces, (ii) standard theorems (derived McKay equivalence, 2-CY property, purity and Kac-polynomial counts, characteristic cycle map, Maulik-Okounkov Yangian structure), and (iii) the paper's own Assumptions I.1–I.3, which guarantee the limiting COHA is isomorphic to the COHA of the limiting t-structure. The free parameters are formal equivariant parameters and arbitrary slicings/stability choices; the 'invented' objects are new algebraic constructions with independent checks via classical limits, graded dimensions, and the geometric isomorphism itself.

free parameters (2)
  • equivariant torus parameters ε_e (e ∈ Ω), with ε_1, ε_2 and h̄ = ε_1 + ε_2 = formal variables; not fitted to data
    The multi-parameter and affine Yangians are defined as algebras over Q[ε_1, ε_2]; the relations, gradings, and the genericity conditions (§II.4.2, §III.2) depend on these parameters. They encode torus weights and are free formal parameters rather than numbers fitted to any dataset.
  • slicing sequence {a_k} with a_0 = 1, a_∞ ∈ (0,1), and stability coweight θ = arbitrary decreasing sequence and dominant coweight chosen by hand
    The limiting COHA construction of Part I and the convergence result Theorem C depend on a chosen sequence of t-structures and on a King stability condition θ. The isomorphism claims are stated for such choices; they are structural choices, not fitted constants.
assumptions (7)
  • standard math Derived McKay correspondence D^b_ps(Coh(X)) ≃ D^b_ps(Mod(Π_Q)) for X the minimal resolution of C^2/G, restricting to an equivalence PC(X/X_con) ≃ nilp(Π_Q) (KV00, VdB04).
    Invoked in the 'Strategy of proof' and developed in §III.4–III.5; the whole reduction of the surface problem to the quiver problem rests on this theorem.
  • standard math The category mod(Π_Q) is 2-Calabi-Yau for Q not of finite Dynkin type (Theorem II.2.1, citing SY13, SV20).
    Used for the dimension of the nilpotent stack, for graded-dimension bounds, and for purity arguments that underpin the COHA structure; core to Theorem II.2.9 and the later dimension-count arguments.
  • standard math Purity, equivariant formality and Kac-polynomial enumeration for nilpotent preprojective stacks (Theorem II.2.9, citing SV20, Dav23, Dav24).
    Used in the proof that the surjection Φ restricts to isomorphisms on degree-zero parts and in the graded-dimension comparison proving Y^-_{Q;ε1,ε2} ≅ HA^T_Q for affine quivers (Theorem III.2.11).
  • standard math The characteristic cycle map is an algebra isomorphism K_0(Q_Q,C)⟨−,−⟩ ≃ HA_0 (Theorem II.7.9, citing Hen24).
    Load-bearing for the degree-zero case of Theorem D (§II.7.1.5); without it the braid-group/reflection-functor compatibility at degree zero would not follow.
  • standard math Structure theorems for Maulik-Okounkov Yangians (triangular decomposition, and inclusion Y^e_i ⊂ Y_MO) from MO19 and SV23.
    Used to prove injectivity of the multiplication map for the partial double D_i HA^{eT}_Q (Lemma II.7.26), an essential step in constructing the truncated braid operator on the COHA side.
  • ad hoc to paper Assumptions I.1, I.2, I.3: openness of the t-structures, derived-lci/properness of the convolution correspondence, and quasi-compactness of Harder-Narasimhan strata for the stacks Coh_ps(D_0, I_{ℓ,k}; v).
    These conditions are introduced in Part I and must hold for the specific sequence of hearts S^{-θ_f}(nilp(Π_Q)) converging to Coh(Ẑ_X^C) for Theorem C, and hence Theorem A, to apply. The paper asserts they hold for the sheaf categories at hand; no fully explicit verification is displayed.
  • domain assumption Existence of a weak action of the extended affine braid group B_ex on D^b_ps and the identification of tensor product by L^{-θ_f} with the braid element T_{-θ_f}.
    Needed to describe the transition morphisms of the limit of hearts as truncated braid group operators (Remark after Theorem A; §III.5–III.6); this identification between geometric autoequivalences and algebraic braid operators is a nontrivial input.
invented entities (3)
  • Y^+_∞, the completed nonstandard positive half of the affine Yangian Y(ĝ) independent evidence
    purpose: Target algebra in Theorem A; defined as a filtered deformation of the completion of U(g^+_ell), where g^+_ell = n_+[s^{±1},t] ⊕ s^{-1}h[s^{-1},t] ⊕ K_-.
    A new algebraic object, but with multiple independent handles: its classical limit is an explicitly described Lie algebra g^+_ell, its graded character is computable, and its isomorphism with the geometric COHA plus the explicit images of fundamental classes [Y_{i,d}], [Z_{i,n}] provide checkable consequences.
  • Multi-parameter Yangian Y_Q (and its extended version Y^e_Q) for an arbitrary loopless quiver Q independent evidence
    purpose: Bridge between quiver COHAs and surface COHAs; carries the braid group action and admits the surjection Φ to HA^T_Q.
    Defined by explicit generators and relations; its classical limit is the double-loop Lie algebra g_ell = uce(g_f[s^{±1},t]), an independent benchmark with a PBW basis. The two-parameter Yangians for affine quivers already existed in the literature, providing external consistency checks.
  • Limiting COHA HA_{τ+∞} associated to a convergent sequence of t-structures independent evidence
    purpose: New construction in Part I; the mechanism by which the sequence of heart COHAs converges to the COHA of the limiting t-structure.
    A canonical algebraic limit of 2-Segal stacks; Theorem C gives a general stabilization criterion that can be checked or applied beyond this paper, e.g., to GL(2,C) McKay resolutions, so its content is not confined to the paper's main application.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Cohomological Hall algebras of one-dimensional sheaves on surfaces and Yangians." pith.science (2026). https://pith.science/paper/4GS43DNU

@misc{pith2026260303386,
  author       = {Pith},
  title        = {Pith review of: Cohomological Hall algebras of one-dimensional sheaves on surfaces and Yangians},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/4GS43DNU}},
  note         = {Machine review of arXiv:2603.03386}
}
abstract

This paper provides the first algebraic characterization of an algebra of cohomological Hecke operators associated with modifications of coherent sheaves on a smooth surface $X$ along a fixed proper curve $Z \subset X$ (possibly singular and reducible), establishing a direct connection with Yangians. It is based on the theory of equivariant nilpotent cohomological Hall algebras $\mathbf{HA}^T_{X,Z}$, developed by the same authors. More precisely, let $X$ be a resolution of a Kleinian singularity (for example, $X = T^\ast\mathbb{P}^1$) and let $Z$ be the exceptional divisor. One of the main results of this paper is an explicit isomorphism $\mathbf{HA}^T_{X,Z} \simeq \mathbb{Y}^+_\infty$, where $\mathbb{Y}^+_\infty$ is a completed, nonstandard, positive half of the affine Yangian $\mathbb{Y}(\mathfrak{g})$ of the corresponding affine ADE Lie algebra $\mathfrak{g}$. Furthermore, the generators of $\mathbf{HA}^T_{X,Z}$--given by fundamental classes of substacks of zero-dimensional sheaves and of pushforwards of line bundles on $Z$--are expressed explicitly in terms of Yangian generators. Our main tools, which may be of independent interest, are: (i) a `continuity' theorem describing the behavior of cohomological Hall algebras of objects in the heart of $t$-structures $\tau_n$ when the sequence $(\tau_n)_n$ converges, in an appropriate sense, to a fixed $t$-structure $\tau_\infty$; (ii) the definition of a multi-parameter Yangian $\mathbb{Y}_Q$ for an arbitrary quiver $Q$, given by generators and relations; (iii) a theorem relating the algebraic action of the braid group $B_Q$ on the Yangian $\mathbb{Y}_Q$ to the action of $B_Q$ on the equivariant 2-dimensional cohomological Hall algebra $\mathbf{HA}^T_Q$ of $Q$, where the latter can be described in terms of derived reflection functors of the bounded derived category of modules over the preprojective algebra of $Q$.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

116 extracted references · 11 linked inside Pith

  1. [1]

    L. F. Alday, D. Gaiotto, and Y. Tachikawa, Liouville correlation functions from four-dimensional gauge theories, Lett. Math. Phys. 91 (2010), no. 2, 167--197

    2010

  2. [2]

    Arcara and A

    D. Arcara and A. Bertram, Bridgeland-stable moduli spaces for K -trivial surfaces , J. Eur. Math. Soc. (JEMS) 15 (2013), no. 1, 1--38, With an appendix by M. Lieblich

    2013

  3. [3]

    Bapat, A

    A. Bapat, A. Deopurkar, and A. M. Licata, Spherical objects and stability conditions on 2- C alabi- Y au quiver categories , Math. Z. 303 (2023), no. 1, Paper No. 13, 22

    2023

  4. [4]

    Baranovsky, Moduli of sheaves on surfaces and action of the oscillator algebra, J

    V. Baranovsky, Moduli of sheaves on surfaces and action of the oscillator algebra, J. Differential Geom. 55 (2000), no. 2, 193--227

    2000

  5. [5]

    Baumann and J

    P. Baumann and J. Kamnitzer, Preprojective algebras and MV polytopes , Represent. Theory 16 (2012), 152--188

    2012

  6. [6]

    Baumann, J

    P. Baumann, J. Kamnitzer, and P. Tingley, Affine M irkovi\' c - V ilonen polytopes , Publ. Math. Inst. Hautes \' E tudes Sci. 120 (2014), 113--205

    2014

  7. [7]

    Bayer, A short proof of the deformation property of B ridgeland stability conditions , Math

    A. Bayer, A short proof of the deformation property of B ridgeland stability conditions , Math. Ann. 375 (2019), no. 3-4, 1597--1613

    2019

  8. [8]

    Beck, Braid group action and quantum affine algebras, Comm

    J. Beck, Braid group action and quantum affine algebras, Comm. Math. Phys. 165 (1994), no. 3, 555--568

    1994

Show all 116 references
  1. [9]

    I. N. Bern s te n, I. M. Gel'fand, and V. A. Ponomarev, Coxeter functors, and G abriel's theorem. , Uspehi Mat. Nauk 28 (1973), 19--33

    1973

  2. [10]

    Bershtein and A

    M. Bershtein and A. Tsymbaliuk, Homomorphisms between different quantum toroidal and affine Y angian algebras , J. Pure Appl. Algebra 223 (2019), no. 2, 867--899

    2019

  3. [11]

    T. M. Botta and B. Davison, Okounkov's conjecture via BPS Lie algebras, arXiv:2312.14008 https://arxiv.org/abs/2312.14008, 2023

    2023

  4. [12]

    Bozec, Irreducible components of the global nilpotent cone, Int

    T. Bozec, Irreducible components of the global nilpotent cone, Int. Math. Res. Not. IMRN (2022), no. 23, 19054--19077

    2022

  5. [13]

    Bozec, O

    T. Bozec, O. Schiffmann, and \' E . Vasserot, On the number of points of nilpotent quiver varieties over finite fields, Ann. Sci. \' E c. Norm. Sup\' e r. (4) 53 (2020), no. 6, 1501--1544

    2020

  6. [14]

    Braverman, M

    A. Braverman, M. Finkelberg, and H. Nakajima, Instanton moduli spaces and W -algebras , Astérisque (2016), no. 385, vii+128

    2016

  7. [15]

    Bridgeland, Stability conditions on triangulated categories, Ann

    T. Bridgeland, Stability conditions on triangulated categories, Ann. of Math. (2) 166 (2007), no. 2, 317--345

    2007

  8. [16]

    A. B. Buan, O. Iyama, I. Reiten, and J. Scott, Cluster structures for 2- C alabi- Y au categories and unipotent groups , Compos. Math. 145 (2009), no. 4, 1035--1079

    2009

  9. [17]

    Butson and M

    D. Butson and M. Rapčák, Perverse coherent extensions on Calabi-Yau threefolds and representations of cohomological Hall algebras, arXiv:2309.16582 https://arxiv.org/abs/2309.16582, 2023

    2023 arXiv

  10. [18]

    W. Y. Chuang, T. Creutzig, D. E. Diaconescu, and Y. Soibelman, Hilbert schemes of nonreduced divisors in C alabi- Y au threefolds and W -algebras , Eur. J. Math. 7 (2021), no. 3, 807--868

    2021

  11. [19]

    Cramer, Double H all algebras and derived equivalences , Adv

    T. Cramer, Double H all algebras and derived equivalences , Adv. Math. 224 (2010), no. 3, 1097--1120

    2010

  12. [20]

    Crawley-Boevey and M

    W. Crawley-Boevey and M. P. Holland, Noncommutative deformations of K leinian singularities , Duke Math. J. 92 (1998), no. 3

    1998

  13. [21]

    Davison, Affine BPS algebras, W -algebras and the cohomological H all algebra of A ^2 , arXiv:2209.05971 https://arxiv.org/abs/2209.05971, 2022

    B. Davison, Affine BPS algebras, W -algebras and the cohomological H all algebra of A ^2 , arXiv:2209.05971 https://arxiv.org/abs/2209.05971, 2022

    2022 arXiv

  14. [22]

    Reine Angew

    , The integrality conjecture and the cohomology of preprojective stacks, J. Reine Angew. Math. 804 (2023), 105--154

    2023

  15. [23]

    , Purity and 2- C alabi- Y au categories , Invent. Math. 238 (2024), no. 1, 69--173

    2024

  16. [24]

    Davison and S

    B. Davison and S. Meinhardt, Cohomological D onaldson- T homas theory of a quiver with potential and quantum enveloping algebras , Invent. Math. 221 (2020), no. 3, 777--871

    2020

  17. [25]

    De Hority, Affinizations of Lorentzian Kac-Moody Algebras and Hilbert Schemes of Points on K3 Surfaces, arXiv:2007.04953 https://arxiv.org/abs/2007.04953, 2020

    S. De Hority, Affinizations of Lorentzian Kac-Moody Algebras and Hilbert Schemes of Points on K3 Surfaces, arXiv:2007.04953 https://arxiv.org/abs/2007.04953, 2020

    2007 arXiv

  18. [26]

    , Elliptic surfaces and L ie superalgebras , arXiv:2311.00349 https://arxiv.org/abs/2311.00349, 2023

    2023 arXiv

  19. [27]

    Diaconescu, M

    D.-E. Diaconescu, M. Porta, and F. Sala, Cohomological H all algebras, their categorification, and their representations via torsion pairs , arXiv:2207.08926 https://arxiv.org/pdf/2207.08926.pdf, 2022

    2022

  20. [28]

    Theory 27 (2023), 933--972

    , Mc K ay correspondence, cohomological H all algebras and categorification , Represent. Theory 27 (2023), 933--972

    2023

  21. [29]

    Diaconescu, M

    D.-E. Diaconescu, M. Porta, F. Sala, O. Schiffmann, and E. Vasserot, Cohomological Hall algebras of one-dimensional sheaves on surfaces: Foundations, 2025 (available at: https://web.dm.unipi.it/sala/assets/pdf/COHA_Foundations.pdf link )

    2025

  22. [30]

    Diaconescu, M

    D.-E. Diaconescu, M. Porta, F. Sala, O. Schiffmann, and E. Vasserot, Cohomological Hall algebras of one-dimensional sheaves on surfaces: Amalgamation and PBW-type theorems, 2025 (available at: https://web.dm.unipi.it/sala/assets/pdf/COHA_Amalgamation.pdf link )

    2025

  23. [31]

    V. G. Drinfel'd, Degenerate affine H ecke algebras and Y angians , Funktsional. Anal. i Prilozhen. 20 (1986), no. 1, 69--70

    1986

  24. [32]

    , A new realization of Y angians and of quantum affine algebras , Dokl. Akad. Nauk SSSR 296 (1987), no. 1, 13--17

    1987

  25. [33]

    Dyckerhoff and M

    T. Dyckerhoff and M. Kapranov, Higher S egal spaces , Lecture Notes in Mathematics, vol. 2244, Springer, Cham, 2019

    2019

  26. [34]

    Feigin and S

    B. Feigin and S. Gukov, VOA [M_4] , J. Math. Phys. 61 (2020), no. 1, 012302, 27

    2020

  27. [35]

    Franz and A

    M. Franz and A. Weber, Weights in cohomology and the E ilenberg- M oore spectral sequence , Ann. Inst. Fourier (Grenoble) 55 (2005), no. 2, 673--691

    2005

  28. [36]

    Ginsburg, M

    V. Ginsburg, M. Kapranov and E. Vasserot, Langlands reciprocity for algebraic surfaces, Math. Res. Lett. 2 (1995), no. 2, 147--160

    1995

  29. [37]

    Gonzalez-Sprinberg and J.-L

    G. Gonzalez-Sprinberg and J.-L. Verdier, Construction g\' e om\' e trique de la correspondance de M c K ay , Ann. Sci. \' E cole Norm. Sup. (4) 16 (1983), no. 3, 409--449 (1984)

    1983

  30. [38]

    Grojnowski, Instantons and affine algebras

    I. Grojnowski, Instantons and affine algebras. I . T he H ilbert scheme and vertex operators , Math. Res. Lett. 3 (1996), no. 2, 275--291

    1996

  31. [39]

    Guay, Affine Y angians and deformed double current algebras in type A , Adv

    N. Guay, Affine Y angians and deformed double current algebras in type A , Adv. Math. 211 (2007), no. 2, 436--484

    2007

  32. [40]

    N. Guay, H. Nakajima, and C. Wendlandt, Coproduct for Y angians of affine K ac- M oody algebras , Adv. Math. 338 (2018), 865--911

    2018

  33. [41]

    N. Guay, V. Regelskis, and C. Wendlandt, Vertex representations for Y angians of K ac- M oody algebras , J. \' E c. polytech. Math. 6 (2019), 665--706

    2019

  34. [42]

    Hausel, A

    T. Hausel, A. Mellit, A. Minets, and O. Schiffmann, P=W via H _2 , arXiv:2209.05429 https://arxiv.org/abs/2209.05429, 2022

    2022 arXiv

  35. [43]

    Hennecart, Geometric realisations of the unipotent enveloping algebra of a quiver, Adv

    L. Hennecart, Geometric realisations of the unipotent enveloping algebra of a quiver, Adv. Math. 441 (2024), Paper No. 109536, 59

    2024

  36. [44]

    Hennion, J

    B. Hennion, J. Holstein, and M. Robalo, Gluing invariants of D onaldson- T homas type P art I : the D arboux stack , arXiv:2407.08471 https://arxiv.org/abs/2407.08471, 2024

    2024 arXiv

  37. [45]

    Hernandez, Representations of quantum affinizations and fusion product, Transform

    D. Hernandez, Representations of quantum affinizations and fusion product, Transform. Groups 10 (2005), no. 2, 163--200

    2005

  38. [46]

    Hirano and M

    Y. Hirano and M. Wemyss, Stability conditions for 3-fold flops, Duke Math. J. 172 (2023), no. 16, 3105--3173

    2023

  39. [47]

    Huybrechts and M

    D. Huybrechts and M. Lehn, The geometry of moduli spaces of sheaves, second ed., Cambridge Mathematical Library, Cambridge University Press, Cambridge, 2010

    2010

  40. [48]

    Ishii and H

    A. Ishii and H. Uehara, Autoequivalences of derived categories on the minimal resolutions of A_n -singularities on surfaces , J. Differential Geom. 71 (2005), no. 3, 385--435

    2005

  41. [49]

    Iyama and I

    O. Iyama and I. Reiten, Fomin- Z elevinsky mutation and tilting modules over C alabi- Y au algebras , Amer. J. Math. 130 (2008), no. 4, 1087--1149

    2008

  42. [50]

    Jindal, CoHA of Cyclic Quivers and an Integral Form of Affine Yangians, arXiv:2408.02618 https://arxiv.org/pdf/2408.02618.pdf, 2024

    S. Jindal, CoHA of Cyclic Quivers and an Integral Form of Affine Yangians, arXiv:2408.02618 https://arxiv.org/pdf/2408.02618.pdf, 2024

    2024

  43. [51]

    Kapranov and E

    M. Kapranov and E. Vasserot, Kleinian singularities, derived categories and H all algebras , Math. Ann. 316 (2000), no. 3, 565--576

    2000

  44. [52]

    , The cohomological H all algebra of a surface and factorization cohomology , J. Eur. Math. Soc. (JEMS) 25 (2023), no. 11, 4221--4289

    2023

  45. [53]

    C. Kassel, K\" a hler differentials and coverings of complex simple L ie algebras extended over a commutative algebra , Proceedings of the L uminy conference on algebraic K -theory ( L uminy, 1983), vol. 34, 1984, pp. 265--275

    1983

  46. [54]

    A. A. Khan, Virtual fundamental classes of derived stacks I , arXiv:1909.01332 https://arxiv.org/pdf/1909.01332.pdf, 2019

    1909 arXiv

  47. [55]

    , Voevodsky’s criterion for constructible categories of coefficients, available on the author's webpage: link https://www.preschema.com/papers/six.pdf, 2021

    2021

  48. [56]

    Kodera, Affine Y angian action on the F ock space , Publ

    R. Kodera, Affine Y angian action on the F ock space , Publ. Res. Inst. Math. Sci. 55 (2019), no. 1, 189--234

    2019

  49. [57]

    Methods Appl

    , Braid group action on affine Y angian , SIGMA Symmetry Integrability Geom. Methods Appl. 15 (2019), Paper No. 020, 28

    2019

  50. [58]

    Represent

    , On G uay's evaluation map for affine Y angians , Algebr. Represent. Theory 24 (2021), no. 1, 253--267

    2021

  51. [59]

    Kontsevich and Y

    M. Kontsevich and Y. Soibelman, Cohomological H all algebra, exponential H odge structures and motivic D onaldson- T homas invariants , Commun. Number Theory Phys. 5 (2011), no. 2, 231--352

    2011

  52. [60]

    Lehn, Chern classes of tautological sheaves on H ilbert schemes of points on surfaces , Invent

    M. Lehn, Chern classes of tautological sheaves on H ilbert schemes of points on surfaces , Invent. Math. 136 (1999), no. 1, 157--207

    1999

  53. [61]

    Lewis, Real variations of stability on K 3 categories , arXiv:2407.07621 http://arxiv.org/abs/2407.07621, 2024

    S. Lewis, Real variations of stability on K 3 categories , arXiv:2407.07621 http://arxiv.org/abs/2407.07621, 2024

    2024 arXiv

  54. [62]

    Li and M

    W. Li and M. Yamazaki, Quiver Y angian from crystal melting , J. High Energy Phys. (2020), no. 11, 035, 124

    2020

  55. [63]

    A. M. Licata and A. Savage, Vertex operators and the geometry of moduli spaces of framed torsion-free sheaves, Selecta Math. (N.S.) 16 (2010), no. 2, 201--240

    2010

  56. [64]

    Lusztig, Quivers, perverse sheaves, and quantized enveloping algebras, J

    G. Lusztig, Quivers, perverse sheaves, and quantized enveloping algebras, J. Amer. Math. Soc. 4 (1991), 365--421

    1991

  57. [65]

    Hautes \'Etudes Sci

    , Affine quivers and canonical bases, Inst. Hautes \'Etudes Sci. Publ. Math. (1992), no. 76, 111--163

    1992

  58. [66]

    , Introduction to quantum groups, Progress in Mathematics, Birkhäuser Boston, Inc., 1993

    1993

  59. [67]

    365--399

    , Canonical bases and H all algebras , Representation theories and algebraic geometry (Montreal, PQ, 1997), Kluwer Academic Publishers Group, 1998, pp. 365--399

    1997

  60. [68]

    I. G. Macdonald, Affine H ecke algebras and orthogonal polynomials , Cambridge Tracts in Mathematics, vol. 157, Cambridge University Press, Cambridge, 2003

    2003

  61. [69]

    Maulik and A

    D. Maulik and A. Okounkov, Quantum groups and quantum cohomology, Ast\' e risque (2019), no. 408, ix+209

    2019

  62. [70]

    Mellit, A

    A. Mellit, A. Minets, O. Schiffmann, and E. Vasserot, Coherent sheaves on surfaces, COHA s and deformed W _ 1+ -algebras , arXiv:2311.13415 http://arxiv.org/abs/2311.13415, 2023

    2023 arXiv

  63. [71]

    Minets, Cohomological H all algebras for H iggs torsion sheaves, moduli of triples and sheaves on surfaces , Selecta Math

    A. Minets, Cohomological H all algebras for H iggs torsion sheaves, moduli of triples and sheaves on surfaces , Selecta Math. (N.S.) 26 (2020), no. 2, Paper No. 30, 67

    2020

  64. [72]

    R. V. Moody, S. E. Rao, and T. Yokonuma, Toroidal L ie algebras and vertex representations , Geom. Dedicata 35 (1990), no. 1-3, 283--307

    1990

  65. [73]

    Nakajima, Instantons on ALE spaces, quiver varieties, and K ac- M oody algebras , Duke Math

    H. Nakajima, Instantons on ALE spaces, quiver varieties, and K ac- M oody algebras , Duke Math. J. 76 (1994), no. 2, 365--416

    1994

  66. [74]

    , Instantons and affine Lie algebras, Nuclear Phys. B Proc. Suppl. 46 (1996), 154--161

    1996

  67. [75]

    , Heisenberg algebra and H ilbert schemes of points on projective surfaces , Ann. of Math. (2) 145 (1997), no. 2, 379--388

    1997

  68. [76]

    18, American Mathematical Society, Providence, RI, 1999

    , Lectures on H ilbert schemes of points on surfaces , University Lecture Series, vol. 18, American Mathematical Society, Providence, RI, 1999

    1999

  69. [77]

    , Quiver varieties and finite-dimensional representations of quantum affine algebras, J. Amer. Math. Soc. 14 (2001), no. 1, 145--238

    2001

  70. [78]

    Math., vol

    , Convolution on homology groups of moduli spaces of sheaves on K3 surfaces , Vector bundles and representation theory ( C olumbia, MO , 2002), Contemp. Math., vol. 322, Amer. Math. Soc., Providence, RI, 2003, pp. 75--87

    2002

  71. [79]

    Neguţ, W -algebras associated to surfaces, Proc

    A. Neguţ, W -algebras associated to surfaces, Proc. Lond. Math. Soc. (3) 124 (2022), no. 5, 601--679

    2022

  72. [80]

    , Hecke correspondences for smooth moduli spaces of sheaves, Publ. Math. Inst. Hautes \'Etudes Sci. 135 (2022), 337--418

    2022

  73. [81]

    , A GT relations for sheaves on surfaces , Geom. Topol. 27 (2023), no. 8, 3061--3094

    2023

  74. [82]

    Neguţ, F

    A. Neguţ, F. Sala, and O. Schiffmann, Shuffle algebras for quivers as quantum groups, Math. Ann. 391 (2025), no. 2, 2981--3021

    2025

  75. [83]

    Pantev, B

    T. Pantev, B. To\" e n, M. Vaqui\' e , and G. Vezzosi, Shifted symplectic structures, Publ. Math. Inst. Hautes \' E tudes Sci. 117 (2013), 271--328

    2013

  76. [84]

    Porta and F

    M. Porta and F. Sala, Two-dimensional categorified H all algebras , J. Eur. Math. Soc. (JEMS) 25 (2023), no. 3, 1113--1205

    2023

  77. [85]

    Porta and T

    M. Porta and T. Y. Yu, Non-archimedean quantum K -invariants , Ann. Sci. \'Ec. Norm. Sup\'er. (4) 57 (2024), no. 3, 713--786

    2024

  78. [86]

    Rapčák, Y

    M. Rapčák, Y. Soibelman, Y. Yang, and G. Zhao, Cohomological Hall algebras, vertex algebras and instantons, Comm. Math. Phys. 376 (2020), no. 3, 1803--1873

    2020

  79. [87]

    Number Theory Phys

    , Cohomological H all algebras and perverse coherent sheaves on toric C alabi- Y au 3-folds , Commun. Number Theory Phys. 17 (2023), no. 4, 847--939

    2023

  80. [88]

    Sala and O

    F. Sala and O. Schiffmann, Cohomological H all algebra of H iggs sheaves on a curve , Algebr. Geom. 7 (2020), no. 3, 346--376

    2020

  81. [89]

    Schiffmann, Lectures on canonical and crystal bases of H all algebras , Geometric methods in representation theory

    O. Schiffmann, Lectures on canonical and crystal bases of H all algebras , Geometric methods in representation theory. II, Société Mathématique de France, 2012, pp. 143--259

    2012

  82. [90]

    II, Société Mathématique de France, 2012, pp

    , Lectures on H all algebras , Geometric methods in representation theory. II, Société Mathématique de France, 2012, pp. 1--141

    2012

  83. [91]

    , On the H all algebra of an elliptic curve, II , Duke Math. J. 161 (2012), no. 9, 1711--1750

    2012

  84. [92]

    , Indecomposable vector bundles and stable H iggs bundles over smooth projective curves , Ann. of Math. (2) 183 (2016), no. 1, 297--362

    2016

  85. [93]

    Schiffmann and E

    O. Schiffmann and E. Vasserot, Hall algebras of curves, commuting varieties and Langlands duality, Math. Ann. 353 (2012), no. 4, 1399--1451

    2012

  86. [94]

    , The elliptic Hall algebra and the K -theory of the Hilbert scheme of A^2 , Duke Math. J. 162 (2013), no. 2, 279--366

    2013

  87. [95]

    , Cherednik algebras, W -algebras and the equivariant cohomology of the moduli space of instantons on A ^2 , Publ. Math. Inst. Hautes \' E tudes Sci. 118 (2013), 213--342

    2013

  88. [96]

    , On cohomological H all algebras of quivers: Y angians , arXiv:1705.07491 https://arxiv.org/abs/1705.07491, 2017

    2017 arXiv

  89. [97]

    Reine Angew

    , On cohomological H all algebras of quivers: G enerators , J. Reine Angew. Math. 760 (2020), 59--132

    2020

  90. [98]

    , Cohomological H all algebras of quivers and Y angians , arXiv:2312.15803 https://arxiv.org/abs/2312.15803, 2023

    2023 arXiv

  91. [99]

    u rg, B. To\

    T. Sch\" u rg, B. To\" e n, and G. Vezzosi, Derived algebraic geometry, determinants of perfect complexes, and applications to obstruction theories for maps and complexes, J. Reine Angew. Math. 702 (2015), 1--40

    2015

  92. [100]

    Seidel and R

    P. Seidel and R. Thomas, Braid group actions on derived categories of coherent sheaves, Duke Math. J. 108 (2001), no. 1, 37--108

    2001

  93. [101]

    Sekiya and K

    Y. Sekiya and K. Yamaura, Tilting theoretical approach to moduli spaces over preprojective algebras, Algebr. Represent. Theory 16 (2013), no. 6, 1733--1786

    2013

  94. [102]

    Sevenhant and M

    B. Sevenhant and M. Van den Bergh, On the double of the H all algebra of a quiver , J. Algebra 221 (1999), no. 1, 135--160

    1999

  95. [103]

    Simpson, Moduli of representations of the fundamental group of a smooth projective variety

    C. Simpson, Moduli of representations of the fundamental group of a smooth projective variety. II , Inst. Hautes \' E tudes Sci. Publ. Math. (1994), no. 80, 5--79 (1995)

    1994

  96. [104]

    Toën and M

    B. Toën and M. Vaquié, Moduli of objects in dg-categories, Ann. Sci. École Norm. Sup. (4) 40 (2007), no. 3, 387--444

    2007

  97. [105]

    To\" e n and G

    B. To\" e n and G. Vezzosi, Homotopical algebraic geometry. II . G eometric stacks and applications , Mem. Amer. Math. Soc. 193 (2008), no. 902, x+224

    2008

  98. [106]

    Tsymbaliuk, Classical limits of quantum toroidal and affine Y angian algebras , J

    A. Tsymbaliuk, Classical limits of quantum toroidal and affine Y angian algebras , J. Pure Appl. Algebra 221 (2017), no. 10, 2633--2646

    2017

  99. [107]

    Van den Bergh, Three-dimensional flops and noncommutative rings, Duke Math

    M. Van den Bergh, Three-dimensional flops and noncommutative rings, Duke Math. J. 122 (2004), no. 3, 423--455

    2004

  100. [108]

    Varagnolo, Quiver varieties and Y angians , Lett

    M. Varagnolo, Quiver varieties and Y angians , Lett. Math. Phys. 53 (2000), no. 4, 273--283

    2000

  101. [109]

    Varagnolo and E

    M. Varagnolo and E. Vasserot, K-theoretic H all algebras, quantum groups and super quantum groups , Selecta Math. (N.S.) 28 (2022), no. 1, Paper No. 7, 56

    2022

  102. [110]

    Wemyss, The GL (2, C ) M c K ay correspondence , Math

    M. Wemyss, The GL (2, C ) M c K ay correspondence , Math. Ann. 350 (2011), no. 3, 631--659

    2011

  103. [111]

    Xiao and S

    J. Xiao and S. Yang, B GP -reflection functors and L usztig's symmetries: a R ingel- H all algebra approach to quantum groups , J. Algebra 241 (2001), no. 1, 204--246

    2001

  104. [112]

    Yang and G

    Y. Yang and G. Zhao, The cohomological H all algebra of a preprojective algebra , Proc. Lond. Math. Soc. (3) 116 (2018), no. 5, 1029--1074

    2018

  105. [113]

    (N.S.) 24 (2018), no

    , Cohomological H all algebras and affine quantum groups , Selecta Math. (N.S.) 24 (2018), no. 2, 1093--1119

    2018

  106. [114]

    Yoshioka, An action of a L ie algebra on the homology groups of moduli spaces of stable sheaves , Algebraic and arithmetic structures of moduli spaces ( S apporo 2007), Adv

    K. Yoshioka, An action of a L ie algebra on the homology groups of moduli spaces of stable sheaves , Algebraic and arithmetic structures of moduli spaces ( S apporo 2007), Adv. Stud. Pure Math., vol. 58, Math. Soc. Japan, Tokyo, 2010, pp. 403--459

    2007

  107. [115]

    , Perverse coherent sheaves and F ourier- M ukai transforms on surfaces, I , Kyoto J. Math. 53 (2013), no. 2, 261--344

    2013

  108. [116]

    Zhao, On the K -theoretic Hall algebra of a surface, Int

    Y. Zhao, On the K -theoretic Hall algebra of a surface, Int. Math. Res. Not. IMRN 2021, no. 6, 4445--4486

    2021

Pith tools

Reviewed August 2, 2026 · model on record in the stance chip above.