Floer Complex Research Articles

Lattice homology, formality, and plumbed L-space links

We define a link lattice complex for plumbed links, generalizing constructions of Ozsváth, Stipsicz and Szabó, and of Gorsky and Némethi. We prove that for all plumbed links in rational homology 3-spheres, the link lattice complex is homotopy equivalent to the link Floer complex as an A_{\infty} -module. Additionally, we prove that the link Floer complex of a plumbed L-space link is a free resolution of its homology. As a consequence, we give an algorithm to compute the link Floer complexes of plumbed L-space links, in particular of algebraic links, from their multivariable Alexander polynomial.

An infinite family of chiral, non-slice, non-alternating hyperbolic knots with vanishing Upsilon invariants

For a knot in the 3-sphere, its Upsilon invariant is a continuous, piecewise linear function defined on the interval [0,2]. It is a concordance invariant, so vanishes for slice knots. Since it only changes the sign for the mirror image with reversed orientation, it also vanishes for amphicheiral knots. For alternating knots, more generally, quasi-alternating knots, the Upsilon invariant is determined only by the signature. In particular, it vanishes if such a knot has zero signature. On the other hand, it is known that the Upsilon invariant is a non-zero convex function for L-space knots. In this paper, we construct an infinite family of hyperbolic knots, each of which has zero Upsilon invariant, but is chiral, non-slice, non-alternating. To confirm that the Upsilon invariant vanishes, we calculate the full knot Floer complex.

Knot Floer homology and surgery on equivariant knots

AbstractGiven an equivariant knot of order 2, we study the induced action of the symmetry on the knot Floer homology. We relate this action with the induced action of the symmetry on the Heegaard Floer homology of large surgeries on . This surgery formula can be thought of as an equivariant analog of the involutive large surgery formula proved by Hendricks and Manolescu. As a consequence, we obtain that for certain double branched covers of and corks, the induced action of the involution on Heegaard Floer homology can be identified with an action on the knot Floer homology. As an application, we calculate equivariant correction terms which are invariants of a generalized version of the spin rational homology cobordism group, and define two knot concordance invariants. We also compute the action of the symmetry on the knot Floer complex of for several equivariant knots.

Stabilization distance bounds from link Floer homology

AbstractWe consider the set of connected surfaces in the 4‐ball with boundary a fixed knot in the 3‐sphere. We define the stabilization distance between two surfaces as the minimal such that we can get from one to the other using stabilizations and destabilizations through surfaces of genus at most . Similarly, we consider a double‐point distance between two surfaces of the same genus that is the minimum over all regular homotopies connecting the two surfaces of the maximal number of double points appearing in the homotopy. To many of the concordance invariants defined using Heegaard Floer homology, we construct an analogous invariant for a pair of surfaces. We show that these give lower bounds on the stabilization distance and the double‐point distance. We compute our invariants for some pairs of deform‐spun slice disks by proving a trace formula on the full infinity knot Floer complex, and by determining the action on knot Floer homology of an automorphism of the connected sum of a knot with itself that swaps the two summands. We use our invariants to find pairs of slice disks with arbitrarily large distance with respect to many of the metrics we consider in this paper. We also answer a slice‐disk analog of Problem 1.105 (B) from Kirby's problem list by showing the existence of non‐0‐cobordant slice disks.

Sutured instanton homology and Heegaard diagrams

Suppose $\mathcal {H}$ is an admissible Heegaard diagram for a balanced sutured manifold $(M,\gamma )$. We prove that the number of generators of the associated sutured Heegaard Floer complex is an upper bound on the dimension of the sutured instanton homology $\mathit {SHI}(M,\gamma )$. It follows, in particular, that strong L-spaces are instanton L-spaces.

Loop coproduct in Morse and Floer homology

By a well-known theorem of Viterbo, the symplectic homology of the cotangent bundle of a closed manifold is isomorphic to the homology of its loop space. In this paper, we extend the scope of this isomorphism in several directions. First, we give a direct definition of Rabinowitz loop homology in terms of Morse theory on the loop space and prove that its product agrees with the pair-of-pants product on Rabinowitz Floer homology. The proof uses compactified moduli spaces of punctured annuli. Second, we prove that, when restricted to positive Floer homology, resp. loop space homology relative to the constant loops, the Viterbo isomorphism intertwines various constructions of secondary pair-of-pants coproducts with the loop homology coproduct. Third, we introduce reduced loop homology, which is a common domain of definition for a canonical reduction of the loop product and for extensions of the loop homology coproduct which together define the structure of a commutative cocommutative unital infinitesimal anti-symmetric bialgebra. Along the way, we show that the Abbondandolo–Schwarz quasi-isomorphism going from the Floer complex of quadratic Hamiltonians to the Morse complex of the energy functional can be turned into a filtered chain isomorphism using linear Hamiltonians and the square root of the energy functional.

