Distinguishing Bing-Whitehead Cantor sets

Authors:
Dennis Garity, Dušan Repovš, David Wright and Matjaž Željko

Journal:
Trans. Amer. Math. Soc. **363** (2011), 1007-1022

MSC (2000):
Primary 54E45, 54F65; Secondary 57M30, 57N10

Published electronically:
September 17, 2010

MathSciNet review:
2728594

Full-text PDF

Abstract | References | Similar Articles | Additional Information

Abstract: Bing-Whitehead Cantor sets were introduced by DeGryse and Osborne in dimension three and greater to produce examples of Cantor sets that were nonstandard (wild), but still had a simply connected complement. In contrast to an earlier example of Kirkor, the construction techniques could be generalized to dimensions greater than three. These Cantor sets in are constructed by using Bing or Whitehead links as stages in defining sequences. Ancel and Starbird, and separately Wright, characterized the number of Bing links needed in such constructions so as to produce Cantor sets. However it was unknown whether varying the number of Bing and Whitehead links in the construction would produce nonequivalent Cantor sets. Using a generalization of the geometric index, and a careful analysis of three dimensional intersection patterns, we prove that Bing-Whitehead Cantor sets are equivalently embedded in if and only if their defining sequences differ by some finite number of Whitehead constructions. As a consequence, there are uncountably many nonequivalent such Cantor sets in constructed with genus one tori and with a simply connected complement.

**[Ant20]**M. L. Antoine,*Sur la possibilité d'étendre l'homeomorphie de deux figures à leur voisinages*, C.R. Acad. Sci. Paris**171**(1920), 661-663.**[AS89]**Fredric D. Ancel and Michael P. Starbird,*The shrinkability of Bing-Whitehead decompositions*, Topology**28**(1989), no. 3, 291–304. MR**1014463**, 10.1016/0040-9383(89)90010-4**[BC87]**M. Bestvina and D. Cooper,*A wild Cantor set as the limit set of a conformal group action on 𝑆³*, Proc. Amer. Math. Soc.**99**(1987), no. 4, 623–626. MR**877028**, 10.1090/S0002-9939-1987-0877028-4**[Bla51]**William A. Blankinship,*Generalization of a construction of Antoine*, Ann. of Math. (2)**53**(1951), 276–297. MR**0040659****[Dav86]**Robert J. Daverman,*Decompositions of manifolds*, Pure and Applied Mathematics, vol. 124, Academic Press, Inc., Orlando, FL, 1986. MR**872468****[DO74]**D. G. DeGryse and R. P. Osborne,*A wild Cantor set in 𝐸ⁿ with simply connected complement*, Fund. Math.**86**(1974), 9–27. MR**0375323****[GR07]**Elliott Pearl (ed.),*Open problems in topology. II*, Elsevier B. V., Amsterdam, 2007. MR**2367385****[GRŽ05]**Dennis Garity, Dušan Repovš, and Matjaž Željko,*Uncountably many inequivalent Lipschitz homogeneous Cantor sets in ℝ³*, Pacific J. Math.**222**(2005), no. 2, 287–299. MR**2225073**, 10.2140/pjm.2005.222.287**[GRŽ06]**Dennis J. Garity, Dušan Repovš, and Matjaž Željko,*Rigid Cantor sets in 𝑅³ with simply connected complement*, Proc. Amer. Math. Soc.**134**(2006), no. 8, 2447–2456 (electronic). MR**2213719**, 10.1090/S0002-9939-06-08459-0**[Kir58]**A. Kirkor,*Wild 0-dimensional sets and the fundamental group*, Fund. Math.**45**(1958), 228–236. MR**0102783****[Mye88]**Robert Myers,*Contractible open 3-manifolds which are not covering spaces*, Topology**27**(1988), no. 1, 27–35. MR**935526**, 10.1016/0040-9383(88)90005-5**[Mye99a]**Robert Myers,*Contractible open 3-manifolds which non-trivially cover only non-compact 3-manifolds*, Topology**38**(1999), no. 1, 85–94. MR**1644087**, 10.1016/S0040-9383(98)00004-4**[Mye99b]**Robert Myers,*Contractible open 3-manifolds with free covering translation groups*, Topology Appl.**96**(1999), no. 2, 97–108. MR**1702304**, 10.1016/S0166-8641(98)00047-9**[Mye00a]**Robert Myers,*Compactifying sufficiently regular covering spaces of compact 3-manifolds*, Proc. Amer. Math. Soc.**128**(2000), no. 5, 1507–1513. MR**1637416**, 10.1090/S0002-9939-00-05109-1**[Mye00b]**Robert Myers,*On covering translations and homeotopy groups of contractible open 𝑛-manifolds*, Proc. Amer. Math. Soc.**128**(2000), no. 5, 1563–1566. MR**1641077**, 10.1090/S0002-9939-99-05163-1**[Mye00c]**Robert Myers,*Uncountably many arcs in 𝑆³ whose complements have non-isomorphic, indecomposable fundamental groups*, J. Knot Theory Ramifications**9**(2000), no. 4, 505–521. MR**1758869**, 10.1142/S021821650000027X**[Rol76]**Dale Rolfsen,*Knots and links*, Publish or Perish, Inc., Berkeley, Calif., 1976. Mathematics Lecture Series, No. 7. MR**0515288****[RS72]**C. P. Rourke and B. J. Sanderson,*Introduction to piecewise-linear topology*, Springer-Verlag, New York-Heidelberg, 1972. Ergebnisse der Mathematik und ihrer Grenzgebiete, Band 69. MR**0350744****[Sch53]**Horst Schubert,*Knoten und Vollringe*, Acta Math.**90**(1953), 131–286 (German). MR**0072482****[She68]**R. B. Sher,*Concerning wild Cantor sets in 𝐸³*, Proc. Amer. Math. Soc.**19**(1968), 1195–1200. MR**0234438**, 10.1090/S0002-9939-1968-0234438-4**[Shi74]**A. C. Shilepsky,*A rigid Cantor set in 𝐸³*, Bull. Acad. Polon. Sci. Sér. Sci. Math. Astronom. Phys.**22**(1974), 223–224 (English, with Russian summary). MR**0345110****[Sko86]**Richard Skora,*Cantor sets in 𝑆³ with simply connected complements*, Topology Appl.**24**(1986), no. 1-3, 181–188. Special volume in honor of R. H. Bing (1914–1986). MR**872489**, 10.1016/0166-8641(86)90060-X**[Wri89]**David G. Wright,*Bing-Whitehead Cantor sets*, Fund. Math.**132**(1989), no. 2, 105–116. MR**1002625****[Wri92]**David G. Wright,*Contractible open manifolds which are not covering spaces*, Topology**31**(1992), no. 2, 281–291. MR**1167170**, 10.1016/0040-9383(92)90021-9**[Žel00]**Matjaž Željko,*On Embeddings of Cantor Sets into Euclidean spaces*, Ph.D. thesis, University of Ljubljana, Ljubljana, Slovenia, 2000.**[Žel01]**Matjaž Željko,*On defining sequences for Cantor sets*, Topology Appl.**113**(2001), no. 1-3, 321–325. Geometric topology: Dubrovnik 1998. MR**1821859**, 10.1016/S0166-8641(00)00040-7**[Žel05]**Matjaž Željko,*Genus of a Cantor set*, Rocky Mountain J. Math.**35**(2005), no. 1, 349–366. MR**2117612**, 10.1216/rmjm/1181069785

