Given a properly embedded graph Gamma in a ball B and a punctured sphere Sigma properly embedded in B - Gamma, we examine the conditions on Gamma that are necessary to assure that Sigma is boundary parallel.
Examples are given to show that some compact contractible 4-manifolds can be knotted in the 4-sphere. It is then proved that any finitely presented perfect group with a balanced presentation is a knot group for an embedding of some contractible 4-manifold in the 4-sphere.
We show that a handlebody-knot whose exterior is boundary-irreducible has a unique maximal unnested set of knotted handle decomposing spheres up to isotopies and annulus-moves. As an application, we show that the handlebody-knots $6_{14}$ and $6_{15}$ are not equivalent. We also show that some genus two handlebody-knots with a knotted handle decomposing sphere can be determined by their exteriors. As an application, we show that the exteriors of $6_{14}$ and $6_{15}$ are not homeomorphic.
In 1965, E. C. Zeeman proved that the (+/-)-twist spin of any knotted sphere in (n-1)-space is unknotted in the n-sphere. In 1991, Y. Marumoto and Y. Nakanishi gave an alternate proof of Zeeman's theorem by using the moving picture method. In this paper, we define a knotted 2-dimensional foam which is a generalization of a knotted sphere and prove that a (+/-)-twist spin of a knotted trivalent graph may be knotted. We then construct some families of knotted graphs for which the (+/-)-twist spins are always unknotted.
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.
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…
We introduce bridge trisections of knotted surfaces in the four-sphere. This description is inspired by the work of Gay and Kirby on trisections of four-manifolds and extends the classical concept of bridge splittings of links in the three-sphere to four dimensions. We prove that every knotted surface in the four-sphere admits a bridge trisection (a decomposition into three simple pieces) and that any two bridge trisections for a fixed surface are related by a sequence of stabilizations and destabilizations. We also introduce a corresponding diagrammatic representation of knotted surfaces and …
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, …
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 say that a graph is intrinsically knotted or completely 3-linked if every embedding of the graph into the 3-sphere contains a nontrivial knot or a 3-component link any of whose 2-component sublink is nonsplittable. We show that a graph obtained from the complete graph on seven vertices by a finite sequence of $\triangle Y$-exchanges and $Y \triangle$-exchanges is a minor-minimal intrinsically knotted or completely 3-linked graph.
This paper contains a construction of a finite set X in the boundary of the unit 3-ball in R^3 whose minimal tree is knotted. The example answers Problem 5.17 in ''Problems in Low-dimensional Topology'' by Rob Kirby posed by Michael Freedman: ''Given a finite set of points X in the boundary of B^3, let T be a tree in B^3 of minimal length containing X. Is T unknotted, that is, is there a PL imbedded 2-ball in B^3 containing T?''
Let G be a graph in a 3-manifold M. We compress the pair (M,G) along admissible 2-spheres as long as possible. What we get is a root of (M,G). Our main result is that for any pair (M,G) the root exists and is unique. As a corollary we get an easy proof of Petronio's theorem on prime decompositions of 3-orbifolds.
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.
The unknot U in S^4 has non-unique smooth spanning 3-balls up to isotopy fixing U. Equivalently there are properly embedded non-separating 3-balls in S^1xB^3 not properly isotopic to 1xB^3. More generally there exist non-separating 3-spheres in S^1xS^3 not isotopic to 1xS^3 and non trivial elements of π_0 Diff_0(S^1xS^3). Along the way we introduce barbell diffeomorphisms, implantations and twistings to construct and modify diffeomorphisms homotopic to the identity. We also introduce a 2-parameter calculus of embeddings of the interval into 4-manifolds and introduce a framed cobordism method a…
In this paper we study embeddings of oriented connected closed surfaces in $\mathbb S^3$. We define a complete invariant, the fundamental span, for such embeddings, generalizing the notion of the peripheral system of a knot group. From the fundamental span, several computable invariants are derived and employed to study handlebody knots, bi-knotted surfaces, and chirality of knots. These invariants are capable to distinguish inequivalent handlebody knots and bi-knotted surfaces with homeomorphic complements. Particularly, we obtain an alternative proof of the inequivalence of Ishii et al.'s ha…
In this note, we investigate genera for the slopes of a knotted torus in the 4-sphere analogous to the genus of a classical knot. We compare various formulations of this notion, and use this notion to study the extendable subgroup of the mapping class group of the knotted torus.
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…
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.
Let n be aninteger>4. There is a smoothly knotted n-dimensional sphere in (n+2)-space such that the singular point set of its projection in (n+1)-space consists of double points and that the components of the singular point set are two. (The sphere is knotted in the sense that it does not bound any embedded (n+1)-ball in (n+2)-space.) Furthermore, the projection is not the projection of any unknotted sphere in the (n+2)-space. There are two inequivalent embeddings of an n-manifold in the (n+2)-space such that the projection of one of these in (n+1)-space has no double points and the projection…
Using the Heegaard Floer homology of Ozsvath and Szabo we investigate obstructions to definite intersection pairings bounded by rational homology spheres. As an application we obtain new lower bounds for the four-ball genus of Montesinos links.
Knotted trivalent graphs (KTGs) form a rich algebra with a few simple operations: connected sum, unzip, and bubbling. With these operations, KTGs are generated by the unknotted tetrahedron and Moebius strips. Many previously known representations of knots, including knot diagrams and non-associative tangles, can be turned into KTG presentations in a natural way. Often two sequences of KTG operations produce the same output on all inputs. These `elementary' relations can be subtle: for instance, there is a planar algebra of KTGs with a distinguished cycle. Studying these relations naturally lea…
We call an integral homology sphere $\textit{non-trivially}$ bounds a rational homology ball if it is obstructed from bounding an integral homology ball. After Fintushel and Stern's well-known example $Σ(2,3,7)$, Akbulut and Larson recently provided the first infinite families of Brieskorn spheres non-trivially bounding rational homology balls: $Σ(2,4n+1,12n+5)$ and $Σ(3,3n+1,12n+5)$ for odd~$n$. Using their technique, we present new such families: $Σ(2,4n+3,12n+7)$ and $Σ(3,3n+2,12n+7)$ for even $n$. Also manipulating their main argument, we simply recover some classical results of Akbulut an…
Let N be a regular branched cover of a homology 3-sphere M with deck group G isomorphic to Z_2^d and branch set a trivalent graph Gamma; such a cover is determined by a coloring of the edges of Gamma with elements of G. For each index-2 subgroup H of G, M_H = N/H is a double branched cover of M. Sakuma has proved that the first homology of N is isomorphic, modulo 2-torsion, to the direct sum of the first homology groups of the M_H, and has shown that H_1(N) is determined up to isomorphism by the direct sum of the H_1(M_H) in certain cases; specifically, when d=2 and the coloring is such that t…
Fintushel and Stern showed that the Brieskorn sphere $Σ(2,3,7)$ bounds a rational homology ball, while its non-trivial Rokhlin invariant obstructs it from bounding an integral homology ball. It is known that their argument can be modified to show that the figure-eight knot is rationally slice, and we use this fact to provide the first additional examples of Brieskorn spheres that bound rational homology balls but not integral homology balls: the families $Σ(2,4n+1,12n+5)$ and $Σ(3,3n+1,12n+5)$ for $n$ odd. We also provide handlebody diagrams for a rational homology ball containing a rationally…
This paper studies certain embedded spheres in closed affine manifolds. For $n \geq 3$, we investigate the dome bodies in a closed affine $n$-manifold $M$ with its boundary homeomorphic to a sphere under the assumption that a developing map restricted to a component of $\partial\hat{M}$ is an embedding onto a strictly convex sphere in $\mathbb{A}^n$. By using the recurrent property of an incomplete geodesic we show that dome bodies are compact. Then a maximal dome body is a closed solid ball bounded by a component of $\partial\hat{M}$, and hence equals $\hat{M}$. The main theorem is that the s…
We construct non-constructible simplicial $d$-spheres with $d+10$ vertices and non-constructible, non-realizable simplicial $d$-balls with $d+9$ vertices for $d\geq 3$.
Given a combinatorial $(d-1)$-sphere $S$, to construct a combinatorial $d$-sphere $S^{\hspace{.2mm}\prime}$ containing $S$, one usually needs some more vertices. Here we consider the question whether we can do one such construction without the help of any additional vertices. We show that this question has affirmative answer when $S$ is a flag sphere, a stacked sphere or a join of spheres. We also consider the question whether we can construct an $n$-vertex combinatorial $d$-sphere containing a given $n$-vertex combinatorial $d$-ball.
We introduce the $k$-stellated spheres and compare and contrast them with $k$-stacked spheres. It is shown that for $d \geq 2k$, any $k$-stellated sphere of dimension $d$ bounds a unique and canonically defined $k$-stacked ball. In parallel, any $k$-stacked polytopal sphere of dimension $d\geq 2k$ bounds a unique and canonically defined $k$-stacked ball. We consider the class ${\cal W}_k(d)$ of combinatorial $d$-manifolds with $k$-stellated links. For $d\geq 2k+2$, any member of ${\cal W}_k(d)$ bounds a unique and canonically defined "$k$-stacked" $(d+1)$-manifold. We introduce the mu-vector o…
It is shown that for any locally knotted edge of a 3-connected graph in $S^3$, there is a ball that contains all of the local knots of that edge and is unique up to an isotopy setwise fixing the graph. This result is applied to the study of topological symmetry groups of graphs embedded in $S^3$.
We compute the growth series and the growth functions of reducible and pseudo-Anosov elements of the pure mapping class group of the sphere with four holes with respect to a certain generating set. We prove that the ratio of the number of pseudo-Anosov elements to that of all elements in a ball with center at the identity tends to one as the radius of the ball tends to infinity.
In this paper, we study punctured spheres in two dimensional ball quotient compactifications $(X, D)$. For example, we show that smooth toroidal compactifications of ball quotients cannot contain properly holomorphically embedded $3$-punctured spheres. We also use totally geodesic punctured spheres to prove ampleness of $K_X + αD$ for $α\in (\frac{1}{4}, 1)$, giving a sharp version of a theorem of the first author with G. Di Cerbo. Finally, we produce the first examples of bielliptic ball quotient compactifications modeled on the Gaussian integers.
In this paper we discuss the relationship between groups of diffeomorphisms of spheres and balls. We survey results of a topological nature and then address the relationship as abstract (discrete) groups. We prove that the identity component Diff_0(S^{2n-1}) of the group of smooth diffeomorphisms of S^{2n+1} admits no nontrivial homomorphisms to the group of C^1 diffeomorphisms of the ball B^m for any n and m. This result generalizes theorems of Ghys and Herman. We also examine finitely generated subgroups of Diff_0(S^n) and produce an example of a finitely generated torsion free group Gamma w…
We introduce the non-pure versions of simplicial balls and spheres with minimum number of vertices. These are a special type of non-homogeneous balls and spheres (NH-balls and NH-spheres) satisfying a minimality condition on the number of maximal simplices. The main result is that minimal NH-balls and NH-spheres are precisely the simplicial complexes whose iterated Alexander duals converge respectively to a simplex or the boundary of a simplex.
The main goal of the paper is to solve some problems about shadow for the sphere generalized on the case of the ellipsoid. Here, the essence of the problem is to find the the minimal number of non-overlapping balls with centers on the sphere which are not holding the center of the sphere and such that every line passing through the center of the sphere would intersect at least one of the balls. Another method of solving the shadow problem for the sphere is also proposed.
In this paper we prove the existence of rational homology balls smoothly embedded in regular neighborhoods of certain linear chains of smooth $2$-spheres by using techniques from minimal model program for 3-dimensional complex algebraic variety.
We prove a discrete Jordan-Brouwer-Schoenflies separation theorem telling that a (d-1)-sphere H embedded in a d-sphere G defines two different connected graphs A,B in G such a way that the intersection of A and B is H and the union is G and such that the complementary graphs A,B are both d-balls. The graph theoretic definitions are due to Evako: the unit sphere of a vertex x of a graph G=(V,E) is the graph generated by {y | (x,y) in E} Inductively, a finite simple graph is called contractible if there is a vertex x such that both its unit sphere S(x) as well as the graph generated by V-{x} are…