Pith. sign in

REVIEW 4 major objections 3 minor 47 references

The paper constructs an affine gl_r action on the cohomology of instanton moduli on a blown-up surface and identifies the module as a basic representation.

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-03 20:35 UTC pith:7ZTLPEV2

load-bearing objection Major claim, clear strategy, but the proof leans on an unproved SOD from the first author's own preprint; referee must check it. the 4 major comments →

arxiv 2511.18959 v2 pith:7ZTLPEV2 submitted 2025-11-24 math.AG hep-thmath.RT

Instantons on the Blown-up Surface and the Affine Vertex Algebra

Qingyuan Jiang , Wei-Ping Li , Yu Zhao This is my paper
classification math.AG hep-thmath.RT MSC 14D2117B6914F08
keywords instanton moduliblow-up formulaaffine Lie algebrabasic representationBoson–Fermion correspondenceperverse coherent sheavesClifford algebraderived Grassmannians
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 answers a long-standing question from the physics literature, which noticed that the blow-up formula for Euler characteristics of rank-r instantons on an algebraic surface coincides with the character of the level-one SU(r) conformal field theory. The authors prove that this is not a numerical coincidence: for every integer l, the total cohomology — in the Grothendieck group, Hochschild homology, Chow groups, or Hodge cohomology — of all rank-r instanton moduli on the blow-up carries an action of the affine Lie algebra \hat{gl}_r, and is identified with the basic representation of that algebra, tensored with the cohomology of the original surface moduli on which the algebra acts trivially. The key mechanism is a Clifford algebra action on Grassmannians of two-term perfect complexes, which serves as a finite analog of the Boson–Fermion correspondence. If correct, this gives a geometric construction of the conformal field theory from the moduli of stable sheaves, for any surface and at the level of full cohomology rather than just Euler numbers.

Core claim

The central claim is an isomorphism of \hat{gl}_r-representations, for each l, between the direct sum over n of the Grothendieck group (or Hochschild homology, Chow group, Hodge cohomology) of the moduli space of stable sheaves on the blow-up with first Chern class p^*c_1 + l[C] and second Chern class n − l(l+1)/2, and the same direct sum over n for the original surface tensored with the l-th component of the fermionic Fock space F(r). The affine algebra acts trivially on the first factor and by the basic representation on the second. The proof passes through the moduli of stable perverse coherent sheaves, which are Hecke modifications along the exceptional curve and are realized as Grassman

What carries the argument

The load-bearing object is the rank-r Clifford algebra Cl(r) with generators p_i, q_i acting by contraction and wedging on the exterior algebra F(r). Via the orthogonalization of a semiorthogonal decomposition of the derived category of derived Grassmannians of a Tor-amplitude [0,1]-perfect complex E (the moduli space of quotients of the sheaf h^0(E)), the cohomology of the Grassmannians of E and of its shifted derived dual E^\vee[1] are identified up to tensor product with F(r). Restricting to the universal sheaf on the blow-up, this produces an action of the extended algebra E(r) — Cl(r) plus Hecke operators e and f — on the direct sum of cohomologies of the perverse moduli spaces M_0(l,n)

Load-bearing premise

The entire construction rests on a semiorthogonal decomposition of the derived category of the union of derived Grassmannians (Theorem 5.4), which is quoted from a preprint of the first-named author and not proved here, together with two further imported results used to prove the Chow-level identities (4.4)–(4.5); if any of these cited statements is false or misstated, the Clifford action and the main isomorphism collapse. In addition, the Hochschild, Chow, and Hodge versions

What would settle it

Compute the rank-2 case explicitly on a surface with trivial canonical bundle: the left-hand side of the isomorphism must reproduce the known theta-function character of the basic representation; a mismatch in any coefficient, or a violation of the \hat{gl}_2 commutation relations on the first nontrivial moduli space, would refute the theorem. More directly, verify the quoted semiorthogonal decomposition on the universal example of a two-term complex over an affine space: for rank 2, the four Fourier–Mukai functors must form a full exceptional collection on each Grassmannian bundle, and any fa

