Let $M$ be a finitely generated module over a local complete intersection $R$ of characteristic $p>0$. The property that $M$ has finite projective dimension can be characterized by the vanishing of $\ext_R^i({}^{f^n} R,M)$ for some $i>0$ and for some $n>0$.
Let $S$ be a polynomial ring over an algebraic closed field $k$ and $ \mathfrak p =(x,y,z,w) $ a homogeneous height four prime ideal. We give a finite characterization of the degree two component of ideals primary to $\mathfrak p$, with multiplicity $e \leq 3$. We use this result to give a tight bound on the projective dimension of almost complete intersections generated by five quadrics with $e \leq 3$.
Let $(R,\fm)$ be commutative Noetherian local ring. It is shown that $R$ is Cohen--Macaulay ring if there exists a Cohen--Macaulay finite (i.e. finitely generated) $R$--module with finite upper Gorenstein dimension. In addition, we show that, in the Intersection Theorem, projective dimension can be replaced by quasi--projective dimension.
This expository note delves into the theory of projective modules parallel to the one developed for injective modules by Matlis. Given a perfect ring $R$, we present a characterization of indecomposable projective $R$-modules and describe a one-to-one correspondence between the projective indecomposable $R$-modules and the simple $R$-modules.
In this paper, we study a particular case of Gorenstein projective, injective, and flat modules, which we call, respectively, strongly Gorenstein projective, injective, and flat modules. These last three modules give us a new characterization of the first modules, and confirm that there is an analogy between the notion of Gorenstein projective, injective, and flat modules and the notion of the usual projective, injective, and flat modules.
We introduce the notion of residual intersections of modules and prove their existence. We show that projective dimension one modules have Cohen-Macaulay residual intersections, namely they satisfy the relevant Artin-Nagata property. We then establish a formula for the core of orientable modules satisfying certain homological conditions, extending previous results of Corso, Polini, and Ulrich on the core of projective one modules. Finally, we provide examples of classes of modules that satisfy our assumptions.
The main aim of this paper is to investigate rings over which all (finitely generated strongly) Gorenstein projective modules are projective. We consider this propriety under change of rings, and give various examples of rings with and without this propriety.
In \cite{Ouarghi}, the authors discuss the rings over which all modules are strongly Gorenstein projective. In this paper, we are interesting to an extension of this idea. Thus, we discuss the rings over which every Gorenstein projective (resp. flat) module is strongly Gorenstein projective (resp, flat). Our aim is to give examples of rings with different Gorenstein global dimension satisfied this condition.
We discuss a class of modules, which we call $\underline{g}$-weak complete intersection modules, inspired by the weak complete intersection ideals studied by Rahmati, Striuli, and Yang and we present explicit formulas for the generators of Koszul homology with coefficients in a $\underline{g}$-weak complete intersection module. This generalizes work of Herzog and of Corso, Goto, Huneke, Polini, and Ulrich. We use these explicit formulas to study connections between $\underline{g}$-weak complete intersection ideals and weak complete intersection ideals.
Let $R$ be a ring. An $R$-module $M$ is said to be a weak $w$-projective module if ${\rm Ext}_R^1(M,N)=0$ for all $N \in \mathcal{P}_{w}^{\dagger_\infty}$ (see, \cite{FLQ}). In this paper, we introduce and study some properties of weak $w$-projective modules. And we use these modules to characterize some classical rings, for example, we will prove that a ring $R$ is a $DW$-ring if and only if every weak $w$-projective is projective, $R$ is a Von Neumann regular ring if and only if every FP-projective is weak $w$-projective if and only if every finitely presented $R$-module is weak $w$-projecti…
This paper generalize the idea of the authors in \cite{Bennis and Mahdou1}. Namely, we define and study a particular case of modules with Gorenstein projective, injective, and flat dimension less or equal than $n\geq 0$, which we call, respectively, strongly n-Gorenstein projective, injective and flat modules. These three classes of modules give us a new characterization of the first modules, and they are a generalization of the notions of strongly Gorenstein projective, injective, and flat modules respectively.
Differential modules are natural generalizations of complexes. In this paper, we study differential modules with complete intersection homology, comparing and contrasting the theory of these differential modules with that of the Koszul complex. We construct a Koszul differential module that directly generalizes the classical Koszul complex and investigate which properties of the Koszul complex can be generalized to this setting.
We show that, over a local complete intersection, every possible variety is realized as the cohomological support variety of some module. Moreover, we show that the projective variety of a complete indecomposable maximal Cohen-Macaulay module is connected.
Let $k$ be an arbitrary field, the purpose of this work is to provide families of positive integers $\mathcal{A} = \{d_1,\ldots,d_n\}$ such that either the toric ideal $I_{\mathcal A}$ of the affine monomial curve $\mathcal C = \{(t^{d_1},\ldots,\,t^{d_n}) \ | \ t \in k\} \subset \mathbb{A}_k^n$ or the toric ideal $I_{\mathcal A^{\star}}$ of its projective closure ${\mathcal C^{\star}} \subset \mathbb{P}_k^n$ is a complete intersection. More precisely, we characterize the complete intersection property for $I_{\mathcal A}$ and for $I_{\mathcal A^{\star}}$ when: (a) $\mathcal{A}$ is a generaliz…
One of the main results of this paper is the characterization of the rings over which all modules are strongly Gorenstein projective. We show that these kinds of rings are very particular cases of the well-known quasi-Frobenius rings. We give examples of rings over which all modules are Gorenstein projective but not necessarily strongly Gorenstein projective.
Let $R$ be a ring. An $R$-module $M$ is said to be an absolutely $w$-pure module if and only if $\Ext^1_R(F,M)$ is a GV-torsion module for any finitely presented module $F$. In this paper, we introduce and study the concept of $w$-FP-projective module which is in some way a generalization of the notion of $\rm FP$-projective module. An $R$-module $M$ is said to be $w$-$\rm FP$-projective if $\Ext^1_R(M,N)=0$ for any absolutely $w$-pure module $N$. This new class of modules will be used to characterize (Noetherian) $DW$ rings. Hence, we introduce the $w$-$\rm FP$-projective dimensions of module…
Let $R$ be a commutative ring. An $R$-module $M$ is said to be super finitely presented if there is an exact sequence of $R$-modules $\cdots\rightarrow P_n\rightarrow\cdots \rightarrow P_1\rightarrow P_0\rightarrow M\rightarrow 0$ where each $P_i$ is finitely generated projective. In this paper it is shown that if $R$ has the property (B) that every super finitely presented module has finite Gorenstein projective dimension, then every finitely generated Gorenstein projective module is super finitely presented. As an application of the notion of super finitely presented modules, we show that if…
Let $R$ be a commutative ring. A quasi-Gorenstein $R$-module is an $R$-module such that the grade of the module and the projective dimension of the module are equal and the canonical module of the module is isomorphic to the module itself. After discussing properties of finitely generated quasi-Gorenstein modules, it is shown that this definition allows for a characterization of diagonal matrices of maximal rank over a Noetherian factorial domain $R$ extending a theorem of Frobenius and Stickelberger to modules of projective dimension 1 over a commutative Noetherian factorial domain.
This paper generalize the idea of the authors in J. Pure Appl. Algebra 210 (2007) 437--445. Namely, we define and study a particular case of Gorenstein projective modules. We investigate some change of rings results for this new kind of modules. Examples over not necessarily Noetherian rings are given.
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.
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 …
In this paper, first we obtain some new and interesting results on projective modules and on the upper topology of an ordinal number. Then it is shown that the rank map of a locally of finite type projective module is continuous with respect to the upper topology (by contract, it is well known this map is not necessarily continuous with respect to the discrete topology). It is also proved that a finitely generated flat module is projective if and only if its rank map is continuous with respect to the upper topology.
In this paper, we investigate the notions of $\mathcal{X}^\bot$-projective, $\mathcal{X}$-injective and $\mathcal{X}$-flat modules and give some characterizations of these modules, where $\mathcal{X}$ is a class of left $R$-modules. We prove that the class of all $\mathcal{X}^\bot$-projective modules is Kaplansky. Further, if the class of all $\mathcal{X}$-projective $R$-modules is closed under direct limits, we show the existence of $\mathcal{X}^\bot$-projective covers and $\mathcal{X}$-injective envelopes over a $\mathcal{X}^\bot$-hereditary ring $R.$ Moreover, we decompose a $\mathcal{X}^\b…
We study two properties of modules over a local hypersurface $R$: decency and rigidity. We show that the vanishing of Hochster's function $θ^R(M,N)$, known to imply decent intersection, also implies rigidity. We investigate the vanishing of $θ^R(M,N)$ to obtain new results about decency and rigidity over hypersurfaces. We employ a mixture of techniques from Commutative Algebra and Intersection Theory of algebraic cycles.
School of Mathematics and Statistics, Tianshui Normal University(天水师范学院数学与统计学院);School of Mathematics and Physics, Southwest University of Science and Technology(西南科技大学数学与物理学院)
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.
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.
Based on the fact that projective monomial curves in the plane are complete intersections, we give an effective inductive method for creating infinitely many monomial curves in the projective $n$-space that are set theoretic complete intersections. We illustrate our main result by giving different infinite families of examples. Our proof is constructive and provides one binomial and $(n-2)$ polynomial explicit equations for the hypersurfaces cutting out the curve in question.
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…
We prove rigidity type results on the vanishing of stable (co)homology for modules of finite complete intersection dimension, results which generalize and improve upon known results. We also introduce a notion of pre-rigidity, which generalizes phenomena for modules of finite complete intersection dimension and complexity one. Using this concept, we prove results on length and vanishing of homology modules.
Motivated by the Pontryagin-Hill criteria of freeness for abelian groups, we investigate conditions under which unions of ascending chains of projective modules are again projective. Several extensions of these criteria are proved for modules over arbitrary rings and domains, including a genuine generalization of Hill's theorem for projective modules over Prüfer domains with a countable number of maximal ideals. More precisely, we prove that, over such domains, modules which are unions of countable ascending chains of projective, pure submodules are likewise projective.
Let A be a Noetherian commutative ring. Assume that projective modules of rank r over polynomial extensions of A are extended from A. Then projective modules of rank r over discrete Hodge A-algebras are also extended from A. This result extends a result of T. Vorst.
Commutative rings in which every prime ideal is the intersection of maximal ideals are called Hilbert (or Jacobson) rings. We propose to define classical Hilbert modules by the property that {\it classical prime} submodules are the intersection of maximal submodules. It is shown that all co-semisimple modules as well as all Artinian modules are classical Hilbert modules. Also, every module over a zero-dimensional ring is classical Hilbert. Results illustrating connections amongst the notions of classical Hilbert module and Hilbert ring are also provided. Rings $R$ over which all $R$-modules ar…
This paper studies the essential normality of Bergman modules over the intersection of complex ellipsoids, as well as their quotients by monomial ideals.
The minimal free resolution of the coordinate ring of a complete intersection in projective space is a Koszul complex on a regular sequence. In the product of projective spaces $\mathbb{P}^1 \times \mathbb{P}^1$, we investigate which sets of points have a virtual resolution that is a Koszul complex on a regular sequence. This paper provides conditions on sets of points; some of which guarantee the points have this property, and some of which guarantee the points do not have this property.
In this paper, from an arbitrary smooth projective curve of genus at least two, we construct a non-Gorenstein Cohen-Macaulay normal domain and a nonfree totally reflexive module over it.
In this paper, we characterize several properties of commutative notherian local rings in terms of the left perpendicular category of the category of finitely generated modules of finite projective dimension. As an application we prove that a local ring is regular if (and only if) there exists a strong test module for projectivity having finite projective dimension. We also obtain corresponding results with respect to a semidualizing module.
I classify projective modules over idempotent semirings that are free on a monoid. The analysis extends to the case of the semiring of convex, piecewise-affine functions on a polyhedron, for which projective modules correspond to convex families of weight polyhedra for the general linear group.
Let A be an artin algebra. An A-module M is semi-Gorenstein-projective provided that Ext^i(M,A) = 0 for all i > 0. If M is Gorenstein-projective, then both M and its A-dual M* are semi-Gorenstein projective. As we have shown recently, the converse is not true, thus answering a question raised by Avramov and Martsinkovsky. The aim of the present note is to analyse in detail the modules M such that both M and M* are semi-Gorenstein-projective.
We give a result of Auslander-Ringel-Tachikawa type for Gorenstein-projective modules over a complete Gorenstein order. In particular, we prove that a complete Gorenstein order is of finite Cohen-Macaulay representation type if and only if every indecomposable pure-injective object in the stable category of Gorenstein-projective modules is compact.