Related papers: A Seifert algorithm for integral homology spheres
The $\mathbb{Z}_{2}$-equivariant Heegaard Floer cohomlogy $\widehat{HF}_{\mathbb{Z}_{2}}(\Sigma(K))$ of a knot $K$ in $S^{3}$, constructed by Hendricks, Lipshitz, and Sarkar, is an isotopy invariant which is defined using bridge diagrams of…
Bordered Floer homology associates to a parametrized oriented surface a certain differential graded algebra. We study the properties of this algebra under splittings of the surface. To the circle we associate a differential graded…
In a recent paper, the first author and his collaborator developed a method to compute an upper bound of the dimension of instanton Floer homology via Heegaard Diagrams of 3-manifolds. For a knot inside S3, we further develop an algorithm…
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…
In this paper, we define real link Floer homology for strongly invertible and doubly periodic links in closed real $3$-manifolds with connected fixed sets, which generalizes real Heegaard Floer homology and real sutured Heegaard Floer…
For every $n \ge 3$, we construct 2-component links in $S^{n+1}$ that are a split by an integer homology $n$-sphere, but not by $S^n$. In the special case $n=3$, i.e. that of 2-links in $S^4$, we produce an infinite family of links $L_\ell$…
We prove the existence of a new algorithm for 3-sphere recognition based on Groebner basis methods applied to the variety of $\text{\em SL}(2,\C)$-representation of the fundamental group. An essential input is a recent result of the second…
The geometry of a two-dimensional surface in a curved space can be most easily visualized by using an isometric embedding in flat three-dimensional space. Here we present a new method for embedding surfaces with spherical topology in flat…
In this survey paper we present results about link diagrams in Seifert manifolds using arrow diagrams, starting with link diagrams in $F\times S^1$ and $N\hat{\times}S^1$, where $F$ is an orientable and $N$ an unorientable surface.…
We prove that any knot or link in any 3-manifold can be nicely decomposed (splitted) by a filling Dehn sphere. This has interesting consequences in the study of branched coverings over knots and links. We give an algorithm for computing…
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…
The intention of this article is to illustrate the use of methods from symplectic geometry for practical purposes. Our intended audience is scientists interested in orbits of Hamiltonian systems (e.g. the three-body problem). The main…
Let L be a link in an integral homology three-sphere. We give a description of the Heegaard Floer homology of integral surgeries on L in terms of some data associated to L, which we call a complete system of hyperboxes for L. Roughly, a…
We give families of knots and links with pairs of Seifert surfaces that are topologically non-isotopic in $D^4$. This generalizes the main example of Hayden-Kim-Miller-Park-Sundberg and the proof is similarly based on the double branched…
It is known that every closed oriented 3-manifold is homology cobordant to a hyperbolic 3-manifold. By contrast we show that many homology cobordism classes contain no Seifert fibered 3-manifold. This is accomplished by determining the…
We analyze the embedding dimension of a normal weighted homogeneous surface singularity, and more generally, the Poincar\'e series of the minimal set of generators of the graded algebra of regular functions, provided that the link of the…
In [LMO] a 3-manifold invariant $\Omega(M)$ is constructed using a modification of the Kontsevich integral and the Kirby calculus. The invariant $\Omega$ takes values in a graded Hopf algebra of Feynman 3-valent graphs. Here we show that…
We show that every canonical Seifert surface is (up to isotopy) given by a knot diagram in which the (open) Seifert disks are pairwise disjoint.
We extend knot contact homology to a theory over the ring $\mathbb{Z}[\lambda^{\pm 1},\mu^{\pm 1}]$, with the invariant given topologically and combinatorially. The improved invariant, which is defined for framed knots in $S^3$ and can be…
We provide an algorithm to determine the Heegaard genus of simple 3-manifolds with non-empty boundary. More generally, we supply an algorithm to determine (up to ambient isotopy) all the Heegaard splittings of any given genus for the…