Searcharxiv⌕ Search

arXiv subjects

Tye Lidman

Publications and source records attributed to Tye Lidman.

At least 55 records · Page 3Linked to original sources
arXiv2017

A remark on the geography problem in Heegaard Floer homology

We give new obstructions to the module structures arising in Heegaard Floer homology. As a corollary, we characterize the possible modules arising as the Heegaard Floer homology of an integer homology sphere with one-dimensional reduced Floer homology. Up to absolute grading shifts, there are only two. We use this corollary to show that the chain complex depicted by Ozsváth, Stipsicz, and Szabó to argue that there is no algebraic obstruction to the existence of knots with trivial $ε$ invariant and non-trivial $Υ$ invariant cannot be realized as the knot Floer complex of a knot.

math.GT↗
arXiv2017

A note on concordance properties of fibers in Seifert homology spheres

In this note, we collect various properties of Seifert homology spheres from the viewpoint of Dehn surgery along a Seifert fiber. We expect that many of these are known to various experts, but include them in one place which we hope to be useful in the study of concordance and homology cobordism.

math.GT↗
arXiv2016

The Alexander module, Seifert forms, and categorification

We show that bordered Floer homology provides a categorification of a TQFT described by Donaldson. This, in turn, leads to a proof that both the Alexander module of a knot and the Seifert form are completely determined by Heegaard Floer theory.

math.GT↗
arXiv2016

A note on surgery obstructions and hyperbolic integer homology spheres

Auckly gave two examples of irreducible integer homology spheres (one toroidal and one hyperbolic) which are not surgery on a knot in the three-sphere. Using Heegaard Floer homology, the authors and Karakurt provided infinitely many small Seifert fibered examples. In this note, we extend those results to give infinitely many hyperbolic examples, as well as infinitely many examples with arbitrary JSJ decomposition.

math.GT↗
arXiv2015

Knot contact homology detects cabled, composite, and torus knots

Knot contact homology is an invariant of knots derived from Legendrian contact homology which has numerous connections to the knot group. We use basic properties of knot groups to prove that knot contact homology detects every torus knot. Further, if the knot contact homology of a knot is isomorphic to that of a cable (respectively composite) knot, then the knot is a cable (respectively composite).

math.GT↗
arXiv2015

Quasi-alternating links with small determinant

Quasi-alternating links of determinant 1, 2, 3, and 5 were previously classified by Greene and Teragaito, who showed that the only such links are two-bridge. In this paper, we extend this result by showing that all quasi-alternating links of determinant at most 7 are connected sums of two-bridge links, which is optimal since there are quasi-alternating links not of this form for all larger determinants. We achieve this by studying their branched double covers and characterizing distance-one surgeries between lens spaces of small order, leading to a classification of formal L-spaces with order at most 7.

math.GT↗
arXiv2015

Cosmetic surgery in L-spaces and nugatory crossings

The cosmetic crossing conjecture (also known as the "nugatory crossing conjecture") asserts that the only crossing changes that preserve the oriented isotopy class of a knot in the 3-sphere are nugatory. We use the Dehn surgery characterization of the unknot to prove this conjecture for knots in integer homology spheres whose branched double covers are L-spaces satisfying a homological condition. This includes as a special case all alternating and quasi-alternating knots with square-free determinant. As an application, we prove the cosmetic crossing conjecture holds for all knots with at most nine crossings and provide new examples of knots, including pretzel knots, non-arborescent knots and symmetric unions for which the conjecture holds.

math.GT↗
arXiv2014

Contact structures and reducible surgeries

We apply results from both contact topology and exceptional surgery theory to study when Legendrian surgery on a knot yields a reducible manifold. As an application, we show that a reducible surgery on a non-cabled positive knot of genus g must have slope 2g-1, leading to a proof of the cabling conjecture for positive knots of genus 2. Our techniques also produce bounds on the maximum Thurston-Bennequin numbers of cables.

