Pith. sign in

REVIEW 4 major objections 4 minor 102 references

The paper proves motivic superpolynomials of plane curve singularities equal instanton sums over Quot-stacks with conductor, and conjectures these sums compute triply graded homology of the associated knots.

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 →

T0 review · deepseek-v4-flash

2026-08-01 01:49 UTC pith:DSU2ARDN

load-bearing objection A serious program paper that proves a real bridge between motivic superpolynomials and instanton sums, but the advertised knot-theoretic payoff depends on identifications the paper itself leaves unproven. the 4 major comments →

arxiv 2607.25666 v1 pith:DSU2ARDN submitted 2026-07-28 math.AG math.QA

Instanton slices and their superpolynomials

classification math.AG math.QA MSC 14H5017B2217B4520C0820F3633D5230F1055N10
keywords instanton slicessuperpolynomialsplane curve singularitiesdouble affine Hecke algebrassuperdualityQuot-stacksCoxeter knotsGrobner cells
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.

The paper tries to show that two seemingly unrelated counting problems—motivic superpolynomials of plane curve singularities and Nekrasov-type instanton sums over Quot-stacks—are the same object. Theorem 5.1 states the equality for any rank n after a simple change of variables, with the conductor of the singularity lifted to F[[x,y]]. Because instanton slices are far broader than compactified Jacobians, the equality imports singularity machinery into a wider setting and gives a motivic interpretation for superpolynomials of non-algebraic knots. The paper further conjectures that its new DAHA superpolynomials, built from Young-diagram words, match these instanton sums exactly when a superduality condition holds, and that for the associated knots these polynomials compute reduced triply graded link homology. If the conjectures hold, hyperbolic knot invariants like those of K12n242 are point counts of stacks over finite fields.

Core claim

The central discovery is the identity H^mot_R(q,t,a;n) = q^{δn²} t^{δn} H^inst_C(q, 1/(tq^n), a;n), where R is an irreducible plane curve singularity, δ its Serre number, c its conductor, C⊂A=F[[x,y]] the preimage of c, and H^inst_C sums t^{deg M}(1+aq^n)...(1+aq^{ϱ(M)-1}) over finite-codimension submodules M⊂A^n containing C. On the author's terms, motivic superpolynomials of curve singularities are exactly the instanton sums with conductor; this is the base of the paper's unification. For multibranch singularities the same reduction holds with weights. The conjectural half is that for monomial conductors I_λ, the instanton sum is superdual exactly when it coincides with the DAHA coinvarian

What carries the argument

The load-bearing object is the instanton slice S^n_C={M⊂A^n | C⊂M} for A=F[[x,y]], equipped with the weighted point count H^inst_C; taking C to be the lift of a plane curve singularity's conductor turns this stack into a quotient-counting model for the motivic superpolynomial. The second engine is the DAHA coinvariant polynomial H^daha_λ={W_λ X_{ω_m}}, where W_λ is the X/Y word read off the border of a Young diagram λ; this one-line definition replaces plethystic formulas and, conjecturally, equals H^inst for monomial I_λ under superduality. Gröbner cells decompose the instanton slices and supply the q-polynomial point counts, with the two-row case classified: for λ=(b,a) superduality of H_λ

Load-bearing premise

The load-bearing premise is that the algebraically defined polynomials H^daha_λ compute the reduced triply graded homology of the associated knots—the paper itself sets this beyond its scope—so the advertised motivic interpretation of hyperbolic-knot superpolynomials depends on that identification, not on Theorem 5.1 alone.

What would settle it

Compute the reduced triply graded homology of the knot associated with the two-row diagram (3,2) (the knot K12n242) and compare with H^daha_{(3,2)} after the paper's q,t,a substitutions; any mismatch refutes the central conjecture. As a cheaper check, calculate H^inst_{(2,2)}: the two-row theorem predicts it is not superdual, so detecting superduality there would falsify the classification on which the conjecture rests.

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

If this is right

  • For any irreducible plane curve singularity, motivic superpolynomials at all ranks n are determined by the conductor lift; no further analytic data is needed.
  • Non-algebraic cables and hyperbolic knots (e.g., K12n242, K12n725) acquire stacks whose F_q-point counts give their superpolynomials, provided the connection conjecture holds.
  • The two-row classification gives a complete necessary-and-sufficient superduality criterion for rank-one instanton sums with monomial conductor: b≥2a−1.
  • The inductive limit of motivic superpolynomials as r→∞ yields closed product formulas for free instanton sums in any rank (Conjecture 5.5).
  • Conductors of algebraic cables are monomial only for p=1 or υ=1; all other algebraic 2-cables give non-monomial conductors, so the monomial instanton theory is strictly richer.