Invariants of annular links, cobordisms and transverse links from combinatorial link Floer complex

We define an annular concordance invariant and study its properties. When specialized to braids, this invariant gives bounds on band rank. We introduce a modified chain complex to reformulate the invariant. Then, by focusing on a special case, we give a refinement of the transverse invariant [Formula: see text]. We also study the relationship of this invariant with transverse and braid monodromy properties.

Heegaard Floer homology of surgeries on two-bridge links

We give an $O(p^{2})$ time algorithm to compute the generalized Heegaard Floer complexes $A_{s_{1},s_{2}}^{-}(\overrightarrow{L})$'s for a two-bridge link $\overrightarrow{L}=b(p,q)$ by using nice diagrams. Using the link surgery formula of Manolescu-Ozsv\'{a}th, we also show that ${\bf HF}^{-}$ and their $d$-invariants of all integer surgeries on two-bridge links are determined by $A_{s_{1},s_{2}}^{-}(\overrightarrow{L})$'s. We obtain a polynomial time algorithm to compute ${\bf HF}^{-}$ of all the surgeries on two-bridge links, with $\mathbb{Z}/2\mathbb{Z}$ coefficients. In addition, we calculate some examples explicitly: ${\bf HF}^{-}$ and the $d$-invariants of all integer surgeries on a family of hyperbolic two-bridge links including the Whitehead link.

Symplectic homology of convex domains and Clarke’s duality

We prove that the Floer complex associated with a convex Hamiltonian function on R2n is isomorphic to the Morse complex of Clarke’s dual action functional associated with the Fenchel-dual Hamiltonian. This isomorphism preserves the action filtrations. As a corollary, we obtain that the symplectic capacity from the symplectic homology of a convex domain with smooth boundary coincides with the minimal action of closed characteristics on its boundary.

Triple Linking Numbers and Heegaard Floer Homology

AbstractWe establish some new relationships between Milnor invariants and Heegaard Floer homology. This includes a formula for the Milnor triple linking number from the link Floer complex, detection results for the Whitehead link and Borromean rings, and a structural property of the $d$-invariants of surgeries on certain algebraically split links.

Bounds on the Lagrangian spectral metric in cotangent bundles

Let N be a closed manifold and U \subset T^*(N) a bounded domain in the cotangent bundle of N , containing the zero-section. A conjecture due to Viterbo asserts that the spectral metric for Lagrangian submanifolds in U that are exact-isotopic to the zero-section is bounded. In this paper we establish an upper bound on the spectral distance between two such Lagrangians L_0, L_1 , which depends linearly on the boundary depth of the Floer complexes of (L_0, F) and (L_1, F) , where F is a fiber of the cotangent bundle.

More concordance homomorphisms from knot Floer homology

We define an infinite family of linearly independent, integer-valued smooth concordance homomorphisms. Our homomorphisms are explicitly computable and rely on local equivalence classes of knot Floer complexes over the ring $\mathbb{F}[U, V]/(UV=0)$. We compare our invariants to other concordance homomorphisms coming from knot Floer homology, and discuss applications to topologically slice knots, concordance genus, and concordance unknotting number.

Bordered Floer homology and a meridional class of knot

For a knot K and its knot Floer complex \(CFK^-(K)\), we introduce an algorithm to compute the bordered Floer bimodule of the complement of the knot and its meridian. The grading of the module computes \(spin^c\)-summands of \({\widehat{HFK}}(S^3_{-n}(K), \mu _K)\), which can also be extended to arbitrary framing n.

A refinement of the Ozsváth-Szabó large integer surgery formula and knot concordance

We compute the knot Floer filtration induced by a cable of the meridian of a knot in the manifold obtained by large integer surgery along the knot. We give a formula in terms of the original knot Floer complex of the knot in the three-sphere. As an application, we show that a knot concordance invariant of Hom can equivalently be defined in terms of filtered maps on the Heegaard Floer homology groups induced by the two-handle attachment cobordism of surgery along a knot.

Formality of Floer complex of the ideal boundary of hyperbolic knot complement

