On uniqueness of differential structures on orbifolds

Topology and geometry of orbifolds (57R18) Differentiable mappings in differential topology (57R35) Differential topological aspects of diffeomorphisms (57R50) Differentiable structures in differential topology (57R55)

Abstract: It is known that every

{m C}^{r}

-orbifold,

1 l e q r l e q i n f t y

, has a compatible

{m C}^{s}

-differential structure, for every

s

, where

r < s l e q o m e g a

. We prove that if two reduced

{m C}^{r}

-orbifolds,

2 l e q r l e q o m e g a

, are

{m C}^{2}

-diffeomorphic, then they are

{m C}^{r}

-diffeomorphic. It follows that the compatible

{m C}^{s}

-differential structure on a reduced

{m C}^{r}

-orbifold,

2 l e q r < s l e q o m e g a

, is unique up to a

{m C}^{s}

-diffeomorphism.

Review text

Previous work of the author [Topology Appl. 159, No. 5, 1489--1496 (2012; Zbl 1245.57025)], showed that every \(C^r\) orbifold, \(1\leq r\leq\infty\), has a compatible \(C^s\) differential structure for each \(s\), \(r<s\leq\omega\). In this article, it is shown that if two reduced (local group actions are effective) \(C^r\) orbifolds \((2\leq r\leq\omega)\), are \(C^2\) diffeomorphic, then they are \(C^r\) diffeomorphic. From this, it follows that compatible \(C^s\) differential structures on reduced \(C^r\) orbifolds \((2\leq r<s\leq\omega)\) are unique up to diffeomorphism. The requirement of restricting to the case of reduced orbifolds is explained, and thus the author is able to use the frame bundle representation for reduced orbifolds in conjunction with the approximation results of the author and \textit{S. Illman} [Math. Ann. 316, No. 1, 169--183 (2000; Zbl 0945.57016)].

Recommendations

Cites work

Cited in

(6)

This page was built for publication: On uniqueness of differential structures on orbifolds

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