Watch this falsifier — get emailed when new claim-graph text bears on it.

If this is right

  • The blow-up formula for Euler characteristics is upgraded to an isomorphism of representations of the affine Lie algebra on the full cohomology, giving the sought conformal field theory explanation of the formula.
  • The \hat{gl}_r action preserves homological degree on Hochschild homology, structurally explaining why the rank-2 blow-up factor is independent of the extra variable x in the theta-function identity.
  • The Hecke modifications along the exceptional curve realize the fermionic operators; the infinite Clifford algebra of the Boson–Fermion correspondence emerges from the colimit of these modifications.
  • The result extends previously known equivariant constructions for framed sheaves on the projective plane to unframed moduli on arbitrary surfaces, and to K-theory, Chow, Hodge, and Hochschild cohomology.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • If the isomorphism descends from an actual equivalence of derived categories or motives, one would expect a categorified blow-up formula; the Clifford-orthogonalization method points to such a refinement.
  • The parabolic trajectories along which the Hecke operator e moves suggest a stable-envelope perspective: the blown-up moduli appear as the stable limit of the perverse moduli, a structure that may generalize to other wall-crossing chambers or to ranks and surfaces where the coprimality condition fails.
  • A testable extension is to compute the Euler pairing or Serre functor under the isomorphism; the weight grading (7.9) should match the cohomological shift, providing a consistency check for the Chow and Hodge statements.

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

4 major / 3 minor

Summary. The paper constructs an action of the affine Lie algebra \hat{gl}_r on several cohomology theories of moduli spaces of stable sheaves on the blow-up of a projective surface at a point, and identifies the resulting module with the basic representation via the Boson–Fermion correspondence. The proof proceeds through Grassmannians of Tor-amplitude [0,1]-perfect complexes, a Clifford-algebra action on their (co)homology, an extended algebra E(r), and a Morita equivalence to an infinite Clifford algebra. The main theorem (Theorem 8.1/1.1) is a geometric realization of the Vafa–Witten/Yoshioka relation between instanton Euler characteristics and the SU(r) level-1 WZW character.

Significance. If correct, this is a substantial result: it gives a geometric construction of affine gl_r representations on instanton moduli spaces for arbitrary surfaces and several cohomology theories, directly addressing a long-standing question of Vafa–Witten. The strategy is original, combining derived Grassmannians, Clifford algebras, and Morita theory, and the paper contains many explicit correspondences and grading computations. However, the decisive categorical input, Theorem 5.4, is imported from a preprint by the first author and is not proved, and the Chow-level identities (4.4)–(4.5) rely on further external results [14, 47]. These are load-bearing; the Clifford action and the final \hat{gl}_r identification collapse without them. The overall architecture is plausible and the remaining parts are mostly carefully written, but the external dependencies need to be made precise and verified.