math.GT↗
arXiv2014

Surgery obstructions and Heegaard Floer homology

Using Taubes' periodic ends theorem, Auckly gave examples of toroidal and hyperbolic irreducible integer homology spheres which are not surgery on a knot in the three-sphere. We give an obstruction to a homology sphere being surgery on a knot coming from Heegaard Floer homology. This is used to construct infinitely many small Seifert fibered examples.

math.GT↗
arXiv2014

Berge-Gabai knots and L-space satellite operations

Let $P(K)$ be a satellite knot where the pattern, $P$, is a Berge-Gabai knot (i.e., a knot in the solid torus with a non-trivial solid torus Dehn surgery), and the companion, $K$, is a non-trivial knot in $S^3$. We prove that $P(K)$ is an L-space knot if and only if $K$ is an L-space knot and $P$ is sufficiently positively twisted relative to the genus of $K$. This generalizes the result for cables due to Hedden and the first author.

math.GT↗
arXiv2013

Reducible surgeries and Heegaard Floer homology

In this paper, we use Heegaard Floer homology to study reducible surgeries. In particular, suppose K is a non-cable knot in the three-sphere with an L-space surgery. If p-surgery on K is reducible, we show that p equals 2g(K)-1. This implies that any knot with an L-space surgery has at most one reducible surgery, a fact that we show additionally for any knot of genus at most two.

math.GT↗
arXiv2013

Rank inequalities for the Heegaard Floer homology of Seifert homology spheres

We establish three rank inequalities for the reduced flavor of Heegaard Floer homology of Seifert fibered integral homology spheres. Combining these inequalities with the known classifications of non-zero degree maps between Seifert fibered spaces, we prove that a map f from Y' to Y between Seifert homology spheres yields the inequality that |deg f| rank HFred(Y) is at most rank HFred(Y'). These inequalities are also applied in conjunction with an algorithm of Nemethi to give a method to solve the botany problem for the Heegaard Floer homology of these manifolds.

math.GT↗
arXiv2013

Non-fibered L-space knots

We construct an infinite family of knots in rational homology spheres with irreducible, non-fibered complements, for which every non-longitudinal filling is an L-space.

math.GT↗
arXiv2013

Pretzel knots with L-space surgeries

A rational homology sphere whose Heegaard Floer homology is the same as that of a lens space is called an L-space. We classify pretzel knots with any number of tangles which admit L-space surgeries. This rests on Gabai's classification of fibered pretzel links.

math.GT↗
arXiv2011

Framed Floer Homology

For any three-manifold presented as surgery on a framed link (L,Λ) in an integral homology sphere, Manolescu and Ozsváth construct a hypercube of chain complexes whose homology calculates the Heegaard Floer homology of Λ-framed surgery on Y. This carries a natural filtration that exists on any hypercube of chain complexes; we study the E_2 page of the associated spectral sequence, called Framed Floer homology. One purpose of this paper is to show that Framed Floer homology is an invariant of oriented framed links, but not an invariant of the surgered manifold. We discuss how this relates to an attempt at a combinatorial proof of the invariance of Heegaard Floer homology. We also show that Framed Floer homology satisfies a surgery exact triangle analogous to that of Heegaard Floer homology. This setup leads to a completely combinatorial construction of a surgery exact triangle in Heegaard Floer homology. Finally, we study the Framed Floer homology of two-component links which surger to S^2 x S^1 # S^2 x S^1 and have Property 2R.

math.GT↗
arXiv2011

Graph manifolds, left-orderability and amalgamation

We show that every irreducible toroidal integer homology sphere graph manifold has a left-orderable fundamental group. This is established by way of a specialization of a result due to Bludov and Glass for the almagamated products that arise, and in this setting work of Boyer, Rolfsen and Wiest may be applied. Our result then depends on input from 3-manifold topology and Heegaard Floer homology.

math.GT↗