Topological isotopy and Cochran's derived invariants
Sergey A. Melikhov
备注:
18 pages, 11 figures. To appear in "Topology, Geometry, and Dynamics: Rokhlin Memorial" (St.-Petersburg, August 19-23, 2019), Contemporary Mathematics, 772 (V. M. Buchstaber, A. V. Malyutin, T. E. Panov, A. M. Vershik, eds.), Amer. Math. Soc., Providence, RI, 2021
We construct a link in the $3$-space that is not isotopic to any PL link (non-ambiently). In fact, there exist uncountably many $I$-equivalence classes of links.
The paper also includes some observations on Cochran's invariants $β_i$.
Geometric aspects of the filtration on classical links by k-quasi-isotopy are discussed, including the effect of Whitehead doubling, relations with Smythe's n-splitting and Kobayashi's k-contractibility. One observation is: ω-quasi-isotopy is equivalent to PL isotopy for links in a homotopy 3-sphere (resp. contractible open 3-manifold) M if and only if M is homeomorphic to S^3 (resp. R^3). As a byproduct of the proof of the "if" part, we obtain that every compact subset of an acyclic open set in a compact orientable 3-manifold M is contained in a PL homology 3-ball in M. We show that k-quasi-i…
In part I it was shown that for each k>0 the generalized Sato-Levine invariant detects a gap between k-quasi-isotopy of link and peripheral structure preserving isomorphism of the finest quotient G_k of its fundamental group, `functorially' invariant under k-quasi-isotopy. Here we show that Cochran's derived invariant β^k, provided k>2, and a series of \barμ-invariants, starting with \barμ(111112122) for k=3, also fall in this gap. In fact, all \barμ-invariants where each index occurs at most k+1 times, except perhaps for one occuring k+2 times, can be extracted from G_k, and if they vanish, G…
In this paper we define and study flexible links and flexible isotopy in projective space. Flexible links are meant to capture the topological properties of real algebraic links. We classify all flexible links up to flexible isotopy using Ekholms interpretation of Viros encomplexed writhe.
We introduce a new technique for showing classical knots and links are not slice. As one application we resolve a long-standing question as to whether certain natural families of knots contain topologically slice knots. We also present a simpler proof of the result of Cochran-Teichner that the successive quotients of the integral terms of the Cochran-Orr-Teichner filtration of the knot concordance group have rank 1. For links we have similar results. We show that the iterated Bing doubles of many algebraically slice knots are not topologically slice. Some of the proofs do not use the existence…
The space of n-sided polygons embedded in three-space consists of a smooth manifold in which points correspond to piecewise linear or ``geometric'' knots, while paths correspond to isotopies which preserve the geometric structure of these knots. The topology of these spaces for the case n = 6 and n = 7 is described. In both of these cases, each knot space consists of five components, but contains only three (when n = 6) or four (when n = 7) topological knot types. Therefore ``geometric knot equivalence'' is strictly stronger than topological equivalence. This point is demonstrated by the hexag…
Princeton University(普林斯顿大学);University of Georgia(佐治亚大学);Max Planck Institute for Mathematics in Bonn(波恩马克斯·普朗克数学研究所);University of Virginia(弗吉尼亚大学);University of Glasgow(格拉斯哥大学)
We discuss the properties of a certain type of Dehn surgery along a Lagrangian torus in a symplectic 4-manifold, known as Luttinger's surgery, and use this construction to provide a purely topological interpretation of a non-isotopy result for symplectic plane curves with cusp and node singularities due to Moishezon.
The bipolar filtration of Cochran, Harvey and Horn presents a framework of the study of deeper structures in the smooth concordance group of topologically slice knots. We show that the graded quotient of the bipolar filtration of topologically slice knots has infinite rank at each stage greater than one. To detect nontrivial elements in the quotient, the proof simultaneously uses higher order amenable Cheeger-Gromov $L^2$ $ρ$-invariants and infinitely many Heegaard Floer correction term $d$-invariants.
It is well-known that no knot can be cancelled in a connected sum with another knot, whereas every link can be cancelled up to link homotopy in a (componentwise) connected sum with another link. In this paper we address the question whether the noncancellation property of knots holds for some (piecewise-linear) links up to some stronger analogue of link homotopy, which still does not distinguish between sufficiently close C^0-approximations of a topological link. We introduce a sequence of such increasingly stronger equivalence relations under the name of k-quasi-isotopy, k=1,2,...; all of the…
Physical knots and links are one-dimensional submanifolds of R^3 with fixed length and thickness. We show that isotopy classes in this category can differ from those of classical knot and link theory. In particular we exhibit a Gordian Split Link, a two component link that is split in the classical theory but cannot be split with a physical isotopy.
We use a link invariant defined by Cimasoni-Florens to compute ρ-invariants. This generalizes results of Cochran-Teichner and Friedl on knots to the setting of links. As an application, we prove with only twelve possible exceptions that the twist knots of algebraic order two are linearly independent in the topological concordance group.
We construct infinite families of topologically isotopic but smoothly distinct knotted spheres in many simply connected 4-manifolds that become smoothly isotopic after stabilizing by connected summing with $S^2 \times S^2$, and as a consequence, analogous families of diffeomorphisms and metrics of positive scalar curvature for such 4-manifolds. We also construct families of smoothly distinct links, all of whose corresponding proper sublinks are smoothly isotopic, that become smoothly isotopic after stabilizing.
For Gamma a finite, connected metric graph, we consider the space of configurations of n points in Gamma with a restraint parameter r dictating the minimum distance allowed between each pair of points. These restricted configuration spaces come up naturally in topological robotics. In this paper, we study the homotopy, homeomorphism, and isotopy types of these spaces over the space of parameters r and provide a polynomial upper bound (in the number of edges of Gamma) for the number of isotopy types.
In 2016 Levine showed that there exists a knot in a homology 3-sphere which is not smoothly concordant to any knot in the 3-sphere where one allows concordances in any smooth homology cobordism. Whether the same is true if one allows topological concordances is not known. One might hope that such an example might be detected by the powerful filtration of knot concordance introduced by Cochran-Orr-Teichner. We prove that this is not the case, demonstrating that for any knot in any homology sphere there is a knot in the 3-sphere equivalent to the original knot modulo any term of this filtration.…
We provide combinatorial realizations, according to the usual objects/moves scheme, of the following three topological categories: (1) pairs (M,v) where M is a 3-manifold (up to diffeomorphism) and v is a (non-singular vector) field, up to homotopy; here possibly the boundary of M is non-empty and v may be tangent to the boundary, but only in a concave fashion, and homotopy should preserve tangency type; (2) framed links L in M, up to framed isotopy; (3) triples (M,v,L), with (M,v) as above and L transversal to v, up to pseudo-Legendrian isotopy (transversality-preserving simultaneous homotopy…
The bipolar filtration introduced by T. Cochran, S. Harvey, and P. Horn is a framework for the study of smooth concordance of topologically slice knots and links. It is known that there are topologically slice 1-bipolar knots which are not 2-bipolar. For knots, this is the highest known level at which the filtration does not stabilize. For the case of links with two or more components, we prove that the filtration does not stabilize at any level: for any n, there are topologically slice links which are n-bipolar but not (n+1)-bipolar. In the proof we describe an explicit geometric construction…
We establish certain "non-triviality" results for several filtrations of the smooth and topological knot concordance groups. First, as regards the n-solvable filtration of the topological knot concordance group defined by K. Orr, P. Teichner and the first author, we refine the recent non-triviality results of Cochran and Teichner by including information on the Alexander modules. These results also extend those of C. Livingston and the second author. We exhibit similar structure in the closely related symmetric Grope filtration of the knot concordance group considered by the first author and T…
This paper contains the first knot polynomials which can distinguish the orientations of classical knots and which make no excplicit use of the knot group. But they make extensive use of the meridian and of the longitude in a geometric way. Let $M$ be the topological moduli space of long knots up to regular isotopy, and for any natural number $n > 1$ let $M_n$ be the moduli space of all n-cables $nK$ of framed long knots $K$ which are twisted by a given string link $T$ to close to a knot in the solid torus, with a marked point on the knot at infinity. First we construct integer valued combinat…
We show that after stabilizations of opposite parity and braid isotopy, any two braids in the same topological link type cobound embedded annuli. We use this to prove the generalized Jones conjecture relating the braid index and algebraic length of closed braids within a link type, following a reformulation of the problem by Kawamuro.
For a classical link, Milnor defined a family of isotopy invariants, called Milnor $\overlineμ$-invariants. Recently, Chrisman extended Milnor $\overlineμ$-invariants to welded links by a topological approach. The aim of this paper is to show that Milnor $\overlineμ$-invariants can be extended to welded links by a combinatorial approach. The proof contains an alternative proof for the invariance of the original $\overlineμ$-invariants of classical links.
This paper continues the study of decompositions of a smooth 4-manifold into two handlebodies with handles of index $\leq2$. Part I gave existence results in terms of spines and chain complexes over the fundamental group of the ambient manifold. Here we assume that one side of a decomposition has larger fundamental group, and use this to define algebraic-topological invariants. These reveal a basic asymmetry in these decompositions: subtle changes on one side can force algebraic-topologically detectable changes on the other. A solvable iteration of the basic invariant gives an ``obstruction th…
The paper gives topological as well as rigid isotopy classification of smooth irreducible algebraic curves in the real projective 3-space for the case when the degree of the curve is at most six and its genus is at most one.
In the prequel of this paper, Kauffman and Ogasa introduced new topological quantum invariants of compact oriented 3-manifolds with boundary where the boundary is a disjoint union of two identical surfaces. The invariants are constructed via surgery on manifolds of the form $F \times I$ where $I$ denotes the unit interval. Since virtual knots and links are represented as links in such thickened surfaces, we are able also to construct invariants in terms of virtual link diagrams (planar diagrams with virtual crossings). These invariants are new, nontrivial, and calculable examples of quantum in…
We introduce a technique for showing classical knots and links are not slice. As one application we show that the iterated Bing doubles of many algebraically slice knots are not topologically slice. Some of the proofs do not use the existence of the Cheeger-Gromov bound, a deep analytical tool used by Cochran-Teichner. We define generalized doubling operators, of which Bing doubling is an instance, and prove our nontriviality results in this more general context. Our main examples are boundary links that cannot be detected in the algebraic boundary link concordance group.
We obtain new invariants of topological link concordance and homology cobordism of 3-manifolds from Hirzebruch-type intersection form defects of towers of iterated p-covers. Our invariants can extract geometric information from an arbitrary depth of the derived series of the fundamental group, and can detect torsion which is invisible via signature invariants. Applications illustrating these features include the following: (1) There are infinitely many homology equivalent rational 3-spheres which are indistinguishable via multisignatures, eta-invariants, and L2-signatures but have distinct hom…
Classical knot theory deals with {\em diagrams} and {\em invariants}. By means of horizontal {\em trisecants}, we construct a new theory of classical braids with invariants valued in {\em pictures}. These pictures are closely related to diagrams of the initial object. The main tool is the notion of {\em free $k$-braid group}. In the simplest case, for free $2$-braids, the word problem and the conjugacy problem can be solved by finding the minimal representative, which can be thought of as a graph, and is unique, as such. We prove a general theorem about invariants of dynamical systems which ar…