Showing 1–11 of 11 results for author: Jorge-Pérez, V H

On Extension modules of finite homological dimension

Authors: Rafael Holanda, Victor H. Jorge-Pérez, Victor D. Mendoza-Rubio

Abstract: We explore the implications of the finiteness of homological dimensions for Ext modules, focusing on projective dimension, injective dimension, and their Gorenstein counterpart. In this direction, we establish several finiteness criteria for homological dimensions. Our results include the consequences of the finiteness of the Gorenstein (injective) dimension of the deficiency modules as well as a… ▽ More We explore the implications of the finiteness of homological dimensions for Ext modules, focusing on projective dimension, injective dimension, and their Gorenstein counterpart. In this direction, we establish several finiteness criteria for homological dimensions. Our results include the consequences of the finiteness of the Gorenstein (injective) dimension of the deficiency modules as well as a duality for certain Ext modules, all of finite (Gorenstein) projective dimension. △ Less

Submitted 21 April, 2025; originally announced April 2025.

Comments: 22 pages. Comments and suggestions are welcome

MSC Class: 13D05; 13D07; 13H10 (Primary)

On $\operatorname{Ext}$-finite modules, quasi-injective dimension and width of modules

Authors: Victor H. Jorge-Pérez, Paulo Martins

Abstract: Let $(R,\mathfrak{m},k)$ be a commutative Noetherian local ring. It is well-known that if $M$ is a finitely generated $R$-module of finite quasi-injective dimension, then $\operatorname{qid}_RM = \operatorname{depth} R$. In this paper, we demonstrate that under the weaker condition that $M$ is $\operatorname{Ext}$-finite and has finite quasi-injective dimension, the equality… ▽ More Let $(R,\mathfrak{m},k)$ be a commutative Noetherian local ring. It is well-known that if $M$ is a finitely generated $R$-module of finite quasi-injective dimension, then $\operatorname{qid}_RM = \operatorname{depth} R$. In this paper, we demonstrate that under the weaker condition that $M$ is $\operatorname{Ext}$-finite and has finite quasi-injective dimension, the equality $\operatorname{qid}_R M =0$ holds if and only if $\operatorname{Ext}_R^{i>0}(R/(\boldsymbol{x}),M)=0$, where $\boldsymbol{x} \in \mathfrak{m}$ is a maximal $R$-sequence and if $\operatorname{qid}_R M \neq 0$, we show then that $\operatorname{qid}_R M = \sup \lbrace i : \operatorname{Ext}_R^i(R/(\boldsymbol{x}),M) \neq 0 \rbrace$. Also, we show that if $R$ is a Cohen-Macaulay local ring and $M$ is an $\operatorname{Ext}$-finite $R$-module of finite quasi-injective dimension, then $\operatorname{depth} R = \operatorname{qid}_R M + \inf \lbrace i : \operatorname{Tor}_i^R(k,M) \neq 0 \rbrace$, provided that $\inf \lbrace i : \operatorname{Tor}_i^R(k,M) \neq 0 \rbrace< \infty$. △ Less

Submitted 24 March, 2025; originally announced March 2025.

Comments: 10 pages, comments and suggestions are welcome

MSC Class: 13D05; 13D07; 13H10

Ischebeck's formula, Grade and quasi-homological dimensions

Authors: Victor H. Jorge-Pérez, Paulo Martins, Victor D. Mendoza-Rubio

Abstract: The quasi-projective dimension and quasi-injective dimension are recently introduced homological invariants that generalize the classical notions of projective dimension and injective dimension, respectively. For a local ring $R$ and finitely generated $R$-modules $M$ and $N$, we provide conditions involving quasi-homological dimensions where the equality… ▽ More The quasi-projective dimension and quasi-injective dimension are recently introduced homological invariants that generalize the classical notions of projective dimension and injective dimension, respectively. For a local ring $R$ and finitely generated $R$-modules $M$ and $N$, we provide conditions involving quasi-homological dimensions where the equality $\sup \lbrace i\geq 0: \operatorname{Ext}_R^i(M,N)\not=0 \rbrace =\operatorname{depth} R-\operatorname{depth} M$, which we call Ischebeck's formula, holds. One of the results in this direction generalizes a well-known result of Ischebeck concerning modules of finite injective dimension, considering the quasi-injective dimension. On the other hand, we establish an inequality relating the quasi-projective dimension of a finitely generated module to its grade and introduce the concept of a quasi-perfect module as a natural generalization of a perfect module. We prove several results for this new concept similar to the classical results. Additionally, we provide a formula for the grade of finitely generated modules with finite quasi-injective dimension over a local ring, as well as grade inequalities for modules of finite quasi-projective dimension. In our study, Cohen-Macaulayness criteria are also obtained. △ Less

