SearcharxivSearch

arXiv subjects

Cagatay Kutluhan

Publications and source records attributed to Cagatay Kutluhan.

11 recordsLinked to original sources

Computing Heegaard Floer invariants of closed contact 3-manifolds from open books

We present two SageMath programs that build on and improve upon Sucharit Sarkar's hf-hat. Given an abstract open book and a collection of pairwise disjoint properly embedded arcs on a page of the open book, the first program, hf-hat-obd, can be used to analyze the resulting Heegaard diagram, while the second, hf-hat-obd-nice computes the hat version of Heegaard Floer homology of the closed oriented 3-manifold described by the Heegaard diagram as long as the latter is nice. We also provide an auxiliary program, makenice, that can be used to produce a nice Heegaard diagram out of any abstract open book and a collection of pairwise disjoint properly embedded arcs on a page of the open book. The primary applications of hf-hat-obd-nice are to the computation of the Ozsváth--Szabó contact invariant and to the detection of finiteness of spectral order, which is a Stein fillability obstruction that is stronger than the vanishing of the Ozsváth--Szabó contact invariant.

math.GT

Filtering the Heegaard Floer contact invariant

We define an invariant of contact structures in dimension three from Heegaard Floer homology. This invariant takes values in the set $\mathbb{Z}_{\geq0}\cup\{\infty\}$. It is zero for overtwisted contact structures, $\infty$ for Stein fillable contact structures, non-decreasing under Legendrian surgery, and computable from any supporting open book decomposition. As an application, we obstruct Stein fillability on contact 3-manifolds with non-vanishing Ozsváth-Szabó contact class.

math.GT

Sutured ECH is a natural invariant

We show that sutured embedded contact homology is a natural invariant of sutured contact 3-manifolds which can potentially detect some of the topology of the space of contact structures on a 3-manifold with boundary. The appendix, by C. H. Taubes, proves a compactness result for the completion of a sutured contact 3-manifold in the context of Seiberg-Witten Floer homology, which enables us to complete the proof of naturality.

math.SG

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

Algebraic torsion via Heegaard Floer homology

We outline Hutchings's prescription that produces an ECH analog of Latschev and Wendl's algebraic $k$-torsion in the context of $ech$, a variant of ECH used in a proof of the isomorphism between Heegaard Floer and Seiberg-Witten Floer homologies; and we explain how it translates into Heegaard Floer homology.

math.SG

HF=HM IV: The Seiberg-Witten Floer homology and ech correspondence

This is the fourth of five papers that construct an isomorphism between the Seiberg-Witten Floer homology and the Heegaard Floer homology of a given compact, oriented 3-manifold. The isomorphism is given as a composition of three isomorphisms; the first of these relates a version of embedded contact homology on an an auxillary manifold to the Heegaard Floer homology on the original. The second isomorphism relates the relevant version of the embedded contact homology on the auxilliary manifold with a version of the Seiberg-Witten Floer homology on this same manifold. The third isomorphism relates the Seiberg-Witten Floer homology on the auxilliary manifold with the appropriate version of Seiberg-Witten Floer homology on the original manifold. The paper describes the second of these isomorphisms.

math.GT

HF=HM III: Holomorphic curves and the differential for the ech/Heegaard Floer correspondence

This is the third of five papers that construct an isomorphism between the Seiberg-Witten Floer homology and the Heegaard Floer homology of a given compact, oriented 3-manifold. The isomorphism is given as a composition of three isomorphisms; the first of these relates a version of embedded contact homology on an an auxillary manifold to the Heegaard Floer homology on the original. This paper describes the relationship between the differential on the embedded contact homology chain complex and the differential on the Heegaard Floer chain complex. The paper also describes the relationship between the various canonical endomorphisms that act on the homology groups of these two complexes.

math.SG

HF=HM II: Reeb orbits and holomorphic curves for the ech/Heegaard-Floer correspondence

This is the second of five papers that construct an isomorphism between the Seiberg-Witten Floer homology and the Heegaard Floer homology of a given compact, oriented 3-manifold. The isomorphism is given as a composition of three isomorphisms; the first of these relates a version of embedded contact homology on an an auxillary manifold to the Heegaard Floer homology on the original. This paper describes this auxilliary manifold, its geometry, and the relationship between the generators of the embedded contact homology chain complex and those of the Heegaard Floer chain complex. The pseudoholomorphic curves that define the differential on the embedded contact homology chain complex are also described here as a first step to relate the differential on the latter complex with that on the Heegaard Floer complex.

math.GT

Seiberg-Witten Floer homology and symplectic forms on S^1 X M^3

Let M be a closed, connected, orientable 3-manifold. The purpose of this paper is to study the Seiberg-Witten Floer homology of M given that S^1 X M admits a symplectic form. In particular, we prove that M fibers over the circle if M has first Betti number 1 and S^1 X M admits a symplectic form with non-torsion canonical class.

math.SG