The Hilbert scheme of a plane curve singularity and the HOMFLY homology of its link

Oblomkov, Alexei¹ ; Rasmussen, Jacob² ; Shende, Vivek³

¹ Department of Mathematics and Statistics, University of Massachusetts, Amherst, MA, United States
² DPMMS, University of Cambridge, Cambridge, United Kingdom
³ Department of Mathematics, University of California, Berkeley, CA, United States

Geometry & topology, Tome 22 (2018) no. 2, pp. 645-691.

Résumé

We conjecture an expression for the dimensions of the Khovanov–Rozansky HOMFLY homology groups of the link of a plane curve singularity in terms of the weight polynomials of Hilbert schemes of points scheme-theoretically supported on the singularity. The conjecture specializes to our previous conjecture (2012) relating the HOMFLY polynomial to the Euler numbers of the same spaces upon setting $t=-1$. By generalizing results of Piontkowski on the structure of compactified Jacobians to the case of Hilbert schemes of points, we give an explicit prediction of the HOMFLY homology of a $\left(k,n\right)$ torus knot as a certain sum over diagrams.

The Hilbert scheme series corresponding to the summand of the HOMFLY homology with minimal “$a$” grading can be recovered from the perverse filtration on the cohomology of the compactified Jacobian. In the case of $\left(k,n\right)$ torus knots, this space furnishes the unique finite-dimensional simple representation of the rational spherical Cherednik algebra with central character $k∕n$. Up to a conjectural identification of the perverse filtration with a previously introduced filtration, the work of Haiman and Gordon and Stafford gives formulas for the Hilbert scheme series when $k=mn+1$.

Détail

DOI : 10.2140/gt.2018.22.645

Classification : 14H20, 14N35, 57M27
Keywords: plane curve, Hilbert scheme, Khovanov homology

Bibliographie

[1] M Abel, M Hogancamp, Categorified Young symmetrizers and stable homology of torus links, II, Selecta Math. 23 (2017) 1739 | DOI

[2] M Aganagic, S Shakirov, Knot homology from refined Chern–Simons theory, preprint (2011)

[3] A B Altman, A Iarrobino, S L Kleiman, Irreducibility of the compactified Jacobian, from: "Real and complex singularities" (editor P Holm), Sijthoff and Noordhoff (1977) 1

[4] A B Altman, S L Kleiman, Compactifying the Picard scheme, Adv. in Math. 35 (1980) 50 | DOI

[5] V I Arnol’D, S M Guseĭn-Zade, A N Varchenko, Singularities of differentiable maps, II, 83, Birkhäuser (1988) | DOI

[6] A A Beĭlinson, J Bernstein, P Deligne, Faisceaux pervers, from: "Analysis and topology on singular spaces, I", Astérisque 100, Soc. Math. France (1982) 5

[7] Y Berest, P Etingof, V Ginzburg, Cherednik algebras and differential operators on quasi-invariants, Duke Math. J. 118 (2003) 279 | DOI

[8] Y Berest, P Etingof, V Ginzburg, Finite-dimensional representations of rational Cherednik algebras, Int. Math. Res. Not. 2003 (2003) 1053 | DOI

[9] Y Berest, P Etingof, V Ginzburg, Morita equivalence of Cherednik algebras, J. Reine Angew. Math. 568 (2004) 81 | DOI

[10] R Bezrukavnikov, P Etingof, Parabolic induction and restriction functors for rational Cherednik algebras, Selecta Math. 14 (2009) 397 | DOI

[11] W Bruns, J Herzog, Cohen–Macaulay rings, 39, Cambridge Univ. Press (1993)

[12] D Calaque, B Enriquez, P Etingof, Universal KZB equations : the elliptic case, from: "Algebra, arithmetic, and geometry : in honor of Yu I Manin, I" (editors Y Tschinkel, Y Zarhin), Progr. Math. 269, Birkhäuser (2009) 165 | DOI