Submitted 9 December, 2024; originally announced December 2024.

Comments: 20 pages, comments and suggestions are welcome

MSC Class: 13D05; 13D07; 13D02

A generalized depth formula for modules of finite quasi-projective dimension

Authors: Victor H. Jorge-Pérez, Paulo Martins, Victor D. Mendoza-Rubio

Abstract: Recently, Gheibi, Jorgensen, and Takahashi introduced a new homological invariant called quasi-projective dimension, which is a generalization of projective dimension. They proved that the depth formula holds for two finitely gene\-rated Tor-independent modules over a Noetherian local ring when one of the modules has finite quasi-projective dimension. In this paper, we extend this result by pro\-v… ▽ More Recently, Gheibi, Jorgensen, and Takahashi introduced a new homological invariant called quasi-projective dimension, which is a generalization of projective dimension. They proved that the depth formula holds for two finitely gene\-rated Tor-independent modules over a Noetherian local ring when one of the modules has finite quasi-projective dimension. In this paper, we extend this result by pro\-ving that for finitely generated modules \( M \) and \( N \) over a Noetherian local ring \( R \) with \( \operatorname{qpd}_R M < \infty \), the equality \( \operatorname{depth} N = \operatorname{depth}(\operatorname{Tor}_q^R(M,N)) + \operatorname{qpd}_R M - q \) holds, where \( q := \sup\{ i \geq 0 : \operatorname{Tor}_i^R(M,N) \neq 0 \} \), provided that \( q < \infty \), and either \( q = 0 \) or \( \operatorname{depth}(\operatorname{Tor}_q^R(M,N)) \leq 1 \). This outcome generalizes a celebrated theorem by Auslander and allows us to derive new consequences and applications, for instance, we recover an important theorem of Araya and Yoshino. △ Less

Submitted 19 September, 2024; v1 submitted 13 September, 2024; originally announced September 2024.

Comments: 10 pages, comments and suggestions are welcome. In this new version, Corollary 4.4 has been added, which recover a theorem of Araya and Yoshino

MSC Class: 13D05; 13D07; 13D02

Hilbert-Kunz multiplicity of fiber products and idealization rings

Authors: Victor H. Jorge-Pérez, Paulo D. C. Martins, J. A. Lima

Abstract: The main purpose of this paper is to provide formulas for the Hilbert-Kunz multiplicity of fiber products and idealization rings. We calculate the Hilbert-Kunz multiplicity of a fiber product $R \times_T S$, with $R$, $S$ and $T$ being Noetherian local rings with common characteristic and residue field. Inspired by a work of Strazzanti and Armengou we calculate the Hilbert-Kunz multiplicity of an… ▽ More The main purpose of this paper is to provide formulas for the Hilbert-Kunz multiplicity of fiber products and idealization rings. We calculate the Hilbert-Kunz multiplicity of a fiber product $R \times_T S$, with $R$, $S$ and $T$ being Noetherian local rings with common characteristic and residue field. Inspired by a work of Strazzanti and Armengou we calculate the Hilbert-Kunz multiplicity of an idealization ring $R \ltimes M$, where $M$ is a finite $R$-module. We explore certain examples and structural consequences and obtain some bounds for the Hilbert-Kunz multiplicity. △ Less

Submitted 5 June, 2024; v1 submitted 23 May, 2024; originally announced May 2024.

Comments: 16 pages - Comments are welcome!

MSC Class: 13D40; 13H15; 13H05

On Betti numbers for symmetric powers of modules

Authors: V. H. Jorge-Pérez, J. A. Lima

