Independence of the total reflexivity conditions for modules (Q2502124): Difference between revisions

Let \(R\) be a commutative noetherian ring. A finite \(R\)-module is said to be totally reflexive if it satisfies the following conditions: i) \(M\) is reflexive (i.e. the canonical map \(M\to M^{**}\) is bijective, where \(M^*=\text{Hom}_R(M,R)\)), ii) \(\text{Ext}_R^i(M,R)=0\) for all \(i>1\) and iii) \(\text{Ext}_R^i(M^*,R)=0\) for all \(i>0\). These modules coincide with the modules of \(G\)-dimension zero as they were introduced by \textit{M. Auslander} and \textit{M. Bridger} [``Stable module theory'', Mem. Am. Math. Soc. 94 (1969; Zbl 0204.36402)]. In this paper, the authors obtain an example of a local Artinian ring \(R\) which admits modules whose total reflexivity conditions are independent. This answer a question posed by \textit{Y. Yoshino} [Ill. J. Math. 49, 345--367 (2005; Zbl 1097.13019)], where he studied situations when (ii) alone implies total reflexivity. Moreover, it is shown that for finitely generated graded \(R\)-module \(M\) over an Artinian standard (i.e. \(R_0=k\) a field and \(R=R_0[R_1]\)) graded ring \(R=\bigoplus_{i\geq 0}R_i\), in order to check that \(M\) is totally reflexive it is enogh to know the vanishing of \(\text{Ext}_R^i(M,R)\) and \(\text{Ext}_R^i(\text{Tr}(M),R)\) for \(i\in {\mathbb Z}-A\), where \(A\) is a finite set of integer of the same parity and Tr\((M)\) is the transpose of \(M\).