arXiv research

This paper explores how many positive integer surgeries on a knot produce a manifold rational homology cobordant to a lens space.

Proves an equivariant version of Heegaard Floer link surgery formula.

We use topological surgery in dimension four to give sufficient conditions for the zero framed surgery manifold of a 3-component link to be homology cobordant to the 3-torus, which arises from zero framed surgery on the Borromean rings, via a topological homology cobordism preserving the homotopy classes of the meridia…

This paper is an introduction to the use of the cobordism of chain complexes with Poincaré duality in surgery theory. It is a companion to the author's paper "An introduction to algebraic surgery" math.AT/0008071 (to appear in Volume 2 of Surveys in Surgery Theory, Ann. of Maths. Studies, Princeton, 2001) which is an i…

New cobordism maps for instanton knot homology help compute surgeries on knots.

The following is a long-standing open question: "If the zero-framed surgeries on two knots in the 3-sphere are integral homology cobordant, are the knots themselves concordant?" We show that an obvious rational version of this question has a negative answer. Namely, we give examples of knots whose zero-framed surgeries…

Study exact surgery formula in involutive Heegaard Floer homology.

Two codimension-one submanifolds are cobordant if they have the same homology class.

Study knot invariants and surgeries, proving properties of instanton homologies.

Proves cobordism of CP^2 bundles generating oriented ring.

We consider the question: "If the zero-framed surgeries on two oriented knots in the 3-sphere are integral homology cobordant, preserving the homology class of the positive meridians, are the knots themselves concordant?" We show that this question has a negative answer in the smooth category, even for topologically sl…

Surgery obstructions extended to integer homology spheres using Heegaard Floer homology.

New example shows figure eight knot not smoothly concordant but homology cobordant.

For any $s \in [-\infty, 0]$ and oriented homology 3-sphere $Y$, we introduce a homology cobordism invariant $r_s(Y)\in (0,\infty]$. The values $\{r_s(Y)\}$ are included in the critical values of the $SU(2)$-Chern-Simons functional of $Y$, and we show a negative definite cobordism inequality and a connected sum formul…

Researchers develop methods to construct Lagrangian cobordisms between Legendrian knots.

In this paper we define and investigate Z/2-homology cobordism invariants of Z/2-homology 3-spheres which turn out to be related to classical invariants of knots. As an application we show that many lens spaces have infinite order in the Z/2-homology cobordism group and we prove a lower bound for the slice genus of a k…

For a nullhomologous Legendrian knot in a closed contact 3-manifold Y we consider a contact structure obtained by positive rational contact surgery. We prove that in this situation the Heegaard Floer contact invariant of Y is mapped by a surgery cobordism to the contact invariant of the result of contact surgery. In ad…

The paper classifies surfaces in 4-manifolds up to concordance.

We study the cobordism of manifolds with boundary, and its applications to codimension 2 embeddings $M^m\subset N^{m+2}$, using the method of the algebraic theory of surgery. The first main result is a splitting theorem for cobordisms of algebraic Poincaré pairs, which is then applied to describe the behaviour on the c…

Study eigenvalues of curvature operators to annihilate cobordism invariants.

We give two infinite families of examples of closed, orientable, irreducible 3-manifolds $M$ such that $b_1(M)=1$ and $π_1(M)$ has weight 1, but $M$ is not the result of Dehn surgery along a knot in the 3-sphere. This answers a question of Aschenbrenner, Friedl and Wilton, and provides the first examples of irreducible…

We study 4-dimensional homology cobordisms without 3-handles, showing that they interact nicely with Thurston geometries, character varieties, and instanton and Heegaard Floer homologies. Using these, we derive obstructions to such cobordisms. As one example of these obstructions, we generalize other recent results on …

New findings show infinitely many knots cannot be smoothly round handle slices.

The study connects knot Floer homology and Lagrangian cobordisms.

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

Surgery on knots can produce non-separating spheres, using Heegaard Floer homology.

New surfaces in 4-ball differ topologically but not diffeomorphically.

In 1987 S Cappell and J Shaneson constructed an s-cobordism H from the quaternionic 3-manifold Q to itself, and asked whether H or any of its covers are trivial product cobordism? In this paper we study H, and in particular show that its 8-fold cover is the product cobordism from S^3 to itself. We reduce the triviality…