Abstract: Let $M$ be a finitely generated module over a local ring $(R,\mathfrak{m})$. By $\mathcal{S}_j(M)$, we denote the $j$th symmetric power of $M$ ($j$th graded component of the symmetric algebra $\mathcal{S}_R(M)$). The purpose of this paper is to investigate the minimal free resolutions $\mathcal{S}_j(M)$ as $R$-module for each $j\geq 2$ and determine the Betti numbers of $\mathcal{S}_j(M)$ in terms… ▽ More Let $M$ be a finitely generated module over a local ring $(R,\mathfrak{m})$. By $\mathcal{S}_j(M)$, we denote the $j$th symmetric power of $M$ ($j$th graded component of the symmetric algebra $\mathcal{S}_R(M)$). The purpose of this paper is to investigate the minimal free resolutions $\mathcal{S}_j(M)$ as $R$-module for each $j\geq 2$ and determine the Betti numbers of $\mathcal{S}_j(M)$ in terms of the Betti numbers of $M$. This has some applications, for example for linear type ideals $I$, we obtain formulas of the Betti numbers $I^j$ in terms of the Betti numbers of $I$. In addition, we establish upper and lower bounds of Betti numbers of $\mathcal{S}_j(M)$ in terms of Betti numbers of $M$. In particular, obtain some applications of the famous Buchsbaum-Eisenbud-Horrocks conjecture. △ Less

Submitted 19 May, 2025; v1 submitted 14 February, 2024; originally announced February 2024.

Comments: Comments are welcome. Paper accepted for publication in Communications in Algebra

On modules whose dual is of finite Gorenstein dimension: The $k$-torsion, homological criteria, and applications in modules of differentials of order $n$

Authors: 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… ▽ More 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. △ Less

Submitted 12 May, 2024; v1 submitted 11 December, 2023; originally announced December 2023.

Comments: 28 pages. We added a few results and made some corrections. Comments and suggestions are welcome

MSC Class: Primary: 13D45; 13D07; 13C10; 13C14; Secondary: 13D05; 13D02; 13H10; 14B15; 14B05

Auslander-Reiten Conjecture, Finite $C$-Injective Dimension of $\operatorname{Hom}$, and vanishing of $\operatorname{Ext}$

Authors: Victor D. Mendoza-Rubio, Victor H. Jorge-Pérez

Abstract: Let $R$ be a Noetherian local ring, and let $C$ be a semidualizing $R$-module. In this paper, we present some results concerning to vanishing of $\operatorname{Ext}$ and finite injective dimension of $\operatorname{Hom}$. Additionally, we extend these results in terms of finite $C$-injective dimension of $\operatorname{Hom}$. We also investigate the consequences of some of these extensions in the… ▽ More Let $R$ be a Noetherian local ring, and let $C$ be a semidualizing $R$-module. In this paper, we present some results concerning to vanishing of $\operatorname{Ext}$ and finite injective dimension of $\operatorname{Hom}$. Additionally, we extend these results in terms of finite $C$-injective dimension of $\operatorname{Hom}$. We also investigate the consequences of some of these extensions in the case where $R$ is Cohen-Macaulay, and $C$ is a canonical module for $R.$ Furthermore, we provide positive answers to the Auslander-Reiten conjecture for finitely generated $R$-modules $M$ such that $\mathcal{I}_C\operatorname{-id}_R(\operatorname{Hom}_R(M,R))<\infty$ or $M \in \mathcal{A}_C(R)$ with $\mathcal{I}_C \operatorname{-id}_R(\operatorname{Hom}_R(M,M))<\infty$. Moreover, we derive a number of criteria for a semidualizing $R$-module $C$ to be a canonical module for $R$ in terms of the vanishing of $\operatorname{Ext}$ and the finite $C$-injective dimension of $\operatorname{Hom}$. △ Less

Submitted 10 December, 2023; originally announced December 2023.

Comments: 16 pages. The first version of this paper was submitted to a scientific journal on June 25, 2023 and subsequently rejected. Currently, the paper is submitted to another journal. Ghosh and Dey achieved some similar results in arXiv:2310.10607. Both papers were developed independently

MSC Class: Primary: 13D45; 13D07; 13C10; 13C14; Secondary: 13D05; 13D02; 13H10; 14B15

Mixed multiplicity and Converse of Rees' theorem for modules

Authors: M. D. Ferrari, V. H. Jorge-Perez, L. C. Merighe

