arXiv research

New surgery exact triangles in Heegaard Floer homology for rational slopes.

Study exact surgery formula in involutive Heegaard Floer homology.

Defines band maps in unoriented link Floer homology forming a skein exact triangle.

Proves exact triangle linking knot instanton Floer homology to surgeries.

We prove the existence of an exact triangle for the Pin(2)-monopole Floer homology groups of three manifolds related by specific Dehn surgeries on a given knot. Unlike the counterpart in usual monopole Floer homology, only two of the three maps are those induced by the corresponding elementary cobordism. We use this tr…

Proves surgery exact triangle for monopole Floer homology over integers.

Surgery exact triangles in various 3-manifold Floer homology theories provide an important tool in studying and computing the relevant Floer homology groups. These exact triangles relate the invariants of 3-manifolds, obtained by three different Dehn surgeries on a fixed knot. In this paper, the behavior of $SU(N)$-ins…

Lattice cohomology, defined by Némethi in (arXiv:0709.0841), is an invariant of negative definite plumbed 3-manifolds which conjecturally computes the Heegaard Floer homology HF^+. We prove a surgery exact triangle for the lattice cohomology analogous to the one for HF^+. This is a step towards comparing these two inva…

New proof of Heegaard Floer surgery formulas using Fukaya category of the torus.

Introduces integer-valued Heegaard Floer theory with canonical orientations.

We construct a spectral sequence from the reduced odd Khovanov homology of a link converging to the framed instanton homology of the double cover branched over the link, with orientation reversed. Framed instanton homology counts certain instantons on the cylinder of a 3-manifold connect-summed with a 3-torus. En route…

Proves a formula for instanton Floer homology of knots.

We establish the exact triangle in Seiberg-Witten-Floer theory relating the monopoloe homologies of any two closed 3-manifolds which are obtained from each other by $\pm 1$-surgery. We also show that the sum of the modified version of the Seiberg-Witten invariants for any closed rational homology 3-sphere $Y$ over all …

We show a connection between a surgery exact sequence in knot Floer homology and the sequence derived in [18]. As a consequence of this relationship we see that the exact sequence in [18] also works with coherent orientations and admits refinements with respect to spinc-structures. As an application of this discussion,…

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

Proves SU(2) representations for certain 3-spheres with embedded tori.

We establish two exact sequences for the lattice cohomology associated with non-degenerate plumbing graphs. The first is the analogue of the surgery exact triangle proved by Ozsvath and Szabo for the Heegaard-Floer invariant HF^+; for the lattice cohomology over Z_2-coefficients it was proved by J. Greene. Here we prov…

In arXiv:1611.09927, we constructed a well-defined Lagrangian Floer invariant for any closed, oriented $3$-manifold $Y$ via the symplectic geometry of so-called traceless $\mathrm{SU}(2)$-character varieties. This invariant, $\mathrm{SI}(Y)$, which we refer to as the symplectic instanton homology of $Y$, was also shown…

Since its inception, Floer homology has been an important tool in low-dimensional topology. Floer theoretic invariants of $3$-manifolds tend to be either gauge theoretic or symplecto-geometric in nature, and there is a general philosophy that each gauge theoretic Floer homology should have a corresponding symplectic Fl…

We prove a surgery formula of the Casson-Seiberg-Witten invariant of integral homology $S^1 \times S^3$ along an embedded torus, which could either be regarded as an extension of the product formula for Seiberg-Witten invariants or a manifestation of the surgery exact triangle in $4$-dimensional Seiberg-Witten theory o…

Some aspects of the construction of SW Floer homology for manifolds with non-trivial rational homology are analyzed. In particular, the case of manifolds that are obtained as zero-surgery on a knot in a homology sphere, and for torsion spinc structures. We discuss relative invariants in the case of torsion spinc struct…

The paper studies splitting maps in link Floer homology using skein exact sequences.

We give a bordered extension of involutive HF-hat and use it to give an algorithm to compute involutive HF-hat for general 3-manifolds. We also explain how the mapping class group action on HF-hat can be computed using bordered Floer homology. As applications, we prove that involutive HF-hat satisfies a surgery exact t…

