LaTeX 2e with xy-pic and tikz-cd; 40 pages, 3+2 commutative diagrams; v.3: abstract rewritten, last section "Conclusion" expanded with two commutative diagrams inserted; v.4: Proposition 1.3(d), Lemma 1.4, Examples 1.8, Remarks 2.4, 5.6, 6.1, 7.3 inserted, the definition of a contraherent cosheaf spelled out in Section 2; v.5: references updated
Let $R$ be a commutative ring and $I\subset R$ a finitely generated ideal. We discuss two definitions of derived $I$-adically complete (also derived $I$-torsion) complexes of $R$-modules which appear in the literature: the idealistic and the sequential one. The two definitions are known to be equivalent for a weakly proregular ideal $I$; we show that they are different otherwise. We argue that the sequential approach works well, but the idealistic one needs to be reinterpreted or properly understood. We also consider $I$-adically flat $R$-modules.
We establish an explicit quasi-isomophism of complexes, which is homogeneous in graded situation, from a given Cech complex of modules of generalized fractions.
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.
We introduce Gorenstein silting modules (resp. complexes), and give the relation with the usual silting modules (resp. complexes). We show that Gorenstein silting modules are the module-theoretic counterpart of 2-term Gorenstein silting complexes; and partial Gorenstein silting modules are in bijection with τ_{G}-rigid modules for finite dimensional algebras of finite CM-type. We also give the relation between 2-term Gorenstein silting complexes, t-structures and torsion pair in module categories; and generalise the classical Brenner-Butler theorem to this setting; and characterise the global …
We describe Koszul type complexes associated with a linear map from any module to a free module, and vice versa with a linear map from a free module to an arbitrary module, generalizing the classical Koszul complexes. Given a short complex of finite free modules, we assemble these complexes to what we call Koszul bicomplexes. They are used in order to investigate the homology of the Koszul complexes in projective dimension one. As in the case of the classical Koszul complexes this homology turns out to be grade sensitive. In a special setup we obtain necessary conditions for a map of free modu…
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.
For the Cousin complex of certain modules, we investigate finiteness of cohomology modules, local duality property and injectivity of its terms. The existence of canonical modules of Noetherian non-local rings and the Cousin complexes of them with respect to the height filtration are discussed .
We define the notion of the canonical module of a complex. We then consider Serre's conditions for a complex and study their relationship to the local cohomology of the canonical module and its ring of endomorphisms.
We develop in this paper a stable theory for projective complexes, by which we mean to consider a chain complex of finitely generated projective modules as an object of the factor category of the homotopy category modulo split complexes. As a result of the stable theory we are able to prove that a complex of finitely generated projective modules over a generically Gorenstein ring is exact if and only if its dual complex is exact. This shows the dependence of total reflexivity conditions for modules over a generically Gorenstein ring.
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 compute the tensor triangular spectrum of perfect complexes of filtered modules over a commutative ring, and deduce a classification of the thick tensor ideals. We give two proofs: one by reducing to perfect complexes of graded modules which have already been studied in the literature, and one more direct for which we develop some useful tools.
In this thesis, the class of modules whose Cousin complexes have finitely generated cohomologies are studied as a subclass of modules which have uniform local cohomological annihilators and it is shown that these two classes coincide over local rings with Cohen-Macaulay formal fibres. This point of view enables us to obtain some properties of modules with finite Cousin complexes and find some characterizations of them. In this connection we discuss attached prime ideals of certain local cohomology modules in terms of cohomologies of Cousin complexes. In continuation, we study the top local coh…
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…
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 …
There is a well known link from the first topic in the title to the third one. In this paper we thread that link through the second topic. The central result is a criterion for the tensor nilpotence of morphisms of perfect complexes over commutative noetherian rings, in terms of a numerical invariant of the complexes known as their level. Applications to local rings include a strengthening of the Improved New Intersection Theorem, short direct proofs of several results equivalent to it, and lower bounds on the ranks of the modules in every finite free complex that admits a structure of differe…
We show that various derived categories of torsion modules and contramodules over the adic completion of a commutative ring by a weakly proregular ideal are full subcategories of the related derived categories of modules. By the work of Dwyer-Greenlees and Porta-Shaul-Yekutieli, this implies an equivalence between the (bounded or unbounded) conventional derived categories of the abelian categories of torsion modules and contramodules. Over the adic completion of a commutative ring by an arbitrary finitely generated ideal, we obtain an equivalence between the derived categories of complexes of …
For a simplicial complex X on {1,2, ..., n} we define enriched homology and cohomology modules. They are graded modules over k[x_1, ..., x_n] whose ranks are equal to the dimensions of the reduced homology and cohomology groups. We characterize Cohen-Macaulay, l-Cohen-Macaulay, Buchsbaum, and Gorenstein* complexes X, and also orientable manifolds in terms of the enriched modules. We introduce the notion of girth for simplicial complexes and make a conjecture relating the girth to invariants of the simplicial complex. We also put strong vanishing conditions on the enriched homology modules and …
The socle of a graded Buchsbaum module is studied and is related to its local cohomology modules. This algebraic result is then applied to face enumeration of Buchsbaum simplicial complexes and posets. In particular, new necessary conditions on face numbers and Betti numbers of such complexes and posets are established. These conditions are used to settle in the affirmative Kühnel's conjecture for the maximum value of the Euler characteristic of a $2k$-dimensional simplicial manifold on $n$ vertices as well as Kalai's conjecture providing a lower bound on the number of edges of a simplicial ma…
In this paper, we define and study a notion of Ding projective dimension for complexes of left modules over associative rings. In particular, we consider the class of homologically bounded below complexes of left R-modules, and show that Ding projective dimension has a nice functorial description.
Let R be a commutative noetherian ring. We give criteria for a complex of cotorsion flat R-modules to be minimal, in the sense that every self homotopy equivalence is an isomorphism. To do this, we exploit Enochs' description of the structure of cotorsion flat R-modules. More generally, we show that any complex built from covers in every degree (or envelopes in every degree) is minimal, as well as give a partial converse to this in the context of cotorsion pairs. As an application, we show that every R-module is isomorphic in the derived category over R to a minimal semi-flat complex of cotors…
We introduce a notion of pure-minimality for chain complexes of modules and show that it coincides with (homotopic) minimality in standard settings, while being a more useful notion for complexes of flat modules. As applications, we characterize von Neumann regular rings and left perfect rings.
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 define and study a notion of Gorenstein projective dimension for complexes of left modules over associative rings. For complexes of finite Gorenstein projective dimension we define and study a Tate cohomology theory. Tate cohomology groups have a natural transformation to classical Ext groups. In the case of module arguments, we show that these maps fit into a long exact sequence, where every third term is a relative cohomology group defined for left modules of finite Gorenstein projective dimension.
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.
Let $R=\Bbbk [x_1,..., x_m]$ be a polynomial ring in $m$ variables over $\Bbbk$ with the standard $\mathbb{Z}^m$ grading and $L$ a multigraded Noetherian $R$-module. When $\Bbbk$ is a field, Tchernev has an explicit construction of a multigraded free resolution called the T-resolution of $L$ over $R$. Despite the explicit canonical description, this method uses linear algebraic methods, which makes the structure hard to understand. This paper gives a combinatorial description for the free modules, making the T-resolution clearer. In doing so, we must introduce an ordering on the elements. This…
Let $R$ be a noetherian commutative ring, and \[ \mathbb F: ...\rightarrow F_2\rightarrow F_1\rightarrow F_0\rightarrow 0 \] a complex of flat $R$-modules. We prove that if $κ(\mathfrak p)\otimes_R\mathbb F$ is acyclic for every $\mathfrak p\in\Spec R$, then $\mathbb F$ is acyclic, and $H_0(\mathbb F)$ is $R$-flat. It follows that if $\mathbb F$ is a (possibly unbounded) complex of flat $R$-modules and $κ(\mathfrak p)\otimes_R \mathbb F$ is exact for every $\mathfrak p\in\Spec R$, then $\mathbb G\otimes_R^\bullet\mathbb F$ is exact for every $R$-complex $\mathbb G$. If, moreover, $\mathbb F$ i…
We reformulate the problem of bounding the total rank of the homology of perfect chain complexes over the group ring $\mathbb{F}_p[G]$ of an elementary abelian $p$-group $G$ in terms of commutative algebra. This extends results of Carlsson for $p=2$ to all primes. As an intermediate step, we construct an embedding of the derived category of perfect chain complexes over $\mathbb{F}_p[G]$ into the derived category of $p$-DG modules over a polynomial ring.
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.
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…
Every projective module is flat. Conversely, every flat module is a direct limit of finitely generated free modules; this was proved independently by Govorov and Lazard in the 1960s. In this paper we prove an analogous result for complexes of modules, and as applications we reprove some results due to Enochs and García Rozas and to Neeman.
Support and rank varieties of modules over a group algebra of an elementary abelian p-group have been well studied. In particular, Avrunin and Scott showed that in this setting, the rank and support varieties are equivalent. Avramov and Buchweitz proved an analogous result for pairs of modules over arbitrary commutative local complete intersection rings. In this paper we study support and rank varieties in the triangulated category of totally acyclic chain complexes over a complete intersection ring and show that these varieties are also equivalent.
We prove that over a commutative noetherian ring the three approaches to introducing depth for complexes: via Koszul homology, via Ext modules, and via local cohomology, all yield the same invariant. Using this result, we establish a far reaching generalization of the classical Auslander-Buchsbaum formula for the depth of finitely generated modules of finite projective dimension. We extend also Iversen's amplitude inequality to unbounded complexes. As a corollary we deduce: Given a local homomorphism Q-->R, if there is a non-zero finitely generated R-module that has finite flat dimension both …
On the category of bounded complexes of finitely generated free squarefree modules over the polynomial ring S, there is the standard duality functor D = Hom_S(-, omega_S) and the Alexander duality functor A. The composition AD is an endofunctor on this category, of order three up to translation. We consider complexes F of free squarefree modules such that both F, AD(F) and (AD)^2(F) are pure, when considered as singly graded complexes. We conjecture i) the existence of such triplets of complexes for given triplets of degree sequences, and ii) the uniqueness of their Betti numbers, up to scalar…
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…
A characterization of Cohen-Macaulay rings in terms of levels of perfect complexes
Institute for the Advancement of Higher Education, Okayama University of Science（冈山理科大学高等教育推进研究所）；Graduate School of Mathematics, Nagoya University（名古屋大学大学院数学研究科）
We extend the notions of complete intersection dimension and lower complete intersection dimension to the category of complexes with finite homology and verify basic properties analogous to those holding for modules. We also discuss the question of the behavior of complete intersection dimension with respect to short exact sequences.
Let A be a noetherian AS regular Koszul quiver algebra (if A is commutative, it is essentially a polynomial ring), and grA the category of finitely generated graded left A-modules. Following Jorgensen, we define the Castelnuovo-Mumford regularity reg(X) of a complex X \in D^b(grA) in terms of the local cohomologies or the minimal projective resolution of X. Let A^! be the quadratic dual ring of A. For the Koszul duality functor DG : D^b(grA) -> D^b(grA^!), we have reg(X) = max {i | H^i(DG (X)) \ne 0}. Using these concepts, we study weakly Koszul modules (= componentwise linear modules) over A^…
We show that a finite regular cell complex with the intersection property is a Cohen-Macaulay space iff the top enriched cohomology module is the only nonvanishing one. We prove a comprehensive generalization of Balinski's theorem on convex polytopes. Also we show that for any Cohen-Macaulay cell complex as above, although there is no generalization of the Stanley-Reisner ring of simplicial complexes, there is a generalization of its canonical module.
For complexes of modules we study two new constructions, which we call the pinched tensor product and the pinched Hom. They provide new methods for computing Tate homology and Tate cohomology, which lead to conceptual proofs of balancedness of Tate (co)homology for modules over associative rings. Another application we consider is in local algebra. Under conditions of vanishing of Tate (co)homology, the pinched tensor product of two minimal complete resolutions yields a minimal complete resolution.
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…
This paper studies infinite acyclic complexes of finitely generated free modules over a commutative noetherian local ring $(R,m)$ with $m^3=0$. Conclusive results are obtained on the growth of the ranks of the modules in acyclic complexes, and new sufficient conditions are given for total acyclicity. Results are also obtained on the structure of rings that admit acyclic complexes; part of this structure is exhibited by every ring $R$ that admits a non-free finitely generated non-zero module $M$ with $Ext^n(M,R)=0$ for a few $n>0$.
Let (R, m) be a local commutative ring. Suppose that m is principal and that m^2 = 0. We give a complete description of the cellular lattice of perfect chain complexes of modules over this ring.
Let $M$ be a finite module over a noetherian ring $R$ with a free resolution of length 1. We consider the generalized Koszul complexes $\mathcal{C}_{\barλ}(t)$ associated with a map $\barλ:M\to\mathcal{H}$ into a finite free $R$-module $\mathcal{H}$ (see [IV], section 3), and investigate the homology of $\mathcal{C}_{\barλ}(t)$ in the special setup when $\grade I_M=\rank M=\dim R$. ($I_M$ is the first non-vanishing Fitting ideal of $M$.) In this case the (interesting) homology of $\mathcal{C}_{\barλ}(t)$ has finite length, and we deduce some length formulas. As an application we give a short a…
