Exponential separation in \(4\)-manifolds (Q1586952): Difference between revisions

From MaRDI portal
Set OpenAlex properties.
ReferenceBot (talk | contribs)
Changed an Item
(One intermediate revision by one other user not shown)
Property / arXiv ID
 
Property / arXiv ID: math/0008212 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3697908 / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the \((A,B)\)-slice problem / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4040346 / rank
 
Normal rank
Property / cites work
 
Property / cites work: 4-manifold topology. I: Subexponential groups / rank
 
Normal rank
Property / cites work
 
Property / cites work: A calculus for framed links in \(S^3\) / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the relative slice problem and four dimensional topological surgery / rank
 
Normal rank
Property / cites work
 
Property / cites work: Subexponential groups in \(4\)-manifold topology / rank
 
Normal rank
Property / cites work
 
Property / cites work: Alexander duality, gropes and link homotopy / rank
 
Normal rank
Property / cites work
 
Property / cites work: Link groups / rank
 
Normal rank

Revision as of 09:00, 3 June 2024

scientific article
Language Label Description Also known as
English
Exponential separation in \(4\)-manifolds
scientific article

    Statements

    Exponential separation in \(4\)-manifolds (English)
    0 references
    30 November 2000
    0 references
    The author uses a new geometric construction, grope splitting, to give a sharp bound for separation of surfaces in 4-manifolds. His main geometric lemma states that if \((g^c,\gamma)\) is a capped grope in \(M^4,\) and \(\Sigma_1,\dots,\Sigma_n\) are surfaces in \(M\), disjoint from the body of \(g^c\) but perhaps intersecting its caps, then for a regular neighborhood \(N\) of \(g^c\) in \(M\), there is a capped grope \((g^c_{\text{split}},\gamma) \subset N\) such that each cap of \(G^c_{split}\) intersects at most one of the surfaces \(\Sigma\), and each body surface, above the first stage, of \(g^c_{split}\) has genus 1. Using this lemma, he proves the following theorem concerning exponential separation: Let \((g^c,\gamma)\) be a capped grope of height \(h,\) properly immersed in a 4-manifold \(M\), and let \(\Sigma_1,\dots, \Sigma_{2^h-1}\) be properly immersed surfaces in \(M\) which are pairwise disjoint, and are also disjoint from the body of \(g^c.\) Then, given a regular neighborhood \(N\) of \(g^c\) in \(M\), the collection of surfaces \(\{\Sigma_i\}\) is homotopic to \(\{\Sigma_i'\}\) with homotopy supported in \(N\) and \(N\) contains an immersed disk \(\Delta\) on \(\gamma\) such that all surfaces \(\Delta,\Sigma_1',\dots,\Sigma_{2^h-1}\) are pairwise disjoint. Moreover, the surfaces \(\{\Sigma_i\}\) stay pairwise disjoint during the homotopy. The bound \(2^h-1\) on the number of surfaces \(\Sigma\), for which the conclusion holds in general, is sharp. This result leads to a new proof of results of \textit{M. H. Freedman} and \textit{P. Teichner} [Invent. Math. 122, No. 3, 509-529 (1995; Zbl 0857.57017)] that are key ingredients of their result that classification techniques hold in the topological category for fundamental groups of subexponential growth. As an application of grope splitting, the author gives a new proof of the Grope Lemma [\textit{M. H. Freedman} and \textit{X.-S. Lin}, Topology 28, No. 1, 91-110 (1989; Zbl 0845.57016); the author with \textit{P. Teichner}, Geom. Topol. 1, 51-69 (1997; Zbl 0885.55001)] that two \(n\)-component links in \(S^3\) are link homotopic iff they cobound disjointly immersed annulus like gropes of class \(n\) in \(S^3 \times I.\) He also applies grope splitting to give a result on \(\pi_1\)-null immersions first proved by Freedman and Teichner (loc. cit.).
    0 references
    0 references
    gropes
    0 references
    \(\pi_1\)-null immersions
    0 references
    link homotopy
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references