Proves a new skein exact triangle for real monopole Floer homology.

New skein exact triangles for link Floer homology.

We use the Ozsvath-Szabo theory of Floer homology to define an invariant of knot complements in three-manifolds. This invariant takes the form of a filtered chain complex, which we call CF_r. It carries information about the Floer homology of large integral surgeries on the knot. Using the exact triangle, we derive inf…

This is the third part of the work on the exact triangles. We construct chain homomorphisms and show exactness of the resulting sequence.

Surgery triangles are an important computational tool in Floer homology. Given a connected oriented surface $Σ$, we consider the abelian group $K(Σ)$ generated by bordered 3-manifolds with boundary $Σ$, modulo the relation that the three manifolds involved in any surgery triangle sum to zero. We show that $K(Σ)$ is a f…

Complex hyperbolic triangle groups yield specific 3-manifolds at infinity.

We establish a surgery formula for 3-dimensional Seiberg-Witten monopoles under (+1) Dehn surgery on a knot in a homology 3-sphere. (substantial revision)

This paper is a companion to the authors' forthcoming work extending Heegaard Floer theory from closed 3-manifolds to compact 3-manifolds with two boundary components via quilted Floer cohomology. We describe the first interesting case of this theory: the invariants of 3-manifolds bounding S^2 union T^2, regarded as mo…

Extends Khovanov homology spectral sequence using Heegaard Floer homology.

To a link L in the 3-sphere, we associate a spectral sequence whose E^2 page is the reduced Khovanov homology of L and which converges to a version of the monopole Floer homology of the branched double cover. The pages E^k for k > 1 depend only on the mutation equivalence class of L. We define a mod 2 grading on the sp…

In this paper, we consider the exact triangles consisting of stable vector bundles on one-dimensional complex tori, and give a geometric interpretation of them in terms of the corresponding Fukaya category via the homological mirror symmetry.

We re-derive Manolescu's unoriented skein exact triangle for knot Floer homology over F_2 combinatorially using grid diagrams, and extend it to the case with Z coefficients by sign refinements. Iteration of the triangle gives a cube of resolutions that converges to the knot Floer homology of an oriented link. Finally, …

The paper generalizes index theory for periodic manifolds and proves equivalence of signatures for tori.

This paper defines a spectral sequence connecting knot homologies.

Let $(X^n, \check{X}^n)$ be a mirror pair of an $n$-dimensional complex torus $X^n$ and its mirror partner $\check{X}^n$. Then, a simple projectively flat bundle $E(L,\mathcal{L})\rightarrow X^n$ is constructed from each affine Lagrangian submanifold $L$ in $\check{X}^n$ with a unitary local system $\mathcal{L} \righta…

This work extends knot homology theory to links, proving exact triangles and categorifying link signatures.

Formula calculates instanton homology dimensions for knot surgeries over arbitrary fields.

Given a crossing in a planar diagram of a link in the three-sphere, we show that the knot Floer homologies of the link and its two resolutions at that crossing are related by an exact triangle. As a consequence, we deduce that for any quasi-alternating knot, the total rank of its knot Floer homology is equal to the det…

New bounds on inscribed triangles in arbitrary planar domains.

The SO(3) instanton homology recently introduced by the authors associates a finite-dimensional vector space over the field of two elements to every embedded trivalent graph (or "web"). The present paper establishes a skein exact triangle for this instanton homology, as well as a realization of the octahedral axiom. Fr…

Proves Poincaré surgery theorem using homotopy theory.

An introduction to the applications of algebraic surgery to the structure theory of high-dimensional topological manifolds.

Develops a diagrammatic method for symplectic filling classifications.

We show that the bordered-sutured Floer invariant of the complement of a tangle in an arbitrary 3-manifold $Y$, with minimal conditions on the bordered-sutured structure, satisfies an unoriented skein exact triangle. This generalizes a theorem by Manolescu for links in $S^3$. We give a theoretical proof of this result …

New CR representations are found and shown to be redundant.