Xiao-Wu Chen, Srikanth B. Iyengar
Examples are given to show that the support of a complex of modules over a commutative noetherian ring may not be read off the minimal semi-injective resolution of the complex. The same examples also show that a localization of a semi-injective complex need not be semi-injective.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
A complex $X$ is called Ding injective if there exists an exact sequence of injective complexes $\ldots \rightarrow E_1 \rightarrow E_0 \rightarrow E_{-1} \rightarrow \ldots$ such that $X = Ker(E_0 \rightarrow E_{-1})$, and the sequence remains exact when the functor $Hom(A,-)$ is applied to it, for any $FP$-injective complex $A$. We prove that, over any ring $R$, a complex is Ding injective if and only if it is a complex of Ding injective modules. We use this to show that the class of Ding injective complexes is enveloping over any ring.
Weakly Ding injective complexes
在左凝聚环上定义弱Ding内射复形类，研究其生成的余挠对，并展示为阿贝尔模型结构的一部分；在Ding-Chen环上证明稳定链复形范畴紧生成且三角等价于四个Frobenius范畴的稳定范畴。
Finitistic injective dimension exceeding finitistic projective dimension for a commutative ring
构造一个交换环，其大有限射影维数为1而内射维数为2，反驳了Bass关于交换环维数比较的猜想。
Gorenstein injective filtrations over rings with dualizing complexes
本文将Gorenstein环上Gorenstein内射模的有限Gorenstein内射子模滤过结论，推广至带对偶复形的交换诺特环，并用Auslander范畴和截面函子实现了这类滤过。
We characterize Ding modules and complexes over Ding-Chen rings. We show that over a Ding-Chen ring R, the Ding projective (resp. Ding injective, resp. Ding flat) R-modules coincide with the Gorenstein projective (resp. Gorenstein injective, resp. Gorenstein flat) modules, which in turn are nothing more than modules appearing as a cycle of an exact complex of projective (resp. injective, resp. flat) modules. We prove a similar characterization for chain complexes of R-modules: A complex is Ding projective (resp. Ding injective, resp. Ding flat) if and only if each component is Ding projective …
Complexes of finite Gorenstein flat and injective dimensions
本文证明若交换Noetherian局部环上存在深度、Gorenstein平坦维数和Gorenstein内射维数均有限的复形，则该环为Gorenstein环，从而肯定回答了Christensen、Foxby和Holm的原始问题并将其推广到复形。
We give a sufficient condition for the class of Gorenstein injective modules be precovering: if $R$ is right noetherian and if the class of Gorenstein injective modules, $\mathcal{GI}$, is closed under filtrations, then $\mathcal{GI}$ is precovering in $R-Mod$. The converse is also true when we assume that $\mathcal{GI}$ is covering. We extend our results to the category of complexes. We prove that if the class of Gorenstein injective modules is closed under filtrations then the class of Gorenstein injective complexes is precovering in $Ch(R)$. We also give a sufficient condition for the exist…
It is proven that each indecomposable injective module over a valuation domain $R$ is polyserial if and only if each maximal immediate extension $\widehat{R}$ of $R$ is of finite rank over the completion $\widetilde{R}$ of $R$ in the $R$-topology. In this case, for each indecomposable injective module $E$, the following invariants are finite and equal: its Malcev rank, its Fleischer rank and its dual Goldie dimension. Similar results are obtained for chain rings satisfying some additional properties. It is also shown that each indecomposable injective module over one Krull-dimensional local No…
G-levels of perfect complexes
论文证明了在特定条件下，交换noetherian环的Gorenstein维数与完美复复的G级有关，并给出了局部环的G级公式。
For a given class of modules $\A$, we denote by $\widetilde{\A}$ the class of exact complexes $X$ having all cycles in $\A$, and by $dw(\A)$ the class of complexes $Y$ with all components $Y_j$ in $\A$. We consider a two sided noetherian ring $R$ and we use the notations $\mathcal{GI}$ $(\mathcal{GF}, \mathcal{GP})$ for the class of Gorenstein injective (flat, projective respectively) $R$-modules. We prove (Theorem 1) that the following are equivalent: 1. Every exact complex of injective modules is totally acyclic. 2. Every exact complex of Gorenstein injective modules is in $\widetilde{\mathc…
It is proved that a module M over a commutative noetherian ring R is injective if Ext^i((R/p)_p,M)=0 holds for every i\ge 1 and every prime ideal p in R. This leads to the following characterization of injective modules: If F is faithfully flat, then a module M such that Hom(F,M) is injective and Ext^i(F,M)=0 for all i\ge 1 is injective. A limited version of this characterization is also proved for certain non-noetherian rings.
K-injective complexes in commutative algebra
本文证明交换诺特环上内射模复形的K-内射性可由局部化或完备化检测，并推广Grothendieck正则性下降定理至非交换环。
Let $R$ a commutative ring, $\mathfrak{a} \subset R$ an ideal, $I$ an injective $R$-module and $S \subset R$ a multiplicatively closed set. When $R$ is Noetherian it is well-known that the $\mathfrak{a}$-torsion sub-module $Γ_{\mathfrak{a}}(I)$, the factor module $I/Γ_{\mathfrak{a}}(I)$ and the localization $I_S$ are again injective $R$-modules. We investigate these properties in the case of a commutative ring $R$ by means of a notion of relatively-$\mathfrak{a}$-injective $R$-modules. In particular we get another characterization of weakly pro-regular sequences in terms of relatively injectiv…
Let R be a commutative ring and S be an R-algebra. It is well-known that if N is an injective R-module, then Hom(S,N) is an injective S-module. The converse is not true, not even if R is a commutative noetherian local ring and S is its completion, but it is close: It is a special case of our main theorem that in this setting, an R-module N with Ext^i(S,N)=0 for all i>0 is injective if Hom(S,N) is an injective S-module.
We establish a link between trace modules and rigidity in modules over Noetherian rings. Using the theory of trace ideals we make partial progress on a question of Dao, and on the Auslander-Reiten conjecture over Artinian Gorenstein rings.
Homological dimensions of complexes over coherent regular rings
本文将 Iacob-Iyengar 关于 Avromov-Foxby 问题的结果从 Noether 环推广到凝聚环，证明凝聚环正则当且仅当复形的内射/投射维数等于分次内射/分次投射维数，并推广到 FP-内射和平坦模情形。
Let $R$ be a ring with identity and $\C(R)$ denote the category of complexes of $R$-modules. In this paper we study the homotopy categories arising from projective (resp. injective) complexes as well as Gorenstein projective (resp. Gorenstein injective) modules. We show that the homotopy category of projective complexes over $R$, denoted $\KPC$, is always well generated and is compactly generated provided $\KPR$ is so. Based on this result, it will be proved that the class of Gorenstein projective complexes is precovering, whenever $R$ is a commutative noetherian ring of finite Krull dimension…
Resolutions of Koszul complexes and applications
该研究聚焦Koszul复形的投射与内射分解问题，推导相关分解形式，并将其应用于Koszul同调模的研究，拓展了同调代数的应用场景。
In this note, finite modules locally of finite injective dimension over commutative Noetherian rings are characterized in terms of vanishing of Ext modules.
Foxby defined the (Krull) dimension of a complex of modules over a commutative Noetherian ring in terms of the dimension of its homology modules. In this note it is proved that the dimension of a bounded complex of free modules of finite rank can be computed directly from the matrices representing the differentials of the complex.
We investigate commutative Noetherian rings of prime characteristic such that the Frobenius functor applied to any injective module is again injective. We characterize the class of one-dimensional local rings with this property and show that it includes all one-dimensional F-pure rings.
In this note, we study commutative Noetherian local rings having finitely generated modules of finite Gorenstein injective dimension. In particular, we consider whether such rings are Cohen-Macaulay.
A question of Avramov and Foxby concerning injective dimension of complexes is settled in the affirmative for the class of noetherian rings. A key step in the proof is to recast the problem on hand into one about the homotopy category of complexes of injective modules. Analogous results for flat dimension and projective dimension are also established.
Let R be a ring (not necessarily commutative). A left R-module is said to be cotorsion if Ext 1 R (G, M) = 0 for any flat R-module G. It is well known that each pure-injective left R-module is cotorsion, but the converse does not hold: for instance, if R is left perfect but not left pure-semisimple then each left R-module is cotorsion but there exist non-pure-injective left modules. The aim of this paper is to describe the class C of commutative rings R for which each cotorsion R-module is pure-injective. It is easy to see that C contains the class of von Neumann regular rings and the one of p…
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.
Let $(R,\frak m)$ be a commutative Noetherian local ring and let $M$ and $N$ be finitely generated $R$-modules of finite injective dimension and finite Gorenstein injective dimension, respectively. In this paper we prove a generalization of Ischebeck Formula, that is $\depth_RM+\sup\{i| {0.1cm}\Ext_R^i(M,N)\neq 0\}=\depth R.$
Let R be a commutative Noetherian ring and A an Artinian R-module. We prove that if A has finite Gorenstein injective dimension, then A possesses a Gorenstein injective envelope which is special and Artinian. This, in particular, yields that over a Gorenstein ring any Artinian module possesses a Gorenstein injective envelope which is special and Artinian.
A notion of rigidity with respect to an arbitrary semidualizing complex C over a commutative noetherian ring R is introduced and studied. One of the main result characterizes C-rigid complexes. Specialized to the case when C is the relative dualizing complex of a homomorphism of rings of finite Gorenstein dimension, it leads to broad generalizations of theorems of Yekutieli and Zhang concerning rigid dualizing complexes, in the sense of Van den Bergh. Along the way, a number of new results concerning derived reflexivity with respect to C are established. Noteworthy is the statement that derive…
For a commutative ring R and a faithfully flat R-algebra S we prove, under mild extra assumptions, that an R-module M is Gorenstein flat if and only if the left S-module S\otimes M is Gorenstein flat, and that an R-module N is Gorenstein injective if and only if it is cotorsion and the left S-module Hom(S,N) is Gorenstein injective. We apply these results to the study of Gorenstein homological dimensions of unbounded complexes. In particular, we prove two theorems on stability of these dimensions under faithfully flat (co-)base change.
Let $\text{Red}(M)$ be the sum of all reduced submodules of a module $M$. For modules over commutative rings, $\text{Soc}(M)\subseteq \text{Red}(M)$. By drawing motivation from how $\text{Soc}$-injective modules were defined by Amin et. al. in \cite{amin2005}, we introduce $\text{Red}$-injective modules, study their properties and use them to characterize quasi-Frobenius rings and $V$-rings.
Duality between injective envelopes and flat covers
本文在交换诺特环上建立内射包与平坦覆盖之间的对偶性，证明态射为内射包当且仅当其Matlis对偶为平坦覆盖，并指出交换两者后蕴含关系一般不成立。
For a ring $A$, we consider the question whether every bounded above cochain complex of injective $A$-modules which is acyclic is null-homotopic. We show that if $A$ is left and right noetherian and has a dualizing complex, then this implies that the finitistic dimension of $A$ is finite. In the appendix, Nakamura and Thompson show that the opposite holds over any ring. Our results give several new necessary and sufficient conditions for a ring to have finite finitistic dimension in a very general setting. Applications include a generalization of a recent result of Rickard about relations betw…
Duality Between Injective Envelopes and Flat Covers over Noether Algebras
本文将交换诺特环上内射包络与平坦覆盖的对偶关系推广到非交换诺特代数领域，拓展了相关同调代数结论的适用范围。
In this paper we undertake a basic study on connective commutative differential graded algebras (CDGA), more precisely, piecewise Noetherian CDGA, which is a DG-counter part of commutative Noetherian algebra. We establish basic results for example, Auslaner-Buchsbaum formula and Bass formula without any unnecessary assumptions. The key notion is the sup-projective (sppj) and inf-injective (ifij) resolutions introduced by the author, which are DG-versions of the projective and injective resolution for ordinary modules. These are different from DG-projective and DG-injective resolutions which is…
We define the notion of universal lift of a projective complex based on non-commutative parameter algebras, and prove its existence and uniqueness. We investigate the properties of parameter algebras for universal lifts.
An $R$-module $M$ is Hopfian (co-Hopfian) if any epic (monic) endomorphism of $M$ is an automorphism. If $R$ is commutative Noetherian, we characterize the co-Hopfian injective $R$-modules, and the Hopfian injectives in the case that $R$ is also reduced. For a commutative Artinian principal ideal ring, we show that $M$ is Hopfian (co-Hopfian) if and only if $M$ is finitely generated if and only if its injective envelope $E(M)$ is Hopfian (co-Hopfian) if and only if $E(M)$ is finitely generated. We identify the obstacle to generalizing this result to arbitrary Artinian principal ideal rings.
A commutative ring is said to have ITI with respect to an ideal a if the a-torsion functor preserves injectivity of modules. Classes of rings with ITI or without ITI with respect to certain sets of ideals are identified. Behaviour of ITI under formation of rings of fractions, tensor products and idealisation is studied. Applications to local cohomology over non-noetherian rings are given.
S-FP-injective modules
本文在交换环的乘法子集S上引入S-FP-内射模概念，并证明在特定条件下S-诺特性与S-FP-内射模等于S-内射模等价，同时给出S-凝聚环的相应刻画。
Level Inequalities for Complexes
本文证明诺特环上同调有界复形的各类同调水平（投射、内射、平坦及Gorenstein型）均受其同调模直和的相应维数加一或二界定，并应用于正则及Gorenstein局部环，得到最优界及Bass公式版本。
A commutative noetherian ring with a dualizing complex is Gorenstein if and only if every acyclic complex of injective modules is totally acyclic. We extend this characterization, which is due to Iyengar and Krause, to arbitrary commutative noetherian rings, i.e. we remove the assumption about a dualizing complex. In this context Gorenstein, of course, means locally Gorenstein at every prime.
We describe a general correspondence between injective (resp. projective) recollements of triangulated categories and injective (resp. projective) cotorsion pairs. This provides a model category description of these recollement situations. Our applications focus on displaying several recollements that glue together various full subcategories of K(R), the homotopy category of chain complexes of modules over a general ring R. When R is (left) Noetherian ring, these recollements involve complexes built from the Gorenstein injective modules. When R is a (left) coherent ring for which all flat modu…
Using the notion of cyclically pure injective modules, a characterization for rings which are locally valuation is established. As applications, new characterizations for Prufer domains and pure semi-simple rings are provided. Namely, we show that a domain R is Prufer if and only if two of the three classes of pure injective, cyclically pure injective and RD-injective modules are equal. Also, we prove that a commutative ring R is pure semi-simple if and only if every R-module is cyclically pure injective.
Let $A$ be a commutative noetherian ring, let $\mathfrak{a}\subseteq A$ be an ideal, and let $I$ be an injective $A$-module. A basic result in the structure theory of injective modules states that the $A$-module $Γ_{\mathfrak{a}}(I)$ consisting of $\mathfrak{a}$-torsion elements is also an injective $A$-module. Recently, de Jong proved a dual result: If $F$ is a flat $A$-module, then the $\mathfrak{a}$-adic completion of $F$ is also a flat $A$-module. In this paper we generalize these facts to commutative noetherian DG-rings: let $A$ be a commutative non-positive DG-ring such that $\mathrm{H}^…
This thesis is comprised of three chapters. The first chapter deals with bounded complexes of Gorenstein projective and Gorenstein injective modules. Deploying methods of relative homological algebra, we approximate such complexes with bounded complexes of projective and injective modules, respectively. As an application, we investigate the Gorenstein version of the New Intersection Theorem. The second chapter studies the notion of cofiniteness for modules and complexes set forth by Hartshorne. Recruiting techniques of derived category, we study this notion thoroughly, obtain novel results, an…
Auslander-Reiten conjecture and finite injective dimension of Hom
本研究在交换Noetherian环上有限生成模的两个Hom模至少其一具有限内射维数的条件下解决了Auslander-Reiten猜想，并给出Gorenstein局部环的新刻画。
Structure of irreducible homomorphisms to/from free and injective modules
本文研究交换诺特局部环上自由模与内射模的不可约同态结构，扩展了已有工作，并探讨完备情形下阿廷模范畴中的不可约单态射与满态射。
Gorenstein homological dimensions are refinements of the classical homological dimensions, and finiteness singles out modules with amenable properties reflecting those of modules over Gorenstein rings. As opposed to their classical counterparts, these dimensions do not immediately come with practical and robust criteria for finiteness, not even over commutative noetherian local rings. In this paper we enlarge the class of rings known to admit good criteria for finiteness of Gorenstein dimensions: It now includes, for instance, the rings encountered in commutative algebraic geometry and, in the…
Let $M$ and $N$ be modules over a commutative ring $R$ with $N$ Noetherian. We define the injective capacity of $M$ with respect to $N$ over $R$ to be the supremum of the values $t$ for which $N^{\oplus t}$ embeds into $M$. In a dual fashion, we deem the number of cogenerators of $N$ with respect to $M$ over $R$ to be the infimum of the numbers $t$ for which $N$ embeds into $M^{\oplus t}$. We demonstrate that the global injective capacity is the infimum of its local analogues and that the global number of cogenerators is the supremum of the corresponding local invariants. We also prove enhance…
In this paper we present a new approach to Grothendieck duality over commutative rings. Our approach is based on the idea of rigid dualizing complexes, which was introduced by Van den Bergh in the context of noncommutative algebraic geometry. The method of rigidity was modified to work over general commutative base rings in our paper [YZ5]. In the present paper we obtain many of the important local features of Grothendieck duality, yet manage to avoid lengthy and difficult compatibility verifications. Our results apply to essentially finite type algebras over a regular noetherian finite dimens…
We extend the theory of Koszul and Buchsbaum-Eisenbud complexes to modules over commutative OI-algebras and show that they still have the familiar properties of the classical complexes. In particular, the OI-complexes are generically acyclic and often provide width-wise minimal free resolutions.
Let $R$ be a commutative ring. We show that pure injective resolutions and pure projective resolutions can be constructed for unbounded complexes of $R$-modules. We use these to obtain a closed symmetric monoidal structure on the unbounded pure derived category.
We describe new classes of noetherian local rings $R$ whose finitely generated modules $M$ have the property that $Tor_i^R(M,M)=0$ for $i\gg 0$ implies that $M$ has finite projective dimension, or $Ext^i_R(M,M)=0$ for $i\gg 0$ implies that $M$ has finite projective dimension or finite injective dimension.
Criteria for finite injective dimension of modules over a local ring
本文在交换诺特局部环上，利用满足重数与型不等式的 Cohen--Macaulay 模及有限多个 Ext 模的消失来刻画模的有限内射维数，并由此恢复已有结果、给出新的充分条件。
It is proved that for a commutative noetherian ring with dualizing complex the homotopy category of projective modules is equivalent, as a triangulated category, to the homotopy category of injective modules. Restricted to compact objects, this statement is a reinterpretation of Grothendieck's duality theorem. Using this equivalence it is proved that the (Verdier) quotient of the category of acyclic complexes of projectives by its subcategory of totally acyclic complexes and the corresponding category consisting of injective modules are equivalent. A new characterization is provided for comple…
Let $R$ be a commutative ring with identity and $S$ a multiplicative subset of $R$. First, we introduce and study the $S$-projective dimensions and $S$-injective dimensions of $R$-modules, and then explore the $S$-global dimension $S$-gl.dim$(R)$ of a commutative ring $R$ which is defined to be the supremum of $S$-projective dimensions of all $R$-modules. Finally, we investigated the $S$-global dimension of factor rings and polynomial rings.
The structure of cyclically pure injective modules over a commutative ring $R$ is investigated and several characterizations for them are presented. In particular, we prove that a module $D$ is cyclically pure injective if and only if $D$ is isomorphic to a direct summand of a module of the form $\Hom_R(L,E)$ where $L$ is the direct sum of a family of finitely presented cyclic modules and $E$ is an injective module. Also, we prove that over a quasi-complete Noetherian ring $(R,\fm)$ an $R$-module $D$ is cyclically pure injective if and only if there is a family $\{C_λ\}_{λ\in Λ}$ of cocyclic m…
Let $R$ be a commutative ring with identity and $D$ an $R$-module. It is shown that if $D$ is pure injective, then $D$ is isomorphic to a direct summand of the direct product of a family of finitely embedded modules. As a result, it follows that if $R$ is Noetherian, then $D$ is pure injective if and only if $D$ is isomorphic to a direct summand of the direct product of a family of Artinian modules. Moreover, it is proved that $D$ is pure injective if and only if there is a family $\{T_λ\}_{λ\in Λ}$ of $R$-algebras which are finitely presented as $R$-modules, such that $D$ is isomorphic to a d…
Co-Hopfian Modules
本文研究交换环上共霍普夫模的结构，证明其为分式模，并利用局部化与Matlis理论刻画诺特环上不可分解内射模及有限生成准素模的共霍普夫子模。
Let R be a commutative noetherian local ring with residue field k and assume that it is not Gorenstein. In the minimal injective resolution of R, the injective envelope E of the residue field appears as a summand in every degree starting from the depth of R. The number of copies of E in degree i equals the k-vector space dimension of the cohomology module Ext^i(k,R). These dimensions, known as Bass numbers, form an infinite sequence of invariants of R about which little is known. We prove that it is non-decreasing and grows exponentially if R is Golod, a non-trivial fiber product, or Teter, or…
It is shown that a ring is left semihereditary if and only each homomorphic image of its injective hull as left module is FP-injective. It is also proven that a commutative ring R is reduced and arithmetical if and only if E/U if FP-injective for any FP-injective R-module E and for any submodule U of finite Goldie dimension. A characterization of commutative rings for which each module of finite Goldie dimension is of injective dimension at most one is given. Let R be a chain ring and Z its subset of zerodivisors. It is proven that E/U is FP-injective for each FP-injective R-module E and each …
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。