An infinite set of exotic \({\mathbb{R}}^ 4\)'s. (Q1056961): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
Import241208061232 (talk | contribs)
Normalize DOI.
 
(4 intermediate revisions by 4 users not shown)
Property / DOI
 
Property / DOI: 10.4310/jdg/1214439566 / rank
Normal rank
 
Property / Wikidata QID
 
Property / Wikidata QID: Q115187041 / rank
 
Normal rank
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.4310/jdg/1214439566 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W1481611700 / rank
 
Normal rank
Property / DOI
 
Property / DOI: 10.4310/JDG/1214439566 / rank
 
Normal rank
links / mardi / namelinks / mardi / name
 

Latest revision as of 15:11, 10 December 2024

scientific article
Language Label Description Also known as
English
An infinite set of exotic \({\mathbb{R}}^ 4\)'s.
scientific article

    Statements

    An infinite set of exotic \({\mathbb{R}}^ 4\)'s. (English)
    0 references
    0 references
    1985
    0 references
    We contruct an infinite family of distinct smooth manifolds homeomorphic to \({\mathbb{R}}^ 4\). In particular, we obtain a family \(\{R_{m,n} | m,n=0,1,2,...,\infty \}\) of exotic \({\mathbb{R}}^ 4\)'s such that \(R_{m,n}\) admits an orientation-preserving smooth embedding in \(R_{m',n'}\) if and only if \(m\leq m'\) and \(n\leq n'\). \((R_{m,n}=R_{n,m}\) with reversed orientation.) This family is constructed inductively. Each \(R_{m,n}\) is constructed so that it contains a compact handlebody which cannot embed in \(R_{m',n'}\) for \(m'<m\) or \(n'<n\). The nonembedding property is proven by the following method: If the handlebody could be embedded in \(R_{m',n'}\), we could complete a certain smooth surgery problem. This would allow us to construct a counterexample to Donaldson's Theorem on the nonexistence of certain definite manifolds. (This technique was first used by Freedman and Taylor to obtain results about their universal \({\mathbb{R}}^ 4.)\) A section has been added, subsequent to Taubes' generalization of Donaldson's Theorem to open 4-manifolds with ''periodic'' ends. This theorem implies (by an observation of Freedman) a one-parameter (\({\mathbb{R}})\) family of distinct exotic \({\mathbb{R}}^ 4\)'s. We describe the requisite ''furling'' argument in detail, and generalize the result to obtain a 2-parameter family \(\{R'_{s,t} | 1\leq s,t\leq \infty \}\) with embedding properties analogous to those of \(\{R_{m,n}\}\).
    0 references
    distinct smooth manifolds homeomorphic to \({\mathbb{R}}^ 4\)
    0 references
    exotic \({\mathbb{R}}^ 4\)
    0 references
    open 4-manifolds with ''periodic'' ends
    0 references
    embedding handlebodies
    0 references

    Identifiers

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