Local Gorenstein duality in chromatic group cohomology (Q6103337)

In classical commutative algebra, a Noetherian local ring \(R\) is called Gorenstein if \(R\) has finite injective dimension as an \(R\)-module. This property is characterized by a duality property in local cohomology. In [\textit{W. G. Dwyer} et al., Adv. Math. 200, No. 2, 357--402 (2006; Zbl 1155.55302)], Dwyer-Greenlees-Iyengar introduced the notion of a Gorenstein ring \emph{spectrum}, which satisfies a similar duality property. In the present paper, the authors study local Gorenstein duality property for cochain spectra \(C^*(BG;R)\), where \(BG\) is the classifying space of a compact Lie group \(G\). When \(G\) is finite and \(R=k\) is a field, the cochain spectrum \(C^*(BG;k)\) has been studied in [loc. cit.; \textit{D. J. Benson} and \textit{J. P. C. Greenlees}, J. Pure Appl. Algebra 212, No. 7, 1716--1743 (2008; Zbl 1161.20005); \textit{D. Benson}, ibid. 212, No. 7, 1744--1746 (2008; Zbl 1156.20042); \textit{T. Barthel} et al., ibid. 222, No. 2, 433--463 (2018; Zbl 1384.55008)] and was shown to have local Gorenstein duality. The authors of the present paper generalize this result to cases when \(R\) is a commutative ring spectrum with even and Noetherian homotopy groups of finite global dimension. When \(G\) is a compact Lie group, the authors further establish local Gorenstein duality on \(C^*(BG;R)\), provided that the adjoint representation of \(G\) on its Lie algebra \(LG=T_eG\) satisfies some equivariant \(R\)-orientability condition. To prove the results, the authors first embed \(G\) into some unitary group \(U\) and consider the induced map \(f\colon C^*(BU;R)\to C^*(BG;R)\) on cochain ring spectra. The local Gorenstein duality property on \(C^*(BU;R)\) can be explicitly verified using complex orientations on \(R\). The authors then apply an ascent therorem for local Gorenstein duality in [\textit{T. Barthel} et al., loc. cit.] to the map \(f\). The authors use their main result to show \(C^*(BG;R)\) has local Gorenstein duality for many complex oriented ring spectra \(R\). Examples of such ring spectra \(R\) include ordinary cohomology with coefficients in a noetherian ring of finite global dimension (e.g. \(R=k\) is a field or \(R=\mathbb{Z}\)), complex \(K\)-theory spectra \(ku\) and \(KU\), Lubin-Tate spectra \(E_n\), topological Hochschild homology \(\mathrm{THH}(\mathbb{F}_p)\), and various forms of topological modular forms \(\mathrm{tmf}\). Using descent theory, the authors prove that the real \(K\)-theory spectra \(ko\) and \(KO\) also satisfy local Gorenstein duality.