arXiv subjects
Publications and source records attributed to Lev Rozansky.
We categorify the action of $U_q(\mathfrak{gl}_{1|1})$ on the tensor product of its vector representations $(\mathbb{C}^{1|1})^{\otimes N}$. The generators $E$ and $F$ are represented by Fourier-Mukai functors between the derived categories of coherent sheaves on the total spaces of "semi-parabolic" vector bundles over the Grassmannians $Gr(k,N)$.
In our previous papers we used the Hilbert scheme of points on $C^2$ in order to construct a triply graded link homology and its $gl(m)$ version. Here we extend the $gl(m)$ construction to super-algebras $gl(m|k)$.
In order to extend the geometrization of Yangian $R$-matrices from Lie algebras $gl(n)$ to superalgebras $gl(M|N)$, we introduce new quiver-related varieties which are associated with representations of $gl(M|N)$. In order to define them similarly to the Nakajima-Cherkis varieties, we reformulate the construction of the latter by replacing the Hamiltonian reduction with the intersection of generalized Lagrangian subvarieties in the cotangent bundles of Lie algebras sitting at the vertices of the quiver. The new varieties come from replacing some Lagrangian subvarieties with their Legendre transforms. We present superalgerba versions of stable envelopes for the new quiver-like varieties that generalize the cotangent bundle of a Grassmannian. We define superalgebra generalizations of the Tarasov-Varchenko weight functions, and show that they represent the super stable envelopes. Both super stable envelopes and super weight functions transform according to Yangian $\check{R}$-matrices of $gl(M|N)$ with $M+N=2$.
We establish an isomorphism between the Khovanov-Rozansky triply graded link homology and the geometric triply graded homology due to the authors. Hence we provide an interpretation of the Khovanov-Rozansky homology of the closure of a braid $\beta$ as the space of derived sections of a $\mathbb{C}^*\times \mathbb{C}^*$- equivariant sheaf $Tr(\beta)$ on the Hilbert scheme $Hilb_n(\mathbb{C}^2)$, thus proving a version of Gorsky-Negut-Rasmussen conjecture \cite{GorskyNegutRasmussen16}. As a consequence we prove that Khovanov-Rozansky homology of knots satisfies the $q\to t/q$ symmetry conjectured by Dunfield-Gukov-Rasmussen \cite{DunfieldGukovRasmussen06}. We also apply our main result to compute the Khovanov-Rozansky homology of torus links.
We consider recognizable evaluations for a suitable category of oriented two-dimensional cobordisms with corners between finite unions of intervals. We call such cobordisms thin flat surfaces. An evaluation is given by a power series in two variables. Recognizable evaluations correspond to series that are ratios of a two-variable polynomial by the product of two one-variable polynomials, one for each variable. They are also in a bijection with isomorphism classes of commutative Frobenius algebras on two generators with a nondegenerate trace fixed. The latter algebras of dimension n correspond to points on the dual tautological bundle on the Hilbert scheme of n points on the affine plane, with a certain divisor removed from the bundle. A recognizable evaluation gives rise to a functor from the above cobordism category of thin flat surfaces to the category of finite-dimensional vector spaces. These functors may be non-monoidal in interesting cases. To a recognizable evaluation we also assign an analogue of the Deligne category and of its quotient by the ideal of negligible morphisms.
We modify our previous construction of link homology in order to include a natural duality functor $\mathfrak{F}$. To a link $L$ we associate a triply-graded module $HXY(L)$ over the graded polynomial ring $R(L)=\mathbb{C}[x_1,y_1,\dots,x_\ell,y_\ell]$. The module has an involution $\mathfrak{F}$ that intertwines the Fourier transform on $R(L)$, $\mathfrak{F}(x_i)=y_i$, $\mathfrak{F}(y_i)=x_i$. In the case when $\ell=1$ the module is free over $R(L)$ and specialization to $x=y=0$ matches with the triply-graded knot homology previously constructed by the authors. Thus we show that the corresponding super-polynomial satisfies the categorical version of $q\to 1/q$ symmetry. We also construct an isotopy invariant of the closure of a dichromatic braid and relate this invariant to $HXY(L)$.
We describe a family of 3d topological B-models whose target spaces are Hilbert schemes of points in $\mathbb{C}^2$. The interfaces separating theories with different numbers of points correspond to braid strands. The Hilbert space of the picture of a closed braid is the HOMFLY-PT homology of the corresponding link.
To a braid $\beta\in Br_n$ we associate a complex of sheaves $S_\beta$ on $Hilb_n(C^2)$ such that the previously defined triply graded link homology of the closure $L(\beta)$ is isomorphic to the homology of $S_\beta$. The construction of $S_\beta$ relies on the Chern functor $CH: MF_n^{st}\to D^{per}_{C^*\times C^*}(Hilb_n(C^2))$ defined in the paper together with its adjoint functor $HC$. We prove a formula for the closure of sufficiently positive elements of the Jucys-Murphy algebra previously conjectured by Gorsky, Negut and Rasmussen.
We propose a categorification of the cyclotomic Hecke algebra in terms of the equivariant K-theory of the framed matrix factorizations. The construction generalizes the earlier construction of the authors for a categorification of the finite Hecke algebra of type A. We also explain why our construction provides a faithful realization of the Hecke algebras and discuss a geometric realization of the Jucys-Murphy subalgebra.
A Coxeter link is a closure of a product of two braids, one being a quasi-Coxeter element and the other being a product of partial full twists. This class of links includes torus knots \(T_{n,k}\) and torus links \(T_{n,nk}\). We identify the knot homology of a Coxeter link with the space of sections of a particular line bundle on a natural generalization of the punctual locus inside the flag Hilbert scheme of points in \(\mathbb{C}^2\).
In this paper we construct a homomorphism of the affine braid group $Br_n^{aff}$ in the convolution algebra of the equivariant matrix factorizations on the space $\overline{\mathcal{X}}_2=\mathfrak{b}_n\times GL_n\times\mathfrak{n}_n$ considered in the earlier paper of the authors. We explain that the pull-back on the stable part of the space $\overline{\mathcal{X}_2}$ intertwines with the natural homomorphism from the affine braid group $Br_n^{aff}$ to the finite braid group $Br_n$. This observation allows us derive a relation between the knot homology of the closure of $\beta\in Br_n$ and the knot homology of the closure of $\beta\cdot\delta$ where $\delta$ is a product of the JM elements in $Br_n$
For each braid $\beta\in Br_n$ we construct a $2$-periodic complex $\mathbb{S}_\beta$ of quasi-coherent $\mathbb{C}^*\times \mathbb{C}^*$-equivariant sheaves on the non-commutative nested Hilbert scheme $Hilb_{1,n}^{free}$. We show that the triply graded vector space of the hypecohomology $ \mathbb{H}( \mathbb{S}_{\beta}\otimes \wedge^\bullet (\mathcal{B}))$ with $\mathcal{B}$ being tautological vector bundle, is an isotopy invariant of the knot obtained by the closure of $\beta$. We also show that the support of cohomology of the complex $\mathbb{S}_\beta$ is supported on the ordinary nested Hilbert scheme $Hilb_{1,n}\subset Hilb_{1,n}^{free}$, that allows us to relate the triply graded knot homology to the sheaves on $Hilb_{1,n}$.
A filtration of Soergel bimodules by virtual crossing bimodules extends to Rouquier's complexes associated with braid words. We show that these complexes are invariant up to filtered homotopy with respect to the second Reidemeister move, and the filtration of the triply graded link diagram homology, constructed by Khovanov through the application of the Hochschild homology, is invariant under Markov moves. We also prove that the homotopy equivalence of the complexes of braid words related by the third Reidemeister move violates filtration by at most two units.
The positive half of the Witt algebra is the Lie algebra spanned by vector fields x^{m+1} d/dx acting as differentiations on the polynomial algebra Q[x] upon which the Soergel bimodule construction of triply graded link homology is based. We show that this action of Witt algebra can be extended to the link homology.
C. Armond, S. Garoufalidis and T.Le have shown that a unicolored Jones polynomial of a B-adequate link has a stable tail at large colors. We categorify this tail by showing that Khovanov homology of a unicolored link also has a stable tail, whose graded Euler characteristic coincides with the tail of the Jones polynomial.
The WRT invariant of a link L in S2xS1 at sufficiently high values of the level r can be expresses as an evaluation of a special polynomial invariant of L at 2r-th root of unity. We categorify this polynomial invariant by associating to L a bigraded homology whose graded Euler characteristic is equal to this polynomial. If L is presented as a closure of a tangle in S2xS1, then the homology of L is defined as the Hochschild homology of the H_n-bimodule associated to the tangle by M. Khovanov. This homology can also be expressed as a stable limit of Khovanov homology of the circular closure of the tangle in S3 through the torus braid with high twist.
A sequence of Temperley-Lieb algebra elements corresponding to torus braids with growing twisting numbers converges to the Jones-Wenzl projector. We show that a sequence of categorification complexes of these braids also has a limit which may serve as a categorification of the Jones-Wenzl projector.
Motivated by the path integral analysis of boundary conditions in a 3-dimensional topological sigma-model, we suggest a definition of the 2-category associated with a holomorphic symplectic manifold X and study its properties. The simplest objects of this 2-category are holomorphic lagrangian submanifolds of X. We pay special attention to the case when X is the total space of the cotangent bundle of a complex manifold U or a deformation thereof. In the latter case the endomorphism category of the zero section is a monoidal category which is an A-infinity deformation of the 2-periodic derived category of U.