Showing 1–32 of 32 results for author: Zemke, I

A note on the involutive invariants of splices

Authors: Kristen Hendricks, Matthew Stoffregen, Ian Zemke

Abstract: A natural family of potentially 2-torsion elements in the integer homology cobordism group consists of splices of knots with their mirrors. We show that such 3-manifolds have locally trivial involutive Floer homology. We show some related families of splices also have locally trivial involutive Floer homology. Our arguments show that many gauge theoretic invariants also vanish on these 3-manifolds… ▽ More A natural family of potentially 2-torsion elements in the integer homology cobordism group consists of splices of knots with their mirrors. We show that such 3-manifolds have locally trivial involutive Floer homology. We show some related families of splices also have locally trivial involutive Floer homology. Our arguments show that many gauge theoretic invariants also vanish on these 3-manifolds. △ Less

Submitted 5 June, 2024; originally announced June 2024.

Comments: 14 pages

MSC Class: 57K31; 57K18; 57R58

Gompf's cork and Heegaard Floer homology

Authors: Irving Dai, Abhishek Mallick, Ian Zemke

Abstract: Gompf showed that for $K$ in a certain family of double-twist knots, the swallow-follow operation makes $1/n$-surgery on $K \# -K$ into a cork boundary. We derive a general Floer-theoretic condition on $K$ under which this is the case. Our formalism allows us to produce many further examples of corks, partially answering a question of Gompf. Unlike Gompf's method, our proof does not rely on any cl… ▽ More Gompf showed that for $K$ in a certain family of double-twist knots, the swallow-follow operation makes $1/n$-surgery on $K \# -K$ into a cork boundary. We derive a general Floer-theoretic condition on $K$ under which this is the case. Our formalism allows us to produce many further examples of corks, partially answering a question of Gompf. Unlike Gompf's method, our proof does not rely on any closed 4-manifold invariants or effective embeddings, and also generalizes to other diffeomorphisms. △ Less

Submitted 13 December, 2023; originally announced December 2023.

Comments: 21 pages; 7 figures

MSC Class: 57R58; 57R55

A general Heegaard Floer surgery formula

Authors: Ian Zemke

Abstract: We give several new perspectives on the Heegaard Floer Dehn surgery formulas of Manolescu, Ozsváth and Szabó. Our main result is a new exact triangle in the Fukaya category of the torus which gives a new proof of these formulas. This exact triangle is different from the one which appeared in Ozsváth and Szabó's original proof. This exact triangle simplifies a number of technical aspects in their p… ▽ More We give several new perspectives on the Heegaard Floer Dehn surgery formulas of Manolescu, Ozsváth and Szabó. Our main result is a new exact triangle in the Fukaya category of the torus which gives a new proof of these formulas. This exact triangle is different from the one which appeared in Ozsváth and Szabó's original proof. This exact triangle simplifies a number of technical aspects in their proofs and also allows us to prove several new results. A first application is an extensions of the link surgery formula to arbitrary links in closed 3-manifolds, with no restrictions on the link being null-homologous. A second application is a proof that the modules for bordered manifolds with torus boundaries, defined by the author in a previous paper, are invariants. Another application is a simple proof of a version of the surgery formula which computes knot and link Floer complexes in terms of subcubes of the link surgery hypercube. As a final application, we show that the knot surgery algebra is homotopy equivalent to an endomorphism algebra of a sum of two decorated Lagrangians in the torus, mirroring a result of Auroux concerning the algebras of Lipshitz, Ozsváth and Thurston. △ Less

Submitted 29 August, 2023; originally announced August 2023.

Comments: 91 pages

MSC Class: 57K18; 57K31

Connected sums and directed systems in knot Floer homologies

Authors: Sudipta Ghosh, Ian Zemke