major comments (4)
  1. [§5.3, Theorem 5.4] This is the decisive categorical input. Clause (3), the vanishing of the ordered product of the R_I, is used in Theorem 5.5 to obtain the orthogonalization and the Clifford action; all of §6–§8 rest on it. The theorem is quoted as “Cf. [13, Theorem 3.2]” with no proof and no statement of the hypotheses under which it holds. In the intended application (§6) E=U_o is locally free of rank r over X=M_H(n), so the claimed decomposition must specialize to the classical SOD of the Grassmannian bundle Gr_X(E,d) with exactly binom(r,d) components for each d. The manuscript does not check that the 2^r functors Φ_I collapse to these components, nor that the lexicographic order gives the usual semiorthogonal order. A missing component or a wrong order would invalidate the relations (3.10)–(3.11) and hence the E(r)-action. Please include a proof or a precise statement of the hypotheses of [13, Thm 3.
  2. [§4.2, Proposition 4.4] Equations (4.4)–(4.5) are the Chow-level identities that produce the Clifford generators p_i,q_i on CH_+ and CH_-. The proof of (4.5) cites [14, Thm 1.1] and Manin’s identity principle, while the proof of (4.4) uses [47, Thm 1.3] for the local structure of incidence/determinantal loci. These are external results; [47] is a preprint by the third author and [14] is by the first author. The manuscript does not state the precise hypotheses under which these results apply, nor does it verify that the G-smooth complexes arising in §6 (e.g. U_o^∨[1]) satisfy them. Since (4.4)–(4.5) are load-bearing for the Chow/Hodge versions of Theorem 1.1, a fuller statement or proof is needed.
  3. [§5.5, proof of Theorem 5.5] The derivation of the G_0-level isomorphism is not actually supplied. The proof says it “directly follows from (3) of Theorem 5.4 and Theorem 4.4,” but Theorem 4.4 is the Chow-level Proposition 4.4, and no argument is given that the decategorified maps Φ_I, Ψ_I on G_0 satisfy the semi-orthogonality equations needed for the orthogonalization of §3.1. Moreover, the displayed functors in the proof have the wrong direction: e_I=[Φ_I] is written as a map from K_0(D(Gr_X(E,•))) to K_0(D(Gr_X(E^∨[1],•))), whereas Φ_I goes the other way. This affects the signs and order in the orthogonalization and needs correction. A self-contained categorical proof of Theorem 5.5, or a precise reduction to Theorem 5.4, is required.
  4. [§2, existence of U_o] The paper assumes a universal sheaf U on M_H(n)×S and defines U_o as its restriction. The moduli space M_H(n) is a coarse moduli space, and a global universal sheaf need not exist in general; one often has only a twisted universal family or a quasi-universal family on a finite cover. All subsequent constructions (Theorem 2.1, §4–§6) use U_o as a global complex. This issue should be addressed, either by proving existence under gcd(r,c_1·H)=1 or by explaining how the correspondences descend after passing to a fine moduli space or gerbe.
minor comments (3)
  1. [§6] The symbol E(r) is used for two different algebras: the extended algebra over Cl(r) and the infinite-dimensional Clifford algebra generated by P_{a,i}, Q_{a,i}, E. This is confusing; suggest distinct notation, e.g. \mathcal{E}_r and \mathbf{E}_r.
  2. [§5.5 and §4.1] Theorem 5.5’s proof refers to “Theorem 4.4” when the object being cited is Proposition 4.4. Also, the statement of Proposition 4.4 appears after Definition 4.2, but in §4.1 it is called Theorem 4.4. Please standardize the numbering references.
  3. [Throughout] There are numerous typos: “Boson-Ferimon” in §8 heading, “defintion” in §1.3, “Morover” in §7.2, “univeral” in §5.2. These do not affect the mathematics but should be corrected.

Circularity Check

2 steps flagged

Central result rests on an unproved self-cited SOD (Theorem 5.4 = [13, Thm 3.2]); no fitted-input or definitional circularity.

specific steps
  1. self citation load bearing [§5.3 Theorem 5.4 and Theorem 5.5 (also §5.1 Prop. 5.1)]
    "Theorem 5.4 (Cf. [13, Theorem 3.2]). With notation as above: (1) For any I⊂[r], we have cone(ΨI ΦI → id) ∼= 0. (2) For any I, J⊂[r], we have ΨI ◦ ΦJ ∼= 0 whenever J <lex I. (3) Setting RI := cone(id → ΦI ΨI)[−1], we have Q<lex I⊂[r] RI ∼= 0. In particular, all ΦI are fully faithful, and induce a semiorthogonal decomposition D(GrX(E,•)) = ⟨Im(ΦI)|I⊂[r]⟩ ..."

    The SOD equations (5.1)–(5.3) are exactly what Theorem 5.5 decategorifies into the Clifford action: 'By Theorem 5.4, the morphisms e_I and f_I ... are semi-orthogonal ... Theorem 5.5 directly follows from (3) of Theorem 5.4 and Theorem 4.4.' No proof or applicability hypotheses are given in this paper for Theorem 5.4; its only justification is 'Cf. [13, Theorem 3.2]', a preprint by the first-named author. Since §6–§8 obtain the E(r)-action and then Theorem 8.1 from this Clifford action, the main derivation collapses to that self-citation unless [13] is independently verified; the paper supplies no such verification.

  2. self citation load bearing [§4.2 proof of Proposition 4.4]
    "Assuming (4.4), to prove (4.5), we first prove that (4.6). By Theorem 3.3, we only need to know that the morphism ... is an isomorphism for any d∈Z. It is precisely Theorem 1.1 in [14]. To lift (4.6) to (4.5), we notice that for any smooth variety T, ET is G-smooth over X×T ... Hence (4.5) follows from (4.6) and the Manin’s identity principle (Theorem 4.8)."

    Proposition 4.4 is the geometric identity behind the Chow/Hodge version of (1.4): (4.4) and (4.5) are exactly the semi-orthogonality and vanishing relations that Theorem 4.1 orthogonalizes into the Clifford action. The key isomorphism is not proved here; it is quoted from [14] (first-named author), while the incidence-dimension/LCI statement in the same proof uses [47, Thm 1.3] (third-named author). Thus the non-K-theoretic cohomology variants also rest on a self-citation chain, although [14] is journal-published, making this a support-dependency rather than a definitional circle.

full rationale

The paper contains no fitted-input-called-prediction step and no self-definitional construction: the right-hand F(r) is defined by the exterior algebra and the Boson–Fermion correspondence, not from the left-hand instanton cohomology, and the affine gl_r action is induced only after the geometric Clifford action is built. The derivation is, however, not self-contained. The key isomorphism (1.4) is, in all cohomological settings, a decategorification of Theorem 5.4, which is imported as 'Cf. [13, Theorem 3.2]' — an unpublished preprint by the first-named author — and Theorem 4.4 imports [14] and [47] for the Chow/Hodge cases. Sections 6–8 then propagate that input through Morita equivalence and colimits. This is a load-bearing self-citation (score 4), not a reduction of the theorem to its own definition: if the cited SOD is accepted, the rest is a substantial independent representation-theoretic construction.

Axiom & Free-Parameter Ledger

0 free parameters · 5 axioms · 0 invented entities

The paper introduces no new physical entities. The Fock space F(r), the extended algebra E(r), and the infinite Clifford algebra C(r) are mathematical constructions defined from existing objects and standard representation theory. The central assumptions are the imported semiorthogonal decomposition and the smoothness/coprimality hypotheses.

axioms (5)
  • standard math Boson–Fermion correspondence: F(r) decomposes as a direct sum of basic \hat{gl}_r representations, with e^a_{ij} defined by normal-ordered Fermion bilinears.
    Theorem 8.2, quoted from Frenkel [6]; external standard result whose proof is not repeated.
  • domain assumption Semiorthogonal decomposition of D(Gr_X(E,•)) into images of the Fourier–Mukai functors Φ_I (Theorem 5.4).
    Imported from [13, Theorem 3.2], a first-author preprint; not proved here. The entire Cl(r) action and hence the main theorem rely on it.
  • domain assumption Smoothness and G-smoothness: M0(l,n) is smooth under assumption (2.2), and the restriction U_o is G-smooth.
    Theorem 2.3 (Nakajima–Yoshioka [36]) and §4; required for the Chow, Hochschild, and Hodge variants.
  • domain assumption Stability/coprimality: gcd(r, c1·H)=1 and the limiting polarization H∞ exists.
    Theorem 8.1; needed for nonempty smooth moduli of stable sheaves and the blow-up comparison.
  • domain assumption Chow-theoretic correspondences satisfy (4.4)–(4.5), proved using [14, Theorem 1.1] and [47, Theorem 1.3].
    Used in the proof of Proposition 4.4; these are previous results by the first and third authors.

pith-pipeline@v1.3.0-alltime-deepseek · 30131 in / 14978 out tokens · 146223 ms · 2026-08-03T20:35:17.077663+00:00 · methodology

0 comments
read the original abstract

We answer a long-standing question raised by Vafa--Witten on a relation between S-duality and conformal field theory, which related Yoshioka's blow-up formula and the WZW model for $\mathrm{SU}(r)$ at level $1$. Precisely, for the moduli space of Euler characteristics of rank $r$ instantons on the blow-up of an algebraic surface along a closed point, we construct the affine $\mathrm{gl}_r$-action on various cohomology theories, including the Grothendieck group of coherent sheaves, Hochschild homology groups, Chow groups and Hodge cohomology groups, and identifying the module as a basic representation. A key ingredient in our proof is a representation-theoretic reformulation of the theory of Grassmannians of Tor-amplitude $[0,1]$-perfect complexes studied by the first-named author in terms of the spin representation of the finite-dimensional Clifford algebra. This may be viewed as a finite analog of the question of Vafa--Witten via the Boson--Fermion correspondence.

Figures

Figures reproduced from arXiv: 2511.18959 by Qingyuan Jiang, Wei-ping Li, Yu Zhao.

Figure 1
Figure 1. Figure 1: The affine (n, −l)-plane. The red dashed curve indi￾cates the parabolic trajectory passing through M0 (l, n). A.2. Parabolic trajectories of the e-action. More generally, let V = M l≤0, n∈Z Vl,n be a bigraded E(r)-representation as in § 7. We can similarly visualize V by placing each Z-module Vl,n at the lattice point on the affine (n, −l)-plane, as in [PITH_FULL_IMAGE:figures/full_fig_p030_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: Visualization for a bounded bigraded E(r)- representation V in the case r = 2. Each Z-module Vl,n is placed at the lattice point (n, −l). Points with l ≡ 0 (mod 2) are shown in red, and those with l ≡ 1 (mod 2) in blue. The region of potentially nonzero Vl,n is foliated by parabolic trajectories O(l, n) with l ∈ {−1, 0} (and n ≥ n0 in the geometric situation Vl,n = H ∗ (M0 (l, n))). Parabolic trajectories … view at source ↗

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

47 extracted references · 5 linked inside Pith

  1. [1]

    Liouville correlation functions from four- dimensional gauge theories.Letters in Mathematical Physics, 91(2):167–197, Feb 2010

    Alday, Luis; Gaiotto, Davide; and Tachikawa, Yuji. Liouville correlation functions from four- dimensional gauge theories.Letters in Mathematical Physics, 91(2):167–197, Feb 2010

    2010

  2. [2]

    Coupling of two conformal field theories and Nakajima–Yoshioka blow-up equations.Letters in Mathematical Physics, 106(1):29–56, 2016

    Bershtein, Mikhail; Feigin, Boris; Litvinov, Alexei. Coupling of two conformal field theories and Nakajima–Yoshioka blow-up equations.Letters in Mathematical Physics, 106(1):29–56, 2016

    2016

  3. [3]

    Instanton moduli spaces and W-algebras.Asterisque, (385):1–128, 2016

    Braverman, Alexander; Finkelberg, Michael; Nakajima, Hiraku. Instanton moduli spaces and W-algebras.Asterisque, (385):1–128, 2016

    2016

  4. [4]

    The Mukai pairing

    Caldararu, Andrei; Willerton, Simon. The Mukai pairing. I. A categorical approach.New York J. Math.16 (2010), 61–98

    2010

  5. [5]

    Conformal field theory.Springer Science & Business Media, 2012

    Di Francesco, Philippe; Mathieu, Pierre; S´ en´ echal, David. Conformal field theory.Springer Science & Business Media, 2012

    2012

  6. [6]

    Two constructions of affine Lie algebra representations and Boson-Fermion correspondence in quantum field theory.Journal of Functional Analysis, 44(3):259–327, 1981

    Frenkel, Igor. Two constructions of affine Lie algebra representations and Boson-Fermion correspondence in quantum field theory.Journal of Functional Analysis, 44(3):259–327, 1981

    1981

  7. [7]

    A Study in Derived Algebraic Geometry

    Gaitsgory, Dennis; Rozenblyum, Nick. A Study in Derived Algebraic Geometry. Vol. I: Corre- spondences and Duality.Mathematical Surveys and Monographs, vol. 221, American Math- ematical Society, Providence, RI,2017

    2017

  8. [8]

    Algebraic geometry I: schemes

    G¨ ortz, Ulrich; Wedhorn, Torsten. Algebraic geometry I: schemes. Springer,2020

    2020

  9. [9]

    Instantons and affine algebras I: The Hilbert scheme and vertex operators

    Grojnowski, Ian. Instantons and affine algebras I: The Hilbert scheme and vertex operators. Mathematical Research Letters, 3(2):275–291, 1996

    1996

  10. [10]

    Fourier-Mukai transforms in algebraic geometry.Oxford University Press, 2006

    Huybrechts, Daniel. Fourier-Mukai transforms in algebraic geometry.Oxford University Press, 2006

    2006

  11. [11]

    Cambridge Mathematical Library

    Huybrechts, Daniel; Lehn, Manfred.The geometry of moduli spaces of sheaves. Cambridge Mathematical Library. Cambridge University Press, second edition, 2010

    2010

  12. [12]

    Derived Grassmannians and derived Schur functors.arXiv preprint arXiv:2212.10488, 2022

    Jiang, Qingyuan. Derived Grassmannians and derived Schur functors.arXiv preprint arXiv:2212.10488, 2022

    Pith/arXiv arXiv 2022

  13. [13]

    Derived categories of derived Grassmannians.arXiv preprint arXiv:2307.02456, 2023

    Jiang, Qingyuan. Derived categories of derived Grassmannians.arXiv preprint arXiv:2307.02456, 2023

    Pith/arXiv arXiv 2023

  14. [14]

    On the Chow theory of Quot schemes of locally free quotients.Journal of Pure and Applied Algebra, 229(1):107782, 2025

    Jiang, Qingyuan. On the Chow theory of Quot schemes of locally free quotients.Journal of Pure and Applied Algebra, 229(1):107782, 2025

    2025

  15. [15]

    K-theory and G-theory of derived algebraic stacks.Japanese Journal of Math- ematics,17.1: 1-61, 2022

    Khan, Adeel. K-theory and G-theory of derived algebraic stacks.Japanese Journal of Math- ematics,17.1: 1-61, 2022

    2022

  16. [16]

    Moduli of vector bundles and numbers of classes.Funct Anal Its Appl 25, 67–69, 1991

    Klyachko, Alexander. Moduli of vector bundles and numbers of classes.Funct Anal Its Appl 25, 67–69, 1991

    1991

  17. [17]

    Categorical blow-up formula for Hilbert schemes of points.arXiv preprint arXiv:2110.08315, 2021

    Koseki, Naoki. Categorical blow-up formula for Hilbert schemes of points.arXiv preprint arXiv:2110.08315, 2021

    Pith/arXiv arXiv 2021

  18. [18]

    A blowup formula for virtual enumerative invariants on pro- jective surfaces.arXiv preprint arXiv:2107.08155, 2021

    Kuhn, Nikolas; Tanaka, Yuuji. A blowup formula for virtual enumerative invariants on pro- jective surfaces.arXiv preprint arXiv:2107.08155, 2021. INSTANTONS ON THE BLOWN-UP SURF ACE AND THE AFFINE VERTEX ALGEBRA 33

    Pith/arXiv arXiv 2021

  19. [19]

    Chern classes of tautological sheaves on Hilbert schemes of points on surfaces

    Lehn, Manfred. Chern classes of tautological sheaves on Hilbert schemes of points on surfaces. Invent math136, 157–207, 1999

    1999

  20. [20]

    On blowup formulae for the S-duality conjecture of Vafa and Witten II: The universal functions.Mathematical Research Letters, 5:439–453, 1998

    Li, Wei-Ping; Qin, Zhenbo. On blowup formulae for the S-duality conjecture of Vafa and Witten II: The universal functions.Mathematical Research Letters, 5:439–453, 1998

    1998

  21. [21]

    On blowup formulae for the S-duality conjecture of Vafa and Witten.Inventiones mathematicae, 136(2):451–482, Apr 1999

    Li, Wei-Ping; Qin, Zhenbo. On blowup formulae for the S-duality conjecture of Vafa and Witten.Inventiones mathematicae, 136(2):451–482, Apr 1999

    1999

  22. [22]

    Hilbert schemes and W-algebras,International Mathematics Research Notices, Volume 2002, Issue 27, Pages 1427–1456, 2002

    Li, Wei-Ping; Qin, Zhenbo; Wang, Weiqiang. Hilbert schemes and W-algebras,International Mathematics Research Notices, Volume 2002, Issue 27, Pages 1427–1456, 2002

    2002

  23. [23]

    Higher algebra

    Lurie, Jacob. Higher algebra. September 2017. Available online athttps://www.math.ias. edu/~lurie/

    2017

  24. [24]

    Spectral algebraic geometry

    Lurie, Jacob. Spectral algebraic geometry. February 2018. Available online athttps://www. math.ias.edu/~lurie/

    2018

  25. [25]

    Correspondences, motifs and monoidal transformations.Mathematics of the USSR-Sbornik, 6(4):439, 1968

    Manin, Yuri. Correspondences, motifs and monoidal transformations.Mathematics of the USSR-Sbornik, 6(4):439, 1968

    1968

  26. [26]

    Quantum groups and quantum cohomology.Ast´ erisque, (408):ix+209, 2019

    Maulik, Davesh; Okounkov, Andrei. Quantum groups and quantum cohomology.Ast´ erisque, (408):ix+209, 2019

    2019

  27. [27]

    Finite groups of automorphisms of K3 surfaces and the Mathieur group

    Mukai, Shigeru. Finite groups of automorphisms of K3 surfaces and the Mathieur group. Invent Math94, 183–221, 1988

    1988

  28. [28]

    Instantons on ALE spaces, quiver varieties, and Kac-Moody algebras

    Nakajima, Hiraku. Instantons on ALE spaces, quiver varieties, and Kac-Moody algebras. Duke Mathematical Journal, 76(2):365 – 416, 1994

    1994

  29. [29]

    Heisenberg algebra and Hilbert schemes of points on projective surfaces

    Nakajima, Hiraku. Heisenberg algebra and Hilbert schemes of points on projective surfaces. Annals of mathematics, 145(2):379–388, 1997

    1997

  30. [30]

    Quiver varieties and Kac-Moody algebras.Duke Mathematical Journal, 91(3):515 – 560, 1998

    Nakajima, Hiraku. Quiver varieties and Kac-Moody algebras.Duke Mathematical Journal, 91(3):515 – 560, 1998

    1998

  31. [31]

    Nakajima, Hiraku.Lectures on Hilbert schemes of points on surfaces, volume 18 ofUniversity Lecture Series. 1999

    1999

  32. [32]

    Moduli of sheaves on blown-up surfaces (proceedings of the workshop” algebraic geometry and integrable systems related to string theory”).RIMS Kokyuroku, 1232:29–33, 2001

    Nakajima, Hiraku. Moduli of sheaves on blown-up surfaces (proceedings of the workshop” algebraic geometry and integrable systems related to string theory”).RIMS Kokyuroku, 1232:29–33, 2001

    2001

  33. [33]

    Quiver varieties and finite dimensional representations of quantum affine algebras.Journal of the American Mathematical Society, 14(1):145–238, 2001

    Nakajima, Hiraku. Quiver varieties and finite dimensional representations of quantum affine algebras.Journal of the American Mathematical Society, 14(1):145–238, 2001

    2001

  34. [34]

    Lectures on instanton counting.arXiv preprint math/0311058, 2003

    Nakajima, Hiraku; Yoshioka, Kota. Lectures on instanton counting.arXiv preprint math/0311058, 2003

    Pith/arXiv arXiv 2003

  35. [35]

    Instanton counting on blowup

    Nakajima, Hiraku.; Yoshioka, K. Instanton counting on blowup. I. 4-dimensional pure gauge theory.Invent. math.162, 313–355, 2005

    2005

  36. [36]

    Perverse coherent sheaves on blow-up

    Nakajima, Hiraku; Yoshioka, Kota. Perverse coherent sheaves on blow-up. II. wall-crossing and Betti numbers formula.Journal of Algebraic Geometry, 20(1):47–100, 2010

    2010

  37. [37]

    Moduli of stable rank two bundles with amplec 1 on K3 surfaces.Arch

    Nakashima, Tohru. Moduli of stable rank two bundles with amplec 1 on K3 surfaces.Arch. Math61, 100–104, 1993

    1993

  38. [38]

    Hecke correspondences for smooth moduli spaces of sheaves.Publications Math´ ematiques

    Negut ¸, Andrei. Hecke correspondences for smooth moduli spaces of sheaves.Publications Math´ ematiques. Institut de Hautes´Etudes Scientifiques, 135(1):337–418, 2022

    2022

  39. [39]

    Moduli of simple rank-2 sheaves on K3-surfaces.Manuscripta Math79, 253–265, 1993

    Qin, Zhenbo. Moduli of simple rank-2 sheaves on K3-surfaces.Manuscripta Math79, 253–265, 1993

    1993

  40. [40]

    Cherednik algebras, W-algebras and the equivariant co- homology of the moduli space of instantons onA 2.Publications Math´ ematiques

    Schiffmann, Olivier; Vasserot, Eric. Cherednik algebras, W-algebras and the equivariant co- homology of the moduli space of instantons onA 2.Publications Math´ ematiques. Institut de Hautes ´Etudes Scientifiques, 118:213–342, 2013

    2013

  41. [41]

    Morita theory in abelian, derived and stable model categories.Structured ring spectra315 (2004): 33-86

    Schwede, Stefan. Morita theory in abelian, derived and stable model categories.Structured ring spectra315 (2004): 33-86

    2004

  42. [42]

    Derived categories of Quot schemes of locally free quotients via categorified Hall products.Math

    Toda, Yukinobu. Derived categories of Quot schemes of locally free quotients via categorified Hall products.Math. Res. Lett., 30(1):239-265, 2023

    2023

  43. [43]

    A strong coupling test of S-duality.Nuclear Physics B, Volume 431, Issues 1–2, 3-77, 1994

    Vafa, Cumrun; Witten, Edward. A strong coupling test of S-duality.Nuclear Physics B, Volume 431, Issues 1–2, 3-77, 1994

    1994

  44. [44]

    Quiver varieties and Yangians.Letters in Mathematical Physics53, 273–283, 2000

    Varagnolo, Michela. Quiver varieties and Yangians.Letters in Mathematical Physics53, 273–283, 2000

    2000

  45. [45]

    The Betti numbers of the moduli space of stable sheaves of rank 2 on a ruled surface.Mathematische Annalen, 302(3):519–540, 1995

    Yoshioka, Kota. The Betti numbers of the moduli space of stable sheaves of rank 2 on a ruled surface.Mathematische Annalen, 302(3):519–540, 1995

    1995

  46. [46]

    Chamber structure of polarizations and the moduli of stable sheaves on a ruled surface.Internat

    Yoshioka, Kota. Chamber structure of polarizations and the moduli of stable sheaves on a ruled surface.Internat. J. Math,7no. 3, 411-431, 1996. 34 QINGYUAN JIANG, WEI-PING LI, AND YU ZHAO

    1996

  47. [47]

    The degeneracy loci for smooth moduli of sheaves.arXiv preprint arXiv:2408.14021, 2024

    Zhao, Yu. The degeneracy loci for smooth moduli of sheaves.arXiv preprint arXiv:2408.14021, 2024. Department of Mathematics, The Hong Kong University of Science and Technology, Clearwater Bay, Kowloon, Hong Kong. Email address:jiangqy@ust.hk Department of Mathematics, The Hong Kong University of Science and Technology, Clearwater Bay, Kowloon, Hong Kong. ...

    arXiv 2024