Sean Sather-Wagstaff, Siamak Yassemi
We prove versions of results of Foxby and Holm about modules of finite (Gorenstein) injective dimension and finite (Gorenstein) projective dimension with respect to a semidualizing module. We also verify special cases of a question of Takahashi and White.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
Let $R$ be a Noetherian ring and let $C$ be a semidualizing $R$-module. In this paper, by using the semidualizing modules, we define and study new classes of modules and homological dimensions and investigate the relations between them. In parallel, we obtain some necessary and sufficient condition for $ C $ to be dualizing.
In this paper we build off of Takahashi and White's $\mathcal{P}_C$-projective dimension and $\mathcal{I}_C$-injective dimension to define these dimensions for when $C$ is a semidaulizing complex. We develop the framework for these homological dimensions by establishing base change results and local-global behavior. Furthermore, we investigate how these dimensions interact with other invariants.
Quasi-homological dimensions with respect to semidualizing modules
本文定义并研究了模关于半对偶化模的拟投射维数与拟内射维数，统一推广了经典同调维数理论，并推广了多个经典公式，还证明了Auslander-Reiten猜想的特殊情形。
We investigate the notion of the C-projective dimension of a module, where C is a semidualizing module. When C=R, this recovers the standard projective dimension. We show that three natural definitions of finite C-projective dimension agree, and investigate the relationship between relative cohomology modules and absolute cohomology modules in this setting. Finally, we prove several results that demonstrate the deep connections between modules of finite projective dimension and modules of finite C-projective dimension. In parallel, we develop the dual theory for injective dimension and C-injec…
Let $R$ be a commutative noetherian ring. The $n$-semidualizing modules of $R$ are generalizations of its semidualizing modules. We will prove some basic properties of $n$-semidualizing modules. Our main result and example shows that the divisor class group of a Gorenstein determinantal ring over a field is the set of isomorphism classes of its 1-semidualizing modules. Finally, we pose some questions about $n$-semidualizing modules.
We study the existence of nontrivial semidualizing DG modules over tensor products of DG algebras over a field. In particular, this gives a lower bound on the number of semidualizing DG modules over the tensor product.
We show there exist no nontrivial semidualizing modules for nonmodular rings of invariants of order $p^n$ with $p$ a prime.
We investigate some general machinery for describing semidualizing modules over generic constructions like ladder determinantal rings with coefficients in a normal domain. We also pose and investigate natural localization questions that arise in the process.
The notion of linkage with respect to a semidualizing module is introduced. It is shown that over a Cohen-Macaulay local ring with canonical module, every Cohen-Macaulay module of finite Gorenstein injective dimension is linked with respect to the canonical module. For a linked module $M$ with respect to a semidualizing module, the connection between the Serre condition $(S_n)$ on $M$ with the vanishing of certain local cohomology modules of its linked module is discussed.
A result of Foxby states that if there exists a complex with finite depth, finite flat dimension, and finite injective dimension over a local ring $R$, then $R$ is Gorenstein. In this paper we investigate some homological dimensions involving a semidualizing complex and improve on Foxby's result by answering a question of Takahashi and White. In particular, we prove for a semidualizing complex $C$, if there exists a complex with finite depth, finite $\mathcal{F}_C$-projective dimension, and finite $\mathcal{I}_C$-injective dimension over a local ring $R$, then $R$ is Gorenstein.
We continue our study of ladder determinantal rings over a field $\mathsf k$ from the perspective of semidualizing modules. In particular, given a ladder of variables $Y$, we show that the associated ladder determinantal ring $\mathsf k[Y]/I_2(Y)$ admits exactly $2^n$ non-isomorphic semidualizing modules where $n$ is determined from the combinatorics of the ladder $Y$: the number $n$ is essentially the number of non-Gorenstein factors in a certain decomposition of $Y$. From this, for each $n$, we show explicitly how to find ladders $Y$ such that $\mathsf k[Y]/I_2(Y)$ admits exactly $2^n$ non-i…
Let $C$ be a semidualizing module. We first investigate the properties of finitely generated $G_C$-projective modules. Then, relative to $C$, we introduce and study the rings of Gorenstein (weak) global dimensions at most 1, which we call $C$-Gorenstein (semi)hereditary rings, and prove that every $C$-Gorenstein hereditary ring is both coherent and $C$-Gorenstein semihereditary.
We identify all semidualizing modules over certain classes of ladder determinantal rings over a field ${\mathsf k}$. Specifically, given a ladder of variables $Y$, we show that the ring ${\mathsf k}[Y]/I_t(Y)$ has only trivial semidualizing modules up to isomorphism in the following cases: (1) $Y$ is a one-sided ladder, and (2) $Y$ is a two-sided ladder with $t=2$ and no coincidental inside corners.
Let R be a commutative Noetherian local ring with residue class field k. In this paper, we mainly investigate direct summands of the syzygy modules of k. We prove that R is regular if and only if some syzygy module of k has a semidualizing summand. After that, we consider whether R is Gorenstein if and only if some syzygy module of k has a G-projective summand.
We prove the result stated in the title, which answers the equicharacteristic case of a question of Vasconcelos.
We consider relative Tor functors built from resolutions described by a semidualizing module C over a commutative noetherian ring R. We show that the bifunctors Tor^{F_CM}_i (-,-) and Tor^{P_CM}_i (-,-), defined using flat-like and projective-like resolutions, are isomorphic. We show how the vanishing of these functors characterizes the finiteness of the homological dimension F_C-pd, and we use this to give a relation between the F_C-pd of a given module and that of a pure submodule. On the other hand, we show that other relations that one may expect to hold similarly, fail in general. In fact…
We show that the set $\s(R)$ of shift-isomorphism classes of semidualizing complexes over a local ring $R$ admits a nontrivial metric. We investigate the interplay between the metric and several algebraic operations. Motivated by the dagger duality isometry, we prove the following: If $K,L$ are homologically bounded below and degreewise finite $R$-complexes such that $K\lotimes_R K\lotimes_R L$ is semidualizing, then $K$ is shift-isomorphic to $R$. In investigating the existence of nontrivial open balls in $\s(R)$, we prove that $\s(R)$ contains elements that are not comparable in the reflexiv…
Let $(R, \mathfrak{m}, k)$ be a commutative Noetherian local ring. We study the suitable chains of semidualizing $R$-modules. We prove that when $R$ is Artinian, the existence of a suitable chain of semidualizing modules of length $n=\mathrm{max}\,\{\,i\geqslant 0\ |\ \mathfrak{m}^{i}\neq 0\,\}$ implies that the the Poincar$\acute{\mathrm{e}}$ series of $k$ and the Bass series of $R$ have very specific forms. Also, in this case we show that the Bass numbers of $R$ are strictly increasing. This gives an insight into the question of Huneke about the Bass numbers of $R$.
A finitely generated module C over a commutative noetherian ring R is semidualizing if Hom_R(C,C) \cong R and Ext^i_R(C,C) = 0 for all i \geq 1. For certain local Cohen-Macaulay rings (R,m), we verify the equality of Hilbert-Samuel multiplicities e_R(J;C) = e_R(J;R) for all semidualizing R-modules C and all m-primary ideals J. The classes of rings we investigate include those that are determined by ideals defining fat point schemes in projective space or by monomial ideals.
Of the many interesting insights in the Auslander-Bridger Memoir of 1969, the theory of Gorenstein dimension has most often been taken up by commutative algebraists. Over a local ring, it deals with resolutions by modules which are totally reflexive with regard to free modules. For some years now, one has been trying to replace frees by semidualizing modules. This has met with success, and more is to follow. To me however, it makes sense to first try and understand semidualizing modules themselves better. This note shows in a direct way that they share many properties with free modules. One ho…
We investigate the properties of categories of G_C-flat R-modules where C is a semidualizing module over a commutative noetherian ring R. We prove that the category of all G_C-flat R-modules is part of a weak AB-context, in the terminology of Hashimoto. In particular, this allows us to deduce the existence of certain Auslander-Buchweitz approximations for R-modules of finite G_C-flat dimension. We also prove that two procedures for building R-modules from complete resolutions by certain subcategories of G_C-flat R-modules yield only the modules in the original subcategories.
Let R be a commutative noetherian local ring. A finitely generated R-module C is semidualizing if it is self-orthogonal and satisfies the condition Hom_R(C,C) \cong R. We prove that a Cohen-Macaulay ring R with dualizing module D admits a semidualizing module C satisfying R\ncong C \ncong D if and only if it is a homomorphic image of a Gorenstein ring in which the defining ideal decomposes in a cohomologically independent way. This expands on a well-known result of Foxby, Reiten and Sharp saying that R admits a dualizing module if and only if R is Cohen--Macaulay and a homomorphic image of a l…
Inspired by Jorgensen et. al., it is proved that if a Cohen--Macaulay local ring $R$ with dualizing module admits a suitable chain of semidualizing $R$--modules of length $n$, then $R\cong Q/(I_1+\cdots+I_n)$ for some Gorenstein ring $Q$ and ideals $I_1,\cdots, I_n$ of $Q$; and, for each $Λ\subseteq [n]$, the ring $Q/(Σ_{l\in Λ} I_l)$ has some interesting cohomological properties . This extends the result of Jorgensen et. al., and also of Foxby and Reiten.
Let $(R,\fm)$ be a local ring and let $C$ be a semidualizing $R$--module. In this paper, we are concerned in $C$--injective and $G_{C}$--injective dimensions of certain local cohomology modules of $R$. Firstly, the injective dimension of $C$ and the above quantities of dimensions is compared. Then, as an application of the above comparisons, a characterization of a dualizing module of $R$ is given. Finally, it is shown that if $R$ is Cohen-Macaulay of dimension $d$ such that $\H_{\fm}^{d}(C)$ is $C$--injective, then $R$ is Gorernstein. This is an answer to the question which was recently prese…
We compare and contrast various relative cohomology theories that arise from resolutions involving semidualizing modules. We prove a general balance result for relative cohomology over a Cohen-Macaulay ring with a dualizing module, and we demonstrate the failure of the naive version of balance one might expect for these functors. We prove that the natural comparison morphisms between relative cohomology modules are isomorphisms in several cases, and we provide a Yoneda-type description of the first relative Ext functor. Finally, we show by example that each distinct relative cohomology constru…
We introduce and study a class of objects that encompasses Christensen and Foxby's semidualizing modules and complexes and Kubik's quasi-dualizing modules: the class of $\mathfrak{a}$-adic semidualizing modules and complexes. We give examples and equivalent characterizations of these objects, including a characterization in terms of the more familiar semidualizing property. As an application, we give a proof of the existence of dualizing complexes over complete local rings that does not use the Cohen Structure Theorem.
Semidualizing Modules over Numerical Semigroup Rings
本文研究数值半群环上的半对偶化模，完全分类了重数至多为9的此类环具有非平凡半对偶化模的条件，并据此构造了任意重数至少为9的实例。
This paper builds on work of Hochster and Yao that provides nice embeddings for finitely generated modules of finite G-dimension, finite projective dimension, or locally finite injective dimension. We extend these results by providing similar embeddings in the relative setting, that is, for certain modules of finite G_C-dimension, finite P_C-projective dimension, locally finite GI_C-injective dimension, or locally finite I_C-injective dimension where C is a semidualizing module. Along the way, we extend some results for modules of finite homological dimension to modules of locally finite homol…
Among the finitely generated modules over a Noetherian ring R, the semidualizing modules have been singled out due to their particularly nice duality properties. When R is a normal domain, we exhibit a natural inclusion of the set of isomorphism classes of semidualizing R-modules into the divisor class group of R. After a description of the basic properties of this inclusion, it is employed to investigate the structure of the set of isomorphism classes of semidualizing R-modules. In particular, this set is described completely for determinantal rings over normal domains.
We investigate Tate cohomology of modules over a commutative noetherian ring with respect to semidualizing modules. We identify classes of modules admitting Tate resolutions and analyze the interaction between the corresponding relative and Tate cohomology modules. As an application of our approach, we prove a general balance result for Tate cohomology. Our results are based on an analysis of Tate cohomology in abelian categories.
Let (R,m) be a Noetherian local ring of depth d and C a semidualizing R-complex. Let M be a finite R-module and t an integer between 0 and d. If G_C-dimension of M/IM is finite for all ideals I generated by an R-regular sequence of length at most d-t then either G_C-dimension of M is at most t or C is a dualizing complex. Analogous results for other homological dimensions are also given.
We investigate stable homology of modules over a commutative noetherian ring $R$ with respect to a semidualzing module $C$, and give some vanishing results that improve/extend the known results. As a consequence, we show that the balance of the theory forces $C$ to be trivial and $R$ to be Gorenstein.
We establish a characterization of dualizing modules among semidualizing modules. Let R be a finite dimensional commutative Noetherian ring with identity and C a semidualizing R-module. We show that C is a dualizing R-module if and only if Tor_i^R(E,E') is C- injective for all C-injective R-modules E and E' and all i\geq 0.
We prove that the Auslander class determined by a semidualizing module is the left half of a perfect cotorsion pair. We also prove that the Bass class determined by a semidualizing module is preenveloping.
We introduce and investigate the notion of $\gc$-projective modules over (possibly non-noetherian) commutative rings, where $C$ is a semidualizing module. This extends Holm and Jørgensen's notion of $C$-Gorenstein projective modules to the non-noetherian setting and generalizes projective and Gorenstein projective modules within this setting. We then study the resulting modules of finite $\gc$-projective dimension, showing in particular that they admit $\gc$-projective approximations, a generalization of the maximal Cohen-Macaulay approximations of Auslander and Buchweitz. Over a local (noethe…
Finite homological dimension of Hom, vanishing of Ext, and applications to divisor class group
本文通过有限个Ext模的消失和Hom模的有限同调维数给出了检测模自由性的充分条件，推广了Ghosh-Takahashi的结果，并应用于Auslander-Reiten猜想、I-Ulrich模的新刻画以及n-半对偶化模的两个问题。
In their investigation of horizontal linkage of modules of finite Gorenstein dimension over a commutative, Noetherian, semiperfect (e.g., local) ring, Dibaei and Sadeghi introduced the class of reduced G-perfect modules, making use of Bass' concept of reduced grade. A few years later, the same authors extended this class by considering the relative property of reduced G$_C$-perfection, where $C$ is a semidualizing module, and studied linkage even further. In the present paper, we contribute to their theory and also generalize results of Auslander and Bridger as well as of Martsinkovsky and Str…
Inspired by a recent work of Buchweitz and Flenner, we show that, for a semidualizing bimodule $C$, $C$--perfect complexes have the ability to detect when a ring is strongly regular. It is shown that there exists a class of modules which admit minimal resolutions of $C$--projective modules.
Numerical aspects of complexes of finite homological dimensions
本文研究了局部环上有限同调维数复形的数值性质，建立了半对偶化复形相关等式并证明了有限生成模的投射维数与内射维数的有限性条件，推广了Ghosh和Puthenpurakil的相关结果。
Let R be a commutative Noetherian ring. Recently, Dibaei and Sadeghi have studied the reduced grade of a horizontally linked R-module M of finite GC-dimension, where C is a semidualizing R-module. In this paper, we highly refine their results. In particular, our main result removes the assumptions that M is holizontally linked and M has finite GC -dimension.
Let R be a semiperfect commutative Noetherian ring and C a semidualizing R-module. We study the theory of linkage for modules of finite G_C-dimension. For a horizontally linked R-module M of finite G_C-dimension, the connection of the Serre condition (S_n) with the vanishing of certain relative cohomology modules of its linked module is discussed.
Some characterizations of dualizing complexes in terms of $G_{C}$-dimension
本文研究了局部环上对偶复形的刻画问题，基于 $G_{C}$-维数，证明了若干关于半对偶化复形成为对偶复形或同构于环本身的充要条件。
For a semidualizing module $C$ over a ring $R$, we study the following classes modulo exact zero divisors: $\g_C$--projectives, $\mathcal G_C$; the Auslander class $\mathcal A_C$; the Bass class $\mathcal B_C$; $\mathcal{P}_C$--projective; $ {\mathcal F}_C$--projective; and ${\mathcal I}_C$--injective dimensions.
In this paper, we first introduce and study the notions of strongly $ϕ$-flat modules and strongly nonnil-injective modules. And then, we investigate the homology dimensions of modules and rings in terms of these two notions. Finally we give a new homological characterizations of $ϕ$-Dedekind rings and $ϕ$-\Prufer\ rings.
We extend the definition of a semidualizing module to associative rings. This enables us to define and study Auslander and Bass classes with respect to a semidualizing bimodule C. We then study the classes of C-flats, C-projectives, and C-injectives, and use them to provide a characterization of the modules in the Auslander and Bass classes. We extend Foxby equivalence to this new setting. This paper contains a few results which are new in the commutative, noetherian setting.
A semi-dualizing module over a commutative noetherian ring A is a finitely generated module C with RHom_A(C,C) \simeq A in the derived category D(A). We show how each such module gives rise to three new homological dimensions which we call C-Gorenstein projective, C-Gorenstein injective, and C-Gorenstein flat dimension, and investigate the properties of these dimensions.
On Extension modules of finite homological dimension
本文研究了有限同调维数对Ext模的影响，建立了同调维数的有限性准则，并在特定条件下提出了Ext模的新对偶性。
Let R be a local ring and C a semidualizing module of R. We investigate the behavior of certain classes of generalized Cohen-Macaulay R-modules under the Foxby equivalence between the Auslander and Bass classes with respect to C. In particular, we show that generalized Cohen-Macaulay R-modules are invariant under this equivalence and if M is a finitely generated R-module in the Auslander class with respect to C such that C\otimes_RM is surjective Buchsbaum, then M is also surjective Buchsbaum.
Let $R$ be a commutative Noetherian local ring with residue field $k$. Using the structure of Vogel cohomology, for any finitely generated module $M$, we introduce a new dimension, called $ζ$-dimension, denoted by $ζ-dim_R M$. This dimension is finer than Gorenstein dimension and has nice properties enjoyed by homological dimensions. In particular, it characterizes Gorenstein rings in the sense that: a ring $R$ is Gorenstein if and only if every finitely generated $R$-module has finite $ζ$-dimension. Our definition of $ζ$-dimension offer a new homological perspective on the projective dimensio…
Let (R,m) be a commutative Noetherian local ring. It is known that R is Cohen-Macaulay if there exists either a nonzero finitely generated R-module of finite injective dimension or a nonzero Cohen-Macaulay R-module of finite projective dimension. In this paper, we investigate the Gorenstein analogues of these facts.
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.
In this paper, we introduce and study the notion of strongly $ϕ$-$w$-flat modules. The $ϕ$-$w$-weak global dimension $ϕ$-$w$-w.gl.dim$(R)$ of an NP-ring $R$ is also introduced and studied. We characterize $ϕ$-\Prufer\ $v$-multiplication strongly $ϕ$-rings in terms of strongly $ϕ$-$w$-flat modules.
Relative homological rings and modules
本文针对交换 Noether 环及其真理想，发展相对同调环与模理论，引入 $\ rak a$-相对正则、完全交和 Gorenstein 环与模，并推广相关经典结论。
In this article, we shall characterize torsionfreeness of modules with respect to a semidualizing module in terms of the Serre's condition (S_n). As its applications, we give a characterization of Cohen-Macaulay rings R such that R_p is Gorenstein for all prime ideals p of height less than n, and we will give a partial answer of Tachikawa conjecture and Auslander-Reiten conjecture.
Relative Faithful Exact Functors and Their Applications to Homological Modules
本文提出$w$-忠实精确函子的概念，扩展了忠实投影、平坦和注入模的定义，并探讨了其在同调模中的应用与性质。
Let $\fa$ be an ideal of a Noetherian local ring $R$ and let $C$ be a semidualizing $R$-module. For an $R$-module $X$, we denote any of the quantities $\fd_R X$, $\Gfd_R X$ and $\GCfd_RX$ by $\T(X)$. Let $M$ be an $R$-module such that $\H_{\fa}^i(M)=0$ for all $i\neq n$. It is proved that if $\T(X)<\infty$, then $\T(\H_{\fa}^n(M))\leq\T(M)+n$ and the equality holds whenever $M$ is finitely generated. With the aid of these results, among other things, we characterize Cohen-Macaulay modules, dualizing modules and Gorenstein rings.
Let $ R $ be a Cohen-Macaulay local ring. We prove that the $ n $th syzygy module of a maximal Cohen-Macaulay $ R $-module cannot have a semidualizing direct summand for every $ n \ge 1 $. In particular, it follows that $ R $ is Gorenstein if and only if some syzygy of a canonical module of $ R $ has a non-zero free direct summand. We also give a number of necessary and sufficient conditions for a Cohen-Macaulay local ring of minimal multiplicity to be regular or Gorenstein. These criteria are based on vanishing of certain Exts or Tors involving syzygy modules of the residue field.
Let $M$ be a finitely generated module over a Noetherian local ring. This paper gives, for a given parameter ideal $Q$ for $M$, bounds for the second Hilbert coefficients ${\mathrm{e}}_Q^2(M)$ in terms of the homological degrees and torsions of modules. We also report a criterion for a certain equality of the second Hilbert coefficients of parameters and the homological torsions of modules.
For finitely generated module $M$ over a local ring $R$, the conventional notions of complete intersection dimension $\cid_R M$ and Cohen-Macaulay dimension $\cmdim_R M$ do not extend to cover the case of infinitely generated modules. In this paper we introduce similar invariants for not necessarily finitely generated modules, (namely, complete intersection flat and Cohen-Macaulay flat dimensions) which for finitely generated modules, coincide with the corresponding classical ones.
We obtain various characterizations of commutative Noetherian local rings $(R, \fm)$ in terms of homological dimensions of certain finitely generated modules. For example, we establish that $R$ is Gorenstein if the Gorenstein injective dimension of the maximal ideal $\fm$ of $R$ is finite. Furthermore we prove that $R$ must be regular if a single $\Ext_{R}^{n}(I,J)$ vanishes for some integrally closed $\fm$-primary ideals $I$ and $J$ of $R$ and for some integer $n\geq \dim(R)$. Along the way we observe that local rings that admit maximal Cohen-Macaulay Tor-rigid modules are Cohen-Macaulay.
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。