Mackey algebras which are Gorenstein

DOI10.1007/S10468-018-09848-2MaRDI QIDQ2180608zbMATH OpenOpenAlexWikidataFDO

Authors Ivo Dell'Ambrogio, Jan Št'ovíček

Publication date 14 May 2020

Published in Algebras and Representation Theory (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1709.02146

zbMATH Keywords

Burnside ringsGorenstein ringsMackey functors

Mathematics Subject Classification ID

Homological dimension in associative algebras (16E10) Homological conditions on associative rings (generalizations of regular, Gorenstein, Cohen-Macaulay rings, etc.) (16E65) Frobenius induction, Burnside and representation rings (19A22) Modular representations and characters (20C20)

Abstract: We complete the picture available in the literature by showing that the integral Mackey algebra is Gorenstein if and only if the group order is square-free, in which case it must have Gorenstein dimension one. We illustrate this result by looking in details at the examples of the cyclic group of order four and the Klein four group.

Review text

This article addresses a problem in the literature of whether a Mackay algebra is Gorenstein. Given a finite group \(G\) and a commutative ring of coefficients \(R\), the Mackey algebra \(\mu_R(G)\) introduced in [\textit{J. Thévenaz} and \textit{P. Webb}, Trans. Am. Math. Soc. 347, No. 6, 1865--1961 (1995; Zbl 0834.20011)] is a finite-rank free \(R\)-algebra whose representations form precisely the category of Mackey functors for \(G\) with \(R\)-coefficients. The main result of the paper is that \(\mu_\mathbb{Z}(G)\) is Gorenstein if and only if the order of \(G\) is square-free, in which case the Gorenstein (injective) dimension is 1. This result contradicts an unchallenged claim in the area, namely, Lemma 2.2 of [\textit{J. P. C. Greenlees}, J. Pure Appl. Algebra 81, No. 1, 17--38 (1992; Zbl 0757.19001)], which says that the projective Mackey functors of any finite group have injective dimension 1. The second main result of the paper is that \(\mu_R(G)\) is Gorenstein of (injective) dimension \(n\) if and only if the order of \(G\) is square-free and \(R\) is Gorenstein of (injective) dimension \(n\). The authors finish the paper giving an example of a Mackey algebra, where \(G\) has order not square free (in fact, it can be either \(C_2 \times C_2\) or the Klein group), and show that the algebra is not of Gorenstein dimension 1.

Recommendations

• Gorenstein dimension and proper actions
• Virtual Gorensteinness over group algebras.
• scientific article; zbMATH DE number 53011
• scientific article; zbMATH DE number 2221047
• On the projective dimensions of Mackey functors

Cites work

• A remark on Mackey-functors
• Burnside rings which are gorenstein
• Gorenstein homological algebra and universal coefficient theorems
• scientific article; zbMATH DE number 3120116 (Why is no real title available?)
• scientific article; zbMATH DE number 3137403 (Why is no real title available?)
• scientific article; zbMATH DE number 482758 (Why is no real title available?)
• On the projective dimensions of Mackey functors
• On the ubiquity of Gorenstein rings
• Some remarks on projective Mackey functors
• The Structure of Mackey Functors
• Trace maps for Mackey algebras
• Über die injektive Dimension des Burnsideringes einer endlichen Gruppe

This page was built for publication: Mackey algebras which are Gorenstein

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