Using the conjugation symmetry on Heegaard Floer complexes, we define a three-manifold invariant called involutive Heegaard Floer homology, which is meant to correspond to $\mathbb{Z}_4$-equivariant Seiberg-Witten Floer homology. Further, we obtain two new invariants of homology cobordism, $\underline{d}$ and $\bar{d}$…

We prove that the stable moduli space of $(n-1)$-connected, $n$-parallelizable, $(2n+1)$-dimensional manifolds is homology equivalent to an infinite loopspace for $n \geq 4, n \neq 7$. The main novel ingredient is a version of the cobordism category incorporating surgery data in the form of Lagrangian subspaces.

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…

Symplectic instanton homology is an invariant for closed oriented three-manifolds, defined by Manolescu and Woodward, which conjecturally corresponds to a symplectic version of a variant of Floer's instanton homology. In this thesis we study the behaviour of this invariant under connected sum, Dehn surgery, and four-di…

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…

We prove that every closed, connected contact 3-manifold can be obtained from the 3-sphere with its standard contact structure by contact surgery of coefficient plus or minus 1 along a Legendrian link. As a corollary, we derive a result of Etnyre and Honda about symplectic cobordisms (in slightly stronger form).

The Fourier transform of Heegaard Floer d-invariants helps classify 3-manifolds.

The aim of this paper is to give an $s$-cobordism classification of topological $4$-manifolds in terms of the standard invariants using the group of homotopy self-equivalences. Hambleton and Kreck constructed a braid to study the group of homotopy self-equivalences of $4$-manifolds. Using this braid together with the m…

Our main result is a generalization of Cappell's 5-dimensional splitting theorem. As an application, we analyze, up to internal s-cobordism, the smoothable splitting and fibering problems for certain 5-manifolds mapping to the circle. For example, these maps may have homotopy fibers which are in the class of finite con…

It is known that every closed oriented 3-manifold is homology cobordant to a hyperbolic 3-manifold. By contrast we show that many homology cobordism classes contain no Seifert fibered 3-manifold. This is accomplished by determining the isomorphism type of the rational cohomology ring of all Seifert fibered 3-manifolds …

The purpose of this paper is to introduce Liouville hypersurfaces in contact manifolds, which generalize ribbons of Legendrian graphs and pages of supporting open books. Liouville hypersurfaces are used to define a gluing operation for contact manifolds called the Liouville connect sum. Performing this operation on a c…

Under certain homological hypotheses on a compact 4-manifold, we prove exactness of the topological surgery sequence at the stably smoothable normal invariants. The main examples are the class of finite connected sums of 4-manifolds with certain product geometries. Most of these compact manifolds have non-vanishing sec…

We consider the question of when a rational homology 3-sphere is rational homology cobordant to a connected sum of lens spaces. We prove that every rational homology cobordism class in the subgroup generated by lens spaces is represented by a unique connected sum of lens spaces whose first homology embeds in any other …

Kawauchi defined a group structure on the set of homology $S^1$\times$S^2$'s under an equivalence relation called $\widetilde{H}$-cobordism. This group receives a homomorphism from the knot concordance group, given by the operation of zero-surgery. It is natural to ask whether the zero-surgery homomorphism is injecti…

The main result is that an s-cobordism (topological or smooth) of 4-manifolds has a product structure outside a ``core'' sub s-cobordism. These cores are arranged to have quite a bit of structure, for example they are smooth and abstractly (forgetting boundary structure) diffeomorphic to a standard neighborhood of a 1-…

Geometrically represents L-homology classes using normal maps.

We introduce a collection of 1/2-$π_1$-null 4-dimensional surgery problems. This is an intermediate notion between the classically studied universal surgery models and the $π_1$-null kernels which are known to admit a solution in the topological category. Using geometric applications of the group-theoretic 2-Engel rela…

The disk embedding lemma is a technique underlying the topological classification results in 4-manifold topology for good fundamental groups. The purpose of this paper is to develop new tools for disk embedding that work up to s-cobordism, without restrictions on the fundamental group. As an application we show that a …

New invariants detect corks obstructing homology ball extensions.

Study fermionic theories, their anomalies, and modular transformations.