An official website of the United States government
Abstract We introduce a multiparameter deformation of the triply‐graded Khovanov–Rozansky homology of links colored by one‐column Young diagrams, generalizing the “y‐ified” link homology of Gorsky–Hogancamp and work of Cautis–Lauda–Sussan. For each link component, the natural set of deformation parameters corresponds to interpolation coordinates on the Hilbert scheme of the plane. We extend our deformed link homology theory to braids by introducing a monoidal dg 2‐category of curved complexes of type A singular Soergel bimodules. Using this framework, we promote to the curved setting the categorical colored skein relation from our recent joint work and also the notion of splitting map for the colored full twists on two strands. As applications, we compute the invariants of colored Hopf links in terms of ideals generated by Haiman determinants and use these results to establish general link splitting properties for our deformed, colored, triply‐graded link homology. Informed by this, we formulate several conjectures that have implications for the relation between (colored) Khovanov–Rozansky homology and Hilbert schemes.
more »
« less
Derived Traces of Soergel Categories
Abstract We study two kinds of categorical traces of (monoidal) dg categories, with particular interest in categories of Soergel bimodules. First, we explicitly compute the usual Hochschild homology, or derived vertical trace, of the category of Soergel bimodules in arbitrary types. Secondly, we introduce the notion of derived horizontal trace of a monoidal dg category and compute the derived horizontal trace of Soergel bimodules in type $$A$$. As an application we obtain a derived annular Khovanov–Rozansky link invariant with an action of full twist insertion, and thus a categorification of the HOMFLY-PT skein module of the solid torus.
more »
« less
- PAR ID:
- 10228830
- Date Published:
- Journal Name:
- International Mathematics Research Notices
- ISSN:
- 1073-7928
- Format(s):
- Medium: X
- Sponsoring Org:
- National Science Foundation
More Like this
-
-
Smooth and proper dg-algebras have an Euler class valued in the Hochschild homology of the algebra. This Euler class is worthy of this name since it satisfies many familiar properties including compatibility with the pairing on the Hochschild homology of the algebra and that of its opposite. This compatibility is the Riemann–Roch theorems of [21, 14]. In this paper, we prove a broad generalization of these Riemann–Roch theorems. We generalize from the bicategory of dg-algebras and their bimodules to symmetric monoidal bicategories and from the Euler class to traces of non-identity maps. Our generalization also implies spectral Riemann–Roch theorems. We regard this result as an instantiation of a 2-dimensional generalized cobordism hypothesis. This perspective draws the result close to many others that generalize results about Euler characteristics and classes to bicategorical traces.more » « less
-
Abstract We give an operadic definition of a genuine symmetric monoidal $$G$$-category, and we prove that its classifying space is a genuine $$E_\infty $$G$-space. We do this by developing some very general categorical coherence theory. We combine results of Corner and Gurski, Power and Lack to develop a strictification theory for pseudoalgebras over operads and monads. It specializes to strictify genuine symmetric monoidal $$G$$-categories to genuine permutative $$G$$-categories. All of our work takes place in a general internal categorical framework that has many quite different specializations. When $$G$$ is a finite group, the theory here combines with previous work to generalize equivariant infinite loop space theory from strict space level input to considerably more general category level input. It takes genuine symmetric monoidal $$G$$-categories as input to an equivariant infinite loop space machine that gives genuine $$\Omega $$-$$G$-spectra as output.more » « less
-
We develop the rewriting theory for monoidal supercategories and2-supercategories. This extends the theory of higher-dimensional rewriting established for (linear) 2-categories to the super setting, providing a suite of tools for constructing bases and normal forms for2-supercategories given by generators and relations. We then employ this newly developed theory to prove the non-degeneracy conjecture for the odd categorification of quantum\mathfrak{sl}(2)from A. Ellis and A. Lauda [Quantum Topol. 7 (2016), 329–433] and J. Brundan and A. Ellis [Proc. Lond. Math. Soc. (3) 115 (2017), 925–973] As a corollary, this gives a classification of dg-structures on the odd2-category conjectured by A. Lauda and I. Egilmez [Quantum Topol. 11 (2020), 227–294].more » « less
-
Abstract We compare the (horizontal) trace of the affine Hecke category with the elliptic Hall algebra, thus obtaining an “affine” version of the construction of Gorsky et al. (Int. Math. Res. Not. IMRN2022(2022) 11304–11400). Explicitly, we show that the aforementioned trace is generated by the objects as , where denote the Wakimoto objects of Elias and denote Rouquier complexes. We compute certain categorical commutators between the 's and show that they match the categorical commutators between the sheaves on the flag commuting stack that were considered in Neguț (Publ. Math. Inst. Hautes Études Sci. 135 (2022) 337–418). At the level of ‐theory, these commutators yield a certain integral form of the elliptic Hall algebra, which we can thus map to the ‐theory of the trace of the affine Hecke category.more » « less
- Free Publicly Accessible Full Text
-
Accepted Manuscript1.0
- Journal Article:
- https://doi.org/10.1093/imrn/rnab019
