Pith. sign in

REVIEW 2 major objections 4 minor 116 references

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.

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

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

T0 review · deepseek-v4-flash

2026-08-02 19:18 UTC pith:4GS43DNU

load-bearing objection 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. the 2 major comments →

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

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

Duiliu-Emanuel Diaconescu , Mauro Porta , Francesco Sala , Olivier Schiffmann , Eric Vasserot This is my paper
classification math.AG hep-thmath.QAmath.RT MSC 14A2017B3755P99
keywords Cohomological Hall algebrasYangiansKleinian singularitiesquiver representationsone-dimensional sheavest-structuresbraid group actionsHecke operators
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

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

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.

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

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

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.

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 this falsifier — get emailed when new claim-graph text bears on it.

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.

Where Pith is reading between the lines

These are 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.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, 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

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.

Axiom & Free-Parameter Ledger

2 free parameters · 7 axioms · 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.
axioms (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.

pith-pipeline@v1.3.0-alltime-deepseek · 76284 in / 19204 out tokens · 179935 ms · 2026-08-02T19:18:04.051382+00:00 · methodology

0 comments
read the original 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)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

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

  9. [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

  10. [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

  11. [11]

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

    arXiv 2023

  12. [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

  13. [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

  14. [14]

    Braverman, M

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

    2016

  15. [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

  16. [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

  17. [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

    Pith/arXiv arXiv 2023

  18. [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

  19. [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

  20. [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

  21. [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

    Pith/arXiv arXiv 2022

  22. [22]

    Reine Angew

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

    2023

  23. [23]

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

    2024

  24. [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

  25. [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

    Pith/arXiv arXiv 2007

  26. [26]

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

    Pith/arXiv arXiv 2023

  27. [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

    arXiv 2022

  28. [28]

    Theory 27 (2023), 933--972

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

    2023

  29. [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

  30. [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

  31. [31]

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

    1986

  32. [32]

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

    1987

  33. [33]

    Dyckerhoff and M

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

    2019

  34. [34]

    Feigin and S

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

    2020

  35. [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

  36. [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

  37. [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

  38. [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

  39. [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

  40. [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

  41. [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

  42. [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

    Pith/arXiv arXiv 2022

  43. [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

  44. [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

    Pith/arXiv arXiv 2024

  45. [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

  46. [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

  47. [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

  48. [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

  49. [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

  50. [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

    arXiv 2024

  51. [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

  52. [52]

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

    2023

  53. [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

  54. [54]

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

    Pith/arXiv arXiv 1909

  55. [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

  56. [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

  57. [57]

    Methods Appl

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

    2019

  58. [58]

    Represent

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

    2021

  59. [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

  60. [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

  61. [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

    Pith/arXiv arXiv 2024

  62. [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

  63. [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

  64. [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

  65. [65]

    Hautes \'Etudes Sci

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

    1992

  66. [66]

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

    1993

  67. [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

  68. [68]

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

    2003

  69. [69]

    Maulik and A

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

    2019

  70. [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

    Pith/arXiv arXiv 2023

  71. [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

  72. [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

  73. [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

  74. [74]

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

    1996

  75. [75]

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

    1997

  76. [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

  77. [77]

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

    2001

  78. [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

  79. [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

  80. [80]

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

    2022

Showing first 80 references.