Abstract: We prove a number of fundamental properties about instanton knot Floer homology. Our arguments rely on general properties of sutured Floer theories and apply also in the Heegaard Floer and monopole Floer settings, where many of our results were already known. Our main result is the connected sum formula for instanton knot Floer homology. An extension of this result proves the oriented skein exact… ▽ More We prove a number of fundamental properties about instanton knot Floer homology. Our arguments rely on general properties of sutured Floer theories and apply also in the Heegaard Floer and monopole Floer settings, where many of our results were already known. Our main result is the connected sum formula for instanton knot Floer homology. An extension of this result proves the oriented skein exact triangle for the minus version of instanton knot Floer homology. Finally, we derive a new model of the minus version of instanton knot Floer homology, which takes the form of a free, finitely generated chain complex over a polynomial ring, as opposed to a direct limit. This construction is new to all of the Floer theories. We explore these results also in the context of Heegaard Floer theory as well. △ Less

Submitted 2 January, 2024; v1 submitted 11 March, 2023; originally announced March 2023.

Comments: v2: added extra details about homological algebra and eigenspaces, and free model in Heegaard Floer theory

MSC Class: 57K18; 57R58

Lattice homology, formality, and plumbed L-space links

Authors: Maciej Borodzik, Beibei Liu, Ian Zemke

Abstract: 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 resoluti… ▽ More 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. △ Less

Submitted 5 March, 2024; v1 submitted 27 October, 2022; originally announced October 2022.

Comments: More details are added in Section 7, and it is the final version to appear in JEMS

MSC Class: 57K10; 57K18; 57R58; 14B05; 14J17; 14H20

An involutive dual knot surgery formula

Authors: Kristen Hendricks, Jennifer Hom, Matthew Stoffregen, Ian Zemke

Abstract: We prove an involutive analog of the dual knot surgery formula of Eftekhary and Hedden-Levine. We also compute a small model for the local equivalence class of the involutive dual knot complex. We prove an involutive analog of the dual knot surgery formula of Eftekhary and Hedden-Levine. We also compute a small model for the local equivalence class of the involutive dual knot complex. △ Less

Submitted 25 May, 2022; originally announced May 2022.

Comments: 47 pages, 7 figures. Comments welcomed!

MSC Class: 57K18; 57K31; 57R58

Naturality and functoriality in involutive Heegaard Floer homology

Authors: Kristen Hendricks, Jennifer Hom, Matthew Stoffregen, Ian Zemke

Abstract: We prove first-order naturality of involutive Heegaard Floer homology, and furthermore construct well-defined maps on involutive Heegaard Floer homology associated to cobordisms between three-manifolds. We also prove analogous naturality and functoriality results for involutive Floer theory for knots and links. The proof relies on the doubling model for the involution, as well as several variation… ▽ More We prove first-order naturality of involutive Heegaard Floer homology, and furthermore construct well-defined maps on involutive Heegaard Floer homology associated to cobordisms between three-manifolds. We also prove analogous naturality and functoriality results for involutive Floer theory for knots and links. The proof relies on the doubling model for the involution, as well as several variations. △ Less

Submitted 6 February, 2023; v1 submitted 30 January, 2022; originally announced January 2022.

Comments: v2. 105 pages. Addresses dependence of our model on a framing of the basepoint

MSC Class: 57K18; 57K41

The equivalence of lattice and Heegaard Floer homology

Authors: Ian Zemke

Abstract: We prove Némethi's conjecture: if $Y$ is a 3-manifold which is the boundary of a plumbing of a tree of disk bundles over $S^2$, then the lattice homology of $Y$ coincides with the Heegaard Floer homology of $Y$. We also give a conjectural description of the $H_1(Y)/\mathrm{Tors}$ action when $b_1(Y)>0$. We prove Némethi's conjecture: if $Y$ is a 3-manifold which is the boundary of a plumbing of a tree of disk bundles over $S^2$, then the lattice homology of $Y$ coincides with the Heegaard Floer homology of $Y$. We also give a conjectural description of the $H_1(Y)/\mathrm{Tors}$ action when $b_1(Y)>0$. △ Less

