相关论文: A Steenrod Square for Link Floer Homology

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. In doing so, they produced an obstruction chain complex…

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…

Given a grid diagram for a knot or link K in $S^3$, we construct a filtered spectrum whose homology is the knot Floer homology of K. We conjecture that the filtered homotopy type of the spectrum is an invariant of K. Our construction does…

We re-derive Manolescu's unoriented skein exact triangle for knot Floer homology over F_2 combinatorially using grid diagrams, and extend it to the case with Z coefficients by sign refinements. Iteration of the triangle gives a cube of…

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…

For an arbitrary link $L \subset S^3$ , Sarkar-Scaduto-Stoffregen construct a family of spatial refinements of even and odd Khovanov homology. We give a computation of $\text{Sq}^2$ on these spaces, determining their stable homotopy types…

In this paper, we define grid homologies for singular links in lens spaces and use them to construct a resolution cube for knot Floer homology of regular links in lens spaces. The results will first be proved over $\mathbb{Z}/2\mathbb{Z}$…

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…

We construct a stable infinity category with objects flow categories and morphisms flow bimodules; our construction has many flavors, related to a choice of bordism theory, and we discuss in particular framed bordism and the bordism theory…

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) ->…

For any three-manifold presented as surgery on a framed link (L,\Lambda) in an integral homology sphere, Manolescu and Ozsv\'ath construct a hypercube of chain complexes whose homology calculates the Heegaard Floer homology of…

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 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…

We circumvent one of the roadblocks in associating Floer homotopy types to monotone Lagrangians, namely the curvature phenomena occurring in high dimensions. Given $N \ge 3$ and $R$ a connective $\mathbb E_1$-ring spectrum, there is a…

We classify genus-two L-space knots in the Poincar\'e homology sphere. This leads to the second knot Floer homology detection result for a knot of genus at least two, and the first such result outside of $S^3$. The argument uses the theory…

Let M be a closed, oriented, n-dimensional manifold. In this paper we describe a spectrum in the sense of homotopy theory, Z(T^*M), whose homology is naturally isomorphic to the Floer homology of the cotangent bundle, T^*M. This Floer…

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…

Steenrod homotopy theory is a framework for doing algebraic topology on general spaces in terms of algebraic topology of polyhedra; from another viewpoint, it studies the topology of the lim^1 functor (for inverse sequences of groups). This…

Similar to knots in S^3, any knot in a lens space has a grid diagram from which one can combinatorially compute all of its knot Floer homology invariants. We give an explicit description of the generators, differentials, and rational Maslov…