Search

The notion of naive lifting of DG modules was introduced by the authors in [16,17] for the purpose of studying problems in homological commutative algebra that involve self-vanishing of Ext. Our goal in this paper is to deeply study the naive lifting property using the tensor algebra of the shift of the diagonal ideal (or, diagonal tensor algebra, as is phrased in the title of this paper). Our main result provides several characterizations of naive liftability of DG modules under certain Ext vanishing conditions. As an application, we affirmatively answer [19, Question 4.10] under the same assumptions., Comment: 20 pages

The goal of this paper is to construct a semifree resolution for a non-negatively graded strongly commutative DG algebra $B$ over the enveloping DG algebra $B\otimes_AB$, where $A\subseteq B$ is a DG subalgebra and $B$ is semifree over $A$. Our construction of such a semifree resolution uses the notions of reduced bar resolution and tensor algebra of the shift of the diagonal ideal.

The notion of naive liftability of DG modules is introduced in [9] and [10]. In this paper, we study the obstruction to naive liftability along extensions $A\to B$ of DG algebras, where $B$ is projective as an underlying graded $A$-module. We show that the obstruction to naive liftability of a semifree DG $B$-module $N$ is a certain cohomology class in Ext$^1_B(N,N\otimes_B J)$, where $J$ is the diagonal ideal. Our results on obstruction class enable us to give concrete examples of DG modules that do and do not satisfy the naive lifting property.

Let n be a positive integer, and let A be a strongly commutative differential graded (DG) algebra over a commutative ring R. Assume that (a) B=A[X_1,...,X_n] is a polynomial extension of A, where X_1,...,X_n are variables of positive degrees; or (b) A is a divided power DG R-algebra and B=A is a free extension of A obtained by adjunction of variables X_1,...,X_n of positive degrees. In this paper, we study naive liftability of DG modules along the natural injection A-->B using the notions of diagonal ideals and homotopy limits. We prove that if N is a bounded below semifree DG B-module such that Ext_B^i(N, N)=0 for all i>0, then N is naively liftable to A. This implies that N is a direct summand of a DG B-module that is liftable to A. Also, the relation between naive liftability of DG modules and the Auslander-Reiten Conjecture has been described., Comment: 19 pages

A major part of this paper is devoted to an in-depth study of j-operators and their properties. This study enables us to obtain several results on liftings and weak liftings of DG modules along simple extensions of DG algebras and unify the proofs of the existing results obtained by the authors on these subjects. Finally, we provide a new characterization of the (weak) lifting property of DG modules along simple extensions of DG algebras., Comment: 20 pages

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., Comment: Some errors and typos are corrected, and several examples are added

We give a principle in derived categories, which lies behind the classical Auslander-Reiten duality and its generalized version by Iyama and Wemyss. We apply the principle to show the validity of the Auslander-Reiten conjecture over a Gorenstein ring in the case where the ring has dimension larger than two and the singular locus has at most one dimension., Comment: This is the pre-peer reviewed version of the published article; 11 pages

Let $B = A< X | dX=t >$ be an extended DG algebra by the adjunction of variable of positive even degree $n$, and let $N$ be a semi-free DG $B$-module that is assumed to be bounded below as a graded module. We prove in this paper that $N$ is liftable to $A$ if $Ext_B^{n+1}(N,N)=0$. Furthermore such a lifting is unique up to DG isomorphisms if $Ext_B^{n}(N,N)=0$., Comment: 17 pages

We give a necessary condition of degeneration via matrix representations, and consider degenerations of indecomposable Cohen-Macaulay modules over hypersurface singularities of type ($A_\infty$). We also provide a method to construct degenerations of finitely generated modules over commutative rings., Comment: 10 pages

Let $R$ be a commutative Noetherian ring. We introduce the notion of localization functors $\lambda^W$ with cosupports in arbitrary subsets $W$ of $\text{Spec}\, R$; it is a common generalization of localizations with respect to multiplicatively closed subsets and left derived functors of ideal-adic completion functors. We prove several results about the localization functors $\lambda^W$, including an explicit way to calculate $\lambda^W$ by the notion of Cech complexes. As an application, we can give a simpler proof of a classical theorem by Gruson and Raynaud, which states that the projective dimension of a flat $R$-module is at most the Krull dimension of $R$. As another application, it is possible to give a functorial way to replace complexes of flat $R$-modules or complexes of finitely generated $R$-modules by complexes of pure-injective $R$-modules., Comment: 26 pages, to appear in Pacific J. Math

Let R be a commutative Noetherian ring. We introduce the notion of colocalization functors with supports in arbitrary subsets of Spec R, which is a natural generalization of right derived functors of section functors with supports in specialization-closed subsets. We prove that the local duality theorem and the vanishing theorem of Grothendieck type hold for colocalization functors., Comment: Theorem 1.3 was improved, and Section 5 was revised. Some results in Section 5 were removed to be included in a forthcoming paper. The title and some terminologies were changed. 16 pages, Accepted for publication in J. Pure Appl. Algebra

