Thesis advisor: John Baldwin / Heegaard Floer homology is a family of invariants in low dimensional topology due originally to Ozsváth-Szabó. We discuss various aspects of Heegaard Floer homology and give several link detection results for versions of Heegaard Floer homology for links. In particular, we show that knot and link Floer homology detect various infinite families of cable links. We also give classification results for the Heegaard Floer theoretic invariants of a type of knot called an “almost L-space knot” and an infinite family of detection results for annular Khovanov homology. / Thesis (PhD) — Boston College, 2023. / Submitted to: Boston College. Graduate School of Arts and Sciences. / Discipline: Mathematics.

Thesis advisor: John A. Baldwin / Khovanov homology and Heegaard Floer homology have opened new horizons in knot theory and three-manifold topology, respectively. The two invariants have distinct origins, but the Khovanov homology of a link is related to the Heegaard Floer homology of its branched double cover by a spectral sequence constructed by Ozsváth and Szabó. In this thesis, we construct an equivalent spectral sequence with a much more transparent connection to Khovanov homology. This is the first step towards proving Seed and Szabó's conjecture that Szabó's geometric spectral sequence is isomorphic to Ozsváth and Szabó's spectral sequence. These spectral sequences connect information about contact structures contained in each invariant. We construct a braid conjugacy class invariant κ from Khovanov homology by adapting Floer-theoretic tools. There is a related transverse invariant which we conjecture to be effective. The conjugacy class invariant solves the word problem in the braid group among other applications. We have written a computer program to compute the invariant. / Thesis (PhD) — Boston College, 2016. / Submitted to: Boston College. Graduate School of Arts and Sciences. / Discipline: Mathematics.

This thesis provides a partial classification of all 3-stranded pretzel knots K=P(p,q,r) with unknotting number one. Scharlemann-Thompson, and independently Kobayashi, have completely classified those knots with unknotting number one when p, q, and r are all odd. In the case where p=2m, we use the signature obstruction to greatly limit the number of 3-stranded pretzel knots which may have unknotting number one. In Chapter 3 we use Greene's strengthening of Donaldson's Diagonalization theorem to determine precisely which pretzel knots of the form P(2m,k,-k-2) have unknotting number one, where m is an integer, m>0, and k>0, k odd. In Chapter 4 we use Donaldson's Diagonalization theorem as well as an unknotting obstruction due to Ozsv\'ath and Szab\'o to partially classify which pretzel knots P(2,k,-k) have unknotting number one, where k>0, odd. The Ozsv\'ath-Szab\'o obstruction is a consequence of Heegaard Floer homology. Finally in Chapter 5 we explain why the techniques used in this paper cannot be used on the remaining cases. / text

In this dissertation we prove that if an n-stranded pretzel knot K has an essential Conway sphere, then there exists an Alexander grading s such that the rank of knot Floer homology in this grading, [mathematical equation], is at least two. As a consequence, we are able to easily classify pretzel knots admitting L-space surgeries. We conjecture that this phenomenon occurs more generally for any knot in S³ with an essential Conway sphere. We also exhibit an infinite family of knots, each of which admits a nontrivial genus two mutant which shares the same total dimension of knot Floer homology, while being distinguished by knot Floer homology as a bigraded invariant. Additionally, the genus two mutation interchanges the [mathematical symbol]-graded knot Floer homology groups in [mathematical symbol]-gradings k and -k. This infinite family of examples supports a second conjecture, namely that the total rank of knot Floer homology is invariant under genus two mutation. / text

The purpose of this thesis is to define a “local” version of Ozsváth and Szabó’s Heegaard Floer homology HFL^ for links in the 3-sphere, i.e. a Heegaard Floer homology HFT^ for tangles in the 3-ball. The decategorification of HFL^ is the classical Alexander polynomial for links; likewise, the decategorification of HFT^ gives a local version ∇ˢ of the Alexander polynomial. In the first chapter of this thesis, we give a purely combinatorial definition of this polynomial invariant ∇ˢ via Kauffman states and Alexander codes and investigate some of its properties. As an application, we show that the multivariate Alexander polynomial is mutation invariant. In the second chapter, we define HFT^ in two slightly different, but equivalent ways: One is via Juhász’s sutured Floer homology, the other by imitating the construction of HFL^. We then state a glueing theorem in terms of Zarev’s bordered sutured Floer homology, which endows HFT^ with additional structure. As an application, we show that any two links related by mutation about a (2,−3)-pretzel tangle have the same δ-graded link Floer homology. This result relies on a computer calculation. In the third and last chapter, we specialise to 4-ended tangles. In this case, we give a reformulation of HFT^ with a glueing structure in terms of (what we call) peculiar modules. Together with a glueing theorem, we can easily recover oriented and unoriented skein relations for HFL^. Our peculiar modules also enjoy some symmetry relations, which support a conjecture about δ-graded mutation invariance of HFL^. However, stronger symmetries would be needed to actually prove this conjecture. Finally, we explore the relationship between peculiar modules and twisted complexes in the wrapped Fukaya category of the 4-punctured sphere. There are four appendices, some of which might be of independent interest: In the first appendix, we describe a general construction of dg categories which unifies all algebraic structures used in this thesis, in particular type A and type D modules from bordered theory. In the second appendix, we prove a generalised version of Kauffman’s clock theorem, which plays a major role for our decategorified invariants. The last two appendices are manuals for two Mathematica programs. The first is a tool for computing the generators of HFT^ and the decategorified tangle invariant ∇ˢ. The second allows us to compute bordered sutured Floer homology using nice diagrams.