Cohomology of toroidal orbifold quotients (Q765701): Difference between revisions
From MaRDI portal
Changed an Item |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: Z/pZ Actions on (S n ) k / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Stable splittings, spaces of representations and almost commuting elements in Lie groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Compatible actions and cohomology of crystallographic groups. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5658847 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Compact Flat Riemannian Manifolds II: The Cohomology of Z p -Manifolds / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4724810 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The topological K-theory of certain crystallographic groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3436930 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The homology of cyclic products / rank | |||
Normal rank |
Latest revision as of 01:00, 5 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Cohomology of toroidal orbifold quotients |
scientific article |
Statements
Cohomology of toroidal orbifold quotients (English)
0 references
22 March 2012
0 references
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.
0 references
toroidal orbifolds
0 references
crystallographic groups
0 references
Serre spectral sequence
0 references
group cohomology
0 references
0 references