Differently knotted symplectic surfaces in D^4 bounded by the same transverse knot
Andrew Geng
备注:
3 pages (4 including references), 1 figure; for associated Python code, see http://www-math.mit.edu/~seidel/geng/; corrected typo at bottom of page 2 (third relation)
In this paper we show that there are two symplectic surfaces in the 4-ball which bound the same transverse knot, have the same topology (as abstract surfaces), and are distinguished by the fundamental groups of their complements.
The Meridional Rank Conjecture asks whether the bridge number of a knot in $S^3$ is equal to the minimal number of meridians needed to generate the fundamental group of its complement. In this paper we investigate the analogous conjecture for knotted surfaces in $S^4$. Towards this end, we give a construction to produce classical knots with quotients sending meridians to elements of any finite order and which detect their meridional ranks. We establish the equality of bridge number and meridional rank for these knots and knotted spheres obtained from them by twist-spinning. On the other hand, …
This paper studies properly embedded surfaces in the 4-ball that are exotically knotted (i.e., topologically but not smoothly isotopic), and leverages this local phenomenon to study surfaces in larger 4-manifolds. The main results provide a new construction of exotically knotted surfaces, including exotic slice surfaces of all genera in the 4-ball and exotic closed surfaces in larger 4-manifolds. The construction is well-suited to the complex and symplectic settings, providing the first examples of exotically knotted complex curves and symplectic 2-spheres. Along the way, we articulate some di…
A graph is called intrinsically knotted if every embedding of the graph contains a knotted cycle. Johnson, Kidwell and Michael, and, independently, Mattman showed that intrinsically knotted graphs have at least 21 edges. Recently Lee, Kim, Lee and Oh, and, independently, Barsotti and Mattman, showed that $K_7$ and the 13 graphs obtained from $K_7$ by $\nabla Y$ moves are the only intrinsically knotted graphs with 21 edges. Also Kim, Lee, Lee, Mattman and Oh showed that there are exactly three triangle-free intrinsically knotted graphs with 22 edges having at least two vertices of degree 5. Fur…
A graph is called intrinsically knotted if every embedding of the graph contains a knotted cycle. Johnson, Kidwell and Michael showed that intrinsically knotted graphs have at least 21 edges. Recently Lee, Kim, Lee and Oh, and, independently, Barsotti and Mattman, showed that $K_7$ and the 13 graphs obtained from $K_7$ by $\nabla Y$ moves are the only intrinsically knotted graphs with 21 edges. In this paper we present the following results: there are exactly three triangle-free intrinsically knotted graphs with 22 edges having at least two vertices of degree 5. Two are the cousins 94 and 110 …
In this paper, we describe the relation between the study of closed connected surfaces embedded in $S^3$ and the theory of handlebody-knots. By Fox's theorem, a pair of handlebody-knots is associated to a closed connected surface embedded in $S^3$ in the sense that their exterior components are pairwise homeomorphic. We show that for every handlebody-knot pair associated to a genus two "prime bi-knotted" surface, one is irreducible, and the other is reducible. Furthermore, for given two genus two handlebody-knots $H_1$ and $H_2$ satisfying certain conditions, we will construct a "prime bi-knot…
A knotted surface in the 4-sphere may be described by means of a hyperbolic diagram that captures the 0-section of a special Morse function, called a hyperbolic decomposition. We show that every hyperbolic decomposition of a knotted surface K defines a projection of K onto a 2-sphere, whose set of critical values is the hyperbolic diagram of K. We apply such projections, called flattenings, to define three invariants of knotted surfaces: the layering, the trunk and the partition number. The basic properties of flattenings and their derived invariants are obtained. Our construction is used to s…
We show that all nontrivial embeddings of planar graphs on the torus contain a nontrivial knot or a nonsplit link. This is equivalent to showing that no minimally knotted planar spatial graphs on the torus exist that contain neither a nontrivial knot nor a nonsplit link all of whose components are unknots.
A graph is intrinsically knotted if every embedding contains a nontrivially knotted cycle. It is known that intrinsically knotted graphs have at least 21 edges and that there are exactly 14 intrinsically knotted graphs with 21 edges, in which the Heawood graph is the only bipartite graph. The authors showed that there are exactly two graphs with at most 22 edges that are minor minimal bipartite intrinsically knotted: the Heawood graph and Cousin 110 of the $E_9+e$ family. In this paper we show that there are exactly six bipartite intrinsically knotted graphs with 23 edges so that every vertex …
The Kinoshita graph is a particular embedding in the 3-sphere of a graph with three edges, two vertices and no loops. It has the remarkable property that although the removal of any edge results in an unknotted loop, the Kinoshita graph is itself knotted. We use two classical theorems from knot theory to give two particularly simple proofs that the Kinoshita graph is knotted. Apart from appealing to the two classical theorems, the exposition is elementary and is aimed at those with only a passing familiarity with knot theory.
We define homology of ternary algebras satisfying axioms derived from particle scattering or, equivalently, from the third Reidemeister move. We show that ternary quasigroups satisfying these axioms appear naturally in invariants of Reidemeister, Yoshikawa, and Roseman moves. Our homology has a degenerate subcomplex. The normalized homology yields invariants of knots and knotted surfaces.
Meier and Zupan showed that every surface in the four-sphere admits a bridge trisection and can therefore be represented by three simple tangles. This raises the possibility of applying methods from link homology to knotted surfaces. We use link homology to construct an invariant of knotted surfaces (up to isotopy) which distinguishes the unknotted sphere from certain knotted spheres. We also construct an invariant of a bridge-trisected surface in the the form of an $A_\infty$-algebra. Both invariants are defined by a novel connection between $A_\infty$-algebras and Manolescu and Ozsváth's hyp…
Knotted ribbons form an important topic in knot theory. They have applications in natural sciences, such as cyclic duplex DNA modeling. A flat knotted ribbon can be obtained by gently pulling a knotted ribbon tight so that it becomes flat and folded. An important problem in knot theory is to study the minimal ratio of length to width of a flat knotted ribbon. This minimal ratio is called the ribbonlength of the knot. It has been conjectured that the ribbonlength has an upper bound and a lower bound which are both linear in the crossing number of the knot. In the first part of the paper, we use…
For knots in $S^3$, it is well-known that the Alexander polynomial of a ribbon knot factorizes as $f(t)f(t^{-1})$ for some polynomial $f(t)$. By contrast, the Alexander polynomial of a ribbon $2$-knot is not even symmetric in general. Via an alternative notion of ribbon $2$-knots, we give a topological condition on a $2$-knot that implies the factorization of the Alexander polynomial.
In this paper we provide a new obstruction to 0-concordance of knotted surfaces in $S^4$ in terms of Alexander ideals. We use this to prove the existence of infinitely many linearly independent 0-concordance classes and to provide the first proof that the submonoid of 2-knots is not a group. The main result is that the Alexander ideal induces a homomorphism from the 0-concordance monoid $\mathscr{C}_0$ of oriented surface knots in $S^4$ to the ideal class monoid of $\mathbb{Z}[t^{\pm1}]$. Consequently, any surface knot with nonprincipal Alexander ideal is not 0-slice and in fact, not invertibl…
We present a marked analogue of Carter and Saito's movie theorem. Our definition of marking was chosen to coincide with the markings that arise in link Floer homology. In order to deal with complications arising from certain isotopies, we define three equivalence relations for marked surfaces and work over an equivalence class of marked surfaces when providing our generalization of Carter and Saito's movie theorem.
Understanding the biological function of knots in proteins and their folding process is an open and challenging question in biology. Recent studies classify the topology and geometry of knotted proteins by analysing the distribution of a protein's planar projections using topological objects called knotoids. We approach the analysis of proteins with the same topology by introducing a topologically inspired statistical metric between their knotoid distributions. We detect geometric differences between trefoil proteins by characterising their entanglement and we recover a clustering by sequence …
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 seek to connect ideas in the theory of bridge trisections with other well-studied facets of classical knotted surface theory. First, we show how the normal Euler number can be computed from a tri-plane diagram, and we use this to give a trisection-theoretic proof of the Whitney-Massey Theorem, which bounds the possible values of this number in terms of the Euler characteristic. Second, we describe in detail how to compute the fundamental group and related invariants from a tri-plane diagram, and we use this, together with an analysis of bridge trisections of ribbon surfaces, to produce an i…
We give an explicit construction of complex maps whose nodal line have the form of lemniscate knots. We review the properties of lemniscate knots, defined as closures of braids where all strands follow the same transverse (1, $\ell$) Lissajous figure, and are therefore a subfamily of spiral knots generalising the torus knots. We then prove that such maps exist and are in fact fibrations with appropriate choices of parameters. We describe how this may be useful in physics for creating knotted fields, in quantum mechanics, optics and generalising to rational maps with application to the Skyrme-F…
A zigzag in a map (a $2$-cell embedding of a connected graph in a connected closed $2$-dimensional surface) is a cyclic sequence of edges satisfying the following conditions: 1) any two consecutive edges lie on the same face and have a common vertex, 2) for any three consecutive edges the first and the third edges are disjoint and the face containing the first and the second edges is distinct from the face which contains the second and the third. A map is $z$-knotted if it contains a single zigzag. Such maps are closely connected to Gauss code problem and have nice homological properties. We s…
In this paper we show how to place Michael Berry's discovery of knotted zeros in the quantum states of hydrogen in the context of general knot theory and in the context of our formulations for quantum knots. Berry gave a time independent wave function for hydrogen, as a map from three space to the complex plane and such that the inverse image of zero in the complex plane contains a knotted curve in three space. We show that for knots in three space this is a generic situation in that every smooth knot K in three space has a smooth classifying map f from three space to the complex plane such th…