The disk embedding lemma is a technique underlying the topological classification results in 4-manifold topology for good fundamental groups. The purpose of this paper is to develop new tools for disk embedding that work up to s-cobordism, without restrictions on the fundamental group. As an application we show that a surgery problem gives rise to a collection of capped gropes that fit in the framework of control theory.
We study cobordisms and cobordisms rel boundary of PL locally-flat disk knots $D^{n-2}\into D^n$. Cobordisms of disk knots that do not fix the boundary sphere knots are easily classified by the cobordism properties of these boundaries, and any two even-dimensional disk knots with isotopic boundary knots are cobordant rel boundary. However, the cobordism rel boundary theory of odd-dimensional disk knots is more subtle. Generalizing results of Levine on cobordism of sphere knots, we define disk knot Seifert matrices and show that two higher-dimensional disk knots with isotopic boundaries are cob…
The notion of cobordism of singular maps was introduced around 1980 by A. Szűcs and U. Koschorke independently. As an application, Szűcs used it to compute cobordism groups of immersions and embeddings in dimensions where the classical theory did not succeed. His method of studying cobordism groups of singular maps involves the investigation of classifying spaces that were constructed by him, first in a few special cases, then, with the help of the work of Rimányi, in complete generality. Since then quite a few results and (partial) computations were performed in this theory. The present thesi…
We investigate constraints on embeddings of a non-orientable surface in a $4$-manifold with the homology of $M \times I$, where $M$ is a rational homology $3$-sphere. The constraints take the form of inequalities involving the genus and normal Euler class of the surface, and either the Ozsváth--Sazbó $d$-invariants or Atiyah--Singer $ρ$-invariants of $M$. One consequence is that the minimal genus of a smoothly embedded surface in $L(2p,q) \times I$ is the same as the minimal genus of a surface in $L(2p,q)$. We also consider embeddings of non-orientable surfaces in closed $4$-manifolds.
A key tool in our earlier work on ends of manifolds high-dimensional manifolds was an ability to embed cobordisms provided by the Quillen Plus Construction into those ends. Here we develop a `spherical modification' trick which provides a constructive approach to obtaining such embeddings. More importantly, this approach allows for more general embedding results. In this paper we develop generalizations of the plus construction and show how the corresponding cobordisms can be embedded in manifolds satisfying appropriate fundamental group properties. Results obtained here play an important role…
This is an appendix to arXiv:1610.04888, "Quantitative null-cobordism", which improves one of the main results of that paper to a near-sharp one. It is not a self-contained paper.
We discuss how the global geometry and topology of manifolds depend on different group actions of their fundamental groups, and in particular, how properties of a non-trivial compact 4-dimensional cobordism $M$ whose interior has a complete hyperbolic structure depend on properties of the variety of discrete representations of the fundamental group of its 3-dimensional boundary $\partial M$. In addition to the standard conformal ergodic action of a uniform hyperbolic lattice on the round sphere $S^{n-1}$ and its quasiconformal deformations in $S^n$, we present several constructions of unusual …
We study the cobordism of manifolds with boundary, and its applications to codimension 2 embeddings $M^m\subset N^{m+2}$, using the method of the algebraic theory of surgery. The first main result is a splitting theorem for cobordisms of algebraic Poincaré pairs, which is then applied to describe the behaviour on the chain level of Seifert surfaces of embeddings $M^{2n-1} \subset S^{2n+1}$ under isotopy and cobordism. The second main result (update: which is false) is that the $S$-equivalence class of a Seifert form is an isotopy invariant of the embedding, generalizing the Murasugi--Levine re…
A three-manifold equipped with a Heegaard diagram can be used to set up a Floer homology theory whose differential counts pseudo-holomorphic disks in the $g$-fold symmetric product of the Heegaard surface. This leads to a topological invariant for three-manifolds, Heegaard Floer homology, which is functorial under cobordisms. In this survey article, we sketch this construction and describe some of its topological applications.
We consider ribbon n-knots for n\geq 2. For such knots we define a set of moves on ribbon disks, and show that any two ribbon disks for isotopic knots are related by a finite sequence of such moves and ambient isotopies. Using this we are able to prove that there is a natural geometric correspondence between ribbon n-knots and ribbon m-knots which is bijective. We also explore a diagrammatic calculus for such knots. In addition we show that for such knots, any two band presentations for the same knot are stably equivalent.
A link in the 3-sphere is homotopically trivial, according to Milnor, if its components bound disjoint maps of disks in the 4-ball. This paper concerns the question of what spaces give rise to the same class of homotopically trivial links when used in place of disks in an analogous definition. We show that there are 4-manifolds for which this property depends on their embedding in the 4-ball. This work is motivated by the A-B slice problem, a reformulation of the 4-dimensional topological surgery conjecture. As a corollary this provides a new, secondary, obstruction in the A-B slice problem fo…
We introduce a collection of 1/2-$π_1$-null 4-dimensional surgery problems. This is an intermediate notion between the classically studied universal surgery models and the $π_1$-null kernels which are known to admit a solution in the topological category. Using geometric applications of the group-theoretic 2-Engel relation, we show that the 1/2-$π_1$-null surgery problems are universal, in the sense that solving them is equivalent to establishing 4-dimensional topological surgery for all fundamental groups. As another application of these methods, we formulate a weaker version of the $π_1$-nul…
We show that the group cohomology of the diffeomorphisms of the disk with $n$ punctures has the cohomology of the braid group of $n$ strands as the summand. As an application of this method, we also prove that there is no cohomological obstruction to lifting the "standard" embedding $\mathrm{Br}_{2g+2}\hookrightarrow \mathrm{Mod}_{g,2}$ to a group homomorphism between diffeomorphism groups.
We compute the group of link homotopy classes of link maps of two 2-spheres into 4-space. It turns out to be free abelian, generated by geometric constructions applied to the Fenn-Rolfsen link map and detected by two self-intersection invariants introduced by Paul Kirk in this setting. As a corollary, we show that any link map with one topologically embedded component is link homotopic to the unlink. Our proof introduces a new basic link homotopy, which we call a Whitney homotopy, that shrinks an embedded Whitney sphere constructed from four copies of a Whitney disk. Freedman's disk embedding …
Sachs and Conway-Gordon used linking number and a beautiful counting argument to prove that every graph in the Petersen family is intrinsically linked (have a pair of disjoint cycles that form a nonsplit link in every spatial embedding) and thus each family member has no flat spatial embedding (an embedding for which every cycle bounds a disk with interior disjoint from the graph). We give an alternate proof that every Petersen family graph has no flat embedding by applying Böhme's Lemma and the Jordan-Brouwer Separation Theorem.
Even though the disk embedding theorem is not available in dimension 4 for free fundamental groups, some surgery problems may be shown to have topological solutions. We prove that surgery problems may be solved if one considers closed 4-manifolds and the intersection pairing is extended from the integers, and prove a related splitting result.
The classical knot groups are the fundamental groups of the complements of smooth or piecewise-linear (PL) locally-flat knots. For PL knots that are not locally-flat, there is a pair of interesting groups to study: the fundamental group of the knot complement and that of the complement of the ``boundary knot'' that occurs around the singular set, the set of points at which the embedding is not locally-flat. If a knot has only point singularities, this is equivalent to studying the groups of a PL locally-flat disk knot and its boundary sphere knot; in this case, we obtain a complete classificat…
