Related papers: On Steenrod squares for even and odd Khovanov homo…
Recently, Sarkar-Scaduto-Stoffregen constructed a stable homotopy type for odd Khovanov homology, hence obtaining an action of the Steenrod algebra on Khovanov homology with $\mathbb{Z}/2\mathbb{Z}$ coefficients. Motivated by their…
In a previous paper, we defined a space-level version X(L) of Khovanov homology. This induces an action of the Steenrod algebra on Khovanov homology. In this paper, we describe the first interesting operation, Sq^2:Kh^{i,j}(L) ->…
Lipshitz and Sarkar recently introduced a space-level refinement of Khovanov homology. This refinement induces a Steenrod square operation $\Sq^2$ on Khovanov homology which they describe explicitly. This paper presents some computations of…
We define a second Steenrod square for virtual links, which is stronger than Khovanov homology for virtual links, toward constructing Khovanov-Lipshitz-Sarkar stable homotopy type for virtual links. This induces the first meaningful…
The Lipshitz-Sarkar stable homotopy link invariant defines Steenrod squares on the Khovanov cohomology of a link. Lipshitz-Sarkar constructed an algorithm for computing the first two Steenrod squares. We develop a new algorithm which…
Lipshitz-Sarkar defined a stable homotopy type refining Khovanov homology, producing cohomology operations $\text{Sq}^i$ on the Khovanov homology $Kh(L)$ of a link $L$. Later, Mor\'an proposed a sequence of cup-i products on the…
Recently, Manolescu-Sarkar constructed a stable homotopy type for link Floer homology, which uses grid homology and accounts for all domains that do not pass through a specific square. We explicitly give the framings of the…
The Steenrod squares are cohomology operations with important applications in algebraic topology. While these operations are well-understood classically, little is known about them in the setting of homotopy type theory. Although a…
We show that there are prime knots so that the Steenrod operations of Lipshitz and Sarkar arXiv:1204.5776 are non trivial on their Khovanov homology. This answers a question posed by Lipshitz and Sarkar in their paper arXiv:1709.03602. We…
We discuss links in thickened surfaces. We define the Khovanov-Lipshitz-Sarkar stable homotopy type and the Steenrod square for the homotopical Khovanov homology of links in thickened surfaces with genus$>1$. A surface means a closed…
In a previous paper we constructed a spectrum-level refinement of Khovanov homology. This refinement induces stable cohomology operations on Khovanov homology. In this paper we show that these cohomology operations commute with cobordism…
We introduce a family of generalized Schr\"oder polynomials $S_\tau(q,t,a)$, indexed by triangular partitions $\tau$ and prove that $S_\tau(q,t,a)$ agrees with the Poincar\'e series of the triply graded Khovanov-Rozansky homology of the…
There exists a simplified Bar-Natan Khovanov complex for open 2-braids. The Khovanov cohomology of a knot diagram made by gluing tangles of this type is therefore often amenable to calculation. We lift this idea to the level of the…
We present a complete classification of spherical knotoids with up to six crossings and conjecture that our classification up to seven crossings is complete. Our work extends the tradition of knot tabulation to the setting of knotoids…
The stable Khovanov-Rozansky homology of torus knots has been conjecturally described as the Koszul homology of an explicit non-regular sequence of polynomials. We verify this conjecture against newly available computational data for…
We construct a quantum deformation of the Steenrod square construction on closed monotone symplectic manifolds, based on the work of Fukaya, Betz and Cohen. We prove quantum versions of the Cartan and Adem relations. We compute the quantum…
We review the construction and context of a stable homotopy refinement of Khovanov homology.
For each link L in S^3 and every quantum grading j, we construct a stable homotopy type X^j_o(L) whose cohomology recovers Ozsvath-Rasmussen-Szabo's odd Khovanov homology, H_i(X^j_o(L)) = Kh^{i,j}_o(L), following a construction of…
Asaeda, Przytycki and Sikora defined a generalization of Khovanov homology for links in $I$-bundles over compact surfaces. We prove that for a link $L\subset (-1,1)\times T^2$, the Asaeda-Przytycki-Sikora homology of $L$ has rank $2$ with…
We establish a homotopy-theoretic description of the homology of stable moduli spaces of $(2n+1)$-dimensional manifold triads $(N, \partial^h N, \partial^v N)$ with fixed $\partial^v N$, whenever $n \geq 3$ and $(N, \partial^h N)$ is…