The stratified structure of spaces of smooth orbifold mappings

DOI10.1142/S0219199713500181MaRDI QIDQ2859243zbMATH OpenFDO

Authors Joseph E. Borzellino, Victor Brunsden

Publication date 7 November 2013

Published in Communications in Contemporary Mathematics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/0810.1070

zbMATH Keywords

orbifoldsstratified spacesmanifolds of mappings

Mathematics Subject Classification ID

Groups as automorphisms of other structures (22F50) Topology and geometry of orbifolds (57R18) Topological properties of groups of homeomorphisms or diffeomorphisms (57S05) Infinite-dimensional Lie groups and their Lie algebras: general properties (22E65)

Abstract: 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.

Recommendations

• ON A NOTION OF MAPS BETWEEN ORBIFOLDS I: FUNCTION SPACES
• A manifold structure for the group of orbifold diffeomorphisms of a smooth orbifold
• scientific article; zbMATH DE number 1969382
• Banach orbifold structure on groupoids of morphisms of orbifolds
• Gluing principle for orbifold stratified spaces

Cites work

• scientific article; zbMATH DE number 3674997 (Why is no real title available?)
• scientific article; zbMATH DE number 193292 (Why is no real title available?)
• scientific article; zbMATH DE number 597565 (Why is no real title available?)
• scientific article; zbMATH DE number 3262609 (Why is no real title available?)
• scientific article; zbMATH DE number 3390021 (Why is no real title available?)
• A cartesian closed category of smooth mappings
• A subanalytic triangulation theorem for real analytic orbifolds
• Equivariant dynamical systems
• ON A NOTION OF MAPS BETWEEN ORBIFOLDS I: FUNCTION SPACES
• On a differential structure for the group of diffeomorphisms
• Orbifolds, sheaves and groupoids
• The inverse function theorem of Nash and Moser

Cited in

(11)

• An Obata singular theorem for stratified spaces
• On uniqueness of differential structures on orbifolds
• scientific article; zbMATH DE number 1686790 (Why is no real title available?)
• The smooth Hom-stack of an orbifold
• Positively curved Killing foliations via deformations
• On the inheritance of orbifold substructures
• ON A NOTION OF MAPS BETWEEN ORBIFOLDS I: FUNCTION SPACES
• Equivariant Alexandrov geometry and orbifold finiteness
• The diffeomorphism group of a non-compact orbifold
• On the notions of suborbifold and orbifold embedding
• Banach orbifold structure on groupoids of morphisms of orbifolds

This page was built for publication: The stratified structure of spaces of smooth orbifold mappings

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2859243)