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.
Suppose that $X$ is a torus bundle over a closed surface with homologically essential fibers. Let $X_K$ be the manifold obtained by Fintushel--Stern knot surgery on a fiber using a knot $K\subset S^3$. We prove that $X_K$ has a symplectic structure if and only if $K$ is a fibered knot. The proof uses Seiberg--Witten theory and a result of Friedl--Vidussi on twisted Alexander polynomials.
The rational homology balls $B_n$ appeared in Fintushel and Stern's rational blow-down construction [FS] and were subsequently used (e.g. Fintushel-Stern[FS4], Park[Pa2]) to construct exotic smooth manifolds with small Euler numbers. We show that a large class of smooth 4-manifolds have all of the $B_n$'s for odd $n \geq 3$ embedded in them. In particular, we give explicit examples, using Kirby calculus, of several families of smooth embeddings of the rational homology balls $B_n$.
In this paper we clarify an issue in the knot surgery construction of Fintushel and Stern. Using knot surgery, they construct an infinite number of smooth structures on 4-manifolds satisfying certain conditions, but they do not explicitly work out the circumstances under which two manifolds that arise from their construction will fail to be diffeomorphic on the grounds of Seiberg-Witten theory. This paper fills in that gap.
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]).
A theorem of Furuta and Fintushel-Stern provides a criterion for a collection of Seifert fibred homology spheres to be independent in the homology cobordism group of oriented homology 3-spheres. In this article we use these results and some 4-dimensional constructions to produce infinite families of positive torus knots whose iterated Whitehead doubles are independent in the smooth concordance group.
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.
Fintushel and Stern have proved that if S \subset X is a symplectic surface in a symplectic 4-manifold such that S has simply-connected complement and nonnegative self-intersection, then there are infinitely many topologically equivalent but smoothly distinct embedded surfaces homologous to S. Here we extend this result to include symplectic surfaces whose self-intersection is bounded below by 2-2g, where g is the genus of S. We make use of tools from Heegaard Floer theory, and include several results that may be of independent interest. Specifically we give an analogue for Ozsvath-Szabo invar…
We review the SO(3) instanton gauge theory of Fintushel and Stern and recast it in the context of 4-manifolds with cylindrical ends. Appli- cations to the Z/2-homology cobordism group of Z/2-homology 3-spheres are given.
Given a simply-connected closed 4-manifold $X$ and a smoothly embedded oriented surface $Σ$, various constructions based on Fintushel-Stern knot surgery have produced new surfaces in $X$ that are pairwise homeomorphic to $Σ$, but not diffeomorphic. We prove that for all known examples of surface knots constructed from knot surgery operations that preserve the fundamental group of the complement of surface knots, they become pairwise diffeomorphic after stabilizing by connected summing with one $S^2\tilde{\times}S^2$. When $X$ is spin, we show in addition that any surfaces obtained by a knot su…
We prove that the rational blowdown, a surgery on smooth 4-manifolds introduced by Fintushel and Stern, can be performed in the symplectic category. As a consequence, interesting families of smooth 4-manifolds, including the exotic $K3$ surfaces of Gompf and Mrowka, admit symplectic structures.
Motivated by a construction of Fintushel and Stern, we show that the topological 4--manifold $CP^2#5{\bar CP^2}$ supports infinitely many distinct smooth structures.
We establish an inequality which gives strong restrictions on when the standard definite plumbing intersection lattice of a Seifert fibered space over $S^2$ can embed into a standard diagonal lattice, and give two applications. First, we answer a question of Neumann-Zagier on the relationship between Donaldson's theorem and Fintushel-Stern's $R$-invariant. We also give a short proof of the characterisation of Seifert fibered spaces which smoothly bound rational homology $S^1 \times D^3$'s.
In this note we present a new definition of the 4-manifold admitting inequivalent symplectic structures constructed by McMullen-Taubes which leads to the identification of a new symplectic structure. We prove moreover that it is diffeomorphic to one of the link surgery manifolds introduced by Fintushel-Stern.
In this article we prove that Fintushel-Stern's construction of Horikawa surface, which is obtained from an elliptic surface via a rational blow-down surgery in smooth category, can be performed in complex category. The main technique involved is Q-Gorenstein smoothings.
As an application of `reverse engineering' technique introduced by R. Fintushel, D. Park and R. Stern \cite{FPS}, we construct an infinite family of fake (2n+2l-1)CP^2#(2n+4l-1)(-CP^2)'s for all n \ge 0, l \ge 1.
In this paper we prove several related results concerning smooth $\Z_p$ or $\s^1$ actions on 4-manifolds. We show that there exists an infinite sequence of smooth 4-manifolds $X_n$, $n\geq 2$, which have the same integral homology and intersection form and the same Seiberg-Witten invariant, such that each $X_n$ supports no smooth $\s^1$-actions but admits a smooth $\Z_n$-action. In order to construct such manifolds, we devise a method for annihilating smooth $\s^1$-actions on 4-manifolds using Fintushel-Stern knot surgery, and apply it to the Kodaira-Thurston manifold in an equivariant setting…
Suppose that $C=(C_1,..., C_m)$ is a configuration of 2-dimensional symplectic submanifolds in a symplectic 4-manifold $(X,ω)$ with connected, negative definite intersection graph $Γ_C$. We show that by replacing an appropriate neighborhood of $\cup C_i$ with a smoothing $W_S$ of a normal surface singularity $(S, 0)$ with resolution graph $Γ_C$, the resulting 4-manifold admits a symplectic structure. This operation generalizes the rational blow-down operation of Fintushel-Stern for other configurations, and therefore extends Symington's result about symplectic rational blow-downs.
We define a new 4-dimensional symplectic cut and paste operation which is analogous to Fintushel and Stern's rational blow-down. We use this operation to produce multiple constructions of symplectic smoothly exotic complex projective space blown-up eight times, seven times, and six times. We also show how this operation can be used in conjunction with knot surgery to construct an infinite family of minimal exotic smooth structures on the complex projective space blown-up seven times.
Some generalizations and variations of the Fintushel-Stern rim surgery are known to produce smoothly knotted surfaces. We show that if the fundamental groups of their complements are cyclic, then these surfaces are topologically unknotted. Using a twist-spinning construction from high-dimensional knot theory, we construct examples of knotted surfaces whose complements have cyclic fundamental groups.
In this short article we give a criterion whether a given minimal symplectic 4-manifold with $b_{2}^{+}=1$ having a torsion-free canonical class is rational or ruled. As a corollary, we confirm that most of homotopy elliptic surfaces $E(1}_{K}$, K is a fibered knot in $S^3$, constructed by R. Fintushel and R. Stern are minimal symplectic 4-manifolds with $b_{2}^{+}=1$ which do not admit a complex structure.
In the previous paper the author defined an infinite order plug $(P,φ)$ which gives rise to infinite Fintushel-Stern's knot-surgeries. Here, we give two 4-dimensional infinitely many exotic families $Y_n$, $Z_n$ of exotic enlargements of the plug. The families $Y_n$, $Z_n$ have $b_2=3$, $4$ and the boundaries are 3-manifolds with $b_1=1$, $0$ respectively. We give a plug (or g-cork) twist $(P,φ_{p,q})$ producing the 2-bridge knot or link surgery by combining the plug $(P,φ)$. As a further example, we describe a 4-dimensional twist $(M,μ)$ between knot-surgeries for two mutant knots. The twiste…
In this paper, given a knot K, for any integer m we construct a new surface Sigma_K(m) from a smoothly embedded surface Sigma in a smooth 4-manifold X by performing a surgery on Sigma. This surgery is based on a modification of the `rim surgery' which was introduced by Fintushel and Stern, by doing additional twist spinning. We investigate the diffeomorphism type and the homeomorphism type of (X,Sigma) after the surgery. One of the main results is that for certain pairs (X,Sigma), the smooth type of Sigma_K(m) can be easily distinguished by the Alexander polynomial of the knot K and the homeom…
Let E(1)_K denote the closed 4-manifold that is homotopy equivalent (hence homeomorphic) to the rational elliptic surface E(1) and is obtained by performing Fintushel-Stern knot surgery on E(1) using a knot K in S^3. We construct an infinite family of homologous non-isotopic symplectic tori representing a primitive homology class in E(1)_K when K is any nontrivial fibred knot in S^3. We also show how these tori can be non-isotopically embedded as homologous symplectic submanifolds in other symplectic 4-manifolds.
In this paper we discuss the question how matter may emerge from space. For that purpose we consider the smoothness structure of spacetime as underlying structure for a geometrical model of matter. For a large class of compact 4-manifolds, the elliptic surfaces, one is able to apply the knot surgery of Fintushel and Stern to change the smoothness structure. The influence of this surgery to the Einstein-Hilbert action is discussed. Using the Weierstrass representation, we are able to show that the knotted torus used in knot surgery is represented by a spinor fulfilling the Dirac equation and le…