BZPEERSource author record
Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.
Catalog footprint
Published work
We describe new classes of noetherian local rings R whose finitely generated modules M have the property that ToriR(M,M)=0 for i≫0 implies that M has finite projective dimension, or ExtRi(M,M)=0 for i≫0 implies that M has finite projective dimension or finite injective dimension.
Conditions on the Koszul complex of a noetherian local ring R guarantee that ToriR(M,N) is non-zero for infinitely many i, when M and N are finitely generated R-modules of infinite projective dimension. These conditions are obtained from results concerning Tor of differential graded modules over certain trivial extensions of commutative differential graded algebras.
A DG algebras A over a field k with H(A) connected and H<0(A)=0 has a unique up to isomorphism DG module K with H(K)≅k. It is proved that if H(A) is degreewise finite, then $RHom_A(?,K): D^{df}_{+}(A)^{op} \equiv D_{df}^{+}}(RHom_A(K,K))$ is an exact equivalence of derived categories of DG modules with degreewise finite-dimensional homology. It induces an equivalences of Dbdf(A)op and the category of perfect DG RHomA(K,K)-modules, and vice-versa. Corresponding statements are proved also when H(A) is simply connected and H<0(A)=0.
Extending a notion defined for surjective maps by Blanco, Majadas, and Rodicio, we introduce and study a class of homomorphisms of commutative noetherian rings, which strictly contains the class of locally complete intersection homomorphisms, while sharing many of its remarkable properties.
Estimates are obtained for the degrees of minimal syzygies of quotient algebras of polynomial rings. For a class that includes Koszul algebra in almost all characteristics, these degrees are shown to increase by at most 2 from one syzygy module to the next one. Even slower growth is proved if, in addition, the algebra satisfies Green and Lazarsfeld's condition N_q with q > 1.
The generating series of the Bass numbers μRi=rankkExtRi(k,R) of local rings R with residue field k are computed in closed rational form, in case the embedding dimension e of R and its depth d satisfy e−d≤3. For each such R it is proved that there is a real number γ>1, such that μRd+i≥γμRd+i−1 holds for all i≥0, except for i=2 in two explicitly described cases, where μRd+2=μRd+1=2. New restrictions are obtained on the multiplicative structures of minimal free resolutions of length 3 over regular local rings.
For any non-zero finite module M of finite projective dimension over a noetherian local ring R with maximal ideal m and residue field k, it is proved that the natural map Ext_R(k,M)-->Ext_R(k,M/mM) is non-zero when R is regular and is zero otherwise. A noteworthy aspect of the proof is the use of stable cohomology. Applications include computations of Bass series over certain local rings.
A new construction of rings is introduced, studied, and applied. Given surjective homomorphisms R→T←S of local rings, and ideals in R and S that are isomorphic to some T-module V, the \emph{connected sum} $R#_TS$ is defined to be the local ring obtained by factoring out the diagonal image of V in the fiber product R×TS. When T is Cohen-Macaulay of dimension d and V is a canonical module of T, it is proved that if R and S are Gorenstein of dimension d, then so is $R#_TS$. This result is used to study how closely an artinian ring can be approximated by Gorenstein rings mapping onto it. It is proved that when T is a field the cohomology algebra $\Ext^*_{R#_kS}(k,k)$ is an amalgam of the algebras $\Ext^*_{R}(k,k)$ and $\Ext^*_{S}(k,k)$ over isomorphic polynomial subalgebras generated by one element of degree 2. This is used to show that when T is regular, the ring $R#_TS$ almost never is complete intersection.
Given an essentially finite type morphism of schemes f: X --> Y and a positive integer d, let f^{d}: X^{d} --> Y denote the natural map from the d-fold fiber product, X^{d}, of X over Y and π_i: X^{d} --> X the i'th canonical projection. When Y smooth over a field and F is a coherent sheaf on X, it is proved that F is flat over Y if (and only if) f^{d} maps the associated points of the tensor product sheaf \otimes_{i=1}^d π_i^*(F) to generic points of Y, for some d greater than or equal to dim Y. The equivalent statement in commutative algebra is an analog---but not a consequence---of a classical criterion of Auslander and Lichtenbaum for the freeness of finitely generated modules over regular local rings.
It is proved that when R is a local ring of positive characteristic, ϕ is its Frobenius endomorphism, and some non-zero finite R-module has finite flat dimension or finite injective dimension for the R-module structure induced through ϕ, then R is regular. This broad generalization of Kunz's characterization of regularity in positive characteristic is deduced from a theorem concerning a local ring R with residue field of k of arbitrary characteristic: If ϕ is a contracting endomorphism of R, then the Betti numbers and the Bass numbers over ϕ of any non-zero finitely generated R-module grow at the same rate, on an exponential scale, as the Betti numbers of k over R.
A general method for establishing results over a commutative complete intersection local ring by passing to differential graded modules over a graded exterior algebra is described. It is used to deduce, in a uniform way, results on the growth of resolutions of complexes over such local rings.
We prove basic facts about reflexivity in derived categories over noetherian schemes; and about related notions such as semidualizing complexes, invertible complexes, and Gorenstein-perfect maps. Also, we study a notion of rigidity with respect to semidualizing complexes, in particular, relative dualizing complexes for Gorenstein-perfect maps. Our results include theorems of Yekutieli and Zhang concerning rigid dualizing complexes on schemes. This work is a continuation of part I, which dealt with commutative rings.
This article is concerned with graded modules M with linear resolutions over a standard graded algebra R. It is proved that if such an M has Hilbert series HM(s) of the form psd+qsd+1, then the algebra R is Koszul; if, in addition, M has constant Betti numbers, then HR(s)=1+es+(e−1)s2. When HR(s)=1+es+rs2 with r≤e−1, and R is Gorenstein or e=r+1≤3, it is proved that generic R-modules with q≤(e−1)p are linear.
Let $R=\bigoplus_{n\ges0}R_n$ be a graded commutative ring generated over a field K=R0 by homogeneous elements x1,…,xe of positive degrees d1,…,de. The Hilbert-Serre Theorem shows that for each finite graded R--module $M=\bigoplus_{n\in\BZ}M_n$ the {\it Hilbert series\/} $\sum_{n\in\BZ}(\rank_K M_n)t^n$ is the Laurent expansion around 0 of a rational function HM(t)=∏i=1e(1−tdi)qM(t) with $q_M(t)\in\BZ[t,\ti]$. We demonstrate that Laurent expansions [M]z of HM(t) around other points z of the extended complex plane $\overline\BC$ also carry important structural information.
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.