[13] E Carlsson, A Mellit, A proof of the shuffle conjecture, preprint (2015)

[14] I Cherednik, Jones polynomials of torus knots via DAHA, Int. Math. Res. Not. 2013 (2013) 5366 | DOI

[15] V I Danilov, A G Khovanskii, Newton polyhedra and an algorithm for computing Hodge–Deligne numbers, Izv. Akad. Nauk SSSR Ser. Mat. 50 (1986) 925

[16] P Deligne, Théorie de Hodge, I, from: "Actes du Congrès International des Mathématiciens" (editors M Berger, J Dieudonné, J Leray, J L Lions, P Malliavin, J P Serre), Gauthier-Villars (1971) 425

[17] P Deligne, Théorie de Hodge, II, Inst. Hautes Études Sci. Publ. Math. 40 (1971) 5 | DOI

[18] P Deligne, Théorie de Hodge, III, Inst. Hautes Études Sci. Publ. Math. 44 (1974) 5 | DOI

[19] P Deligne, Poids dans la cohomologie des variétés algébriques, from: "Proceedings of the International Congress of Mathematicians" (editor R D James), Canad. Math. Congress (1975) 79

[20] N M Dunfield, S Gukov, J Rasmussen, The superpolynomial for knot homologies, Experiment. Math. 15 (2006) 129

[21] P Dunin-Barkowski, A Mironov, A Morozov, A Sleptsov, A Smirnov, Superpolynomials for torus knots from evolution induced by cut-and-join operators, J. High Energy Phys. (2013) | DOI

[22] A H Durfee, Algebraic varieties which are a disjoint union of subvarieties, from: "Geometry and topology" (editors C McCrory, T Shifrin), Lecture Notes in Pure and Appl. Math. 105, Dekker (1987) 99

[23] E S Egge, J Haglund, K Killpatrick, D Kremer, A Schröder generalization of Haglund’s statistic on Catalan paths, Electron. J. Combin. 10 (2003)

[24] B Elias, M Hogancamp, On the computation of torus link homology, preprint (2016)

[25] B Fantechi, L Göttsche, D Van Straten, Euler number of the compactified Jacobian and multiplicity of rational curves, J. Algebraic Geom. 8 (1999) 115

[26] A M Garsia, M Haiman, A remarkable q,t–Catalan sequence and q–Lagrange inversion, J. Algebraic Combin. 5 (1996) 191 | DOI

[27] V Ginzburg, N Guay, E Opdam, R Rouquier, On the category O for rational Cherednik algebras, Invent. Math. 154 (2003) 617 | DOI

[28] I Gordon, J T Stafford, Rational Cherednik algebras and Hilbert schemes, Adv. Math. 198 (2005) 222 | DOI

[29] I Gordon, J T Stafford, Rational Cherednik algebras and Hilbert schemes, II : Representations and sheaves, Duke Math. J. 132 (2006) 73 | DOI

[30] E Gorsky, q,t–Catalan numbers and knot homology, from: "Zeta functions in algebra and geometry" (editors A Campillo, G Cardona, A Melle-Hernández, W Veys), Contemp. Math. 566, Amer. Math. Soc. (2012) 213 | DOI

[31] E Gorsky, M Mazin, Compactified Jacobians and q,t–Catalan numbers, I, J. Combin. Theory Ser. A 120 (2013) 49 | DOI

[32] E Gorsky, A Neguţ, Refined knot invariants and Hilbert schemes, J. Math. Pures Appl. 104 (2015) 403 | DOI

[33] E Gorsky, A Neguţ, J Rasmussen, Flag Hilbert schemes, colored projectors and Khovanov–Rozansky homology, preprint (2016)

[34] E Gorsky, A Oblomkov, J Rasmussen, V Shende, Torus knots and the rational DAHA, Duke Math. J. 163 (2014) 2709 | DOI

[35] J Haglund, Conjectured statistics for the q,t–Catalan numbers, Adv. Math. 175 (2003) 319 | DOI