Where Pith is reading between the lines

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

  • If the connection conjecture is correct, the Volume Conjecture for these hyperbolic knots becomes a statement about asymptotic point counts of F_{p^m}-points of fixed stacks—an arithmetic-geometry reformulation the paper gestures at.
  • The superduality condition on Young diagrams may be the right combinatorial notion of ‘perfect conductor’ independent of singularity theory; diagrams that fail it still define superpolynomials, but they are not knot invariants in the conjectured sense.
  • The examples where superdual instanton sums match no tabulated HOMFLY polynomial suggest that some of these stacks may correspond to hyperbolic manifolds rather than knots; the paper leaves this as an explicit open direction.
  • Theorem 5.1 plus the multibranch weighted formula suggests a way to define ‘instanton L-functions’ for surface singularities, even though no classical analogue is known for instanton sums; this is an extension not pursued here.

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 / 4 minor

Summary. The paper introduces instanton slices S^n_C = {M ⊂ A^n : C ⊂ M} for A = F[[x,y]] and defines their superpolynomials H^inst_C(q,t,a;n) as weighted counts of F_q-points. The main structural theorem (Thm 5.1) equates, up to variables, the motivic superpolynomials H^mot_R of an irreducible plane curve singularity with H^inst_C for C the lift of the conductor; a multibranch version is also stated. The paper then defines new DAHA superpolynomials H^daha_λ via words W_λ in X,Y and the DAHA coinvariant, proves a transposition symmetry (Thm 3.5), and conjectures H^inst_{I_λ} = H^daha_λ and eventually reduced Khovanov–Rozansky homology of Coxeter knots K_λ. Sections 6–7 contain detailed computations for two-row and hook diagrams, and use them to propose superduality criteria and to match examples including K12n242 and K12n725.

Significance. The paper's strongest asset is Theorem 5.1, a clean reduction of motivic superpolynomials to instanton sums; if correct it provides a uniform stack-theoretic interpretation for compactified Jacobians and arbitrary ranks. The DAHA word construction is elegant, and Theorem 3.5 (λ ↔ λ^tr) is a real, checkable result. Theorem 6.3 gives explicit dimensions of Gröbner cells and a sufficiency proof for two-row superduality, backed by substantial computation. These are concrete contributions regardless of the topological conjectures. The advertised hyperbolic-knot interpretation is at present a long conditional chain; its value depends on conjectures explicitly left unproved. Thus the paper is a rich research announcement/program with several proven pillars rather than a complete proof of its headline claims.

major comments (4)
  1. [§5.1, Conjecture 5.2(i)] Equations (5.3)–(5.4) are derived by combining Theorem 5.1 with Conjecture 9.1 of [Ch9], as the text confirms in the 'complete deduction'. Since [Ch9, Conj. 9.1] is an unproved conjecture by the author, Conjecture 5.2(i) is not a consequence of Theorem 5.1; it inherits a conjectural input. The subsequent statements about K12n242 and K12n725 depend on this chain. Please state explicitly which parts are proven and which are conditional, and avoid presenting the deduction as a proof.
  2. [§3.4, Conjecture 3.6(ii)] The paper's headline motivic interpretation for hyperbolic knots requires H^daha_λ = reduced Khovanov–Rozansky homology of K_λ. Conjecture 3.6(ii) states this, and the text says 'The relation to reduced Khovanov-Rozansky polynomials is beyond this paper.' Moreover the identification with EHA superpolynomials is also conjectural (§3.4). Therefore the abstract's claim of a 'motivic interpretation ... of superpolynomials for hyperbolic knots K12n242 and K12n725' is a conjecture about a conjecture, not an established result. If the KhR bridge fails, the internal instanton theory survives, but the topological meaning is lost. This should be reframed or established.
  3. [§6.2, Theorem 6.3(iii)] Part (iii) states that for two-row λ=(b,a), H_λ is δ-superdual iff b ≥ 2a−1. The sufficiency direction is argued by induction, but the proof of necessity is explicitly omitted: 'The same calculation gives that it is necessary. We will omit this.' Since 'iff' is a central classification claim (and used to identify admissible diagrams in Conjecture 5.2(ii)), the necessity half must be supplied or the statement downgraded to a one-sided implication with the converse left as a conjecture.
  4. [§5.4, Conjecture 5.5] Formula (5.10) for free instanton sums H^inst_{≤ℓ} is introduced as a conjecture, and the surrounding text says the justification is 'a draft' and 'work in progress' and 'we omit the details'. Yet the abstract claims 'New formulas for instanton sums in any ranks are obtained'. This is an overstatement. The formula is also used as the basis for later limits; please either give a complete proof or explicitly label it as a conjecture and remove it from the list of results.
