arXiv research

Satellite formula connects knot concordance invariants to surgery.

Notes on Khovanov and knot Floer theories' stable homotopy types.

Researchers compute Floer homotopy types and eta invariants for Seifert 3-manifolds.

Develops Floer cohomology for 4-manifolds with involutions and links.

Exotic diffeomorphism survives stabilizations on a contractible 4-manifold.

Generalizes Floer homotopy via Morse-Bott theory.

The paper classifies knot Floer complexes of low width, simplifying knot bases.

Study monopole h-invariants from a topological viewpoint.

New invariant connects symplectic fillings and contact structures.

Floer homotopy theory applies to Lagrangians, overcoming curvature issues.

In principle, Floer theory can be extended to define homotopy invariants of families of equivalent objects (e.g. Hamiltonian isotopic symplectomorphisms, 3-manifolds, Legendrian knots, etc.) parametrized by a smooth manifold B. The invariant of a family consists of a filtered chain homotopy type, which gives rise to a …

We compute bordered Floer homology CFDD of (2,2n)-torus link complement, and discuss assorted examples and type-DD structure homotopy equivalence.

We survey the different versions of Floer homology that can be associated to three-manifolds. We also discuss their applications, particularly to questions about surgery, homology cobordism, and four-manifolds with boundary. We then describe Floer stable homotopy types, the related Pin(2)-equivariant Seiberg-Witten Flo…

We construct cobordism maps on link Floer homology associated to decorated link cobordisms. The maps are defined on a curved chain homotopy type invariant. We describe the construction, and prove invariance. We also make a comparison with the graph TQFT for Heegaard Floer homology.

Constructs a spectrum for knot Floer homology without holomorphic geometry.

Using Furuta's idea of finite dimensional approximation in Seiberg-Witten theory, we refine Seiberg-Witten Floer homology to obtain an invariant of homology 3-spheres which lives in the S^1-equivariant graded suspension category. In particular, this gives a construction of Seiberg-Witten Floer homology that avoids the …

In 1995 the author, Jones, and Segal introduced the notion of "Floer homotopy theory". The proposal was to attach a (stable) homotopy type to the geometric data given in a version of Floer homology. More to the point, the question was asked, "When is the Floer homology isomorphic to the (singular) homology of a natural…

Researchers find a Steenrod square for link Floer homology.

Framed flow categories were introduced by Cohen-Jones-Segal as a way of encoding the flow data associated to a Floer functional. A framed flow category gives rise to a CW-complex with one cell for each object of the category. The idea is that the Floer invariant should take the form of the stable homotopy type of the r…

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…

We will define a version of Seiberg-Witten-Floer stable homotopy types for a closed, oriented 3-manifold $Y$ with $b_1(Y) > 0$ and a spin-c structure $\mathfrak{c}$ on $Y$ with $c_1(\mathfrak{c})$ torsion under an assumption on $Y$. Using the Seiberg-Witten-Floer stable homotopy type, we will construct a gluing formula…

Heegaard Floer homology study confirms composition maps match up to homotopy.

Computes homology of an obstruction chain complex in grid homology.

We pursue the analogy of a framed flow category with the flow data of a Morse function. In classical Morse theory, Morse functions can sometimes be locally altered and simplified by the Morse moves. These moves include the Whitney trick which removes two oppositely framed flowlines between critical points of adjacent i…

We prove that the map on knot Floer homology induced by a strongly homotopy-ribbon concordance is injective.

Researchers prove a method to upgrade Morse-Bott homology to stable homotopy invariants.

Study constraints on diffeomorphisms and homeomorphisms of 4-manifolds with boundary.

Let $K$ be a rationally null-homologous knot in a three-manifold $Y$. We construct a version of knot Floer homology in this context, including a description of the Floer homology of a three-manifold obtained as Morse surgery on the knot $K$. As an application, we express the Heegaard Floer homology of rational surgerie…

We construct a graph TQFT for the minus flavor of Heegaard Floer homology. Our graph TQFT extends Ozsváth and Szabó's TQFT for closed and connected 3-manifolds, and allows for cobordisms with disconnected ends. As an application, we give an explicit formula for the chain homotopy type of the $π_1$-action on Heegaard Fl…

Develops equivariant Seiberg-Witten-Floer cohomology for 3-spheres.

We construct Heegaard Floer theory for 3-manifolds with connected boundary. The theory associates to an oriented, parametrized two-manifold a differential graded algebra. For a three-manifold with parametrized boundary, the invariant comes in two different versions, one of which (type D) is a module over the algebra an…

This is an expository paper about Seiberg-Witten Floer stable homotopy types. We outline their construction, which is based on the Conley index and finite dimensional approximation. We then describe several applications, including the disproof of the high-dimensional triangulation conjecture.

We introduce a framework, twisted parametrized stable homotopy theory, for describing semi-infinite homotopy types. A twisted parametrized spectrum is a section of a bundle whose fibre is the category of spectra. We define these bundles in terms of modules over a stack of parametrized spectra and in terms of diagrams o…

Link Floer homology is split into snake complexes and local systems.

We describe the first part of a gluing theory for the bigraded Khovanov homology with integer coefficients. This part associates a type D structure to a tangle properly embedded in a half-space and proves that the homotopy class of the type D structure is an invariant of the isotopy class of the tangle. The constructio…

This paper is devoted to the study of the knot Floer homology groups HFK(S^3,K_{2,n}), where K_{2,n} denotes the (2,n) cable of an arbitrary knot, K. It is shown that for sufficiently large |n|, the Floer homology of the cabled knot depends only on the filtered chain homotopy type of CFK(K). A precise formula for this …

Inspired by bordered Floer homology, we describe a type A structure on a Khovanov homology for a tangle, which complements the type D structure in a previous paper. The type A structure is a differential module over a certain algebra. This can be paired with the type D structure to recover the Khovanov chain complex. T…

For a closed oriented 3-manifold Y, we define an absolute grading on the Heegaard Floer homology groups of Y by homotopy classes of oriented 2-plane fields. We show that this absolute grading refines the relative one and that it is compatible with the maps induced by cobordisms. We also prove that if ξ is a contact str…

Proves a specific knot is not smoothly slice using real invariants.

In this paper we study the knot Floer homology invariants of the twisted and untwisted Whitehead doubles of an arbitrary knot K. We present a formula for the filtered chain homotopy type of HFK(D(+,K,t)) in terms of the invariants for K, where D(+,K,t) denotes the t-twisted positive-clasped Whitehead double of K. In pa…

We define and prove properties of link lattice complexes for plumbed links.

Study determines scalar curvature invariants for 3-spheres embedded in 4-manifolds.

In this paper, we construct a canonical grading on bordered Heegaard Floer homology by homotopy classes of nonvanishing vector fields. This grading is a generalization of our construction of an absolute grading on Heegaard Floer homology and it extends the well-known grading with values in a noncommutative group define…

Classifies negative-twisting structures on Seifert fibred spaces using Heegaard Floer homology.

Develops a new method for equivariant Lagrangian Floer homology using symplectic homotopy quotients.

Develops Morse homology with DG coefficients for manifolds and spaces.

New conditions prevent non-trivial relations in local equivalence group.

In joint work with Yang Huang, we defined a canonical absolute grading on Heegaard Floer homology by homotopy classes of oriented 2-plane fields. A similar grading was defined on embedded contact homology by Michael Hutchings. In this paper we show that the isomorphism between these homology theories defined by Colin-G…