Oriented orbifold vertex groups and cobordism and an associated differential graded algebra (Q2340076)

From the summary: ``We develop a homology of vertex groups as a tool for studying orbifolds and orbifold cobordism and its torsion. To a pair \((G, H)\) of conjugacy classes of degree-\(n\) and degree-\((n-1)\) finite subgroups of \(SO(n)\) and \(SO(n-1)\) we associate the parity with which \(H\) occurs up to \(O(n)\) conjugacy as a vertex group in the orbifold \(S^{n-1}/G\). This extends to a map \(d_n : \beta_n\to\beta_{n-1}\) between the \(\mathbf{Z}_2\) vector spaces whose bases are all such conjugacy classes in \(SO(n)\) and then \(SO(n-1)\). Using orbifold graphs, we prove \(d:\beta\to\beta\) is a differential and defines a homology, \(\mathcal{H}_*\). We develop a map \(s:\beta_*^-\to\beta_{*+1}^-\) for a subcomplex of groups which admit orientation-reversing automorphisms. We then look at examples and algebraic properties of \(d\) and \(s\), including that \(d\) is a derivation. We prove that the natural map \(\psi\) between the set of diffeomorphism classes of closed, locally oriented \(n\)-orbifolds and \(\beta_n\) maps into \(\text{ker}\,d_n\) and that this map is onto \(\text{ker}\,d_n\) for \(n\leq 4\). We relate \(d\) to orbifold cobordism and surgery and show that \(\psi\) quotients to a map between oriented orbifold cobordism and \(\mathcal{H}_*\).''