minor comments (4)
  1. [§6.4] The text says 'Recall that Theorem 5.7 combined with the Coincidence Conjectures...' but there is no Theorem 5.7; presumably Theorem 5.1 or 5.2 is meant.
  2. [§2.3] The phrase 'the anti-involution3' appears to be a typo for the anti-involution φ or a numbered formula. Similar typos include 'instanton slides' (§1.3), 'Concerting H^daha' (§6.3), and repeated 'plain curve singularities' for 'plane curve singularities'.
  3. [§5.1, Theorem 5.1(ii)] The multibranch statement is a weighted-sum identity rather than a direct equality of the same form as (i); the weights w_I are imported from (4.6) but the passage from multibranch weights to unibranch lifts is terse. Please spell out the notation and the exact domain of summation.
  4. [§7.2] The 'H-inst recalculated to the H-form' terminology is used repeatedly; since a reader may confuse H^inst, H^inst, and H^daha, it would help to define this conversion once in a displayed equation with a name.

Circularity Check

1 steps flagged

Theorem 5.1 is a genuine bridge; the advertised hyperbolic-knot interpretation is conditional on the author's own unproven Conjecture 9.1 and on a KhR/DAHA identification declared beyond the paper.

specific steps
  1. self citation load bearing [Section 5.1, Conjecture 5.2(i), eqs. (5.3)-(5.4)]
    "Part (i) of the following conjecture is based on the Coincidence Conjecture 9.1 from [Ch9] restricted to irreducible R and, correspondingly, to algebraic knots. ... Combining Conjecture 9.1 from [Ch9] with formula (5.2) above: Hdaha K (q, t,a;ω n ) =H inst C (t−1, qtn ),a;n)"

    Conjecture 5.2(i) is explicitly obtained by splicing Theorem 5.1 together with [Ch9, Conj. 9.1], an unproven conjecture of the same author. After the variable change q,t -> t^{-1}, q t^n, equation (5.3) is exactly that prior conjecture restated in instanton variables; no new evidence is added. Since the hyperbolic-knot motivic interpretation feeds through this identification, the central advertised conclusion is load-bearing on the author's own earlier conjecture rather than on Theorem 5.1 itself. This is not a definitional identity, but it is a self-citation chain substituting for derivation.

full rationale

The derivation of Theorem 5.1 from the reduction formulas (4.4)/(4.6) is internal and non-circular: H_mot is a sum over standard R-modules and H_inst is a sum over A-submodules containing C, with the reciprocity map supplying the bijection. The same holds for Theorem 5.3 and the Grobner-cell calculations. The circularity is confined to the bridge linking the motivic/instanton side to DAHA/EHA/KhR. The paper itself marks the KhR identification as 'The relation to reduced Khovanov-Rozansky polynomials is beyond this paper' and the EHA coincidence as conjectural ('Conjecturally, our H daha λ ... coincide with the EHA superpolynomials'); Conjecture 5.2(i) is derived from [Ch9, Conj. 9.1]. Thus the abstract's 'motivic interpretation ... for hyperbolic knots' is conditional on a chain of the author's own conjectures. That is a correctness risk and a self-citation load-bearing step, not a formal by-construction circularity in Theorem 5.1. Score 4 reflects partial circularity: the central theorem is independent, but the headline application inherits an unproven same-author conjecture.

Axiom & Free-Parameter Ledger

2 free parameters · 7 axioms · 2 invented entities

No constants are fitted to data in the usual sense; the ledger entries are framework choices (valuation shifts, vanishing Nekrasov parameters), imported background theorems, and — critically — two conjectures from the author's own program ([Ch9] Conjecture 9.1; the EHA coincidence) plus the conjectural KhR identification. The point-counting results are honestly derived from explicit sums, but the advertised knot-theoretic reach is conditional on imports the paper does not prove and, for the KhR bridge, explicitly hands to future work.

free parameters (2)
  • Valuation shifts ν_i for rank n ≥ 2 = 0 = ν_1 < ν_2 < ... < ν_n < 1, any real numbers with non-integral differences
    Section 4.2: gap sets, degrees, and hence the rank-n superpolynomials depend on this choice; the paper acknowledges 'Different choices of (ν_i) result in wall crossing.' The choice affects the counting, so it is a hand-chosen parameter rather than a predicted value.
  • Nekrasov parameters a_1,...,a_{n-1} = 0
    Section 1.1: 'Nekrasov's parameters a_1,···, a_{n-1} vanish in our setting.' The rank-n theory is restricted to the diagonal of the instanton moduli, killing the off-diagonal Coulomb parameters; this restriction is essential to the simplicity of the formulas.
