4-dimensional Busemann \(G\)-spaces are 4-manifolds
type: Item
instance of: scholarly article
title: 4-dimensional Busemann \(G\)-spaces are 4-manifolds
zbMATH Open document ID: 0864.57021
DOI: 10.1016/0926-2245(96)82421-1
author: Paul Thurston
published in: Differential Geometry and its Applications
publication date: 1997-06-22T00:00:00Z
review text: The notion of \(G\)-space was introduced by \textit{H. Busemann} [Metric methods in Finsler spaces and in the foundations of geometry, Ann. Math. Studies, No. 8, Princeton University Press, Princeton, N. J., (1942); On spaces in which points determine a geodesic, Trans. Am. Math. Soc. 54, 171-184 (1943)]. Definition 1.1. Let \((X,d)\) be a metric space. \(X\) is said to be a \(G\)-space provided it satisfies the following axioms: (1) Menger convexity: Given distinct points \(x,y\in X\), there is a point \(z\in X-\{x,y\}\) so that \(d(x,z)+ d(z,y) = d(x,y)\). (2) Finite compactness: A given \(d\)-bounded infinite set has an accumulation point. (3) Local extensibility: To every \(w\in X\), there is a positive radius \(\rho_w\), such that for any pair of distinct \(x,y\in\text{int} B(w,\rho_w)\), there is \(z\in\text{int} B(w,\rho_w)-\{x,y\}\) such that \(d(x,y)+d(y,z)=d(x,z)\). (4) Uniqueness of the extension: Given distinct \(x,y\in X\), if there are points \(z_1,z_2\in X\) for which both \(d(x,y)+d(y,z_i)=d(x,z_i)\) for \(i=1,2\) and \(d(y,z_1)= d(y, z_2)\) hold, then \(z_1=z_2\). In a classic text [The geometry of geodesics (1955; Zbl 0112.37002), pp. 3 and 49] \textit{H. Busemann} conjectured that \(G\)-space theory is the study of geometry on manifolds. Conjecture 1.2 (The Busemann Conjecture): Every finite dimensional \(G\)-space is a topological manifold. The modern theory of 4-manifolds developed by \textit{M. H. Freedman} and \textit{F. S. Quinn} [J. Differ. Geom. 17, 357-453 (1982; Zbl 0528.57011); 17, 503-521 (1982; Zbl 0533.57009); Topology of 4-manifolds, Princeton Math. Ser. 39 (1990; Zbl 0705.57001)] has rendered the 4-dimensional version of the problem accessible. This article is devoted to establishing the following result: Theorem 1.3. Every 4-dimensional \(G\)-space is a 4-manifold. The argument involves elements from algebraic topology, controlled surgery and modern decomposition theory and is organized as follows. Step 1. shows that every finite d…
reviewed by: Ioan Pop
Mathematics Subject Classification ID: 57N13
Mathematics Subject Classification ID: 51K10
Mathematics Subject Classification ID: 53C70
zbMATH DE Number: 937119
zbMATH Keywords: Finsler spaces
zbMATH Keywords: metric space
zbMATH Keywords: manifolds
zbMATH Keywords: 4-manifolds
zbMATH Keywords: recognition
Wikidata QID: Q115362501
MaRDI profile type: Publication
full work available at URL: 0926-2245(96)82421-1
OpenAlex ID: W1975536338
cites work: Q3242599
cites work: Generalized Riemannian spaces
cites work: The locally flat approximation of cell-like embedding relations
cites work: A three-dimensional spheroidal space which is not a sphere
cites work: Cellular decompositions of 3-manifolds that yield 3-manifolds
cites work: Q4144435
cites work: A Surface Is Tame If Its Complement is 1-ULC
cites work: Q4069527
cites work: The Monotone Union of Open n-Cells is an Open n-Cell
cites work: A proof of the generalized Schoenflies theorem
cites work: Homogeneous ENR's
cites work: Concerning uncountable families of \(n\)-cells in \(E^ n\)
cites work: Topology of homology manifolds
cites work: A.D. Alexandrov spaces with curvature bounded below
cites work: Characterizations of Tame Surfaces in E 3
cites work: Metric Methods of Finsler Spaces and in the Foundations of Geometry. (AM-8)
cites work: On Spaces in Which Two Points Determine a Geodesic
cites work: Q5719717
cites work: Q5590597
cites work: Novel results in the geometry of geodesics
cites work: Q4062387
cites work: ULC Properties in Neighbourhoods of Embedded Surfaces and Curves in E3
cites work: Q3747347
cites work: Q3723341
cites work: Detecting the disjoint disks property
cites work: General Position Properties That Characterize 3-Manifolds
cites work: Q5643279
cites work: Q3768026
cites work: Homotoping ɛ-Maps to Homeomorphisms
cites work: The topology of four-dimensional manifolds
cites work: Q4040346
cites work: Erratum: Geometric finiteness theorems via controlled topology
cites work: Q5508167
cites work: Q5552085
cites work: Sur les espaces localement connexes et péaniens en dimensions n
cites work: Q3999514
cites work: A criterion for cellularity in a manifold
cites work: Defining the Boundary of a Homology Manifold
cites work: Locally homogeneous spaces
cites work: Q4064159
cites work: A Necessary Condition That a Cellular Upper Semicontinuous Decomposition of E n Yield E n
cites work: Ends of maps. III: Dimensions 4 and 5
cites work: An obstruction to the resolution of homology manifolds
cites work: Separation and union theorems for generalized manifolds with boundary
cites work: Monontone transformations of two-dimensional manifolds
cites work: Approximating cellular maps by homeomorphisms
cites work: Q5522742
cites work: Q3812929
cites work: Mapping Hilbert cube manifolds to ANR's: A solution of a conjecture of Borsuk
cites work: Some Characterizations of Generalized Manifolds With Boundaries
Recommended article: Q5224430
Recommended article: Locally \(G\)-homogeneous Busemann \(G\)-spaces
Recommended article: Q4861810
Recommended article: Proof of the Busemann conjecture for $G$-spaces of nonpositive curvature
Recommended article: The Bing-Borsuk and the Busemann Conjectures
Recommended article: Q5415197
Recommended article: Q4933671

4-dimensional Busemann \(G\)-spaces are 4-manifolds (Recommended article)
Recommended article: \(\text{CAT}(0)\) 4-manifolds possessing a single tame point are Euclidean
Similarity Score: 0.66022485
Recommender Run: Recommender Run 2

4-dimensional Busemann \(G\)-spaces are 4-manifolds (Recommended article)
Recommended article: A Glimpse into the Problems of the Fourth Dimension
Similarity Score: 0.6545777
Recommender Run: Recommender Run 2

4-dimensional Busemann \(G\)-spaces are 4-manifolds (Recommended article)
Recommended article: Q4040346
Similarity Score: 0.65333915
Recommender Run: Recommender Run 2