Submitted 24 January, 2023; v1 submitted 29 November, 2021; originally announced November 2021.

Comments: 32 pages. v3 Minor revisions

MSC Class: 57K18; 57K31

Bordered manifolds with torus boundary and the link surgery formula

Authors: Ian Zemke

Abstract: In this paper, we develop a theory of bordered $\mathit{HF}^-$ using the link surgery formula of Manolescu and Ozsváth. We interpret their link surgery complexes as type-$D$ modules over an associative algebra $\mathcal{K}$, which we introduce. We prove a connected sum formula, which we interpret as an $A_\infty$-tensor product over our algebra $\mathcal{K}$. Topologically, this connected sum form… ▽ More In this paper, we develop a theory of bordered $\mathit{HF}^-$ using the link surgery formula of Manolescu and Ozsváth. We interpret their link surgery complexes as type-$D$ modules over an associative algebra $\mathcal{K}$, which we introduce. We prove a connected sum formula, which we interpret as an $A_\infty$-tensor product over our algebra $\mathcal{K}$. Topologically, this connected sum formula may be viewed as a formula for gluing along torus boundary components. We compute several important examples. We show that the dual knot formula of Hedden--Levine and Eftekhary may be interpreted as the $DA$-bimodule for a particular diffeomorphism of the torus. As another example, if $K_1$ and $K_2$ are knots in $S^3$, and $Y$ is obtained by gluing the complements of $K_1$ and $K_2$ together using an orientation reversing diffeomorphism of their boundaries, then our theory may be used to compute $\mathit{CF}^-(Y)$ from $\mathit{CFK}^\infty(K_1)$ and $\mathit{CFK}^\infty(K_2)$. We additionally compute the type-$D$ modules for rationally framed solid tori. Our theory also computes the Heegaard Floer homology of all 3-manifolds which bound a plumbing of a tree of disk bundles over 2-spheres. In a subsequent article, we use this work to verify Némethi's conjecture about lattice homology. △ Less

Submitted 6 January, 2023; v1 submitted 23 September, 2021; originally announced September 2021.

Comments: 165 pages. v5: The constructions in Sections 5 and 6 of v4 have a natural description in terms of Beilinson's topological tensor products. We have reframed the presentation in these sections to improve readability. Additional references added

MSC Class: 57K18; 57K31

A note on PL-disks and rationally slice knots

Authors: Kristen Hendricks, Jennifer Hom, Matthew Stoffregen, Ian Zemke

Abstract: 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. 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. △ Less

Submitted 19 July, 2021; originally announced July 2021.

Comments: 4 pages, 1 figure

MSC Class: 57K18; 57Q60; 57R58

Heegaard Floer homology and plane curves with non-cuspidal singularities

Authors: Maciej Borodzik, Beibei Liu, Ian Zemke

Abstract: We study possible configurations of singular points occuring on general algebraic curves in $\mathbb{C}P^2$ via Floer theory. To achieve this, we describe a general formula for the $H_{1}$-action on the knot Floer complex of the knotification of a link in $S^3$, in terms of natural actions on the link Floer complex of the original link. This result may be interest on its own. We study possible configurations of singular points occuring on general algebraic curves in $\mathbb{C}P^2$ via Floer theory. To achieve this, we describe a general formula for the $H_{1}$-action on the knot Floer complex of the knotification of a link in $S^3$, in terms of natural actions on the link Floer complex of the original link. This result may be interest on its own. △ Less

Submitted 13 May, 2021; v1 submitted 28 April, 2021; originally announced April 2021.

Comments: 40 pages. Minor revision

MSC Class: primary: 14H50; secondary: 57K18; 14B05; 57R58

On the quotient of the homology cobordism group by Seifert spaces

Authors: Kristen Hendricks, Jennifer Hom, Matthew Stoffregen, Ian Zemke

