We define a grid presentation for singular links i.e. links with a finite number of rigid transverse double points. Then we use it to generalize link Floer homology to singular links. Besides the consistency of its definition, we prove that this homology is acyclic under some conditions which naturally make its Euler characteristic vanish.
These are the lecture notes for a course on Heegaard Floer homology held at PCMI in Summer 2019. We describe Heegaard diagrams, Heegaard Floer homology, knot Floer homology, and the relationship between the knot and 3-manifold invariants.
We review some recent results in knot concordance and homology cobordism. The proofs rely on various forms of Heegaard Floer homology. We also discuss related open problems.
A well-known conjecture of Rasmussen states that for any knot $K$ in $S^{3}$, the rank of the reduced Khovanov homology of $K$ is greater than or equal to the rank of the reduced knot Floer homology of $K$. This rank inequality is supposed to arise as the result of a spectral sequence from Khovanov homology to knot Floer homology. Using an oriented cube of resolutions construction for a homology theory related to knot Floer homology, we prove this conjecture.
We prove that the rank of knot Floer homology detects the Hopf links, and generalize this result further to classify the links of the second smallest knot Floer homology. We also prove a knot Floer homology analog of arXiv:1910.04246v1 [math.GT] and give a partial answer to when the equality holds in the rank inequality between the knot Floer homology of a link and its sublinks.
Inspired by work of Lipshitz-Sarkar, we show that the module structure on link Floer homology detects split links. Using results of Ni, Alishahi-Lipshitz, and Lipshitz-Sarkar, we establish an analogous detection result for sutured Floer homology.
This note corrects an erroneous statement in Lemma 3.8 of the author's paper Embedded Contact Homology and Seiberg-Witten Floer Homology IV which was published in Volume 14 of Geometry and Topology in 2009.
对于在整同调球面中表示为框架连接(L,Λ)上的外科手术的任何三流形,Manolescu和Ozsváth构造了一个链复形的超立方体,其同调计算了Y上Λ-框架外科手术的Heegaard弗洛尔同调。这进行了一个自然的过滤,存在于任何超立方体的链复形,我们研究的E_2页的相关谱序列,称为框架弗洛尔同调。本文的目的之一是证明框架弗洛尔同调是定向框架链环的不变量,而不是surgered流形的不变量。我们将讨论如何这涉及到一个尝试在组合证明的不变性的Heegaard弗洛尔同调。我们还表明,框架弗洛尔同调满足一个外科手术确切的三角形类似于Heegaard的弗洛尔同调。这种设置导致一个完全组合的Heegaard弗洛尔同调中的外科手术精确三角形的构造。最后,我们研究了两个分量链的框架弗洛尔同调,这些链激增到S^2 x S^1 # S^2 x S^1并且具有性质2 R。
We prove a basic inequality for the d-invariants of a splice of knots in homology spheres. As a result, we are able to prove a new relation on the rank of reduced Floer homology under maps between Seifert fibered homology spheres, improving results of the first and second authors. As a corollary, a degree one map between two aspherical Seifert homology spheres is homotopic to a homeomorphism if and only if the Heegaard Floer homologies are isomorphic.
We show that for a tangle $T$ with $-\partial^0T \cong \partial^1 T$ the Hochschild homology of the tangle Floer homology $\widetilde{\mathit{CT}}(T)$ is equivalent to the link Floer homology of the closure $T' = T/(-\partial^0T \sim \partial^1 T)$ of the tangle, linked with the tangle axis. In addition, we show that the action of the braid group on tangle Floer homology is faithful.
We construct cobordism maps on link Floer homology associated to decorated link cobordisms. The maps are defined on a curved chain homotopy type invariant. We describe the construction, and prove invariance. We also make a comparison with the graph TQFT for Heegaard Floer homology.
We use Heegaard Floer homology to define an invariant of homology cobordism. This invariant is isomorphic to a summand of the reduced Heegaard Floer homology of a rational homology sphere equipped with a spin structure and is analogous to Stoffregen's connected Seiberg-Witten Floer homology. We use this invariant to study the structure of the homology cobordism group and, along the way, compute the involutive correction terms for certain families of three-manifolds.
In a recent paper, Lin, Ruberman and Saveliev proved a splitting formula expressing the Seiberg-Witten invariant $λ_{SW}(X)$ of a smooth $4$-manifold with rational homology of $S^1\times S^3$ in terms of the Frøyshov invariant $h(X)$ and a Lefschetz number in reduced monopole Floer homology. In this note we observe that a similar splitting formula holds in reduced instanton Floer homology.
In this paper, we explore the interplay between contact structures and sutured monopole Floer homology. First, we study the behavior of contact elements, which were defined by Baldwin and Sivek, under the operation of performing Floer excisions, which was introduced to the context of sutured monopole Floer homology by Kronheimer and Mrowka. We then compute the sutured monopole Floer homology of some special balanced sutured manifolds, using tools closely related to contact geometry. For application, we obtain an exact triangle for the oriented skein relation in monopole theory and derive a con…
We construct maps on hat Heegaard Floer homology for cobordisms decorated with graphs. The graph TQFT allows for cobordisms with disconnected ends. Our construction uses Juhász's sutured Floer TQFT. We compute the maps for several elementary graph cobordisms. As an application, we compute the action of the fundamental group on hat Heegaard Floer homology.
This paper is a short introduction to the combinatorial version of tangle Floer homology defined in "Combinatorial tangle Floer homology". There are two equivalent definitions---one in terms of strand diagrams, and one in terms of bordered grid diagrams. We present both, discuss the correspondence, and carry out some explicit computations.
Continuing our previous work, we effectively compute connected Heegaard Floer homologies of two families of Brieskorn spheres realized as the boundaries of almost simple linear graphs. Using Floer theoretic invariants of Dai, Hom, Stoffregen, and Truong, we show that these Brieskorn spheres also generate infinite rank summands in the homology cobordism group. Our computations also have applications to the concordance of classical knots and $0$-concordance of $2$-knots.
We compute the connected Heegaard Floer homology (defined by Hendricks, Hom, and Lidman) for a large class of 3-manifolds, including all linear combinations of Seifert fibered homology spheres. We show that for such manifolds, the connected Floer homology completely determines the local equivalence class of the associated $ι$-complex. Some identities relating the rank of the connected Floer homology to the Rokhlin invariant and the Neumann-Siebenmann invariant are also derived. Our computations are based on combinatorial models inspired by the work of Némethi on lattice homology.
We give new obstructions to the module structures arising in Heegaard Floer homology. As a corollary, we characterize the possible modules arising as the Heegaard Floer homology of an integer homology sphere with one-dimensional reduced Floer homology. Up to absolute grading shifts, there are only two. We use this corollary to show that the chain complex depicted by Ozsváth, Stipsicz, and Szabó to argue that there is no algebraic obstruction to the existence of knots with trivial $ε$ invariant and non-trivial $Υ$ invariant cannot be realized as the knot Floer complex of a knot.
We make use of link Floer homology to study cobordisms between links embedded in 4-dimensional ribbon homology cobordisms. Combining results of Daemi--Lidman--Vela-Vick--Wong and Zemke, we show that ribbon homology concordances induce split injections on $\mathcal{HFL}^-$. We also make use of the torsion submodule of $\text{HFL}^-$ to give restrictions on the number of critical points in ribbon homology concordances.
Khovanov-Floer theories are a class of homological link invariants which admit spectral sequences from Khovanov homology. They include Khovanov homology, Szab{ó}'s geometric link homology, singular instanton homology, and various Floer theories applied to branched double covers. In this short note we show that certain strong Khovanov-Floer theories, including Szab{ó} homology and singular instanton homology, are invariant under Conway mutation. This confirms conjectures of Seed and Lambert-Cole. Along the way we prove two other conjectures about the structure of Szab{ó} homology.
In a previous paper, Vértesi and the first author used grid-like Heegaard diagrams to define tangle Floer homology, which associates to a tangle $T$ a differential graded bimodule $\widetilde{\mathrm{CT}} (T)$. If $L$ is obtained by gluing together $T_1, \dotsc, T_m$, then the knot Floer homology $\hat{\mathrm{HFK}}(L)$ of $L$ can be recovered from $\widetilde{\mathrm{CT}} (T_1), \dotsc, \widetilde{\mathrm{CT}} (T_m)$. In the present paper, we prove combinatorially that tangle Floer homology satisfies unoriented and oriented skein relations, generalizing the skein exact triangles for knot Floe…
The aim of this paper is to study the behavior of knot Floer homology under Murasugi sum. We establish a graded version of Ni's isomorphism between the extremal knot Floer homology of Murasugi sum of two links and the tensor product of the extremal knot Floer homology groups of the two summands. We further prove that $τ=g$ for each summand if and only if $τ=g$ holds for the Murasugi sum (with $τ$ and $g$ defined appropriately for multi-component links). Some applications are presented.
Using bordered Floer theory, we give a combinatorial construction and proof of invariance for the hat version of Heegaard Floer homology. As a part of the proof, we also establish combinatorially the invariance of the linear-categorical representation of the strongly-based mapping class groupoid given by the same theory.