Cohomology of toroidal orbifold quotients (Q765701): Difference between revisions

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.