Lattices and cohomological Mackey functors for finite cyclic \(p\)-groups (Q2437420): Difference between revisions

For a Dedekind domain \(R\) and a finite group \(G\), a finitely generated left \( R[G]\)-module \(M\) is called an \textit{\(R[G]\)-lattice}, if \(M\) -- considered as an \(R\)-module -- is projective. An \(R[G]\)-lattice \(M\) is called an \textit{\(R[G]\)-permutation lattice} if it is isomorphic to \(R[\Omega ]\) for some finite left \(G\)-set \(\Omega \). The main result is the following: Theorem. Let \(R\) be a discrete valuation domain of characteristic \(0\) with maximal ideal \(pR\) for some prime number \(p\), let \(G\) be a finite cyclic \(p\)-group, and let \(M\) be an \(R[G]\)-lattice. Then the following are equivalent. { (i) \(M\) is an \(R[G]\)-permutation lattice, (ii) \(H^{1}(U,\mathrm{res}_{U}^{G}(M))=0\) for all subgroups \(U\) of \(G\), (iii) \(M_{U}\) is \(R\)-torsion free for all subgroups \(U\) of \(G\), where \( M_{U}=M/\omega _{R[U]}M\) denotes the \(U\)-coinvariants of \(M\). } Instead of describing all isomorphism types of directly indecomposable \(R[G]\) -lattices, where \(R\) is a discrete valuation domain of characteristic \(0\) with maximal ideal \(pR\) and \(G\) is a finite cyclic \(p\)-group, a natural (re)presentation for such lattices is given: Theorem. Under the hypothesis of the above theorem, there exist finite \(G\)-sets \(\Omega _{0}\) and \(\Omega _{1}\), and a short exact sequence \(0\longrightarrow R[\Omega _{1}]\longrightarrow R[\Omega _{0}]\longrightarrow M\longrightarrow 0\) of \(R[G]\)-lattices. The proofs of these theorems are based on the theory of cohomological Mackey functors for a finite group \(G\).