Abstract: We prove that the quotient of the integer homology cobordism group by the subgroup generated by the Seifert fibered spaces is infinitely generated. We prove that the quotient of the integer homology cobordism group by the subgroup generated by the Seifert fibered spaces is infinitely generated. △ Less

Submitted 7 September, 2022; v1 submitted 7 March, 2021; originally announced March 2021.

Comments: 22 pages, 11 figures. v4: Minor expositional improvements. This version to be published in Transactions of the American Mathematical Society

MSC Class: 57K18; 57K31; 57R58

Surgery exact triangles in involutive Heegaard Floer homology

Authors: Kristen Hendricks, Jennifer Hom, Matthew Stoffregen, Ian Zemke

Abstract: We establish a surgery exact triangle for involutive Heegaard Floer homology by using a doubling model of the involution. We use this exact triangle to give an involutive version of Ozsváth-Szabó's map** cone formula for knot surgery. As an application, we use this surgery formula to give examples of integer homology spheres that are not homology cobordant to any linear combination of Seifert fi… ▽ More We establish a surgery exact triangle for involutive Heegaard Floer homology by using a doubling model of the involution. We use this exact triangle to give an involutive version of Ozsváth-Szabó's map** cone formula for knot surgery. As an application, we use this surgery formula to give examples of integer homology spheres that are not homology cobordant to any linear combination of Seifert fibered spaces. △ Less

Submitted 30 October, 2020; originally announced November 2020.

Comments: 209 pages

MSC Class: 57K18; 57K31; 57R58

New Heegaard Floer slice genus and clasp number bounds

Authors: András Juhász, Ian Zemke

Abstract: We define several concordance invariants using knot Floer homology which give improvements over known slice genus and clasp number bounds from Heegaard Floer homology. We also prove that the involutive correction terms of Hendricks and Manolescu give both a slice genus and a clasp number bound. We define several concordance invariants using knot Floer homology which give improvements over known slice genus and clasp number bounds from Heegaard Floer homology. We also prove that the involutive correction terms of Hendricks and Manolescu give both a slice genus and a clasp number bound. △ Less

Submitted 3 October, 2020; v1 submitted 14 July, 2020; originally announced July 2020.

Comments: 28 pages. Version 2 has new genus bounds, as well as a new invariant from the UV=0 version of knot Floer homology. The paper is reorganized to reflect new material, and has a new title. Many references added

MSC Class: 57R58; 57M27 (primary); 57R70; 57R40 (secondary)

Transverse invariants and exotic surfaces in the 4-ball

Authors: András Juhász, Maggie Miller, Ian Zemke

Abstract: Using 1-twist rim surgery, we construct infinitely many smoothly embedded, orientable surfaces in the 4-ball bounding a knot in the 3-sphere that are pairwise topologically isotopic, but not ambient diffeomorphic. We distinguish the surfaces using the maps they induce on perturbed sutured Floer homology. Along the way, we show that the cobordism map induced by an ascending surface in a Weinstein c… ▽ More Using 1-twist rim surgery, we construct infinitely many smoothly embedded, orientable surfaces in the 4-ball bounding a knot in the 3-sphere that are pairwise topologically isotopic, but not ambient diffeomorphic. We distinguish the surfaces using the maps they induce on perturbed sutured Floer homology. Along the way, we show that the cobordism map induced by an ascending surface in a Weinstein cobordism preserves the transverse invariant in knot Floer homology. △ Less

Submitted 16 November, 2020; v1 submitted 20 January, 2020; originally announced January 2020.

Comments: 31 pages, 13 figures, to appear in Geometry and Topology

MSC Class: 57R58; 57R55; 57M27

Journal ref: Geom. Topol. 25 (2021) 2963-3012

Knot cobordisms, bridge index, and torsion in Floer homology

Authors: András Juhász, Maggie Miller, Ian Zemke

