On the transitivity of the group of orbifold diffeomorphisms (Q6097866)

Let \(M\) be a smooth connected manifold of dimension at least two, and let \(\mathrm{Diff}_c(M)\) denote the group of compactly supported diffeomorphisms of \(M\) that are isotopic to the identity through a compactly supported isotopy. Let \(n\) be a natural number. It is known that the group \(\mathrm{Diff}_c(M)\) acts \(n\)-transitively on \(M\). This means that for any two \(n\)-tuples \((x_1,\ldots, x_n)\) and \((y_1,\ldots, y_n)\) of pairwise distinct points of \(M\) there is a diffeomorphism \(f\in \mathrm{Diff}_c(M)\) such that \(f(x_i)=y_i\), for every \(i=1,\ldots, n\). In this paper, the authors consider transitivity properties of the group of orbifold diffeomorphisms. Let \({\mathcal{O}}\) be a connected orbifold of dimension \(m\). Any orbifold diffeomorphism of \({\mathcal{O}}\) has to preserve the isotropy groups of points up to isomorphism. Thus the group of compactly supported orbifold diffeomorphisms of \({\mathcal{O}}\) usually can not act transitively on \({\mathcal{O}}\). By considering the actions of the isotropy groups on orbifold charts, it is possible to define a singular dimension for each point of \({\mathcal{O}}\), and further, a stratification for \({\mathcal{O}}\). The stratum \(\Sigma_k\), \(k=0,\ldots, m\), consisting of those points of \({\mathcal{O}}\), that have singular dimension \(k\), is a \(k\)-dimensional manifold. The isotropy groups of the points on the same connected component of a stratum \(\Sigma_k\) have the same isomorphism type. Let \((x_1,\ldots, x_n)\) and \((y_1,\ldots, y_n)\) be two \(n\)-tuples of pairwise distinct points of \({\mathcal{O}}\). Assume that for every \(i\) the points \(x_i\) and \(y_i\) lie in the same connected component of the singular stratification. Assume also that each connected component of \(\Sigma_1\) contains at most one of the points \(x_i\). The main result of the paper states that there is an orbifold diffeomorphism \(f\colon {\mathcal{O}}\to {\mathcal{O}}\), isotopic to the identity through a compactly supported isotopy, with the property that \(f(x_i) =y_i\), for all \(i=1,\ldots, n\).