Graded character sheaves, HOMFLY-PT homology, and Hilbert schemes of points on \mathbb{C}^2

MaRDI QIDQ6435014zbMATH OpenFDO

Authors Quoc P. Ho, Penghui Li

Publication date 2 May 2023

Mathematics Subject Classification ID

Fundamental constructions in algebraic geometry involving higher and derived categories (homotopical algebraic geometry, derived algebraic geometry, etc.) (14A30) Derived categories of sheaves, dg categories, and related constructions in algebraic geometry (14F08) Homology theories in knot theory (Khovanov, Heegaard-Floer, etc.) (57K18) Categorification (18N25)

Abstract: Using a geometric argument building on our new theory of graded sheaves, we compute the categorical trace and Drinfel'd center of the (graded) finite Hecke category $mathsf{H}_W^{m}athsfgr=mathsf{Ch}^b(mathsf{SBim}_W)$ in terms of the category of (graded) unipotent character sheaves, upgrading results of Ben-Zvi-Nadler and Bezrukavninov-Finkelberg-Ostrik. In type $A$, we relate the categorical trace to the category of $2$-periodic coherent sheaves on the Hilbert schemes $mathsf{Hilb}_n(mathbb{C}^2)$ of points on $mathbb{C}^2$ (equivariant with respect to the natural $mathbb{C}^{\ast }imesmathbb{C}^{\ast }$ action), yielding a proof of a conjecture of Gorsky-Negut-Rasmussen which relates HOMFLY-PT link homology and the spaces of global sections of certain coherent sheaves on $mathsf{Hilb}_n(mathbb{C}^2)$. As an important computational input, we also establish a conjecture of Gorsky-Hogancamp-Wedrich on the formality of the Hochschild homology of $mathsf{H}_W^{m}athsfgr$.

This page was built for publication: Graded character sheaves, HOMFLY-PT homology, and Hilbert schemes of points on $\mathbb{C}^2$

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6435014)