Let X be a simply-connected closed oriented 4-manifold and A an embedded surface of genus g and negative self-intersection -N. We show that for fixed genus g there is an upper bound on N if the homology class of A is divisible or characteristic. In particular, for genus zero, there is a lower bound on the self-intersection of embedded spheres in these kinds of homology classes. This question is related to a problem from the Kirby list.
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.
In this paper we introduce a representation of a embedded knotted (sometimes Lagrangian) tori in $\BR^4$ called a hypercube diagram, i.e., a 4-dimensional cube diagram. We prove the existence of hypercube homology that is invariant under 4-dimensional cube diagram moves, a homology that is based on knot Floer homology. We provide examples of hypercube diagrams and hypercube homology, including using the new invariant to distinguish (up to cube moves) two "Hopf linked" tori. We also give examples of a "Trefoil" torus and an immersed knotted torus that is an amalgamation of the $5_2$ knot and a …
We generalize the construction of the Heegaard Floer homology for a singular knot to that for a balanced bipartite graph. For a given graph, we provide a combinatorial description of the Euler characteristic of its Heegaard Floer homology by using the "Kauffman states" on a graph diagram.
We define additional gradings on two generalisations of Khovanov homology (one due to the first author, the other due to the second), and use them to define invariants of various kinds of embeddings. These include invariants of links in thickened surfaces and of surfaces embedded in thickened $3$-manifolds. In particular, the invariants of embedded surfaces are expressed in terms of certain diagrams related to the thickened $3$-manifold, so that we refer to them as picture-valued invariants. This paper contains the first instance of such invariants for $2$-dimensional objects. The additional g…
This paper is the sequel to "The equivalence of Heegaard Floer homology and embedded contact homology via open book decompositions I" and is devoted to proving some of the technical parts of the HF=ECH isomorphism.
This article is a survey on the authors' proof of the isomorphism between Heegaard Floer homology and embedded contact homology appeared in This article is a survey on the authors' proof of the isomorphism between Heegaard Floer homology and embedded contact homology appeared in arXiv:1208.1074, arXiv:1208.1077 and arXiv:1208.1526.
Given an open book decomposition (S,h) adapted to a closed, oriented 3-manifold M, we define a chain map from a certain Heegaard Floer chain complex associated to (S,h) to a certain embedded contact homology chain complex associated to (S,h), as defined in arXiv:1008.2734, and prove that it induces an isomorphism on the level of homology. This implies the isomorphism between the hat version of Heegaard Floer homology of -M and the hat version of embedded contact homology of M.
In this paper we prove the existence of rational homology balls smoothly embedded in regular neighborhoods of certain linear chains of smooth $2$-spheres by using techniques from minimal model program for 3-dimensional complex algebraic variety.
Given a closed oriented 3-manifold M, we establish an isomorphism between the Heegaard Floer homology group HF^+(-M) and the embedded contact homology group ECH(M). Starting from an open book decomposition (S,h) of M, we construct a chain map Φ^+ from a Heegaard Floer chain complex associated to (S,h) to an embedded contact homology chain complex for a contact form supported by (S,h). The chain map Φ^+ commutes up to homotopy with the U-maps defined on both sides and reduces to the quasi-isomorphism Φfrom "The equivalence of Heegaard Floer homology and embedded contact homology I, II" on subco…
We prove the additivity of the Casson-Seiberg-Witten invariant of integral homology $S^1 \times S^3$ under fiber sum along embedded curves and embedded tori, which is the $4$-dimensional analogue of the additivity of the Casson invariant under connected-sum and splicing along knots.
We prove that there are rational homology balls $B_p$ smoothly embedded in the $2$-handlebodies associated to certain knots. Furthermore we show that, if we rationally blow up the $2$-handlebody along the embedded rational homology ball $B_p$, then the resulting $4$-manifold cannot be obtained just by a sequence of ordinary blow ups from the $2$-handlebody under a certain mild condition.
Given a transverse knot $K$ in a three dimensional contact manifold $(Y,α)$, in [13] Colin, Ghiggini, Honda and Hutchings define a hat version of embedded contact homology for $K$, that we call $\widehat{ECK}(K,Y,α)$, and conjecture that it is isomorphic to the knot Floer homology $\widehat{HFK}(K,Y)$. We define here a full version $ECK(K,Y,α)$ and generalise the definitions to the case of links. We prove then that, if $Y = S^3$, $ECK$ and $\widehat{ECK}$ categorify the (multivariable) Alexander polynomial of knots and links, obtaining expressions analogue to that for knot and link Floer homol…
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 $\Sq^2$. In particular, we give examples of links with identical integral Khovanov homology but with distinct Khovanov homotopy types.
We introduce Khovanov homology for ribbon graphs and show that the Khovanov homology of a certain ribbon graph embedded on the Turaev surface of a link is isomorphic to the Khovanov homology of the link (after a grading shift). We also present a spanning quasi-tree model for the Khovanov homology of a ribbon graph.
We prove that if an integer homology three-sphere contains an embedded incompressible torus, then its fundamental group admits irreducible SU(2)-representations. Our methods use instanton Floer homology, and in particular the surgery exact triangle, holonomy perturbations, and a non-vanishing result due to Kronheimer-Mrowka, as well as results about surgeries on cables due to Gordon.
In an $n$-manifold $X$ each element of $H_{n-1}(X; \mathbb{Z}_2)$ can be represented by an embedded codimension-1 submanifold. Hence for any two such submanifolds there is a third one that represents the sum of their homology classes. We construct such a representative explicitly. We describe the analogous construction for codimension-2 co-oriented submanifolds, and examine the special case of oriented and/or co-oriented submanifolds. We also give a lower bound for the number of connected components of the intersection of two oriented codimension-1 submanifolds in terms of the homology classes…
We study the action of the Veech group of square-tiled surfaces of genus two on homology. This action defines the homology Veech group which is a subgroup of $\textrm{SL}_2(\mathcal{O}_D)$ where $\mathcal{O}_D$ is a quadratic order of square discriminant. Extending a result of Weitze-Schmithüsen we show that also the homology Veech group is a totally non-congruence subgroup with exceptions stemming only from the prime ideals lying above 2. While Weitze-Schmithüsen's result for Veech groups is asymmetric with respect to the spin structure our use of the homology Veech group yields a completely …
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 nontrivial example of the second Steenrod square operator on the Khovanov homology for links in a 3-manifold other than the 3-sphere.
The rational homology balls $B_n$ appeared in Fintushel and Stern's rational blow-down construction [FS] and were subsequently used (e.g. Fintushel-Stern[FS4], Park[Pa2]) to construct exotic smooth manifolds with small Euler numbers. We show that a large class of smooth 4-manifolds have all of the $B_n$'s for odd $n \geq 3$ embedded in them. In particular, we give explicit examples, using Kirby calculus, of several families of smooth embeddings of the rational homology balls $B_n$.
We describe stable cup-i products on the cochain complex with $F^2$ coefficients of any augmented semi-simplicial object in the Burnside category. An example of such an object is the Khovanov functor of Lawson, Lipshitz and Sarkar. Thus we obtain explicit formulas for cohomology operations on the Khovanov homology of any link.
We give infinitely many examples of manifold-knot pairs (Y, J) such that Y bounds an integer homology ball, J does not bound a non-locally-flat PL-disk in any integer homology ball, but J does bound a smoothly embedded disk in a rational homology ball. The proof relies on formal properties of involutive Heegaard Floer homology.
This is the fourth of five papers that construct an isomorphism between the Seiberg-Witten Floer homology and the Heegaard Floer homology of a given compact, oriented 3-manifold. The isomorphism is given as a composition of three isomorphisms; the first of these relates a version of embedded contact homology on an an auxillary manifold to the Heegaard Floer homology on the original. The second isomorphism relates the relevant version of the embedded contact homology on the auxilliary manifold with a version of the Seiberg-Witten Floer homology on this same manifold. The third isomorphism relat…
We prove that if G is an abelian group of odd order then there is an isomorphism from the second quandle homology of the Takasaki quandle of G to the exterior square of G. In particular, for G=Z_k^n, k odd, we obtain Z_k^{n(n-1)/2}. Nontrivial second homology allows us to use 2-cocycles to construct new quandles from T(G), and to construct link invariants.
In this note we study whether specific elements in the second homology of specific simply connected closed $4$-manifolds can be represented by smooth or topologically flat embedded spheres.
This is the second of five papers that construct an isomorphism between the Seiberg-Witten Floer homology and the Heegaard Floer homology of a given compact, oriented 3-manifold. The isomorphism is given as a composition of three isomorphisms; the first of these relates a version of embedded contact homology on an an auxillary manifold to the Heegaard Floer homology on the original. This paper describes this auxilliary manifold, its geometry, and the relationship between the generators of the embedded contact homology chain complex and those of the Heegaard Floer chain complex. The pseudoholom…
Embedded contact knot homology (ECK) is a variation on Embedded contact homology (ECH), defined with respect to an open book decomposition compatible with a contact structure on some 3-manifold, M. The knot in question is given by the (null-homologous) binding of the open book and the chain complex is defined in terms of closed orbits of the Reeb vector field and certain pseudoholomorphic curves in the symplectization of the knot complement. In this thesis we first generalize this construction to the case of rational open book decompositions, allowing us to define ECK for rationally null-homol…
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) -> Kh^{i+2,j}(L). We compute this operation for all links up to 11 crossings; this, in turn, determines the stable homotopy type of X(L) for all such links.
Suppose $Σ$ is a compact oriented surface (possibly with boundary) that has genus zero, and L is a link in the interior of $(-1,1)\timesΣ$. We prove that the Asaeda-Przytycki-Sikora (APS) homology of L has rank 2 if and only if L is isotopic to an embedded knot in $\{0\}\timesΣ$. As a consequence, the APS homology detects the unknot in $(-1,1)\timesΣ$. This is the first detection result for generalized Khovanov homology that is valid on an infinite family of manifolds, and it partially solves a conjecture in arxiv:2005.12863. Our proof is different from the previous detection results obtained …
Let $V$ be a regular neighborhood of a negative chain of $2$-spheres (i.e. exceptional divisor of a cyclic quotient singularity), and let $B_{p,q}$ be a rational homology ball which is smoothly embedded in $V$. Assume that the embedding is simple, i.e. the corresponding rational blow-up can be obtained by just a sequence of ordinary blow-ups from $V$. Then we show that this simple embedding comes from the semi-stable minimal model program (MMP) for $3$-dimensional complex algebraic varieties under certain mild conditions. That is, one can find all simply embedded $B_{p,q}$'s in $V$ via a finit…
This is the third of five papers that construct an isomorphism between the Seiberg-Witten Floer homology and the Heegaard Floer homology of a given compact, oriented 3-manifold. The isomorphism is given as a composition of three isomorphisms; the first of these relates a version of embedded contact homology on an an auxillary manifold to the Heegaard Floer homology on the original. This paper describes the relationship between the differential on the embedded contact homology chain complex and the differential on the Heegaard Floer chain complex. The paper also describes the relationship betwe…
The homology group of a tiling introduced by M. Reid is studied for certain topological tilings. As in the planar case, for finite square grids on topological surfaces, the method of homology groups, namely the non-triviality of some specific element in the group allows a `coloring proof' of impossibility of a tiling. Several results about the non-existence of polyomino tilings on certain square-tiled surfaces are proved in the paper.
Assume $Γ$ is a negative-definite forest with exactly one unframed vertex, and $M(Γ)$ is the resulting plumbed 3-manifold with a knot embedded. We show that the filtered lattice chain homotopy type of $Γ$ is an invariant of the diffeomorphism type of $M(Γ)$.
We investigate constraints on embeddings of a non-orientable surface in a $4$-manifold with the homology of $M \times I$, where $M$ is a rational homology $3$-sphere. The constraints take the form of inequalities involving the genus and normal Euler class of the surface, and either the Ozsváth--Sazbó $d$-invariants or Atiyah--Singer $ρ$-invariants of $M$. One consequence is that the minimal genus of a smoothly embedded surface in $L(2p,q) \times I$ is the same as the minimal genus of a surface in $L(2p,q)$. We also consider embeddings of non-orientable surfaces in closed $4$-manifolds.
We study the 3-dimensional immersed crosscap number of a knot, which is a nonorientable analogue of the immersed Seifert genus. We study knots with immersed crosscap number 1, and show that a knot has immersed crosscap number 1 if and only if it is a nonntrivial $(2p,q)$-torus or $(2p,q)$-cable knot. We show that unlike in the orientable case the immersed crosscap number can differ from the embedded crosscap number by arbitrarily large amounts, and that it is neither bounded below nor above by the 4-dimensional crosscap number. We then use these constructions to find, for any $n\geq 2$, an ori…
This paper provides a convenient and practical method to compute the homology and intersection pairing of a branched double cover of the 4-ball. To projections of links in the 3-ball, and to projections of surfaces in the 4-ball into the boundary sphere, we associate a sequence of homology groups, called the disoriented homology. We show that the disoriented homology is isomorphic to the homology of the double branched cover of the link or surface. We define a pairing on the first disoriented homology group of a surface and show that this is equal to the intersection pairing of the branched co…
Let $Σ$ be a surface with a symplectic form, let $ϕ$ be a symplectomorphism of $Σ$, and let $Y$ be the mapping torus of $ϕ$. We show that the dimensions of moduli spaces of embedded pseudoholomorphic curves in $\R\times Y$, with cylindrical ends asymptotic to periodic orbits of $ϕ$ or multiple covers thereof, are bounded from above by an additive relative index. We deduce some compactness results for these moduli spaces. This paper establishes some of the foundations for a program with Michael Thaddeus, to understand the Seiberg-Witten Floer homology of $Y$ in terms of such pseudoholomorphic c…
We refine Matveev's result asserting that any two closed oriented 3-manifolds can be related by a sequence of borromean surgeries if and only if they have isomorphic first homology groups and linking pairings. Indeed, a borromean surgery induces a canonical isomorphism between the first homology groups of the involved 3-manifolds, which preserves the linking pairing. We prove that any such isomorphism is induced by a sequence of borromean surgeries. As an intermediate result, we prove that a given algebraic square finite presentation of the first homology group of a 3-manifold, which encodes t…
Suppose C is a singular curve in CP^2 and it is topologically an embedded surface of genus g; such curves are called cuspidal. The singularities of C are cones on knots K_i. We apply Heegaard Floer theory to find new constraints on the sets of knots {K_i} that can arise as the links of singularities of cuspidal curves. We combine algebro-geometric constraints with ours to solve the existence problem for curves with genus one, d>33, that possess exactly one singularity which has exactly one Puiseux pair (p;q). The realized triples (p,d,q) are expressed as successive even terms in the Fibonacci …
