Lattices and cohomological Mackey functors for finite cyclic p-groups

Abstract: For a finite cyclic p-group G and a discrete valuation domain R of characteristic 0 with maximal ideal pR the R[G]-permutation modules are characterized in terms of the vanishing of first degree cohomology on all sub- groups (cf. Thm. A). As a consequence any R[G]-lattice can be presented by R[G]-permutation modules (cf. Thm. C). The proof of these results is based on a detailed analysis of the category of cohomological G-Mackey functors with values in the category of R-modules. It is shown that this category has global dimension 3 (cf. Thm. E). A crucial step in the proof of Theorem E is the fact that a gentle R-order category (with parameter p) has global dimension less or equal to 2 (cf. Thm. D).

Review text

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\).

Recommendations

Cites work

Cited in

(6)

This page was built for publication: Lattices and cohomological Mackey functors for finite cyclic \(p\)-groups

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