arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 0810.1070math.DGmath.DS
收藏

光滑Orbifold映射空间的分层结构

The Stratified Structure of Spaces of Smooth Orbifold Mappings

Joseph E. Borzellino, Victor Brunsden

摘要:

我们考虑光滑C^r轨道O,P之间的映射的四个概念,其中O是紧的(无边界的).我们表明,这些概念之一是自然的和必要的,以唯一地定义的概念orbibundle拉回。对于完备orbifold映射的概念,我们证明了O和P之间具有C^r拓扑的C^r映射的相应集合具有光滑C^ \infty Banach(r有限)/Frechet(r=infty)流形的结构.对于完备约化轨道折叠映射的概念,O和P之间具有C^r拓扑的C^r映射的对应集合具有光滑C^ \infty Banach(r有限)/Frechet(r=infty)轨道折叠的结构.剩下的两个概念带有分层结构:O和P之间的C^r轨道映射局部地是一个分层空间,其地层以光滑的C^ \infty Banach(r finite)/Frechet(r=infty)流形为模型,而O和P之间的C^r约化轨道映射集局部地具有分层空间的结构,其地层以光滑的C^ \infty Banach(r finite)/Frechet(r=infty)轨道为模型。此外,我们给出了这些概念之间的明确关系的orbifold映射。将所得结果应用于特殊的Orbifold同构群,证明了它们继承了C^ \infty Banach(r=infty)/Frechet流形的结构.事实上,对于r有限,它们是拓扑群,对于r=infty,它们是方便的弗雷歇李群。

英文摘要:

We consider four notions of maps between smooth C^r orbifolds O, P with O compact (without boundary). We show that one of these notions is natural and necessary in order to uniquely define the notion of orbibundle pullback. For the notion of complete orbifold map, we show that the corresponding set of C^r maps between O and P with the C^r topology carries the structure of a smooth C^\infty Banach (r finite)/Frechet (r=infty) manifold. For the notion of complete reduced orbifold map, the corresponding set of C^r maps between O and P with the C^r topology carries the structure of a smooth C^\infty Banach (r finite)/Frechet (r=infty) orbifold. The remaining two notions carry a stratified structure: The C^r orbifold maps between O and P is locally a stratified space with strata modeled on smooth C^\infty Banach (r finite)/Frechet (r=infty) manifolds while the set of C^r reduced orbifold maps between O and P locally has the structure of a stratified space with strata modeled on smooth C^\infty Banach (r finite)/Frechet (r=infty) orbifolds. Furthermore, we give the explicit relationship between these notions of orbifold map. Applying our results to the special case of orbifold diffeomorphism groups, we show they inherit the structure of C^\infty Banach (r finite)/Frechet (r=infty) manifolds. In fact, for r finite they are topological groups, and for r=infty they are convenient Frechet Lie groups.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