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 second mod 2 homology and have fundamental groups of exponential growth, which are not known to be tractable by Freedman-Quinn topological surgery. Necessarily, the *-construction of certain non-smoothable homotopy equivalences requires surgery on topologically embedded 2-spheres and is not attacked here by transversality and cobordism.
In [HT], two of us constructed a closed oriented 4-dimensional manifold with fundamental group $\Z$ that does not split off $S^1\times S^3$. In this note we show that this 4-manifold, and various others derived from it, do not admit smooth structures. Moreover, we find an infinite family of 4-manifolds with exactly the same properties (and same intersection form on $H_2$). As a corollary, we obtain topologically slice knots that are not smoothly slice in any rational homology ball.
We show a rigidity theorem for the Seiberg-Witten invariants mod 2 for families of spin 4-manifolds. A mechanism of this rigidity theorem also gives a family version of 10/8-type inequality. As an application, we prove the existence of non-smoothable topological families of 4-manifolds whose fiber, base space, and total space are smoothable as manifolds. These non-smoothable topological families provide new examples of 4-manifolds $M$ for which the inclusion maps $\operatorname{Diff}(M) \hookrightarrow \operatorname{Homeo}(M)$ are not weak homotopy equivalences. We shall also give a new series…
In the paper \cite{wall_1}, C.T.C. Wall proved that two smooth closed simply connected 4-manifolds which are homeomorphic are in fact stably diffeomorphic. We prove a similar result which states that two smooth closed 4-manifolds satisfying certain properties are stably diffeomorphic if and only if their signatures agree. The manifolds in question are obtained by surgery on loops. The methods we use are modified surgery of Kreck \cite{kreck} and Kirby calculus.
Matveev introduced Borromean surgery on 3-manifolds, and proved that the equivalence relation on closed, oriented 3-manifolds generated by Borromean surgeries is characterized by the first homology group and the torsion linking pairing. Massuyeau generalized this result to closed, spin 3-manifolds, and the second author to compact, oriented 3-manifolds with boundary. In this paper we give a partial generalization of these results to compact, spin 3-manifolds with boundary.
The Wall surgery obstruction groups have two interesting geometrically defined subgroups, consisting of the surgery obstructions between closed manifolds, and the inertial elements. We show that the inertia group $I_{n+1}(π,w)$ and the closed manifold subgroup $C_{n+1}(π,w)$ are equal in dimensions $n+1\geq 6$, for any finitely-presented group $π$ and any orientation character $w\colon π\to \cy 2$.
The aim of this paper is to show the importance of the Steenrod construction of homology theories for the disassembly process in surgery on a generalized $n$-manifold $X^n$, in order to produce an element of generalized homology theory, which is basic for calculations. In particular, we show how to construct an element of the $n$-th Steenrod homology group $H^{st}_{n} (X^{n}, \mathbb{L}^+),$ where $\mathbb{L}^+$ is the connected covering spectrum of the periodic surgery spectrum $\mathbb{L}$, avoiding the use of the geometric splitting procedure, which is standardly used in surgery on topologi…
We extend Donaldson's diagonalization theorem to intersection forms with certain local coefficients, under some constraints. This provides new examples of non-smoothable topological 4-manifolds.
Withdrawn May 2005. There is an error in the even-dimensional case of the proof in the April 2005 version. The hoped-for 4-dimensional applications are unlikely to survive the repairs.
The problem of splitting a homotopy equivalence along a submanifold is closely related to the surgery exact sequence and to the problem of surgery of manifold pairs. In classical surgery theory there exist two approaches to surgery in the category of manifolds with boundaries. In the $ rel \partial$ case the surgery on a manifold pair is considered with the given fixed manifold structure on the boundary. In the relative case the surgery on the manifold with boundary is considered without fixing maps on the boundary. Consider a normal map to a manifold pair $(Y, \partial Y)\subset (X, \partial …
Cappell and Shaneson pointed out in 1978 interesting properties of Browder - Livesay invariants which are similar to differentials in some spectral sequence. Such spectral sequence was constructed in 1991 by Hambleton and Kharshiladze. This spectral sequence is closely related to a problem of realization of elements of Wall groups by normal maps of closed manifolds. The main step of construction of the spectral sequence is an infinite filtration of spectra in which only the first two, as is well-known, have clear geometric sense. The first one is a spectrum $\Bbb L(π_1(X))$ for surgery obstruc…
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 connected sums of certain geometric 4-manifolds. Most of these homotopy fibers have non-vanishing second mod 2 homology and have fundamental groups of exponential growth, which are not known to be tractable by Freedman--Quinn topological surgery. Indeed, our key technique is topolog…
We use sutured manifold theory, essential laminations and essential branched surfaces to establish the upper bounds of distances between certain types of nonsimple Dehn surgery slopes. This is the revised version of an earlier preprint {\it Dehn surgery and simple manifolds.}
In this paper we extend Thurston's hyperbolic Dehn surgery theorem to a class of geometrically infinite hyperbolic 3-manifolds. As an application we prove a modest density theorem for Kleinian groups. We also discuss hyperbolic Dehn surgery on geometrically finite hypebolic cone-manifolds.
Surgery obstruction of a normal map to a simple Poincare pair $(X,Y)$ lies in the relative surgery obstruction group $L_*(π_1(Y)\toπ_1(X))$. A well known result of Wall, the so called $π$-$π$ theorem, states that in higher dimensions a normal map of a manifold with boundary to a simple Poincare pair with $π_1(X)\congπ_1(Y)$ is normally bordant to a simple homotopy equivalence of pairs. In order to study normal maps to a manifold with a submanifold, Wall introduced surgery obstruction group for manifold pairs $LP_*$ and splitting obstruction groups $LS_*$. In the present paper we formulate and …
We discuss some consequences Fintushel-Stern `knot surgery' operation on 4-manifolds coming from its handlebody description. We give some generalizations of this operation and give a counterexample to their conjecture.
Fintushel-Stern's knot surgery gave many pairs of exotic manifolds, which are homeomorphic but non-diffeomorphic. We show that if an elliptic fibration has two parallel, oppositely oriented vanishing circles (for example $S^2\times S^2$ or Matsumoto's $S^4$), then the knot surgery gives rise to standard manifolds. The diffeomorphism can give an alternative proof that Scharlemann's manifold is standard (originally by Akbulut [Ak1]).
In this paper we will show that two surfaces of the same genus and homology class in a simply connected 4-manifold are concordant. We will show they are often topologically isotopic when their complements have cyclic fundamental group. Finally, we will show that if they are 0-concordant, then surgery on one is equivalent to surgery on the other.
We show that for any $n\geq6$, for any $m$, we can find $m$ non-homeomorphic $n$-manifolds that can be mapped by cell-like maps onto the same space $X$.
In this article we prove that, if $X$ is a smooth $4$-manifold containing an embedded double node neighborhood, all knot surgery $4$-manifolds $X_K$ are mutually diffeomorphic to each other after a connected sum with $\mathbb{CP}^2$. Hence, by applying to the simply connected elliptic surface $E(n)$, we also show that every knot surgery $4$-manifold $E(n)_K$ is almost completely decomposable.
Even though the disk embedding theorem is not available in dimension 4 for free fundamental groups, some surgery problems may be shown to have topological solutions. We prove that surgery problems may be solved if one considers closed 4-manifolds and the intersection pairing is extended from the integers, and prove a related splitting result.
Let M be a closed 3-manifold obtained by Dehn surgery along the figure-eight knot. We give a formula of the Reisdemeisiter torsion of M for any irreducible SL(2;C)-representation. It is described as a rational expression of the trace of the image of the meridian.
We introduce a surgery operation on symplectic manifolds called coisotropic Luttinger surgery, which generalizes Luttinger surgery on Lagrangian tori in symplectic 4-manifolds. We use it to produce infinitely many distinct symplectic non-Kahler 6-manifolds $X$ with $c_1(X)=0$ which are not of the form $M\times F$ for $M$ a symplectic 4-manifold and $F$ a closed surface.
We present new lower bounds on the complexity of Dehn surgery manifolds of knots, using our recent result on the Cheeger-Gromov rho invariants and triangulations. As an application, we give explicit examples of closed hyperbolic 3-manifolds with fixed first homology for which the gap between the Gromov norm and the complexity is arbitrarily large.
A surgery classification theory is introduced for manifolds of bounded geometry up to quasi-isometry. The Borel conjecture for this theory is proven for flat Euclidean space.
In this article we study Lefschetz fibration structures on knot surgery 4-manifolds obtained from an elliptic surface E(2) using Kanenobu knots $K$. As a result, we get an infinite family of simply connected mutually diffeomorphic 4-manifolds coming from a pair of inequivalent Kanenobu knots. We also obtain an infinite family of simply connected symplectic 4-manifolds, each of which admits more than one inequivalent Lefschetz fibration structures of the same generic fiber.
The inertia subgroup $I_n(π)$ of a surgery obstruction group $L_n(π)$ is generated by elements which act trivially on the set of homotopy triangulations $\Cal S(X)$ for some closed topological manifold $X^{n-1}$ with $π_1(X)=π$. This group is a subgroup of the group $C_n(π)$ which consists of the elements which can be realized by normal maps of closed manifolds. In all known cases these groups coincide and the computation of them is one of the basic problems of surgery theory. The computation of the group $C_n(π)$ is equivalent to the computation the image of the assembly map $A:H_{n}(Bπ, \bol…
In this article we construct a family of knot surgery $4$-manifolds admitting arbitrarily many nonisomorphic Lefschetz fibration structures with the same genus fiber. We obtain such families by performing knot surgery on an elliptic surface $E(2)$ using connected sums of fibered knots obtained by Stallings twist from a slice knot $3_1 \sharp 3^*_1$. By comparing their monodromy groups induced from the corresponding monodromy factorizations, we show that they admit mutually nonisomorphic Lefschetz fibration structures.
Contact round surgery of contact 3-manifolds is introduced in this paper. By using this method, an alternative proof of the existence of a contact structure on any closed orientable 3-manifold is given. It is also proved that any contact structure on any closed orientable 3-manifold is constructed from the standard contact structure on the 3-dimensional sphere by contact round surgeries. For the proof, important operations in contact topology, the Lutz twist and the Giroux torsion, are described in terms of contact round surgeries.
We prove that the canonical 4-dimensional surgery problems can be solved after passing to a double cover. This contrasts the long-standing conjecture about the validity of the topological surgery theorem for arbitrary fundamental groups (without passing to a cover). As a corollary, the surgery conjecture is reformulated in terms of the existence of free involutions on a certain class of 4-manifolds. We consider this question and analyze its relation to the A,B-slice problem.
We compute the effect of concordance surgery, a generalization of knot surgery defined using a self-concordance of a knot, on the Ozsváth-Szabó 4-manifold invariant. The formula involves the graded Lefschetz number of the concordance map on knot Floer homology. The proof uses the sutured Floer TQFT, and a version of sutured Floer homology perturbed by a 2-form.
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 manifolds with $b_1=1$ that are known not to be surgery on a knot in the 3-sphere. One family consists of Seifert fibered 3-manifolds, while each member of the other family is not even homology cobordant to any Seifert fibered 3-manifold. None of our examples are homology cobord…
We show that given a 3-manifold $Y$ there is only a finite number of alternating knots $K \subset S^3$ such that $Y$ can be obtained by surgery on $K$. A very similar but somewhat not complete statement has been obtained in a recent preprint of Lackenby and Purcell.
We give a surgery formula for the torsions and Seiberg-Witten invariants associated with $Spin^c$-structures on 3-manifolds. We use the technique of Reidemeister-type torsions and their refinements.
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 finitely generated free abelian group and compute its rank. We also construct an explicit basis and show that it generates all bordered 3-manifolds in a certain stronger sense. Our basis is strictly contained in another finite generating set which was constructed previously by Bal…
This paper is concerned with the problem of stable diffeomorphism classification of 4-manifolds obtained using the surgery on loops. The main theorem states that under the assumption that the normal 1-type of two 4-manifolds in question is the same, the only classifying invariant is the signature. In particular, in some cases, any two closed smooth 4-manifolds with a given fundamental group, obtained by the standard construction, are stably diffeomorphic.
It is shown that any closed three-manifold M obtained by integral surgery on a knot in the three-sphere can always be constructed from integral surgeries on a 3-component link L with each component being an unknot in the three-sphere. It is also interesting to notice that infinitely many different integral surgeries on the same link L could give the same three-manifold M.
We consider surgery moves along (n+1)-component Brunnian links in compact connected oriented 3-manifolds, where the framing of the each component is 1/k for k in Z. We show that no finite type invariant of degree < 2n-2 can detect such a surgery move. The case of two link-homotopic Brunnian links is also considered. We relate finite type invariants of integral homology spheres obtained by such operations to Goussarov-Vassiliev invariants of Brunnian links.
We discuss the relation between Fintushel-Stern knot surgery operation on 4-manifolds and Scharlemann manifolds, and as a corollary show that they all are standard. Along the way we show that the fishtail can exotically knot in the 4-sphere infinitely many ways.
Suppose that the 3-manifold M is given by integral surgery along a link L in S^3. In the following we construct a stable map from M to the plane, whose singular set is canonically oriented. We obtain upper bounds for the minimal numbers of crossings and non-simple singularities and of connected components of fibers of stable maps from M to the plane in terms of properties of L.
When can one 3-manifold be transformed to another by a finite sequence of Dehn surgeries which are restricted to preserve the first homology of the manifolds ? What is the resulting equivalence relation on 3-manifolds ? What if the surgery circle is further restricted to lie more deeply in the lower central series of the fundamental group ? We answer these questions. It is shown that many of these questions have answers in terms of classical toplogical invariants. Relations with Heegard splittings and the Torelli group are discussed. This is also related to whether or not one 3-manifold may be…
Let $X$ be a connected compact 3-manifold with non-empty boundary. Consider the boundary $M$ of $X\times D^2$. $M$ is a 4-dimensional closed manifold and has the same fundamental group as $X$. Various examples of $X$ are known for which a certain assembly map $A:H_4(X;L)\to L_4(π_1(X))$ is injective. For such an $X$ and any CW-spine $B$ of $X$, there is a $UV^1$-map $p:M\to B$. For any $ε>0$, if the surgery obstruction for a TOP normal map $(f,b):N\to M$ vanishes, we can perform surgery on $f$ to change it into a $p^{-1}(ε)$-controlled homotopy equivalence.
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.
A combinatorial condition is obtained for when immersed or embedded incompressible surfaces in compact 3-manifolds with tori boundary components remain incompressible after Dehn surgery. A combinatorial characterisation of hierarchies is described. A new proof is given of the topological rigidity theorem of Hass and Scott for 3-manifolds containing immersed incompressible surfaces, as found in cubings of non-positive curvature.
We give a survey of geometric approaches to the topological 4-dimensional surgery and 5-dimensional s-cobordism conjectures, with a focus on the study of surfaces in 4-manifolds. The geometric lemma underlying these conjectures is a statement about smooth immersions of disks and of certain 2-complexes, capped gropes, in a 4-manifold. We also mention a reformulation in terms of the A,B-slice problem, and the relation of this question to recent developments in the study of the classical knot concordance group.
We say that a topological $n$-manifold $N$ is a cubical $n$-manifold if it is contained in the $n$-skeleton of the canonical cubulation $\mathcal{C}$ of ${\mathbb{R}}^{n+k}$ ($k\geq1$). In this paper, we prove that any closed, oriented cubical $2$-manifold has a transverse field of 2-planes in the sense of Whitehead and therefore it is smoothable by a small ambient isotopy.