Abstract: Given a connected cobordism between two knots in the 3-sphere, our main result is an inequality involving torsion orders of the knot Floer homology of the knots, and the number of local maxima and the genus of the cobordism. This has several topological applications: The torsion order gives lower bounds on the bridge index and the band-unlinking number of a knot, the fusion number of a ribbon knot… ▽ More Given a connected cobordism between two knots in the 3-sphere, our main result is an inequality involving torsion orders of the knot Floer homology of the knots, and the number of local maxima and the genus of the cobordism. This has several topological applications: The torsion order gives lower bounds on the bridge index and the band-unlinking number of a knot, the fusion number of a ribbon knot, and the number of minima appearing in a slice disk of a knot. It also gives a lower bound on the number of bands appearing in a ribbon concordance between two knots. Our bounds on the bridge index and fusion number are sharp for $T_{p,q}$ and $T_{p,q}\# \overline{T}_{p,q}$, respectively. We also show that the bridge index of $T_{p,q}$ is minimal within its concordance class. The torsion order bounds a refinement of the cobordism distance on knots, which is a metric. As a special case, we can bound the number of band moves required to get from one knot to the other. We show knot Floer homology also gives a lower bound on Sarkar's ribbon distance, and exhibit examples of ribbon knots with arbitrarily large ribbon distance from the unknot. △ Less

Submitted 10 September, 2020; v1 submitted 4 April, 2019; originally announced April 2019.

Comments: 21 pages, 7 figures, to appear in the Journal of Topology

MSC Class: 57R58; 57M27; 57R70; 57R40

Knot Floer homology and strongly homotopy-ribbon concordances

Authors: Maggie Miller, Ian Zemke

Abstract: We prove that the map on knot Floer homology induced by a strongly homotopy-ribbon concordance is injective. We prove that the map on knot Floer homology induced by a strongly homotopy-ribbon concordance is injective. △ Less

Submitted 31 December, 2019; v1 submitted 13 March, 2019; originally announced March 2019.

Comments: 9 pages, 4 figures. This version has been accepted for publication in Mathematical Research Letters

Khovanov homology and ribbon concordance

Authors: Adam Simon Levine, Ian Zemke

Abstract: We show that a ribbon concordance between two links induces an injective map on Khovanov homology. We show that a ribbon concordance between two links induces an injective map on Khovanov homology. △ Less

Submitted 20 July, 2021; v1 submitted 4 March, 2019; originally announced March 2019.

Comments: Published version; errors corrected from previous version. 5 pages, 1 figure

MSC Class: 57M25; 57M27

Journal ref: Bulletin of the London Mathematical Society 51 (2019), no. 6, 1099-1103

Knot Floer homology obstructs ribbon concordance

Authors: Ian Zemke

Abstract: We prove that the map on knot Floer homology induced by a ribbon concordance is injective. As a consequence, we prove that the Seifert genus is monotonic under ribbon concordance. We also generalize a theorem of Gabai about the super-additivity of the Seifert genus under band connected sum. Our result gives evidence for a conjecture of Gordon that ribbon concordance is a partial order on the set o… ▽ More We prove that the map on knot Floer homology induced by a ribbon concordance is injective. As a consequence, we prove that the Seifert genus is monotonic under ribbon concordance. We also generalize a theorem of Gabai about the super-additivity of the Seifert genus under band connected sum. Our result gives evidence for a conjecture of Gordon that ribbon concordance is a partial order on the set of knots. △ Less

Submitted 11 February, 2019; originally announced February 2019.

Comments: 11 pages

MSC Class: 57M25; 57M27; 57R58

Stabilization distance bounds from link Floer homology

Authors: András Juhász, Ian Zemke

Abstract: We 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 $g$ such that we can get from one to the other using stabilizations and destabilizations through surfaces of genus at most $g$. Similarly, we consider a double point distance between two surfaces of the same genus, which is the… ▽ More We 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 $g$ such that we can get from one to the other using stabilizations and destabilizations through surfaces of genus at most $g$. Similarly, we consider a double point distance between two surfaces of the same genus, which 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 analogue of Problem 1.105 (B) from Kirby's problem list by showing the existence of non-0-cobordant slice disks. △ Less

