Gorenstein duality and universal coefficient theorems (Q2684774): Difference between revisions

In this paper, the authors use Gorenstein duality to relate homology and cohomology for suitable spectra, using notions from [\textit{W. G. Dwyer} et al., Adv. Math. 200, No. 2, 357--402 (2006; Zbl 1155.55302)]. Recall that a graded commutative local Noetherian ring \(A\) with residue field \(k\) is Gorenstein of shift \(a\) if \(\mathrm{Ext}^i _A (k,A)\) is zero unless \(i = \dim A\), when it is \(\Sigma^{a+ \dim A} k\). This implies that, for \(M\) a torsion \(A\)-module, \(\mathrm{Ext}^i _A (M,A)\) is zero unless \(i= \dim A\), when it is \(\Sigma^{a+ \dim A} M^\vee\), where \(M^\vee:= \hom_A (M, I(k))\), for \(I_A(k)\) the injective envelope of \(k\) as an \(A\)-module. The authors first show that, if \(R\) is a (structured) ring spectrum such that \(R_*\) is Gorenstein of shift \(a\), then, for any \(X\) such that \(R_* X\) is a torsion \(R_*\)-module, there is an isomorphism \[ R^* X \cong \Sigma^a (R_*X)^\vee. \] This follows directly from the universal coefficient spectral sequence. For example, taking \(R = BP \langle n \rangle\), the \(n\)th Johnson-Wilson spectrum, this recovers a result of the first author. They then lift this to \(R\)-modules, for \(R\) a suitable commutative ring spectrum such that \(R\) is connective, with \(R_0= K\) a local ring with residue field \(k\). Write \(I(k)^Y\) for the Brown-Comenetz dual of an \(R\)-module \(Y\), where \(I(k)\) is the injective envelope of \(k\) as a \(K\)-module. Then, if \(R \rightarrow k\) has Gorenstein duality of shift \(a\) (i.e., \(\mathrm{Cell}_k R \simeq \Sigma^a I(k)^R\)) and \(M\) is a \(k\)-cellular \(R\)-module, the authors show that \[ \mathrm{Hom}_R (M, R) \simeq \Sigma^a I(k)^M. \] Taking \(M = R \wedge X\) such that \(R_*X\) is an \(R_*\)-torsion module, they deduce the isomorphism: \[ R^* X \cong \Sigma^a \hom_K (R_* X, I(k)). \] These results are illustrated by examples.