Lifting and projecting homeomorphisms
Lifting and projecting homeomorphisms
复制标题
DOI:
10.1007/bf01304911
复制
发表时间:
1972-12
影响因子:
0.6
通讯作者:
J. Birman;H. Hilden
中科院分区:
文献类型:
--
作者:
J. Birman;H. Hilden
1. Introduction. Let X be a pathwise connected and locally pathwise connected topological space, G the group of all self-homeomorphisms of X, and D the sub~ oup of maps isotopic to the identity. The homeotopy group of X is defined to be the group G/D. Let 2 be a pc, I. pc covering space of X, with projection p. The relationship between the homeotopy groups of 2 and X is studied. It is shown (Theorem 3) that under sufficiently strong restrictions on 2, X and p the homeotopy group of X is isomorphic to a factor group of the homeotopy group of~, with weaker results as one weakens the restrictions on l~ and X. The situation studied here first came to the authors' attention in an earlier investigation [1]. The homeotopy~ oups of 2-manifolds play an important role in the theory of Riemann surfaces, and also in the classification of 3-manifolds. It was sho~ m in [1] that one could gain considerable insight into the structure of the homeotopy groups of surfaces by utilizing the fact that any closed compact orientable surface of genus ff with.(2g+ 2) points removed can be regarded as a 2-sheeted covering of a (2ff+ 2)-punctured sphere, and making use of the known properties of the homeotopy group of the punctured sphere. The development of this relationship suggested that other coverings of more general spaces might also be of interest, thus motivating the present investigation. At the conclusion of this paper (Section 4) a new application to surface topology is discussed briefly. A detailed workingout of this application will be found in [2], which should appear concurrently with the present work.2. We begin by reviewing some well-known results about covering spaces. Let Xo ff X, and suppose 2o~ pl (x0). Then the covering space projection p: fi2-+ X induces a monomorphism p. from: rl (2, 2o) to gl (X, x0).[See, for example, page 72 of [9].] For simplicity in notation, we will write~ for~ rl (X, 20),~ for: rl (X, xo), and xc for the subgroup p.~ of~.