Submitted 28 March, 2024; v1 submitted 22 October, 2018; originally announced October 2018.

Comments: 87 pages, 44 figures; to appear in Journal of Topology

MSC Class: 57R58; 57R55; 57M27

Distinguishing slice disks using knot Floer homology

Authors: András Juhász, Ian Zemke

Abstract: We study the classification of slice disks of knots up to isotopy and diffeomorphism using an invariant in knot Floer homology. We compute the invariant of a slice disk obtained by deform-spinning, and show that it can be effectively used to distinguish non-isotopic slice disks with diffeomorphic complements. Given a slice disk of a composite knot, we define a numerical stable diffeomorphism inv… ▽ More We study the classification of slice disks of knots up to isotopy and diffeomorphism using an invariant in knot Floer homology. We compute the invariant of a slice disk obtained by deform-spinning, and show that it can be effectively used to distinguish non-isotopic slice disks with diffeomorphic complements. Given a slice disk of a composite knot, we define a numerical stable diffeomorphism invariant called the rank. This can be used to show that a slice disk is not a boundary connected sum, and to give lower bounds on the complexity of certain hyperplane sections of the slice disk. △ Less

Submitted 10 December, 2019; v1 submitted 25 April, 2018; originally announced April 2018.

Comments: 13 pages, 3 figures, to appear in Selecta Mathematica

Concordance surgery and the Ozsváth-Szabó 4-manifold invariant

Authors: András Juhász, Ian Zemke

Abstract: We compute the effect of concordance surgery, a generalization of knot surgery defined using a self-concordance of a knot, on the Ozsváth-Szabó 4-manifold invariant. The formula involves the graded Lefschetz number of the concordance map on knot Floer homology. The proof uses the sutured Floer TQFT, and a version of sutured Floer homology perturbed by a 2-form. We compute the effect of concordance surgery, a generalization of knot surgery defined using a self-concordance of a knot, on the Ozsváth-Szabó 4-manifold invariant. The formula involves the graded Lefschetz number of the concordance map on knot Floer homology. The proof uses the sutured Floer TQFT, and a version of sutured Floer homology perturbed by a 2-form. △ Less

Submitted 25 June, 2020; v1 submitted 17 April, 2018; originally announced April 2018.

Comments: 37 pages, 4 figures, v2: expanded, new section on naturality of perturbed SFH, v3: improved exposition, to appear in the Journal of the European Mathematical Society

MSC Class: 57R58; 57R55; 57M27

Contact handles, duality, and sutured Floer homology

Authors: András Juhász, Ian Zemke

Abstract: We give an explicit construction of the Honda--Kazez--Matić gluing maps in terms of contact handles. We use this to prove a duality result for turning a sutured manifold cobordism around, and to compute the trace in the sutured Floer TQFT. We also show that the decorated link cobordism maps on the hat version of link Floer homology defined by the first author via sutured manifold cobordisms and by… ▽ More We give an explicit construction of the Honda--Kazez--Matić gluing maps in terms of contact handles. We use this to prove a duality result for turning a sutured manifold cobordism around, and to compute the trace in the sutured Floer TQFT. We also show that the decorated link cobordism maps on the hat version of link Floer homology defined by the first author via sutured manifold cobordisms and by the second author via elementary cobordisms agree. △ Less

Submitted 20 May, 2019; v1 submitted 12 March, 2018; originally announced March 2018.

Comments: 86 pages, 54 figures, to appear in Geometry and Topology

MSC Class: 57R58; 57M27; 57R17

Journal ref: Geom. Topol. 24 (2020) 179-307

Duality and map** tori in Heegaard Floer homology

Authors: Ian Zemke