Abstract: In this paper, we prove the converse of Rees' mixed multiplicity theorem for modules, which extends the converse of the classical Rees' mixed multiplicity theorem for ideals given by Swanson - Theorem \ref{SwansonTheorem}. Specifically, we demonstrate the following result: Let $(R,\mathfrak{m})$ be a $d$-dimensional formally equidimensional Noetherian local ring and $E_1,\dots,E_k$ be finitely g… ▽ More In this paper, we prove the converse of Rees' mixed multiplicity theorem for modules, which extends the converse of the classical Rees' mixed multiplicity theorem for ideals given by Swanson - Theorem \ref{SwansonTheorem}. Specifically, we demonstrate the following result: Let $(R,\mathfrak{m})$ be a $d$-dimensional formally equidimensional Noetherian local ring and $E_1,\dots,E_k$ be finitely generated $R$-submodules of a free $R$-module $F$ of positive rank $p$, with $x_i\in E_i$ for $i=1,\dots,k$. Consider \(S\), the symmetric algebra of \(F\), and \(I_{E_i}\), the ideal generated by the homogeneous component of degree 1 in the Rees algebra \([\mathscr{R}(E_i)]_1\). Assuming that $(x_1,\ldots,x_k)S$ and $I_{E_i}$ have the same height $k$ and the same radical, if the Buchsbaum-Rim multiplicity of $(x_1,\dots,x_k)$ and the mixed Buchsbaum-Rim multiplicity of the family $E_1,\dots,E_k$ are equal, i.e., ${\rm e_{BR}}((x_1,\dots,x_k)_{\mathfrak{p}};R_{\mathfrak{p}}) = {\rm e_{BR}}({E_1}_{\mathfrak{p}},\dots, {E_k}_{\mathfrak{p}},R_{\mathfrak{p}})$ for all prime ideals $\mathfrak{p}$ minimal over $((x_1,\ldots,x_k):_RF)$, then $(x_1,\ldots,x_k)$ is a joint reduction of $(E_1,\dots,E_k)$. In addition to proving this theorem, we establish several properties that relate joint reduction and mixed Buchsbaum-Rim multiplicities. △ Less

Submitted 2 October, 2023; originally announced October 2023.

Rigid modules and homological dimensions

Authors: Victor H. Jorge-Pérez, Cleto B. Miranda-Neto

Abstract: We make use of the concepts of Tor-rigid and rigid-test modules, among others, to investigate the interplay between cohomology vanishing and the finiteness of several homological dimensions such as projective, injective and Gorenstein injective dimensions. Besides criteria for the freeness of modules, the applications include new characterizations of Gorenstein and regular local rings, which are a… ▽ More We make use of the concepts of Tor-rigid and rigid-test modules, among others, to investigate the interplay between cohomology vanishing and the finiteness of several homological dimensions such as projective, injective and Gorenstein injective dimensions. Besides criteria for the freeness of modules, the applications include new characterizations of Gorenstein and regular local rings, which are also of interest in the realm of algebraic geometry. △ Less

Submitted 20 December, 2022; v1 submitted 16 December, 2022; originally announced December 2022.

Comments: Several interesting suggestions have arrived concerning the manuscript, so it will be rewritten and largerly improved in a forthcoming version (possibly with a different title)

Generalized local duality, canonical modules, and prescribed bound on projective dimension

Authors: Thiago H. Freitas, Victor H. Jorge-Pérez, Cleto B. Miranda-Neto, Peter Schenzel

Abstract: We present various approaches to J. Herzog's theory of generalized local cohomology and explore its main aspects, e.g., (non-)vanishing results as well as a general local duality theorem which extends, to a much broader class of rings, previous results by Herzog-Zamani and Suzuki. As an application, we establish a prescribed upper bound for the projective dimension of a module satisfying suitable… ▽ More We present various approaches to J. Herzog's theory of generalized local cohomology and explore its main aspects, e.g., (non-)vanishing results as well as a general local duality theorem which extends, to a much broader class of rings, previous results by Herzog-Zamani and Suzuki. As an application, we establish a prescribed upper bound for the projective dimension of a module satisfying suitable cohomological conditions, and we derive some freeness criteria and questions of Auslander-Reiten type. Along the way, we prove a new characterization of Cohen-Macaulay modules which truly relies on generalized local cohomology, and in addition we introduce and study a generalization of the notion of canonical module. △ Less

Submitted 18 July, 2022; v1 submitted 23 December, 2021; originally announced December 2021.

Comments: Final version, to appear in J. Pure Appl. Algebra

MSC Class: 13D45; 13D07; 13C10; 13C14; 13D05; 13D02; 13H10; 14B15