Related papers: A Modification of the Sarkar-Wang Algorithm and an…
In this paper, we give an algorithm to compute the hat version of the Heegaard Floer homology of a closed oriented three-manifold. This method also allows us to compute the filtrations coming from a null-homologous link in a three-manifold.
Sarkar and Wang proved that the hat version of Heegaard Floer homology group of a closed oriented 3-manifold is combinatorial starting from an arbitrary nice Heegaard diagram and in fact every closed oriented 3-manifold admits such a…
The earlier article tried to construct an algorithm to compute the Heegaard Floer homology \hat{HF}(Y) for a 3-manifold Y. However there is an error in a proof which the author, as of now, is unable to fix.
Using the combinatorial approach to Heegaard Floer homology we obtain a relatively easy formula for computation of hat Heegaard Floer homology for the three-manifold obtained by rational surgery on a knot K inside a homology sphere Y.
We present two SageMath programs that build on and improve upon Sucharit Sarkar's hf-hat. Given an abstract open book and a collection of pairwise disjoint properly embedded arcs on a page of the open book, the first program, hf-hat-obd,…
In this short note, we observe that the Heegaard Floer contact invariant is combinatorial by applying the algorithm of Sarkar--Wang to the description of the contact invariant due to Honda--Kazez--Matic. We include an example of this…
We compute the Heegaard Floer homology of an oriented 3-manifold obtained by a negative rational surgery along an arbitrary algebraic knot.
This is a survey of bordered Heegaard Floer homology, an extension of the Heegaard Floer invariant HF-hat to 3-manifolds with boundary. Emphasis is placed on how bordered Heegaard Floer homology can be used for computations.
We obtain a formula for the Heegaard Floer homology (hat theory) of the three-manifold $Y(K_1,K_2)$ obtained by splicing the complements of the knots $K_i\subset Y_i$, $i=1,2$, in terms of the knot Floer homology of $K_1$ and $K_2$. We also…
Fix a 3-manifold $Y$ with boundary $F\amalg F$ and an orientation-preserving involution $\tau: Y\to Y$ exchanging the boundary components, with nonempty fixed set. To an appropriate kind of Heegaard diagram for $Y$, we describe how to…
We present a braid-theoretic approach to combinatorially computing knot Floer homology. To a knot or link K, which is braided about the standard disk open book decomposition for (S^3,\xi_std), we associate a corresponding multi-pointed nice…
Sutured Floer homology, denoted by SFH, is an invariant of balanced sutured manifolds previously defined by the author. In this paper we give a formula that shows how this invariant changes under surface decompositions. In particular, if…
Bordered Heegaard Floer homology is an invariant for three-manifolds with boundary. In particular, this invariant associates to a handle decomposition of a surface F a differential graded algebra, and to an arc slide between two handle…
We define a new combinatorial complex computing the hat version of link Floer homology over Z/2Z, which turns out to be significantly smaller than the Manolescu-Ozsvath-Sarkar one.
In a previous paper, Sarkar and the third author gave a combinatorial description of the hat version of Heegaard Floer homology for three-manifolds. Given a cobordism between two connected three-manifolds, there is an induced map between…
We give a bordered extension of involutive HF-hat and use it to give an algorithm to compute involutive HF-hat for general 3-manifolds. We also explain how the mapping class group action on HF-hat can be computed using bordered Floer…
Using bordered Floer theory, we construct an invariant $\widehat{\mathit{HFO}}(Y^{\text{orb}})$ for $3$-orbifolds $Y^{\text{orb}}$ with singular set a knot that generalizes the hat flavor $\widehat{\mathit{HF}}(Y)$ of Heegaard Floer…
Let $K$ denote a knot inside the homology sphere $Y$ and $K'$ denote a knot inside a homology sphere $L$-space. Let $X=Y(K,K')$ denote the 3-manifold obtained by splicing the complements of $K$ and $K'$. We show that…
We reformulate Heegaard Floer homology in terms of holomorphic curves in the cylindrical manifold Sigma x [0,1] x R, where Sigma is the Heegaard surface, instead of Sym^g(Sigma). We then show that the entire invariance proof can be carried…
We perform two explicit computations of bordered Heegaard Floer invariants. The first is the type D trimodule associated to the trivial S^1 bundle over the pair of pants P. The second is a bimodule that is necessary for self-gluing, when…