axioms (7)
  • standard math PBW theorem for DAHA (Theorem 2.2) and the theory of non-symmetric Macdonald polynomials
    Sections 2.2–2.4: imported from [Ch1, Ch4]; underpins the polynomial representation, the coinvariant, and hence every DAHA superpolynomial in the paper.
  • standard math a-stabilization of DAHA-Jones polynomials (Lemma 4.4 of [SV]; [GN]; [ChD1])
    Section 3.3: the very existence of superpolynomials H from the J^{A_m} family depends on this stabilization theorem, cited from prior work rather than proven here.
  • domain assumption Auslander–Buchsbaum gives ρ(M) = ρ(M✱) for plane curve singularities
    Section 4.1: needed for the reduction formula (4.4) and hence Theorem 5.1. The paper notes it fails for general Gorenstein rings (the example F[[z⁴,z⁵,z⁶]]), so it is a genuine domain restriction.
  • domain assumption No primes of bad reduction for any algebraic knot
    Section 4.1: passage from C to F_q within a fixed topological type requires irreducible reduction with unchanged semigroup Γ; the paper states 'It is expected that there are no primes p of bad reduction for any algebraic knots.' If false, some F_q comparisons fail.
  • ad hoc to paper Conjecture 9.1 of [Ch9]: H^daha = H^mot for algebraic links
    Section 5.1, Conjecture 5.2(i): 'Combining Conjecture 9.1 from [Ch9] with formula (5.2)'. A prior unproven conjecture by the same author is the load-bearing input for the new coincidence conjecture; the headline claims inherit its validity.
  • ad hoc to paper H^daha_λ (n=1) coincides with EHA superpolynomials of Galashin–Lam [GL2]
    Sections 1.1, 3.4: 'Conjecturally, our H^daha_λ for X₁ = X_{ω₁} and when n=1 coincide with the EHA superpolynomials for any λ.' Used as evidence for superduality and for the knot-theoretic interpretation.
  • ad hoc to paper H^daha_λ equals reduced Khovanov–Rozansky homology of the Coxeter knot K_λ
    Conjecture 3.6(ii) and Section 1.3: 'expected to coincide with the reduced Khovanov-Rozansky polynomials… beyond this paper.' This is the bridge that turns the algebraic polynomials into genuine knot invariants; it is the weakest assumption.
