## Wild spheres in $E^{n}$ that are locally flat modulo tame Cantor sets

HTML articles powered by AMS MathViewer

- by Robert J. Daverman
- Trans. Amer. Math. Soc.
**206**(1975), 347-359 - DOI: https://doi.org/10.1090/S0002-9947-1975-0375329-6
- PDF | Request permission

## Abstract:

Kirby has given an elementary geometric proof showing that if an $(n - 1)$-sphere $\Sigma$ in Euclidean $n$-space ${E^n}$ is locally flat modulo a Cantor set that is tame relative to both $\Sigma$ and ${E^n}$, then $\Sigma$ is locally flat. In this paper we illustrate the sharpness of the result by describing a wild $(n - 1)$-sphere $\Sigma$ in ${E^n}$ such that $\Sigma$ is locally flat modulo a Cantor set $C$ and $C$ is tame relative to ${E^n}$. These examples then are used to contrast certain properties of embedded spheres in higher dimensions with related properties of spheres in ${E^3}$. Rather obviously, as Kirby points out in [11], his result cannot be weak-ened by dismissing the restriction that the Cantor set be tame relative to ${E^n}$. It is well known that a sphere in ${E^n}$ containing a wild (relative to ${E^n}$) Cantor set must be wild. Consequently the only variation on his work that merits consideration is the one mentioned above. The phenomenon we intend to describe also occurs in $3$-space. Alexander’s horned sphere [1] is wild but is locally flat modulo a tame Cantor set. In fact, at one spot methods used here parallel those used to construct that example. However, other properties of $3$-space are strikingly dissimilar to what can be derived from the higher dimensional examples constructed here, for, as discussed in §2, natural analogues to some important results concerning locally flat embeddings in ${E^3}$ are false.## References

- J. W. Alexander,
- R. H. Bing,
*A wild surface each of whose arcs is tame*, Duke Math. J.**28**(1961), 1–15. MR**123302** - William A. Blankinship,
*Generalization of a construction of Antoine*, Ann. of Math. (2)**53**(1951), 276–297. MR**40659**, DOI 10.2307/1969543 - C. E. Burgess,
*Properties of certain types of wild surfaces in $E^{3}$*, Amer. J. Math.**86**(1964), 325–338. MR**163295**, DOI 10.2307/2373168 - C. E. Burgess,
*Criteria for a $2$-sphere in $S^{3}$ to be tame modulo two points*, Michigan Math. J.**14**(1967), 321–330. MR**216481** - J. W. Cannon,
*Characterization of taming sets on $2$-spheres*, Trans. Amer. Math. Soc.**147**(1970), 289–299. MR**257996**, DOI 10.1090/S0002-9947-1970-0257996-6 - James W. Cannon,
*$^{\ast }$-taming sets for crumpled cubes. I. Basic properties*, Trans. Amer. Math. Soc.**161**(1971), 429–440. MR**282353**, DOI 10.1090/S0002-9947-1971-0282353-7 - D. G. DeGryse and R. P. Osborne,
*A wild Cantor set in $E^{n}$ with simply connected complement*, Fund. Math.**86**(1974), 9–27. MR**375323**, DOI 10.4064/fm-86-1-9-27 - P. H. Doyle and J. G. Hocking,
*Some results on tame disks and spheres in $E^{3}$*, Proc. Amer. Math. Soc.**11**(1960), 832–836. MR**126839**, DOI 10.1090/S0002-9939-1960-0126839-2 - Robion C. Kirby,
*On the set of non-locally flat points of a submanifold of codimension one*, Ann. of Math. (2)**88**(1968), 281–290. MR**236900**, DOI 10.2307/1970575 - D. R. McMillan Jr.,
*A criterion for cellularity in a manifold*, Ann. of Math. (2)**79**(1964), 327–337. MR**161320**, DOI 10.2307/1970548 - R. P. Osborne,
*Embedding Cantor sets in a manifold. II. An extension theorem for homeomorphisms on Cantor sets*, Fund. Math.**65**(1969), 147–151. MR**247620**, DOI 10.4064/fm-65-2-147-151 - R. P. Osborne,
*Embedding Cantor sets in a manifold. III. Approximating spheres*, Fund. Math.**90**(1975/76), no. 3, 253–259. MR**405429**, DOI 10.4064/fm-90-3-253-259 - C. L. Seebeck III,
*Collaring and $(n-1)$-manifold in an $n$-manifold*, Trans. Amer. Math. Soc.**148**(1970), 63–68. MR**258045**, DOI 10.1090/S0002-9947-1970-0258045-6 - W. R. Alford and R. B. Sher,
*Defining sequences for compact $0$-dimensional decompositions of $E^{n}$*, Bull. Acad. Polon. Sci. Sér. Sci. Math. Astronom. Phys.**17**(1969), 209–212 (English, with Russian summary). MR**254824**

*An example of simply connected surface bounding a region which is not simply connected*, Proc. Nat. Acad. Sci. U. S. A.

**10**(1924), 8-10. L. Antoine,

*Sur l’homéomorphic de deux figures et de leurs voisinages*, J. Math. Pures Appl.

**86**(1921), 221-325.

## Bibliographic Information

- © Copyright 1975 American Mathematical Society
- Journal: Trans. Amer. Math. Soc.
**206**(1975), 347-359 - MSC: Primary 57A45
- DOI: https://doi.org/10.1090/S0002-9947-1975-0375329-6
- MathSciNet review: 0375329