-
On the Gluing of germs of complex analytic spaces, Betti numbers and their structure
Authors:
T. H. Freitas,
J. A. Lima
Abstract:
In this paper we introduce new classes of gluing of complex analytic spaces germs, called weakly large, large and strongly large. We give a description of their Poincaré series and, as applications, we give numerical criteria to determine when these classes of gluing of germs of complex analytic spaces are smooth, singular, complete intersections and Gorenstein in terms of their Betti numbers. In…
▽ More
In this paper we introduce new classes of gluing of complex analytic spaces germs, called weakly large, large and strongly large. We give a description of their Poincaré series and, as applications, we give numerical criteria to determine when these classes of gluing of germs of complex analytic spaces are smooth, singular, complete intersections and Gorenstein in terms of their Betti numbers. In particular, we show that the gluing of the same germ of complex analytic space along of any subspace is always a singular germ.
△ Less
Submitted 20 February, 2024;
originally announced February 2024.
-
On General fiber product rings, Poincaré series and their structure
Authors:
T. H. Freitas,
J. A. Lima
Abstract:
The present paper deals with the investigation of the structure of general fiber product rings $R\times_TS$, where $R$, $S$ and $T$ are local rings with common residue field. We show that the Poincaré series of any $R$-module over the fiber product ring $R\times_TS$ is bounded by a rational function. In addition, we give a description of ${\rm depth}(R\times_TS)$, which is an open problem in this…
▽ More
The present paper deals with the investigation of the structure of general fiber product rings $R\times_TS$, where $R$, $S$ and $T$ are local rings with common residue field. We show that the Poincaré series of any $R$-module over the fiber product ring $R\times_TS$ is bounded by a rational function. In addition, we give a description of ${\rm depth}(R\times_TS)$, which is an open problem in this theory. As a biproduct, using the characterization of the Betti numbers over $R\times_TS$ obtained, we provide certain cases of the Cohen-Macaulayness of $R\times_TS$ and, in particular, we show that $R\times_TS$ is always non-regular. Some positive answers for the Buchsbaum-Eisenbud-Horrocks and Total rank conjectures over $R\times_TS$ are also established.
△ Less
Submitted 27 June, 2024; v1 submitted 19 February, 2024;
originally announced February 2024.
-
Auslander-Reiten and Huneke-Wiegand conjectures over quasi-fiber product rings
Authors:
T. H. Freitas,
V. H. Jorge PÉrez,
R. Wiegand,
S. Wiegand
Abstract:
In this paper we explore consequences of the vanishing of ${\rm Ext}$ for finitely generated modules over a quasi-fiber product ring $R$; that is, $R$ is a local ring such that $R/(\underline x)$ is a non-trivial fiber product ring, for some regular sequence $\underline x$ of $R$. Equivalently, the maximal ideal of $R/(\underline x)$ decomposes as a direct sum of two nonzero ideals. Gorenstein qua…
▽ More
In this paper we explore consequences of the vanishing of ${\rm Ext}$ for finitely generated modules over a quasi-fiber product ring $R$; that is, $R$ is a local ring such that $R/(\underline x)$ is a non-trivial fiber product ring, for some regular sequence $\underline x$ of $R$. Equivalently, the maximal ideal of $R/(\underline x)$ decomposes as a direct sum of two nonzero ideals. Gorenstein quasi-fiber product rings are AB-rings and are Ext-bounded. We show in Theorem 3.31 that quasi-fiber product rings satisfy a sharpened form of the Auslander-Reiten Conjecture. We also make some observations related to the Huneke-Wiegand conjecture for quasi-fiber product rings.
△ Less
Submitted 2 May, 2022;
originally announced May 2022.
-
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.
-
Vanishing of Tor over fiber products
Authors:
Thiago H. Freitas,
Victor Hugo Jorge Pérez,
Roger Wiegand,
Sylvia Wiegand
Abstract:
Let $(S,\mathfrak{m},k)$ and $(T,\mathfrak{n},k)$ be local rings, and let $R$ denote their fiber product over their common residue field $k$. Inspired by work of Naseh and Sather-Wagstaff, we explore consequences of vanishing of ${\rm Tor}^R_m(M,N)$ for various values of $m$, where $M$ and $N$ are finitely generated $R$-modules.
Let $(S,\mathfrak{m},k)$ and $(T,\mathfrak{n},k)$ be local rings, and let $R$ denote their fiber product over their common residue field $k$. Inspired by work of Naseh and Sather-Wagstaff, we explore consequences of vanishing of ${\rm Tor}^R_m(M,N)$ for various values of $m$, where $M$ and $N$ are finitely generated $R$-modules.
△ Less
Submitted 29 August, 2019; v1 submitted 23 May, 2019;
originally announced May 2019.
-
On generalized Hartshorne's conjecture and local cohomology modules
Authors:
Thiago Henrique Freitas,
Victor Hugo Jorge P��rez,
Liliam Carsava Merighe
Abstract:
Let $\mathfrak{a}$ denote an ideal of a commutative Noetherian ring $R$. Let $M$ and $N$ be two $R$-modules. In this paper, we give partial answers on the extension of Hartshorne's conjecture about the cofiniteness of torsion and extension functors. For this purpose, we study the cofiniteness of the generalized local cohomology module $H^{i}_{\mathfrak{a}}(M, N)$ for a new class of modules, called…
▽ More
Let $\mathfrak{a}$ denote an ideal of a commutative Noetherian ring $R$. Let $M$ and $N$ be two $R$-modules. In this paper, we give partial answers on the extension of Hartshorne's conjecture about the cofiniteness of torsion and extension functors. For this purpose, we study the cofiniteness of the generalized local cohomology module $H^{i}_{\mathfrak{a}}(M, N)$ for a new class of modules, called $\mathfrak{a}$-weakly finite modules, in the local and non-local case. Furthermore, we derive some results on attached primes of top generalized local cohomology modules.
△ Less
Submitted 13 June, 2018; v1 submitted 20 March, 2018;
originally announced March 2018.
-
Artinianness and Finiteness of Formal Local Cohomology Modules with Respect to a Pair of Ideals
Authors:
T. H. Freitas,
V. H. Jorge Pérez
Abstract:
Let $(R,\mathfrak{m})$ be a commutative Noetherian local ring, $M$ be a finitely generated $R$-module and $\mathfrak{a}$, $I$ and $J$ be ideals of $R$. We investigate the structure of formal local cohomology modules of $\mathfrak{F}^i_{\mathfrak{a},I,J}(M)$ and $\check{\mathfrak{F}}^i_{\mathfrak{a},I,J}(M)$ with respect to a pair of ideals, for all $i\geq 0$. The main subject of the paper is to st…
▽ More
Let $(R,\mathfrak{m})$ be a commutative Noetherian local ring, $M$ be a finitely generated $R$-module and $\mathfrak{a}$, $I$ and $J$ be ideals of $R$. We investigate the structure of formal local cohomology modules of $\mathfrak{F}^i_{\mathfrak{a},I,J}(M)$ and $\check{\mathfrak{F}}^i_{\mathfrak{a},I,J}(M)$ with respect to a pair of ideals, for all $i\geq 0$. The main subject of the paper is to study the finiteness properties and Artinianness of $\mathfrak{F}^i_{\mathfrak{a},I,J}(M)$ and $\check{\mathfrak{F}}^i_{\mathfrak{a},\mathfrak{m},J}(M)$. We study the maximum and minimum integer $i\in \N$ such that $\mathfrak{F}^i_{\mathfrak{a},\mathfrak{m},J}(M)$ and $\check{\mathfrak{F}}^i_{\mathfrak{a},\mathfrak{m},J}(M)$ are not Artinian. We obtain some results involving cossuport, coassociated and attached primes for formal local cohomology modules with respect to a pair of ideals. Also, we give an criterion involving the concepts of finiteness and vanishing of formal local cohomology modules and Čech-formal local cohomology modules with respect to a pair of ideals.
△ Less
Submitted 23 March, 2015;
originally announced March 2015.
-
Some Results about Endomorphism Rings for Local Cohomology Defined by a Pair of Ideals
Authors:
V. H. Jorge Perez,
T. H. Freitas
Abstract:
Let $(R,\mathfrak{m},k)$ denote a local ring. For $I$ and $J$ ideals of $R$, for all integer $i$, let $H^i_{I,J}(-)$ denote the $i$-th local cohomology functor with respect to $(I,J)$. Here we give a generalized version of Local Duality Theorem for local cohomology defined by a pair of ideals. Also, for $M$ be a finitely generated $R$-module, we study the behavior of the endomorphism rings…
▽ More
Let $(R,\mathfrak{m},k)$ denote a local ring. For $I$ and $J$ ideals of $R$, for all integer $i$, let $H^i_{I,J}(-)$ denote the $i$-th local cohomology functor with respect to $(I,J)$. Here we give a generalized version of Local Duality Theorem for local cohomology defined by a pair of ideals. Also, for $M$ be a finitely generated $R$-module, we study the behavior of the endomorphism rings $H^t_{I,J}(M)$ and $D(H^t_{I,J}(M))$ where $t$ is the smallest integer such that the local cohomology with respect to a pair of ideals is non-zero and $D(-):= {\rm Hom}_R(-,E_R(k))$ is the Matlis dual functor. We show too that if $R$ be a $d$-dimensional complete Cohen-Macaulay and $H^i_{I,J}(R)=0$ for all $i\neq t$, the natural homomorphism $R\rightarrow {\rm Hom}_R(H^t_{I,J}(K_R), H^t_{I,J}(K_R))$ is an isomorphism and for all $i\neq t$, where $K_R$ denote the canonical module of $R$.
△ Less
Submitted 19 January, 2015;
originally announced January 2015.