Retrieve articles in *Transactions of the American Mathematical Society*
with MSC (2000):
54E45,
54F65,
57M30,
57N10

Retrieve articles in all journals with MSC (2000): 54E45, 54F65, 57M30, 57N10

Additional Information

**Dennis Garity**

Affiliation:
Department of Mathematics, Oregon State University, Corvallis, Oregon 97331

Email:
garity@math.oregonstate.edu

**Dušan Repovš**

Affiliation:
Faculty of Mathematics and Physics, and Faculty of Education, University of Ljubljana, P.O. Box 2964, Ljubljana, Slovenia 1001

Email:
dusan.repovs@guest.arnes.si

**David Wright**

Affiliation:
Department of Mathematics, Brigham Young University, Provo, Utah 84602

Email:
wright@math.byu.edu

**Matjaž Željko**

Affiliation:
Institute of Mathematics, Physics and Mechanics, Faculty of Mathematics and Physics, University of Ljubljana, P.O.Box 2964, Ljubljana, Slovenia

Email:
matjaz.zeljko@fmf.uni-lj.si

DOI:
http://dx.doi.org/10.1090/S0002-9947-2010-05175-X

Keywords:
Cantor set,
wild Cantor set,
Bing link,
Whitehead link,
defining sequence

Received by editor(s):
October 19, 2008

Received by editor(s) in revised form:
July 1, 2009

Published electronically:
September 17, 2010

Article copyright:
© Copyright 2010
American Mathematical Society