invented entities (2)
  • Instanton slices S^n_C = {M ⊂ A^n : C ⊂ M} (Quot-stacks with conductors) independent evidence
    purpose: A wide generalization of compactified Jacobians whose point counts define the instanton superpolynomials H^inst_C
    For C the lift of a conductor, H^inst equals H^mot by the paper's own Theorem 5.1 (internal consistency). For C = I_λ the resulting polynomials have HOMFLY-PT reductions compared against a 2.5M-entry public knot table — a falsifiable external handle — and the paper even exhibits a superdual H with no matching knot (Section 7.2), a negative test.
  • DAHA superpolynomials of new type H^daha_λ = {W_λ[m] X_{ω_m}} (Definition 3.3) independent evidence
    purpose: One-line coinvariant construction parallel to EHA superpolynomials; conjecturally equals H^inst and reduced KhR homology for Coxeter knots
    Matches EHA superpolynomials in all compared cases (via Galashin's formulas), reproduces original DAHA superpolynomials for torus knots (Theorem 3.4), and passes the transposition test (Theorem 3.5). The Khovanov–Rozansky identification is conjectural, so the evidence is real but incomplete.

pith-pipeline@v1.3.0-alltime-deepseek · 69894 in / 19265 out tokens · 195905 ms · 2026-08-01T01:49:20.086219+00:00 · methodology

0 comments
read the original abstract

The key theorem is a connection between motivic superpolynomials of plane curve singularities in any ranks with superpolynomials of the corresponding instanton slices, Nekrasov-type instanton sums with conductors. In this case, instanton slices are related to compactified Jacobians, but they form a much wider class and, generally, have no connection to plane curve singularities. Moreover, they can be defined for any isolated surface singularities, but we focus on $(0,0)\in \mathbb{A}^2$ in this paper. This development is expected to impact theory of affine Springer fibers (at least, in type $A$), and related fields. For instance, we obtain a motivic interpretation (counting $\mathbb{F}_q$-points of some stacks) of superpolynomials for hyperbolic knots K12n242 and K12n725, among many other non-algebraic knots. New formulas for instanton sums in any ranks are obtained using that they are inductive limits of superpolynomials of proper families of plane curve singularities. Generally, the conductors are arbitrary ideals in $\mathbb{F}_q[[x,y]]$ provided the superduality of the corresponding superpolynomials. An important direction of this paper is when they are monomial. We conjecture that the corresponding instanton superpolynomials, if they are superdual, coincide with the DAHA superpolynomials of new type, parallel to the EHA-superpolynomials due to Galashin-Lam. They are expected to coincide with the reduced Khovanov-Rozansky polynomials of the corresponding Coxeter knots. The hyperbolic knots above are the simplest non-algebraic examples.

Figures

Figures reproduced from arXiv: 2607.25666 by Ivan Cherednik.

Figure 1
Figure 1. Figure 1: λ = {3, 3, 2, 1} Gµ( C) def == {I | C ⊂ I, I 0 = Iµ}, G (r) µ ( C) = {I ∈ Gµ( C) | ϱ(I) = r}. For monomial C = Iλ, the notation will be Gµ⊂λ and G (r) µ⊂λ . For λ = (3, 3, 2, 1) as above, the cell Gµ⊂λ is not an affine space only for one µ = (3, 2, 1), when |Gµ⊂λ| = 2q 2 − q. It is a union of two A 2 intersected at A 1 . Thus, if a = 0 (disregarding ϱ-ranks), we need only to know the dimensions of the rema… 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

102 extracted references · 18 linked inside Pith

  1. [1]

    Aganagic , and S

    M. Aganagic , and S. Shakirov , Knot homology from refined Chern-Simons theory , Communications in Mathematical Physics, 333 :1 (2015), 187--228

  2. [2]

    Bayer , Semigroup of two irreducible algebroid plane curves , Manu\-scripta Math

    V. Bayer , Semigroup of two irreducible algebroid plane curves , Manu\-scripta Math. 39 (1985), 207--241

  3. [3]

    Blasiak , and M

    J. Blasiak , and M. Haiman , and J. Morse , and A. Pun , and G.H. Seelinger , A Shuffle Theorem for Paths Under Any Line , Forum Math. Pi 11 (2023), Paper No. e5, 1--40

  4. [4]

    Bourbaki , Groupes et alg\`ebres de Lie , Ch

    N. Bourbaki , Groupes et alg\`ebres de Lie , Ch. 4--6 , Hermann, Paris (1969)

  5. [5]

    Carlsson , and E

    E. Carlsson , and E. Gorsky , and A. Mellit , The algebra A_ q,t and parabolic flag Hilbert schemes , Math. Ann. 376 (2020), 1303--1336

  6. [6]

    Carlsson , and A

    E. Carlsson , and A. Mellit , A proof of the shuffle conjecture , JAMS 31 :3 (2018), 661--697

  7. [7]

    Chaudouard , Geometry of the fundamental lemma , in Automorphic Forms and Galois Representations, London Mathematical Society

    P.-H. Chaudouard , Geometry of the fundamental lemma , in Automorphic Forms and Galois Representations, London Mathematical Society. Lecture Note Series 414 (2014), 188--220

  8. [8]

    Cherednik , Double affine Hecke algebras , London Mathematical Society Lecture Note Series, 319 , Cambridge University Press, Cambridge, 2006

    I. Cherednik , Double affine Hecke algebras , London Mathematical Society Lecture Note Series, 319 , Cambridge University Press, Cambridge, 2006

  9. [9]

    , Jones polynomials of torus knots via DAHA , Int. Math. Res. Notices, 2013 :23 (2013), 5366--5425

  10. [10]

    , DAHA-Jones polynomials of torus knots , Selecta Mathematica, 22 :2 (2016), 1013--1053

  11. [11]

    122 (1995), 119--145

    , Macdonald's evaluation con\-jec\-tures and dif\-fe\-rence Fou\-rier tran\-sform , Inventiones Math. 122 (1995), 119--145

  12. [12]

    , Nonsemisimple Macdonald polynomials , Selecta Mathematica 14 : 3-4 (2009), 427--569

  13. [13]

    , Nonsymmetric Macdonald polynomials , IMRN 10 (1995), 483--515

  14. [14]

    , Intertwining operators of double affine Hecke algebras , Se\-lec\-ta Math. New ser. 3 (1997), 459--495

  15. [15]

    , Difference Macdonald-Mehta conjecture , IMRN 10 (1997), 449--467

  16. [16]

    , Riemann Hypothesis for DAHA superpolynomials and plane curve singularities , CNTP 12 :3 (2018), 409--490

  17. [17]

    , Gr\"obner cells of punctual Hilbert schemes in dimension two , Journal of Algebra 597 :1 (2022), 205--240

  18. [18]

    A Mathematical Tribute to Yuri Manin", Simons Simposia, Springer, 23--77, 2024

    , Zeta-polynomials, superpolynomials, DAHA and plane curve singularities , in ``Arithmetic and Algebraic Geometry. A Mathematical Tribute to Yuri Manin", Simons Simposia, Springer, 23--77, 2024

  19. [19]

    A new interpretation of Gelfand-Tzetlin bases , Duke Math. J. 54 :2 (1986), 563--577

  20. [20]

    , Superpolunomials of algebraic links , Quarterly Journal of Mathematics, 76 :3 (2025), 883--944

  21. [21]

    , Combinatorics, Modeling, Elementary Number Theory , World Scientific, 2023

  22. [22]

    Danilenko , DAHA and iterated torus knots , Algebraic & Geometric Topology 16 (2016), 843--898

    , and I. Danilenko , DAHA and iterated torus knots , Algebraic & Geometric Topology 16 (2016), 843--898

  23. [23]

    , and , DAHA approach to iterated torus links , Categorification in Geometry, Topology, and Physics (eds. A. Beliakova, A. Lauda), Contemporary Mathematics 684 , 159--267 (2017)

  24. [24]

    Ma , Spherical and Whittaker functions via DAHA I , Selecta Mathematica (N.S.), 19 (2013), 737--817

    , and X. Ma , Spherical and Whittaker functions via DAHA I , Selecta Mathematica (N.S.), 19 (2013), 737--817

  25. [25]

    Elliot , Refined composite invariants of torus knots via DAHA , Annales de la Facul\-t\' e des sciences de Tou\-louse: Math\' e\-matiques 25 : 2-3 (2016), 229--267

    , and R. Elliot , Refined composite invariants of torus knots via DAHA , Annales de la Facul\-t\' e des sciences de Tou\-louse: Math\' e\-matiques 25 : 2-3 (2016), 229--267

  26. [26]

    Philipp , DAHA and plane curve singularities , Algebraic & Geometric Topology 18 (2018), 333--385

    , and I. Philipp , DAHA and plane curve singularities , Algebraic & Geometric Topology 18 (2018), 333--385

  27. [27]

    Philipp, 87 pgs, Journal of Algebra 520 , 186--236 (2019)

    , and , Modules over plane curve singularities in any ranks and DAHA , with I. Philipp, 87 pgs, Journal of Algebra 520 , 186--236 (2019)

  28. [28]

    Deligne , La conjecture de Weil I , Pub

    P. Deligne , La conjecture de Weil I , Pub. Math. I.H.E.S 43 (1974), 273--307

  29. [29]

    , La conjecture de Weil II , Pub. Math. I.H.E.S 52 (1980), 137--252

  30. [30]

    Deligne , and B

    P. Deligne , and B. Gross , On the exceptional series, and its descendants , Comptes Rendus Acad. Sci. Paris, Ser I, 335 (2002), 877--881

  31. [31]

    Drinfeld , On algebraic spaces with an action of G_m

    V. Drinfeld , On algebraic spaces with an action of G_m . arXiv:1308.2604v2 [math.AG] (2013)

  32. [32]

    Dunin-Barkowski , and A

    P. Dunin-Barkowski , and A. Mironov , and A. Morozov , and A. Sleptsov , and A. Smirnov , Superpolynomials for toric knots from evolution induced by cut-and-join operators , Preprint arXiv:1106.4305v2 [hep-th] (2012)

  33. [33]

    Dunfield , \!and S

    N. Dunfield , \!and S. Gukov , \!and J. Rasmussen ,\!\! The superpolynomial for knot homologies , Experimental Mathematics,\! 15 :2 (2006), 129--159

  34. [34]

    Eisenbud , and W

    D. Eisenbud , and W. Neumann , Three-dimensional link theory and invariants of plane curve singularities , Ann. of Math. Studies 110 , Princeton, 1985

  35. [35]

    Elias , and M

    B. Elias , and M. Hogancamp , On the computation of torus link homology , Compositio Mathematica , 155 : 1 (2018), 164--205

  36. [36]

    Fripertinger , The number of invariant subspaces under a linear operator on finite vector spaces , Advances in Mathematics of Communications 5: 2 (2011), 407--416

    H. Fripertinger , The number of invariant subspaces under a linear operator on finite vector spaces , Advances in Mathematics of Communications 5: 2 (2011), 407--416

  37. [37]

    Fuji , and S

    H. Fuji , and S. Gukov , and P. Sulkowski , Super- A -polynomial for knots and BPS states , Nuclear Physics B 867 : 2 (2013), 506--546

  38. [38]

    Galashin , and T

    P. Galashin , and T. Lam , Positroids, knots, and q,t-Catalan numbers , Duke Math. J. 173 :11 (2024), 2117--2195

  39. [39]

    , and Monotone links in DAHA and EHA , arxiv:2307.16794v2 (2023)

  40. [40]

    V. M. Galkin , Zeta functions of some one-dimensional rings , Izv. Akad. Nauk. SSSR Ser. Mat. 37 (1973), 3--19

  41. [41]

    Gorsky , Arc spaces and DAHA representations , Selecta Mathematica, New Series, 19 :1 (2013), 125--140

    E. Gorsky , Arc spaces and DAHA representations , Selecta Mathematica, New Series, 19 :1 (2013), 125--140

  42. [42]

    Gorsky , and M

    E. Gorsky , and M. Mazin , Compactified Jacobians and q, t -Catalan numbers, II , Journal of Algebraic Combinatorics, 39 :1 (2014), 153--186

  43. [43]

    Negut , Refined knot invariants and Hilbert schemes , Journal de Math\'ematiques Pures et Appliqu\'ees 104 :3 (2015), 403--435

    , and A. Negut , Refined knot invariants and Hilbert schemes , Journal de Math\'ematiques Pures et Appliqu\'ees 104 :3 (2015), 403--435

  44. [44]

    Oblomkov , and J

    , and A. Oblomkov , and J. Rasmussen , and V. Shende , Torus knots and rational DAHA , Duke Math. J. 163 :14 (2014), 2709--2794

  45. [45]

    Mazin , and A

    , and M. Mazin , and A. Oblomkov , Generic Curves and Non-Coprime Catalans , Preprint arXiv: 2210.12569 (2022)

  46. [46]

    Vazirani , Affine permutations and rational slope parking functions , Trans

    , and , and M. Vazirani , Affine permutations and rational slope parking functions , Trans. Amer. Math. Soc. 368 (2016), 8403-8445

  47. [47]

    , and , and , Recursions for Rational (q, t) -Catalan Numbers , J. Combin. Theory Ser. A 173 (2020), 105237

  48. [48]

    G\"ottsche , and V

    L. G\"ottsche , and V. Shende , Refined curve counting on complex surfaces , Geom. Topol. 18 (2014), 2245--2307

  49. [49]

    Gukov , and M

    S. Gukov , and M. Stosic , Homological algebra of knots and BPS states , Geom. Topol. Monographs 18 (2012), 309--367

  50. [50]

    Gyenge, and A

    \`A . Gyenge, and A. N \`e methi, and B. Szendr \"o i, Euler characteristics of Hilbert schemes of points on simple surface singularities , European Journal of Mathematics 4 , 439--524 (2018)

  51. [51]

    Hillman , Singularities of plane algebraic curves , Expo

    J. Hillman , Singularities of plane algebraic curves , Expo. Math. 23 (2005), 233--254

  52. [52]

    Hsiao , and A

    Y-N. Hsiao , and A. Szenes , Refined Hilbert Schemes, E-polynomials, and the number of generators of finite colength ideals in the plane , arXiv:1806.03955v1 [math.AG] (2018)

  53. [53]

    Hogancamp , Khovanov-Rozansky homology and higher Catalan sequences , arXiv: 1704.01562 (2017)

    M. Hogancamp , Khovanov-Rozansky homology and higher Catalan sequences , arXiv: 1704.01562 (2017)

  54. [54]

    Mellit Torus link homology , Preprint arXiv:1909.00418 (2019)

    , and A. Mellit Torus link homology , Preprint arXiv:1909.00418 (2019)

  55. [55]

    Kapranov , The elliptic curve in the S -duality theory and Eisenstein series for Kac-Moody groups , Preprint arXiv:math/0001005 [math.AG] (2005)

    M. Kapranov , The elliptic curve in the S -duality theory and Eisenstein series for Kac-Moody groups , Preprint arXiv:math/0001005 [math.AG] (2005)

  56. [56]

    Kazhdan , and G

    D. Kazhdan , and G. Lusztig , Fixed point varieties on affine flag manifolds , Israel J. Math., 62 : 2 (1988), 129--168

  57. [57]

    Khovanov , Triply-graded link homology and Hochschild homology of Soergel bimodules , International J

    M. Khovanov , Triply-graded link homology and Hochschild homology of Soergel bimodules , International J. of Math. 18 (2007), 869--885

  58. [58]

    Rozansky , Matrix factorizations and link homology , Fundamenta Mathematicae, 199 (2008), 1--91

    , and L. Rozansky , Matrix factorizations and link homology , Fundamenta Mathematicae, 199 (2008), 1--91

  59. [59]

    , and , Matrix factorizations and link homology II , Geometry and Topology, 12 (2008), 1387--1425

  60. [60]

    Kivinen , and M.-T

    O. Kivinen , and M.-T. Trinh , The Hilb-vs-Quot Conjecture , Preprint arXiv:2310.19633v2 [math.AG] (2023)

  61. [61]

    , and C-C, Tsai1 Shalika germs for tamely ramified elements in GL_n , arXiv:2209.02509v3 [math.RT] (2023)

  62. [62]

    Litherland , Signatures of iterated torus knots , in: Topology of Low-Dimensional Manifolds, Lecture Notes in Mathematics 722 Springer, Berlin, Heidelberg, 1979

    R. Litherland , Signatures of iterated torus knots , in: Topology of Low-Dimensional Manifolds, Lecture Notes in Mathematics 722 Springer, Berlin, Heidelberg, 1979

  63. [63]

    Lusztig , and J

    G. Lusztig , and J. M. Smelt , Fixed point varieties on the space of lattices , Bull. London Math. Soc. 23 :3 (1991), 213--218

  64. [64]

    Macdonald , A new class of symmetric functions , Publ I.R.M.A., Strasbourg, Actes 20-e Seminaire Lotharingen, (1988), 131--171

    I. Macdonald , A new class of symmetric functions , Publ I.R.M.A., Strasbourg, Actes 20-e Seminaire Lotharingen, (1988), 131--171

  65. [65]

    , Affine Hecke algebras and orthogonal polynomials , S\'e\-mi\-naire Bour\-baki 47 :797 (1995), 01--18

  66. [66]

    , Affine Hecke algebras and orthogonal polynomials , Cambridge University Press, 2003

  67. [67]

    Maulik , Stable pairs and the HOMFLY polynomial , Inventiones mathematicae, 204 :3 (2016), 787--831

    D. Maulik , Stable pairs and the HOMFLY polynomial , Inventiones mathematicae, 204 :3 (2016), 787--831

  68. [68]

    Yun , Macdonald formula for curves with planar singularities , J

    , and Z. Yun , Macdonald formula for curves with planar singularities , J. reine angew. math. (Crelles Journal), 694 (2013), 27--48

  69. [69]

    Mellit , Homology of torus knots , Geometry & Topology, 26 (2022), 47--70

    A. Mellit , Homology of torus knots , Geometry & Topology, 26 (2022), 47--70

  70. [70]

    Migliorini , and V

    L. Migliorini , and V. Shende , A support theorem for Hilbert schemes of planar curves , J. Eur. Math. Soc. 15 (2013), 2353--2367

  71. [71]

    Morton , and P

    H. Morton , and P. Samuelson , The HOMFLY-PT skein algebra of the torus and the elliptic Hall algebra , Duke Math. J. 166 :5 (2017), 801--854

  72. [72]

    Nakajima , Lectures on Hilbert schemes of points on surfaces , University Lecture Series, 18 , American Mathematical Society, Providence, RI, (1999)

    H. Nakajima , Lectures on Hilbert schemes of points on surfaces , University Lecture Series, 18 , American Mathematical Society, Providence, RI, (1999)

  73. [73]

    , More lectures on Hilbert schemes of points on surfaces , Advanced Studies in Pure Mathematics 69 (2016), Development of Moduli Theory - Kyoto 2013 , 173--205

  74. [74]

    , Euler numbers Of Hilbert schemes of points on simple surface singularities and quantum dimensions of standard modules of quantum affine algebras , Preprint arXiv:2001.03834, 2020

  75. [75]

    Nakajima , and K

    H. Nakajima , and K. Yoshioka , Lectures on instanton counting , arXiv:math/0311058 (2003)

  76. [76]

    Yoshioka , Perverse coherent sheaves on blow-up

    , and K. Yoshioka , Perverse coherent sheaves on blow-up. II. Wall-crossing and Betti numbers formula , J. Algebraic Geom. 20 :1 (2011), 47--100

  77. [77]

    Negut , The shuffle algebra revisited , Int

    A. Negut , The shuffle algebra revisited , Int. Math. Res. Not. IMRN, 22 (2014), 6242--8275

  78. [78]

    Nekrasov , Seiberg-Witten prepotential from instanton counting , Adv

    N. Nekrasov , Seiberg-Witten prepotential from instanton counting , Adv. Theor. Math. Phys. 7 :5 (2003), 831--864

  79. [79]

    Okounkov , Seiberg-Witten theory and random partitions , in The Unity of Mathematics, 525--596 (2006), Progr

    , and A. Okounkov , Seiberg-Witten theory and random partitions , in The Unity of Mathematics, 525--596 (2006), Progr. Math., 244 , Birkh\"auser Boston, Boston, MA

  80. [80]

    Newmann , Topology of hypersurface singularities , arxiv:1706.04386v1 (2017)

    W. Newmann , Topology of hypersurface singularities , arxiv:1706.04386v1 (2017)

Showing first 80 references.