Given a noether algebra with a noncommutative resolution, a general construction of new noncommutative resolutions is given. As an application, it is proved that any finite length module over a regular local or polynomial ring gives rise, via suitable syzygies, to a noncommutative resolution., Comment: 5 pages

We study the degeneration problem for maximal Cohen-Macaulay modules and give several examples of such degenerations. It is proved that such degenerations over an even-dimensional simple hypersurface singularity of type $(A_n)$ are given by extensions. We also prove that all extended degenerations of maximal Cohen-Macaulay modules over a Cohen-Macaulay complete local algebra of finite representation type are obtained by iteration of extended degenerations of Auslander-Reiten sequences., Comment: 13 pages

As a stable analogue of degenerations, we introduce the notion of stable degenerations for Cohen-Macaulay modules over a Gorenstein local algebra. We shall give several necessary and/or sufficient conditions for the stable degeneration. These conditions will be helpful to see when a Cohen-Macaulay module degenerates to another., Comment: 29 pages, to appear in Journal of Algebra

The main purposes of this paper are to establish and exploit the result that, over a complete (Noetherian) local ring $R$ of prime characteristic for which the Frobenius homomorphism $f$ is finite, the appropriate restrictions of the Matlis-duality functor provide an equivalence between the category of left modules over the Frobenius skew polynomial ring $R[x,f]$ that are Artinian as $R$-modules and the category of right $R[x,f]$-modules that are Noetherian as $R$-modules., Comment: 16 pages, to appear in the Mathematical Proceedings of the Cambridge Philosophical Society. This revised version includes two additionl references and points out that some of the results have been obtained independently by M. Blickle and G. Boeckle

We propose to define the notion of abstract local cohomology functors. The derived functors of the ordinary local cohomology functor with support in the closed subset defined by an ideal and the generalized local cohomology functor associated with a given pair of ideals are characterized as elements of the set of all the abstract local cohomology functors., Comment: To appear in Mathematical Journal of Okayama University

Let R be a commutative Noetherian local ring. We show that R is Gorenstein if and only if every finitely generated R-module can be embedded in a finitely generated R-module of finite projective dimension. This extends a result of Auslander and Bridger to rings of higher Krull dimension, and it also improves a result due to Foxby where the ring is assumed to be Cohen-Macaulay., Comment: 4 pages, final version, to appear in Proc. Amer. Math. Soc

We develop the theory of Gr\"obner bases for ideals in a polynomial ring with countably infinite variables over a field. As an application we reconstruct some of the one-one correspondences among various sets of partitions by using division algorithm., Comment: 17 pages

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., Comment: 56 pages

In this paper we are concerned with the finiteness property of Ext-indices of several ring extensions. In this direction, we introduce some conjectures and discuss the relationship of them. Also we give affirmative answers to these conjectures in some special cases. Furthermore, we prove that the trivial extension of an Artinian local ring by its residue class field is always of finite Ext-index and we show that the Auslander-Reiten conjecture is true for this type of rings., Comment: 11 pages

We introduce an idea for generalization of a local cohomology module, which we call a local cohomology module with respect to a pair of ideals (I,J), and study their various properties. Some vanishing and nonvanishing theorems are given for this generalized version of local cohomology. We also discuss its connection with the ordinary local cohomology., Comment: 28 pages, minor corrections, to appear in J. Pure Appl. Algebra

We introduce the notion of mutation of $n$-cluster tilting subcategories in a triangulated category with Auslander-Reiten-Serre duality. Using this idea, we are able to obtain the complete classifications of rigid Cohen-Macaulay modules over certain Veronese subrings., Comment: 52 pages. To appear in Invent. Math

Cohen-Macaulay dimension for modules over a commutative noetherian local ring has been defined by A. A. Gerko. That is a homological invariant sharing many properties with projective dimension and Gorenstein dimension. The main purpose of this paper is to extend the notion of Cohen-Macaulay dimension for modules over commutative noetherian local rings to that for bounded complexes over non-commutative noetherian rings., Comment: 19 pages, to appear in J. Math. Kyoto Univ

Let $R$ be a commutative Noetherian ring and let $\G$ be the category of modules of G-dimension zero over $R$. We denote the associated stable category by $\pG$. We show that the functor category $\modpG$ is a Frobenius category and we argue how this property could characterize $\G$ as a subcategory of $\modR$., Comment: 22 pages

Let $(R, \m)$ be a commutative Noetherian local ring with $\m^3 =(0)$. We give a condition for $R$ to have a non-free module of G-dimension zero. We shall also construct a family of non-isomorphic indecomposable modules of G-dimension zero with parameters in an open subset of projective space. We shall finally show that the subcategory consisting of modules of G-dimension zero over $R$ is not necessarily a contravariantly finite subcategory in the category of finitely generated $R$-modules., Comment: 20 pages