Abstract: We show that the graph TQFT for Heegaard Floer homology satisfies a strong version of Atiyah's duality axiom for a TQFT. As an application, we compute some Heegaard Floer mixed invariants of 4-dimensional map** tori in terms of Lefschetz numbers on $HF^+$. We show that the graph TQFT for Heegaard Floer homology satisfies a strong version of Atiyah's duality axiom for a TQFT. As an application, we compute some Heegaard Floer mixed invariants of 4-dimensional map** tori in terms of Lefschetz numbers on $HF^+$. △ Less

Submitted 20 December, 2020; v1 submitted 28 January, 2018; originally announced January 2018.

Comments: v2: Generalized main theorem slightly to include more cases. New section on perturbed coefficients. Some other small improvements. 77 pages

Connected sums and involutive knot Floer homology

Authors: Ian Zemke

Abstract: 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 inv… ▽ More 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. △ Less

Submitted 15 January, 2019; v1 submitted 2 May, 2017; originally announced May 2017.

Comments: Minor expository improvements. To appear, Proceedings of the London Mathematical Society

Link cobordisms and absolute gradings on link Floer homology

Authors: Ian Zemke

Abstract: We show that the link cobordism maps defined by the author are graded and satisfy a grading change formula. Using the grading change formula, we prove a new bound for $Υ_K(t)$ for knot cobordisms in negative definite 4-manifolds. As another application, we show that the link cobordism maps associated to a connected, closed surface in $S^4$ are determined by the genus of the surface. We also prove… ▽ More We show that the link cobordism maps defined by the author are graded and satisfy a grading change formula. Using the grading change formula, we prove a new bound for $Υ_K(t)$ for knot cobordisms in negative definite 4-manifolds. As another application, we show that the link cobordism maps associated to a connected, closed surface in $S^4$ are determined by the genus of the surface. We also prove a new adjunction relation and adjunction inequality for the link cobordism maps. Along the way, we see how many known results in Heegaard Floer homology can be proven using basic properties of the link cobordism maps, together with the grading change formula. △ Less

Submitted 18 October, 2018; v1 submitted 12 January, 2017; originally announced January 2017.

Comments: 74 pages. To appear in Quantum Topology

MSC Class: 57R58; 57M27

Link cobordisms and functoriality in link Floer homology

Authors: Ian Zemke

Abstract: 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 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. △ Less

Submitted 2 October, 2018; v1 submitted 17 October, 2016; originally announced October 2016.

Comments: 112 pages. To appear in Journal of Topology

A connected sum formula for involutive Heegaard Floer homology

Authors: Kristen Hendricks, Ciprian Manolescu, Ian Zemke

Abstract: We prove a connected sum formula for involutive Heegaard Floer homology, and use it to study the involutive correction terms of connected sums. In particular, we give an example of a three-manifold with $\underline{d}(Y) \neq d(Y) \neq \overline{d}(Y)$. We also construct a homomorphism from the three-dimensional homology cobordism group to an algebraically defined Abelian group, consisting of cert… ▽ More We prove a connected sum formula for involutive Heegaard Floer homology, and use it to study the involutive correction terms of connected sums. In particular, we give an example of a three-manifold with $\underline{d}(Y) \neq d(Y) \neq \overline{d}(Y)$. We also construct a homomorphism from the three-dimensional homology cobordism group to an algebraically defined Abelian group, consisting of certain complexes (equipped with a homotopy involution) modulo a notion of local equivalence. △ Less

Submitted 25 March, 2017; v1 submitted 25 July, 2016; originally announced July 2016.

Comments: 54 pages; fixed the calculation in Prop.1.5; a few other changes in the exposition

MSC Class: 57R58 (Primary); 57M27 (Secondary)

Quasi-stabilization and basepoint moving maps in link Floer homology

Authors: Ian Zemke

