arXiv research

New invariants improve Heegaard Floer slice genus and clasp number bounds.

We derive a closed formula for the Heegaard Floer correction terms of lens spaces in terms of the classical Dedekind sum and its generalization, the Dedekind-Rademacher sum. Our proof relies on a reciprocity formula for the correction terms established by Ozsvath and Szabo. A consequence of our result is that the Casso…

We make use of the action of $H_1(Y)$ in Heegaard Floer homology to generalize the Ozsváth-Szabó correction terms for $3$-manifolds with standard $\operatorname{HF}^\infty$. We establish the basic properties of these invariants: conjugation invariance, behavior under orientation reversal, additivity, and spin$^c$ ratio…

The Heegaard Floer correction term ($d$-invariant) is an invariant of rational homology 3-spheres equipped with a Spin$^c$ structure. In particular, the correction term of 1-surgeries along knots in $S^3$ is a ($2\mathbb{Z}$-valued) knot concordance invariant $d_1$. In this paper, we estimate $d_1$ for the $(2,q)$-cabl…

We use Heegaard Floer homology with twisted coefficients to define numerical invariants for arbitrary closed 3-manifolds equipped torsion spin$^c$ structures, generalising the correction terms (or $d$--invariants) defined by Ozsváth and Szabó for integer homology 3-spheres and, more generally, for 3-manifolds with stan…

We use Heegaard Floer homology to define an invariant of homology cobordism. This invariant is isomorphic to a summand of the reduced Heegaard Floer homology of a rational homology sphere equipped with a spin structure and is analogous to Stoffregen's connected Seiberg-Witten Floer homology. We use this invariant to st…

Turaev showed that there is a well-defined map assigning to an oriented link L in the three-sphere a Spin structure t_0 on Sigma(L), the 2-fold cover of S^3 branched along L. We prove, generalizing results of Manolescu-Owens and Donald-Owens, that for an oriented quasi-alternating link L the signature of L equals minus…

We discuss a concordance invariant constructed from Heegaard Floer homology "correction terms" and +/- 1 surgeries on knots in the three-sphere.

Given an element in the first homology of a rational homology 3-sphere $Y$, one can consider the minimal rational genus of all knots in this homology class. This defines a function $Θ$ on $H_1(Y;\mathbb Z)$, which was introduced by Turaev as an analogue of Thurston norm. We will give a lower bound for this function usi…

Study on $Δ$ invariants of plumbed 3-manifolds, comparing with Heegaard-Floer homology.

In this remark, we show how the monopole Frøyshov invariant, as well as the analogues of the Involutive Heegaard Floer correction terms $\underline{d},\overline{d}$, are related to the $\mathrm{Pin}(2)$-equivariant Floer homology $\mathit{SWFH}^G_*$. We show that the only interesting correction terms of a $\mathrm{Pin}…

We compute the involutive Heegaard Floer homology of the family of three-manifolds obtained by plumbings along almost-rational graphs. (This includes all Seifert fibered homology spheres.) We also study the involutive Heegaard Floer homology of connected sums of such three-manifolds, and explicitly determine the involu…

Study Heegaard Floer homology and word metric on Torelli group.

We derive new obstructions to periodicity of classical knots by employing the Heegaard Floer correction terms of the finite cyclic branched covers of the knots. Applying our results to two fold covers, we demonstrate through numerous examples that our obstructions are successful where many existing periodicity obstruct…

Study of knot Floer homology and its relation to Heegaard Floer homology via equivariant surgery.

We use the Heegaard-Floer homology correction terms defined by Ozsváth--Szabó to formulate a new obstruction for a knot to be of finite order in the smooth concordance group. This obstruction bears a formal resemblance to that of Casson and Gordon but is sensitive to the difference between the smooth versus topological…

Study shows 3D shapes can't fit in certain 4D spaces.

We show that the correction terms in Heegaard Floer homology give a lower bound to the the genus of one-sided Heegaard splittings and the $\mathbb Z_2$--Thurston norm. Using a result of Jaco--Rubinstein--Tillmann, this gives a lower bound to the complexity of certain closed $3$--manifolds. As an application, we compute…

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 homolo…

Study proves obstructions to equivariantly slice strongly negative amphichiral knots.

For a fixed p, there are only finitely many elliptic 3-manifolds given by p/q-surgery on a knot in S^3. We prove this result by using the Heegaard Floer correction terms (d-invariants) to obstruct elliptic manifolds from arising as knot surgery.

We establish a structural understanding of the involutive Heegaard Floer homology for all linear combinations of almost-rational (AR) plumbed three-manifolds. We use this to show that the Neumann-Siebenmann invariant is a homology cobordism invariant for all linear combinations of AR plumbed homology spheres. As a coro…

Using the correction terms in Heegaard Floer homology, we prove that if a knot in $S^3$ admits a positive integral $\mathbf{T}$-, $\mathbf{O}$- or $\mathbf{I}$-type surgery, it must have the same knot Floer homology as one of the knots given in our complete list, and the resulting manifold is orientation-preservingly h…