[36] J Haglund, A proof of the q,t–Schröder conjecture, Int. Math. Res. Not. 2004 (2004) 525 | DOI

[37] J Haglund, The q,t–Catalan numbers and the space of diagonal harmonics, 41, Amer. Math. Soc. (2008)

[38] M D Haiman, Conjectures on the quotient ring by diagonal invariants, J. Algebraic Combin. 3 (1994) 17 | DOI

[39] M Haiman, Vanishing theorems and character formulas for the Hilbert scheme of points in the plane, Invent. Math. 149 (2002) 371 | DOI

[40] R Hartshorne, Generalized divisors on Gorenstein curves and a theorem of Noether, J. Math. Kyoto Univ. 26 (1986) 375 | DOI

[41] M Hogancamp, Categorified Young symmetrizers and stable homology of torus links, preprint (2015)

[42] M Hogancamp, Khovanov–Rozansky homology and higher Catalan sequences, preprint (2017)

[43] T Kálmán, Meridian twisting of closed braids and the Homfly polynomial, Math. Proc. Cambridge Philos. Soc. 146 (2009) 649 | DOI

[44] M Khovanov, Triply-graded link homology and Hochschild homology of Soergel bimodules, Internat. J. Math. 18 (2007) 869 | DOI

[45] M Khovanov, L Rozansky, Matrix factorizations and link homology, II, Geom. Topol. 12 (2008) 1387 | DOI

[46] N A Loehr, Conjectured statistics for the higher q,t–Catalan sequences, Electron. J. Combin. 12 (2005)

[47] N A Loehr, G S Warrington, A continuous family of partition statistics equidistributed with length, J. Combin. Theory Ser. A 116 (2009) 379 | DOI

[48] I G Macdonald, Symmetric products of an algebraic curve, Topology 1 (1962) 319 | DOI

[49] D Maulik, Z Yun, Macdonald formula for curves with planar singularities, J. Reine Angew. Math. 694 (2014) 27 | DOI

[50] A Mellit, Toric braids and (m,n)–parking functions, preprint (2016)

[51] L Migliorini, V Shende, A support theorem for Hilbert schemes of planar curves, J. Eur. Math. Soc. 15 (2013) 2353 | DOI

[52] J Milnor, Singular points of complex hypersurfaces, 61, Princeton Univ. Press (1968)

[53] B C Ngô, Le lemme fondamental pour les algèbres de Lie, Publ. Math. Inst. Hautes Études Sci. 111 (2010) 1 | DOI

[54] A Oblomkov, L Rozansky, Knot homology and sheaves on the Hilbert scheme of points on the plane, preprint (2016)

[55] A Oblomkov, L Rozansky, Affine braid group, JM elements and knot homology, preprint (2017)

[56] A Oblomkov, V Shende, The Hilbert scheme of a plane curve singularity and the HOMFLY polynomial of its link, Duke Math. J. 161 (2012) 1277 | DOI

[57] A Oblomkov, Z Yun, Geometric representations of graded and rational Cherednik algebras, Adv. Math. 292 (2016) 601 | DOI

[58] R Pandharipande, R P Thomas, Stable pairs and BPS invariants, J. Amer. Math. Soc. 23 (2010) 267 | DOI

[59] J Piontkowski, Topology of the compactified Jacobians of singular curves, Math. Z. 255 (2007) 195 | DOI

[60] J Rasmussen, Some differentials on Khovanov–Rozansky homology, Geom. Topol. 19 (2015) 3031 | DOI

[61] M Stošić, Homological thickness and stability of torus knots, Algebr. Geom. Topol. 7 (2007) 261 | DOI

[62] M Varagnolo, E Vasserot, Finite-dimensional representations of DAHA and affine Springer fibers : the spherical case, Duke Math. J. 147 (2009) 439 | DOI

[63] Z Yun, Global Springer theory, Adv. Math. 228 (2011) 266 | DOI

[64] O Zariski, Le problème des modules pour les branches planes, Hermann (1986)