Victor D. Mendoza-Rubio,Victor H. Jorge-Pérez
Abstract:In this paper, we aim to obtain some results under the condition that the dual of a module has finite Gorenstein dimension. In this direction we derive results involving vanishing of Ext as well as the freeness or totally reflexivity of modules. For instance, we provide a generalization of a celebrated theorem by Evans and Griffith, obtain criteria for the totally reflexivity of modules over Cohen-Macaulay rings as well as of locally totally modules reflexive on the punctured spectrum, and recover a result by Araya. Moreover, we prove that the Auslander-Reiten conjecture holds true for all finitely generated modules $M$ over a Noetherian local ring $R$ such that $\operatorname{G-dim}_R(\operatorname{Hom}_R(M,R))<\infty$ and $\operatorname{pd}_R(\operatorname{Hom}_R(M,M))<\infty$. Additionally, we derive Gorenstein criteria under the condition that the dual of certain modules is of finite Gorenstein dimension. Furthermore, we explore some applications in the theory of the modules of Kähler differentials of order $n\geq 1$, specifically concerning the $k$-torsionfreeness of these modules and the Herzog-Vasconcelos's conjecture.
What problem does this paper attempt to address?
The problems that this paper attempts to solve mainly focus on the study of properties under the condition that the modules and their duals have finite Gorenstein dimensions. Specifically, the authors aim to explore some properties of a module, such as vanishing Ext - modules, freeness or total reflexivity, when its dual has a finite Gorenstein dimension. The main contributions of the paper include:
1. **Generalizing the well - known theorem of Evans and Griffith**: The authors provide a more general version, which involves the equivalence among k - torsionfree, k - syzygy of a module and satisfying the (˜Sk) condition. This not only answers a question in the literature but also recovers a result in previous literature.
2. **Providing criteria for total reflexivity**: Over a Cohen - Macaulay local ring, the authors give a criterion for the total reflexivity of a module under the condition of finite Gorenstein dimension, and these criteria involve the vanishing conditions of Ext - modules.
3. **Verifying a special case of the Auslander - Reiten conjecture**: For a finitely generated module \( M \) over a Noetherian local ring, if \( \text{G - dim}_R(\text{Hom}_R(M, R)) < \infty \) and \( \text{pd}_R(\text{Hom}_R(M, M)) < \infty \), then \( M \) is free.
4. **Discussing the applications of Kähler differential modules**: The authors explore the k - torsionfree and k - syzygy properties of Kähler differential modules and attempt to answer related questions of the Herzog - Vasconcelos conjecture and the strong Herzog - Vasconcelos conjecture.
### Specific problem analysis
#### 1. Generalizing the theorem of Evans and Griffith
- **Theorem 3.2**: Let \( R \) be a ring, \( k \) be a non - negative integer, \( M \) be a non - zero \( R \)-module, and \( M^* \) has a locally finite Gorenstein dimension on \( \tilde{X}_{k - 1}(R) \). Then the following conditions are equivalent:
- \( M \) is \( k \)-torsionfree.
- \( M \) is \( k \)-syzygy.
- \( M \) satisfies (˜Sk).
#### 2. Criteria for total reflexivity
- **Theorem 4.1**: Let \( R \) be a local ring with depth \( t \), \( M \) be an \( R \)-module, and \( \text{G - dim}_R(M^*) < \infty \). Then the following conditions are equivalent:
- \( M \) satisfies (˜St).
- \( M \) is totally reflexive.
- For all \( 1 \leq i \leq t \), \( \text{Ext}_R^i(M, R)=0 \).
#### 3. Verifying the Auslander - Reiten conjecture
- **Theorem 1.8**: Let \( R \) be a Noetherian local ring with depth \( t \), \( M \) be an \( R \)-module, and \( \text{G - dim}_R(M^*) < \infty \). Then the following conditions are equivalent:
- \( M \) is free.
- \( \text{Hom}_R(M, M) \) is free, and for all \( 1 \leq j \leq t - 1 \), \( \text{Ext}_R^j(M, M)=0 \).
- \( \text{Hom}_R(M, M) \) has a finite projective dimension, and for all \( 1 \leq i \leq t \) and \( 1 \leq j \leq t - 1 \)