Homologous non-isotopic symplectic tori in a K3-surface
Tolga Etgü, B. Doug Park
备注：
15 pages, 9 figures; v2: extended the main theorem, gave a second construction of symplectic tori, added a figure, added/updated references, minor changes in figures
For each member of an infinite family of homology classes in the K3-surface E(2), we construct infinitely many non-isotopic symplectic tori representing this homology class. This family has an infinite subset of primitive classes. We also explain how these tori can be non-isotopically embedded as homologous symplectic submanifolds in many other symplectic 4-manifolds including the elliptic surfaces E(n) for n>2.
We construct an infinite family of homologous, non-isotopic, symplectic surfaces of any genus greater than one in a certain class of closed, simply connected, symplectic four-manifolds. Our construction is the first example of this phenomenon for surfaces of genus greater than one.
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.
For any pair of integers $n\geq 1$ and $q\geq 2$, we construct an infinite family of mutually non-isotopic symplectic tori representing the homology class $q[F]$ of an elliptic surface E(n), where $[F]$ is the homology class of the fiber. We also show how such families can be non-isotopically and symplectically embedded into a more general class of symplectic 4-manifolds.
Let E(1)_p denote the rational elliptic surface with a single multiple fiber f_p of multiplicity p. We construct an infinite family of homologous non-isotopic symplectic tori representing the primitive class [f_p] in E(1)_p when p>1. As a consequence, we get infinitely many non-isotopic symplectic tori in the fiber class of the rational elliptic surface E(1) (complex projective plane blown-up at nine branch points of a generic pencil of cubic curves). We also show how these tori can be non-isotopically and symplectically embedded in many other symplectic 4-manifolds.
We show that for $m>n\geq 2$, there are at least two exact isotropic $n$-tori in $\mathbb{C}^m$ which are not Hamiltonian isotopic in $\mathbb{C}^m$, even though they are smoothly isotopic as isotropic $n$-tori. We apply this discovery to obtain more distinct non-exact isotropic tori in $\mathbb{C}^m$.
In this paper we exhibit infinite families of embedded tori in 4-manifolds that are topologically isotopic but smoothly distinct. The interesting thing about these tori is that they are topologically trivial in the sense that each bounds a topologically embedded solid handlebody. This implies that there are stably ribbon surfaces in 4-manifolds that are not ribbon.
In this paper we show that there exist simply connected symplectic 4-manifolds which contain infinitely many knotted lagrangian tori, i.e. lagrangian embeddings of tori that are homotopic but not isotopic. Moreover, the homology class they represent can be assumed to be nontrivial and primitive. This answers a question of Eliashberg and Polterovich.
We determine the non-null homologous knots in lens spaces whose exteriors contain properly embedded once-punctured tori. All such knots arise as surgeries on the Whitehead link and are grid number 1 in their lens spaces. As a corollary, we classify once-punctured torus bundles that admit a lens space filling.
We determine the Lagrangian monodromy group L(T) and the smooth monodromy group S(T) of a Clifford torus T in the symplectic 4-space. We show that L(T) is isomorphic to the infinite dihedral group, and S(T) is generated by three reflections. We give explicit formulas for both groups. We also show that if a Lagrangian torus is smoothly isotopic to a Clifford torus then the smooth isotopy can be chosen to be Lagrangian outside of a disc.
Any two homologous surfaces of the same genus embedded in a smooth 4-manifold X with simply-connected complements are shown to be smoothly isotopic in the connected sum of X and the product of a 2-sphere with itself, if the surfaces are ordinary, and in the connected sum of X with the non-trivial sphere bundle over the sphere if they are characteristic.
We considered a surgery, called Lagrangian attaching disk surgery, that can be applied to a Lagrangian surface L at the presence of a Lagrangian attaching disk D, to obtain a new Lagrangian surface L' which is always smoothly isotopic to L. We showed that this type of surgery includes all even generalized Dehn twists as constructed by Paul Seidel. We also constructed a new symplectic invariant, called y-index, for orientable closed Lagrangian surfaces immersed in a parallelizable symplectic 4-manifold W. With y-index we proved that L and L' are not Hamiltonian isotopic. We also obtained new ex…
A knot K is called n-adjacent to another knot K', if K admits a projection containing n generalized crossings such that changing any 0 < m \leq n of them yields a projection of K'. We apply techniques from the theory of sutured 3-manifolds, Dehn surgery and the theory of geometric structures of 3-manifolds to answer the question of the extent to which non-isotopic knots can be adjacent to each other. A consequence of our main result is that if K is n-adjacent to K' for all n, then K and K' are isotopic. This provides a partial verification of the conjecture of V. Vassiliev that the finite type…
A modular tensor category $\mathcal{C}$ gives rise to a Reshetikhin-Turaev type topological quantum field theory which is defined on 3-dimensional bordisms with embedded $\mathcal{C}$-coloured ribbon graphs. We extend this construction to include bordisms with surface defects which in turn can meet along line defects. The surface defects are labelled by $Δ$-separable symmetric Frobenius algebras and the line defects by "multi-modules" which are equivariant with respect to a cyclic group action. Our invariant cannot distinguish non-isotopic embeddings of 2-spheres, but we give an example where …
The linking number $lk$ is defined if link components are zero homologous. Our affine linking invariant $alk$ generalizes $lk$ to the case of linked submanifolds with arbitrary homology classes. We apply $alk$ to the study of causality in Lorentz manifolds. Let $M^m$ be a spacelike Cauchy surface in a globally hyperbolic spacetime $(X^{m+1}, g)$. The spherical cotangent bundle $ST^*M$ is identified with the space $N$ of all null geodesics in $(X,g).$ Hence the set of null geodesics passing through a point $x\in X$ gives an embedded $(m-1)$-sphere $S_x$ in $N=ST^*M$ called the sky of $x.$ Low o…
