Cohomology of toroidal orbifold quotients

From MaRDI portal
(Redirected from Publication:765701)



Abstract: Let denote an integral representation of the cyclic group of prime order p. This induces a -action on the torus . The goal of this paper is to explicitly compute the cohomology groups for any such representation. As a consequence we obtain an explicit calculation of the integral cohomology of the classifying space associated to the family of finite subgroups for any crystallographic group with prime holonomy.


If \(p\) is a prime and \(G= \mathbb{Z}/p\), and \(L\) is a \(\mathbb{Z} G\) lattice, then \(L\) is of type \((r,s,t)\) if \(L\) is isomorphic to the direct sum of the \(r\) indecomposables of rank \(p-1\) determined by the ideal class group of \(p\), \(s\) projective indecomposables of rank \(p\), and \(t\) trivial modules of rank one. If \(n\) is the rank of \(L\), let \(X\) be the \(n\)-torus carrying the \(G\) action induced by \(L\). Two functions, \(F_L(x)\) and \(T_L(x)\), are defined which depend on the type of \(L\) and have formal power series \[ F_L(x)= \sum_{i\geq 0} f_ix^i+ \sum_{i\geq 0} g_i\alpha x^i\quad\text{and}\quad T_L(x)= \sum_{i\geq 0}\beta_i x^i+ \sum_{i\geq 0} \gamma_i\alpha x^i, \] where \(\alpha\) is a parameter satisfying the relation \(\alpha^2= 1\). The main result of this paper is an explicit description of \(H^*(X/G;\mathbb{Z})\) in terms of \(f_i- g_i\) and \(\beta_i\) which is general since \(\mathbb{Z} G\)-lattices are determined completely by type. Theorem. If \(p\) is a prime and \(G=\mathbb{Z}/p\) and \(X\) is the \(G\)-space induced by a \(\mathbb{Z} G\)-lattice of type \((r,s,t)\) and rank \(n\), then \[ H^k(X/G; \mathbb{Z})\cong\mathbb{Z}^{\alpha_k} \oplus(\mathbb{Z}/p)^{\beta_k}, \] where \(\alpha_k= p^{-1}[{n\choose k}+ (p- 1)(f_k- g_k)]\). For example, if \(p=2\) and \(s=t= 0\), then \(F_L(x)= (1+\alpha x)^n\) and so in this case, the rank of \(H^k(X/G;\mathbb{Z})\) is \({n\choose k}\) if \(k\) is even and zero if \(k\) is odd.











This page was built for publication: Cohomology of toroidal orbifold quotients

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