Abstract: We analyze the effect of adding, removing, and moving basepoints on link Floer homology. We prove that adding or removing basepoints via a procedure called quasi-stabilization is a natural operation on a certain version of link Floer homology, which we call $CFL_{UV}^\infty$. We consider the effect on the full link Floer complex of moving basepoints, and develop a simple calculus for moving basepo… ▽ More We analyze the effect of adding, removing, and moving basepoints on link Floer homology. We prove that adding or removing basepoints via a procedure called quasi-stabilization is a natural operation on a certain version of link Floer homology, which we call $CFL_{UV}^\infty$. We consider the effect on the full link Floer complex of moving basepoints, and develop a simple calculus for moving basepoints on the link Floer complexes. We apply it to compute the effect of several diffeomorphisms corresponding to moving basepoints. Using these techniques we prove a conjecture of Sarkar about the map on the full link Floer complex induced by a finger move along a link component. △ Less

Submitted 7 July, 2016; v1 submitted 14 April, 2016; originally announced April 2016.

Comments: 35 pages; simplified main triangle map computations; corrected minor typos

Journal ref: Algebr. Geom. Topol. 17 (2017) 3461-3518

Graph cobordisms and Heegaard Floer homology

Authors: Ian Zemke

Abstract: We construct a graph TQFT for the minus flavor of Heegaard Floer homology. Our graph TQFT extends Ozsváth and Szabó's TQFT for closed and connected 3-manifolds, and allows for cobordisms with disconnected ends. As an application, we give an explicit formula for the chain homotopy type of the $π_1$-action on Heegaard Floer homology. We show that on homology the $π_1$-action is trivial on the plus,… ▽ More We construct a graph TQFT for the minus flavor of Heegaard Floer homology. Our graph TQFT extends Ozsváth and Szabó's TQFT for closed and connected 3-manifolds, and allows for cobordisms with disconnected ends. As an application, we give an explicit formula for the chain homotopy type of the $π_1$-action on Heegaard Floer homology. We show that on homology the $π_1$-action is trivial on the plus, minus and infinity flavors, but give examples where it is non-trivial on the hat flavor. △ Less

Submitted 10 May, 2019; v1 submitted 3 December, 2015; originally announced December 2015.

Comments: 108 pages. Numerous improvements to the presentation. Several aspects of the construction have been streamlined

MSC Class: 57R58; 57M27

A graph TQFT for hat Heegaard Floer homology

Authors: Ian Zemke

Abstract: 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. 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. △ Less

Submitted 21 January, 2020; v1 submitted 19 March, 2015; originally announced March 2015.

Comments: v3: Revised presentation. Gluing map computations are now performed using contact handles instead of convex decompositions. 14 pages

Naturality and map** class groups in Heegaard Floer homology

Authors: András Juhász, Dylan P. Thurston, Ian Zemke

Abstract: We show that all versions of Heegaard Floer homology, link Floer homology, and sutured Floer homology are natural. That is, they assign concrete groups to each based 3-manifold, based link, and balanced sutured manifold, respectively. Furthermore, we functorially assign isomorphisms to (based) diffeomorphisms, and show that this assignment is isotopy invariant. The proof relies on finding a simp… ▽ More We show that all versions of Heegaard Floer homology, link Floer homology, and sutured Floer homology are natural. That is, they assign concrete groups to each based 3-manifold, based link, and balanced sutured manifold, respectively. Furthermore, we functorially assign isomorphisms to (based) diffeomorphisms, and show that this assignment is isotopy invariant. The proof relies on finding a simple generating set for the fundamental group of the "space of Heegaard diagrams," and then showing that Heegaard Floer homology has no monodromy around these generators. In fact, this allows us to give sufficient conditions for an arbitrary invariant of multi-pointed Heegaard diagrams to descend to a natural invariant of 3-manifolds, links, or sutured manifolds. △ Less

Submitted 30 August, 2018; v1 submitted 17 October, 2012; originally announced October 2012.

Comments: 161 pages, 64 figures, to appear in Memoirs of the American Mathematical Society

MSC Class: 57M27; 57R25; 57R58; 57R65