We prove that twisted correction terms in Heegaard Floer homology provide lower bounds on the Thurston norm of certain cohomology classes determined by the strong concordance class of a 2-component link $L$ in $S^3$. We then specialise this procedure to knots in $S^2\times S^1$, and obtain a lower bound on their geomet…

Formula for Heegaard Floer multicurves of double tangles from knot complements.

We show that for rational surface singularities with odd determinant the mu-bar invariant defined by W. Neumann is an obstruction for the link of the singularity to bound a rational homology 4-ball. We identify the mu-bar invariant with the corresponding correction term in Heegaard Floer theory.

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 mapping tori in terms of Lefschetz numbers on $HF^+$.

We generalise theorems of Cochran-Lickorish and Owens-Strle to the case of links with more than one component. This enables the use of linking forms on double branched covers, Heegaard Floer correction terms, and Donaldson's diagonalisation theorem to complete the table of unlinking numbers for nonsplit prime links wit…

Paper proves conditions for rational homology complex projective planes with singularities.

The main goal of this paper is to discuss a symplectic interpretation of Lipshitz, Ozsvath and Thurston's bordered Heegaard-Floer homology in terms of Fukaya categories of symmetric products and Lagrangian correspondences. More specifically, we give a description of the algebra A(F) which appears in the work of Lipshit…

We consider the question of when a slice knot admits a reducible Dehn surgery. By analyzing the correction terms associated to such a surgery, we show that slice knots cannot admit surgeries with more than two summands. We also give a necessary Heegaard Floer theoretic condition for a positive cable of a knot to be sli…

We compute the Pin(2)-equivariant monopole Floer homology for the class of plumbed 3-manifolds with at most one "bad" vertex (in the sense of Ozsvath and Szabo). We show that for these manifolds, the Pin(2)-equivariant monopole Floer homology can be calculated in terms of the Heegaard Floer/monopole Floer lattice compl…

We give a complete classification of the spherical 3-manifolds that bound smooth rational homology 4-balls. Furthermore, we determine the order of spherical 3-manifolds in the rational homology cobordism group of rational homology 3-spheres. To this end, we use constraints for 3-manifolds to bound rational homology bal…

This note corrects one serious mistake and several smaller mistakes from arXiv:math/0502404. The main results of that paper are unchanged.

Let L be a nonunimodular definite lattice. Using a theorem of Elkies we show that whether L embeds in the standard definite lattice of the same rank is completely determined by a collection of lattice correction terms, one for each metabolizing subgroup of the discriminant group. As a topological application this gives…

Two Dehn surgeries on a knot are called {\it purely cosmetic}, if they yield manifolds that are homeomorphic as oriented manifolds. Suppose there exist purely cosmetic surgeries on a knot in $S^3$, we show that the two surgery slopes must be the opposite of each other. One ingredient of our proof is a Dehn surgery form…

We reformulate Heegaard Floer homology in terms of holomorphic curves in the cylindrical manifold Sigma x [0,1] x R, where Sigma is the Heegaard surface, instead of Sym^g(Sigma). We then show that the entire invariance proof can be carried out in our setting. In the process, we derive a new formula for the index of the…

We outline an interpretation of Heegaard-Floer homology of 3-manifolds (closed or with boundary) in terms of the symplectic topology of symmetric products of Riemann surfaces, as suggested by recent work of Tim Perutz and Yanki Lekili. In particular we discuss the connection between the Fukaya category of the symmetric…

The paper reconfirms a lower bound on rational genus using Heegaard Floer homology.

This is a companion paper to earlier work of the authors, which interprets the Heegaard Floer homology for a manifold with torus boundary in terms of immersed curves in a punctured torus. We prove a variety of properties of this invariant, paying particular attention to its relation to knot Floer homology, the Thurston…

Extending ideas of Hedden-Ni, we show that the module structure on Khovanov homology detects split links. We also prove an analogue for untwisted Heegaard Floer homology of the branched double cover. Technical results proved along the way include two interpretations of the module structure on untwisted Heegaard Floer h…

Lecture notes on Heegaard Floer homology for 3-manifolds and knots.

Let $K$ be a null-homologous knot in a three-manifold $Y$. We give a description of the Heegaard Floer homology of integer surgeries on $Y$ along $K$ in terms of the filtered homotopy type of the knot invariant for $K$. As an illustration, we calculate the Heegaard Floer homology groups of non-trivial circle bundles ov…

Suppose that a hyperbolic knot in $S^3$ admits a finite surgery, Boyer and Zhang proved that the surgery slope must be either integral or half-integral, and they conjectured that the latter case does not happen. Using the correction terms in Heegaard Floer homology, we prove that if a hyperbolic knot in $S^3$ admits a …

We show that there are links whose individual components are concordant to the unknot, but which are not concordant to any link with unknotted components. We give examples in the topological category, and examples in the smooth category which are topologically slice. We also give generalizations regarding components of…

Ozsvath and Szabo defined an analog of the Froyshov invariant in the form of a correction term for the grading in Heegaard Floer homology. Applying this to the double cover of the 3-sphere branched over a knot K, we obtain an invariant delta of knot concordance. We show that delta is determined by the signature for alt…

New insights into cosmetic surgeries using Heegaard Floer homology.

Introduces integer-valued Heegaard Floer theory with canonical orientations.