Annulus theorem

In mathematics, the annulus theorem (formerly called the annulus conjecture) states roughly that the region between two well-behaved spheres is an annulus. It is closely related to the stable homeomorphism conjecture (now proved) which states that every orientation-preserving homeomorphism of Euclidean space is stable.

Statement

If S and T are topological spheres in Euclidean space, with S contained in T, then it is not true in general that the region between them is an annulus, because of the existence of wild spheres in dimension at least 3. So the annulus theorem has to be stated to exclude these examples, by adding some condition to ensure that S and T are well behaved. There are several ways to do this.

The annulus theorem states that if any homeomorphism h of Rn to itself maps the unit ball B into its interior, then B − h(interior(B)) is homeomorphic to the annulus Sn−1×[0,1].

History of proof

The annulus theorem is trivial in dimensions 0 and 1. It was proved in dimension 2 by Radó (1924), in dimension 3 by Moise (1952), in dimension 4 by Quinn (1982), and in dimensions at least 5 by Kirby (1969).

The stable homeomorphism conjecture

A homeomorphism of Rn is called stable if it is a product of homeomorphisms each of which is the identity on some non-empty open set. The stable homeomorphism conjecture states that every orientation-preserving homeomorphism of Rn is stable. Brown & Gluck (1964) previously showed that the stable homeomorphism conjecture is equivalent to the annulus conjecture, so it is true.

gollark: ```sqlCREATE TABLE guild_config ( id INTEGER PRIMARY KEY, achievement_messages INTEGER);CREATE TABLE user_config ( id INTEGER PRIMARY KEY, achievement_tracking_enabled INTEGER);CREATE TABLE stats ( user_id INTEGER NOT NULL REFERENCES user_config (id), stat TEXT NOT NULL COLLATE NOCASE, value BLOB NOT NULL, UNIQUE (user_id, stat));CREATE TABLE achievements ( user_id INTEGER NOT NULL REFERENCES user_config (id), achievement TEXT NOT NULL, achieved_time INTEGER NOT NULL);```
gollark: Just configure some things to support "passwordless sudo" technology.
gollark: Do you have a debian addiction?
gollark: Why not just arch or void or 3 (three) apioforms?
gollark: However, there will be a serverwide setting for seeing achievement messages. Achievements will be achieved regardless but silently if it is turned off.

References
  • Brown, Morton; Gluck, Herman (1964), "Stable structures on manifolds. II. Stable manifolds.", Annals of Mathematics, Second Series, 79: 18–44, doi:10.2307/1970481, ISSN 0003-486X, JSTOR 1970482, MR 0158383
  • Edwards, Robert D. (1984), "The solution of the 4-dimensional annulus conjecture (after Frank Quinn)", Four-manifold theory (Durham, N.H., 1982), Contemp. Math., 35, Providence, R.I.: Amer. Math. Soc., pp. 211–264, doi:10.1090/conm/035/780581, MR 0780581
  • Kirby, Robion C. (1969), "Stable homeomorphisms and the annulus conjecture", Annals of Mathematics, Second Series, 89: 575–582, doi:10.2307/1970652, ISSN 0003-486X, JSTOR 1970652, MR 0242165
  • Moise, Edwin E. (1952), "Affine structures in 3-manifolds. V. The triangulation theorem and Hauptvermutung", Annals of Mathematics, Second Series, 56: 96–114, doi:10.2307/1969769, ISSN 0003-486X, JSTOR 1969769, MR 0048805
  • Quinn, Frank (1982), "Ends of maps. III. Dimensions 4 and 5", Journal of Differential Geometry, 17 (3): 503–521, ISSN 0022-040X, MR 0679069
  • Radó, T. (1924), "Über den Begriff der Riemannschen Fläche", Acta Univ. Szeged, 2: 101–121
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.