This is a sequel to the authors' article [BKO](arXiv:1901.02239). We consider a hyperbolic knot $K$ in a closed 3-manifold $M$ and the cotangent bundle of its complement $M \setminus K$. We equip $M \setminus K$ with a hyperbolic metric $h$ and its cotangent bundle $T^*(M \setminus K)$ with the induced kinetic energy Hamiltonian $H_h = \frac{1}{2} |p|_h^2$ and Sasakian almost complex structure $J_h$, and associate a wrapped Fukaya category to $T^*(M\setminus K)$ whose wrapping is given by $H_h$. We then consider the conormal $\nu^*T$ of a horo-torus $T$ as its object. We prove that all non-constant Hamiltonian chords are transversal and of Morse index 0 relative to the horo-torus $T$, and so that the structure maps satisfy $\widetilde{\mathfrak m}^k = 0$ unless $k \neq 2$ and an $A_\infty$-algebra associated to $\nu^*T$ is reduced to a noncommutative algebra concentrated to degree 0. We prove that the wrapped Floer cohomology $HW(\nu^*T; H_h)$ with respect to $H_h$ is well-defined and isomorphic to the Knot Floer cohomology $HW(\partial_\infty(M \setminus K))$ that was introduced in [BKO] for arbitrary knot $K \subset M$. We also define a reduced cohomology, denoted by $\widetilde{HW}^d(\partial_\infty(M \setminus K))$, by modding out constant chords and prove that if $\widetilde{HW}^d(\partial_\infty(M \setminus K))\neq 0$ for some $d \geq 1$, then $K$ cannot be hyperbolic. On the other hand, we prove that all torus knots have $\widetilde{HW}^1(\partial_\infty(M \setminus K)) \neq 0$.

HF=HM, II : Reeb orbits and holomorphic curves for the ech/Heegaard Floer correspondence

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 pseudoholomorphic curves that define the differential on the embedded contact homology chain complex are also described here as a first step to relate the differential on the latter complex with that on the Heegaard Floer complex.

Product structures in Floer theory for Lagrangian cobordisms

We construct a product on the Floer complex associated to a pair of Lagrangian cobordisms. More precisely, given three exact transverse Lagrangian cobordisms in the symplectization of a contact manifold, we define a map $\mathfrak{m}_2$ by a count of rigid pseudo-holomorphic disks with boundary on the cobordisms and having punctures asymptotic to intersection points and Reeb chords of the negative Legendrian ends of the cobordisms. More generally, to a $(d+1)$-tuple of exact transverse Lagrangian cobordisms we associate a map $\mathfrak{m}_d$ such that the family $(\mathfrak{m}_d)_{d\geq1}$ are $A_\infty$-maps. Finally, we extend the Ekholm-Seidel isomorphism to an $A_\infty$-morphism, giving in particular that it is a ring isomorphism.

Connected sums and involutive knot Floer homology

We prove a formula for the conjugation action on the knot Floer complex of the connected sum of two knots. Using the formula we construct a homomorphism from the smooth concordance group to an abelian group consisting of chain complexes with homotopy automorphisms, modulo an equivalence relation. Using our connected sum formula, we perform some example computations of Hendricks and Manolescu's involutive invariants on large surgeries of connected sums of knots.

Gromov compactness for squiggly strip shrinking in pseudoholomorphic quilts

We establish a Gromov compactness theorem for strip shrinking in pseudoholomorphic quilts when composition of Lagrangian correspondences is immersed. In particular, we show that figure eight bubbling occurs in the limit, argue that this is a codimension-0 effect, and predict its algebraic consequences—geometric composition extends to a curved $$A_\infty $$ -bifunctor, in particular the associated Floer complexes are isomorphic after a figure eight correction of the bounding cochain. An appendix with Felix Schmaschke provides examples of nontrivial figure eight bubbles.

On independence of iterated Whitehead doubles in the knot concordance group

Let [Formula: see text] be the positively clasped untwisted Whitehead double of a knot [Formula: see text], and [Formula: see text] be the [Formula: see text] torus knot. We show that [Formula: see text] and [Formula: see text] are linearly independent in the smooth knot concordance group [Formula: see text] for each [Formula: see text]. Further, [Formula: see text] and [Formula: see text] generate a [Formula: see text] summand in the subgroup of [Formula: see text] generated by topologically slice knots. We use the concordance invariant [Formula: see text] of Manolescu and Owens, using Heegaard Floer correction term. Interestingly, these results are not easily shown using other concordance invariants such as the [Formula: see text]-invariant of knot Floer theory and the [Formula: see text]-invariant of Khovanov homology. We also determine the infinity version of the knot Floer complex of [Formula: see text] for any [Formula: see text] generalizing a result for [Formula: see text] of Hedden, Kim and Livingston.