A subanalytic triangulation theorem for real analytic orbifolds (Q664712)

If \(G\) is a Lie group and \(M\) is a proper real analytic \(G\)-manifold, then the quotient space \(M/G\) admits a unique subanalytic structure by the results of \textit{T. Matumoto} and \textit{M. Shiota} [``Transformation groups'', Proc. Symp., Poznan/Pol. 1985, Lect. Notes Math. 1217, 290--302 (1986; Zbl 0631.57027)] and \textit{M. Kankaanrinta} [``Proper real analytic actions of Lie groups on manifolds'', Annales Academiae Scientiarum Fennicae, Series A, I. Mathematica, Dissertationes. 83. Helsinki: Suomalainen Tiedeakatemia, University of Helsinki 41 p. (1991; Zbl 0743.57023)]. In this paper, the author generalizes this result to the case of a real analytic orbifold, i.e. an orbifold equipped with an atlas of orbifold charts given by quotients of finite groups acting real analytically and such that each embedding of charts is real analytic. It is demonstrated that a real analytic orbifold \(X\) admits an embedding into Euclidean space that is subanalytic with respect to the subanalytic subsets defined by \textit{M. Kankaanrinta} [``On subanalytic subsets of real analytic orbifolds'', \url{arXiv:1104.4653}], and moreover that the subanalytic structure of the image of this embedding is unique. This is used to demonstrate the existence of a subanalytic triangulation of \(X\) that is compatible with the stratification of \(X\) by orbit types. In addition, the author shows that any \(C^r\) orbifold where \(1 \leq r \leq \infty\) is \(C^r\)-diffeomorphic to a real analytic orbifold and hence admits a triangulation that is subanalytic with respect to this real analytic structure.