Showing 1–30 of 30 results for author: Avramov, L L

Polynomial growth of Betti sequences over local rings

Authors: Luchezar L. Avramov, Alexandra Seceleanu, Zheng Yang

Abstract: This is a study of the sequences of Betti numbers of finitely generated modules over a complete intersection local ring, $R$. The subsequences $\{β^R_{i}(M)\}_{i\geq 0}$ with even, respectively, odd $i$ are known to be eventually given by polynomials in i with equal leading terms. We show that these polynomials coincide if $I^\square$, the ideal generated by the quadratic relations of the associat… ▽ More This is a study of the sequences of Betti numbers of finitely generated modules over a complete intersection local ring, $R$. The subsequences $\{β^R_{i}(M)\}_{i\geq 0}$ with even, respectively, odd $i$ are known to be eventually given by polynomials in i with equal leading terms. We show that these polynomials coincide if $I^\square$, the ideal generated by the quadratic relations of the associated graded ring of $R$, satisfies ${\rm height}\ I^\square \ge {\rm codim}\ R -1$, and that the converse holds if $R$ is homogeneous or ${\rm codim}\ R \le 4$. Subsequently Avramov, Packauskas, and Walker proved that the terms of degree $j > {\rm codim}\ R - {\rm height}\ I^\square$ of the even and odd Betti polynomials are equal. We give a new proof of that result, based on an intrinsic characterization of residue rings of c.i. local rings of minimal multiplicity obtained in this paper. We also show that that bound is optimal. △ Less

Submitted 4 January, 2024; v1 submitted 9 August, 2022; originally announced August 2022.

MSC Class: Primary: 13D02; 13D40. Secondary: 14M10; 16E45

Persistence of homology over commutative noetherian rings

Authors: Luchezar L. Avramov, Srikanth B. Iyengar, Saeed Nasseh, Sean K. Sather-Wagstaff

Abstract: 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. 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. △ Less

Submitted 21 May, 2020; originally announced May 2020.

Comments: 23 pages

MSC Class: 13D07 (primary); 13D02; 13D40 (secondary)

Restricting homology to hypersurfaces

Authors: Luchezar L. Avramov, Srikanth B. Iyengar

Abstract: This paper concerns the homological properties of a module $M$ over a commutative noetherian ring $R$ relative to a presentation $R\cong P/I$, where $P$ is local ring. It is proved that the Betti sequence of $M$ with respect to $P/(f)$ for a regular element $f$ in $I$ depends only on the class of $f$ in $I/\mathfrak{n} I$, where $\mathfrak{n}$ is the maximal ideal of $P$. Applications to the theor… ▽ More This paper concerns the homological properties of a module $M$ over a commutative noetherian ring $R$ relative to a presentation $R\cong P/I$, where $P$ is local ring. It is proved that the Betti sequence of $M$ with respect to $P/(f)$ for a regular element $f$ in $I$ depends only on the class of $f$ in $I/\mathfrak{n} I$, where $\mathfrak{n}$ is the maximal ideal of $P$. Applications to the theory of supports sets in local algebra and in the modular representation theory of elementary abelian groups are presented. △ Less

Submitted 9 May, 2018; v1 submitted 18 March, 2018; originally announced March 2018.

Comments: 17 pages. This version differs from the previous one only in Section 5, where the statement of Theorem 5.1 has changed. This paper will appear in "Geometric and topological aspects of the representation theory of finite groups", to be published by Springer in the series titled "Proceedings in Mathematics"

MSC Class: 13D07 (primary); 16E45; 13D02; 13D40 (secondary)

Big Cohen-Macaulay modules, morphisms of perfect complexes, and intersection theorems in local algebra

Authors: Luchezar L. Avramov, Srikanth B. Iyengar, Amnon Neeman

Abstract: 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… ▽ More 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 differential graded module over the Koszul complex on some system of parameters. △ Less

Submitted 10 November, 2017; originally announced November 2017.

Comments: 16 pages

MSC Class: 13D22 (primary); 13D02; 13D09 (secondary)

Journal ref: Doc. Math. 23, 1601-1619 (2018)

Homology over trivial extensions of commutative DG algebras

Authors: Luchezar L. Avramov, Srikanth B. Iyengar, Saeed Nasseh, Sean Sather-Wagstaff

Abstract: Conditions on the Koszul complex of a noetherian local ring $R$ guarantee that $\mathrm{Tor}^{R}_{i}(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. Conditions on the Koszul complex of a noetherian local ring $R$ guarantee that $\mathrm{Tor}^{R}_{i}(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. △ Less

Submitted 4 August, 2015; originally announced August 2015.

Comments: 14 pages

MSC Class: 13D07 (primary); 16E45; 13D02; 13D40 (secondary)

Subadditivity of syzygies of Koszul algebras

Authors: Luchezar L. Avramov, Aldo Conca, Srikanth B. Iyengar

Abstract: 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. 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. △ Less

Submitted 30 August, 2013; originally announced August 2013.

Comments: 19 pages

MSC Class: 13D02; 16S37

(Contravariant) Koszul duality for DG algebras

Authors: Luchezar L. Avramov

Abstract: 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)\cong 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… ▽ More 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)\cong 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 $D^{df}_{b}(A)^{op}$ and the category of perfect DG $RHom_A(K,K)$-modules, and vice-versa. Corresponding statements are proved also when $H(A)$ is simply connected and $H^{<0}(A)=0$. △ Less

Submitted 18 May, 2013; originally announced May 2013.

Comments: 33 pages

MSC Class: 16E45; 16E35; 16E30; 16E30

Journal ref: Proceedings of Abel Symposium 2011 "Algebras, quivers and representations"

Bass numbers over local rings via stable cohomology

Authors: Luchezar L. Avramov, Srikanth B. Iyengar

Abstract: 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. 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. △ Less

Submitted 22 August, 2012; originally announced August 2012.

Comments: 7 pages

MSC Class: 13D07 (Primary) 13D02; 13D40 (Secondary)

A cohomological study of local rings of embedding codepth 3

Authors: Luchezar L. Avramov

Abstract: The generating series of the Bass numbers $μ^i_R=\mathrm{rank}_k \mathrm{Ext}^i_R(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\le 3$. For each such $R$ it is proved that there is a real number $γ>1$, such that $μ^{d+i}_R\geγμ^{d+i-1}_R$ holds for all $i\ge 0$, except for $i=2$ in two… ▽ More The generating series of the Bass numbers $μ^i_R=\mathrm{rank}_k \mathrm{Ext}^i_R(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\le 3$. For each such $R$ it is proved that there is a real number $γ>1$, such that $μ^{d+i}_R\geγμ^{d+i-1}_R$ holds for all $i\ge 0$, except for $i=2$ in two explicitly described cases, where $μ^{d+2}_R=μ^{d+1}_R=2$. New restrictions are obtained on the multiplicative structures of minimal free resolutions of length 3 over regular local rings. △ Less

Submitted 10 February, 2012; v1 submitted 19 May, 2011; originally announced May 2011.

Comments: In version 2 numerous typos have been corrected, details have been added in a few places, and local rearrangements have been made. To appear in JPAA. 24 pages

MSC Class: 13D07; 13D40

Homological invariants of modules over contracting endomorphisms

Authors: Luchezar L. Avramov, Melvin Hochster, Srikanth B. Iyengar, Yongwei Yao

Abstract: 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… ▽ More 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. △ Less

Submitted 22 May, 2011; v1 submitted 14 October, 2010; originally announced October 2010.

Comments: 14 pages. This has been accepted for publication in the Math. Ann

MSC Class: 13D05; 13D02

Quasi-complete intersection homomorphisms

Authors: Luchezar L. Avramov, Inês B. Henriques, Liana M. Şega

Abstract: 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. 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. △ Less

Submitted 4 November, 2013; v1 submitted 11 October, 2010; originally announced October 2010.

Comments: Final version, to appear in the special issue of Pure and Applied Mathematics Quarterly dedicated to Andrey Todorov. The material in the first four sections has been reorganized and slightly expanded

Connected sums of Gorenstein local rings

Authors: H. Ananthnarayan, Luchezar L. Avramov, W. Frank Moore

Abstract: A new construction of rings is introduced, studied, and applied. Given surjective homomorphisms $R\to T\gets 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\times_TS$. When $T$ is Cohen-Macaulay of dimension $d$ and… ▽ More A new construction of rings is introduced, studied, and applied. Given surjective homomorphisms $R\to T\gets 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\times_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 map** 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. △ Less

Submitted 10 February, 2011; v1 submitted 7 May, 2010; originally announced May 2010.

Comments: This version includes a new theorem (Theorem 1.8), in which results due to D'Anna and Shapiro are completed and strengthened. Other changes to the text are minor. To appear in Crelle's J

MSC Class: 13D07 (Primary); 13D40

Short Koszul modules

Authors: Luchezar L. Avramov, Srikanth B. Iyengar, Liana M. Sega

Abstract: 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 $H_M(s)$ of the form $ps^d+qs^{d+1}$, then the algebra R is Koszul; if, in addition, M has constant Betti numbers, then $H_R(s)=1+es+(e-1)s^{2}$. When $H_R(s)=1+es+rs^{2}$ with $r\leq e-1$, and R is Gorenstein or $e=r+1\le 3$, it is proved that… ▽ More 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 $H_M(s)$ of the form $ps^d+qs^{d+1}$, then the algebra R is Koszul; if, in addition, M has constant Betti numbers, then $H_R(s)=1+es+(e-1)s^{2}$. When $H_R(s)=1+es+rs^{2}$ with $r\leq e-1$, and R is Gorenstein or $e=r+1\le 3$, it is proved that generic R-modules with $q\leq(e-1)p$ are linear. △ Less

Submitted 3 May, 2010; originally announced May 2010.

Comments: To appear in the special issue of the Journal of Commutative Algebra, dedicated to Ralf Froeberg's 65th birthday.

Cohomology over complete intersections via exterior algebras

Authors: Luchezar L. Avramov, Srikanth B. Iyengar

Abstract: 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. 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. △ Less

Submitted 28 March, 2010; originally announced March 2010.

Comments: 18 pages; to appear in "Triangulated categories (Leeds, 2006)", LMS lecture notes series.

MSC Class: 13D02; 16E45 (primary); 13D07; 13D25; 13H10; 20J06 (secondary)

Detecting flatness over smooth bases

Authors: Luchezar L. Avramov, Srikanth B. Iyengar

Abstract: 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 prod… ▽ More 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. △ Less

Submitted 20 January, 2011; v1 submitted 18 February, 2010; originally announced February 2010.

Comments: 11 pages; significant changes in the presentation from the previous version. To appear in the Journal of Algebraic Geometry

MSC Class: 14B25; 13B40; 13C12 (secondary)

Reflexivity and rigidity for complexes, II: Schemes

Authors: Luchezar L. Avramov, Srikanth B. Iyengar, Joseph Lipman

Abstract: 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… ▽ More 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. △ Less

Submitted 20 January, 2010; originally announced January 2010.

Comments: 40 pages

MSC Class: 14A15; 14B25 (Primary) 13D05 (Secondary)

Reflexivity and rigidity for complexes. I. Commutative rings

Authors: Luchezar L. Avramov, Srikanth B. Iyengar, Joseph Lipman

Abstract: 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… ▽ More 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 derived C-reflexivity is a local property; it implies that a finite R-module M has finite G-dimension over R if it is locally of finite G-dimension. △ Less

Submitted 15 September, 2009; v1 submitted 29 April, 2009; originally announced April 2009.

Comments: 31 pages. Major revisions in Sections 1 and 6. To appear in `Algebra and Number Theory'

MSC Class: 13D05; 13D25 (Primary); 13C15; 13D03 (Secondary)

Reduction of derived Hochschild functors over commutative algebras and schemes

Authors: Luchezar L. Avramov, Srikanth B. Iyengar, Joseph Lipman, Suresh Nayak

Abstract: We study functors underlying derived Hochschild cohomology, also called Shukla cohomology, of a commutative algebra S essentially of finite type and of finite flat dimension over a commutative noetherian ring K. We construct a complex of S-modules D, and natural reduction isomorphisms Ext^*_{S\otimes^L_{K}S}(S|K;M\otimes^L_{K}N) ~ Ext^*_S(RHom_S(M,D),N) for all complexes of S-modules N and all… ▽ More We study functors underlying derived Hochschild cohomology, also called Shukla cohomology, of a commutative algebra S essentially of finite type and of finite flat dimension over a commutative noetherian ring K. We construct a complex of S-modules D, and natural reduction isomorphisms Ext^*_{S\otimes^L_{K}S}(S|K;M\otimes^L_{K}N) ~ Ext^*_S(RHom_S(M,D),N) for all complexes of S-modules N and all complexes M of finite flat dimension over K whose homology H(M) is finitely generated over S; such isomorphisms determine D up to derived isomorphism. Using Grothendieck duality theory we establish analogous isomorphisms for any essentially finite type flat maps f: X->Y of noetherian schemes, with f^!(O_Y) in place of D. △ Less

Submitted 18 September, 2009; v1 submitted 25 April, 2009; originally announced April 2009.

Comments: 32 pages. Minor changes from previous version. To appear in the Advances in Mathematics

MSC Class: 13D03; 14B25 (Primary); 14M05; 16E40 (Secondary)

Free resolutions over commutative Koszul algebras

Authors: Luchezar L. Avramov, Aldo Conca, Srikanth B. Iyengar

Abstract: For R=Q/J with Q a commutative graded algebra over a field and J non-zero, we relate the slopes of the minimal resolutions of R over Q and of k=R/R_{+} over R. When Q and R are Koszul and J_1=0 we prove Tor^Q_i(R,k)_j=0 for j>2i, for each non-negative integer i, and also for j=2i when i>dim Q-dim R and pd_QR is finite. For R=Q/J with Q a commutative graded algebra over a field and J non-zero, we relate the slopes of the minimal resolutions of R over Q and of k=R/R_{+} over R. When Q and R are Koszul and J_1=0 we prove Tor^Q_i(R,k)_j=0 for j>2i, for each non-negative integer i, and also for j=2i when i>dim Q-dim R and pd_QR is finite. △ Less

Submitted 18 April, 2009; originally announced April 2009.

Comments: 13 pages

MSC Class: 13D40; 16S37

Free resolutions over short local rings

Authors: Luchezar L. Avramov, Srikanth B. Iyengar, Liana M. Sega

Abstract: The structure of minimal free resolutions of finite modules M over commutative local rings (R,m,k) with m^3=0 and rank_k(m^2) < rank_k(m/m^2)is studied. It is proved that over generic R every M has a Koszul syzygy module. Explicit families of Koszul modules are identified. When R is Gorenstein the non-Koszul modules are classified. Structure theorems are established for the graded k-algebra Ext_… ▽ More The structure of minimal free resolutions of finite modules M over commutative local rings (R,m,k) with m^3=0 and rank_k(m^2) < rank_k(m/m^2)is studied. It is proved that over generic R every M has a Koszul syzygy module. Explicit families of Koszul modules are identified. When R is Gorenstein the non-Koszul modules are classified. Structure theorems are established for the graded k-algebra Ext_R(k,k) and its graded module Ext_R(M,k). △ Less

Submitted 9 April, 2008; v1 submitted 30 July, 2007; originally announced July 2007.

Comments: 17 pages; number of minor changes. This article will appear in the Journal of the London Math. Soc

MSC Class: 13D02 (Primary); 13D07 (Secondary)

Gorenstein algebras and Hochschild cohomology

Authors: L. L. Avramov, S. Iyengar

Abstract: For homomorphism K-->S of commutative rings, where K is Gorenstein and S is essentially of finite type and flat as a K-module, the property that all non-trivial fiber rings of K-->S are Gorenstein is characterized in terms of properties of the cohomology modules Ext_n^{S\otimes_KS}S{S\otimes_KS}. For homomorphism K-->S of commutative rings, where K is Gorenstein and S is essentially of finite type and flat as a K-module, the property that all non-trivial fiber rings of K-->S are Gorenstein is characterized in terms of properties of the cohomology modules Ext_n^{S\otimes_KS}S{S\otimes_KS}. △ Less

Submitted 28 April, 2009; v1 submitted 27 April, 2007; originally announced April 2007.

Comments: This is the published version, except for updates to references and bibliography. Sections 3, 4 and 8 have been removed from the preceding version, arXiv:0704.3761v2. Substantial generalizations of results in those sections are proved in our paper with Joseph Lipman and Suresh Nayak, arXiv:0904.4004

MSC Class: 13D03; 14B25 (Primary) 14M05; 16E40 (Secondary)

Journal ref: Mich. Math. J. 57 (2008), 17--35

Constructing modules with prescribed cohomological support

Authors: Luchezar L. Avramov, Srikanth B. Iyengar

Abstract: A cohomological support, Supp_A(M), is defined for finitely generated modules M over an left noetherian ring R, with respect to a ring A of central cohomology operations on the derived category of R-modules. It is proved that if the A-module Ext^R(M,M) is noetherian and Ext_i^R(M,R)=0 for i>>0, then every closed subset of Supp_A(M) is the support of some finitely generated R-module. This theorem… ▽ More A cohomological support, Supp_A(M), is defined for finitely generated modules M over an left noetherian ring R, with respect to a ring A of central cohomology operations on the derived category of R-modules. It is proved that if the A-module Ext^R(M,M) is noetherian and Ext_i^R(M,R)=0 for i>>0, then every closed subset of Supp_A(M) is the support of some finitely generated R-module. This theorem specializes to known realizability results for varieties of modules over group algebras, over local complete intersections, and over finite dimensional algebras over a field. The theorem is also used to produce large families of finitely generated modules of finite projective dimension over commutative local noetherian rings. △ Less

Submitted 30 July, 2007; v1 submitted 22 February, 2007; originally announced February 2007.

Comments: To appear in the Illinois Journal of Mathematics, the issue honoring Phillip Griffith. Revised version has 18 pages. A word (the first one) has been added to the title and the material has been reorganized into seven sections, in place of the original six. There are, however, no changes of any substance

MSC Class: 16E40 (Primary) 13D03; 13H10; 20J06 (Secondary)

Homology of perfect complexes

Authors: L. L. Avramov, R. -O. Buchweitz, S. B. Iyengar, C. Miller

Abstract: It is proved that the sum of the Loewy lengths of the homology modules of a finite free complex F over a local ring R is bounded below by a number depending only on R. This result uncovers, in the structure of modules of finite projective dimension, obstructions to realizing R as a closed fiber of some flat local homomorphism. Other applications include, as special cases, uniform proofs of known r… ▽ More It is proved that the sum of the Loewy lengths of the homology modules of a finite free complex F over a local ring R is bounded below by a number depending only on R. This result uncovers, in the structure of modules of finite projective dimension, obstructions to realizing R as a closed fiber of some flat local homomorphism. Other applications include, as special cases, uniform proofs of known results on free actions of elementary abelian groups and of tori on finite CW complexes. The arguments use numerical invariants of objects in general triangulated categories, introduced here and called levels. They allow one to track, through changes of triangulated categories, homological invariants like projective dimension, as well as structural invariants like Loewy length. An intermediate result sharpens, with a new proof, the New Intersection Theorem for commutative algebras over fields. Under additional hypotheses on the ring $R$ stronger estimates are proved for Loewy lengths of modules of finite projective dimension. △ Less

Submitted 18 May, 2010; v1 submitted 31 August, 2006; originally announced September 2006.

Comments: This version corrects an error in the statement (and proof) of Theorem 7.4 in the published version of the paper [Adv. Math. 223 (2010) 1731--1781]. These changes do not affect any other results or proofs in the paper. A corrigendum has been submitted.

MSC Class: 13D02; 13D22; 13D09 (primary) 13H10; 18E30; 19J35 (secondary)

Journal ref: Adv. Math. 223 (2010) 1731--1781

Class and rank of differential modules

Authors: Luchezar L. Avramov, Ragnar-Olaf Buchweitz, Srikanth Iyengar

Abstract: A differential module is a module equipped with a square-zero endomorphism. This structure underpins complexes of modules over rings, as well as differential graded modules over graded rings. We establish lower bounds on the class--a substitute for the length of a free complex--and on the rank of a differential module in terms of invariants of its homology. These results specialize to basic theo… ▽ More A differential module is a module equipped with a square-zero endomorphism. This structure underpins complexes of modules over rings, as well as differential graded modules over graded rings. We establish lower bounds on the class--a substitute for the length of a free complex--and on the rank of a differential module in terms of invariants of its homology. These results specialize to basic theorems in commutative algebra and algebraic topology. One instance is a common generalization of the equicharacteristic case of the New Intersection Theorem of Hochster, Peskine, P. Roberts, and Szpiro, concerning complexes over noetherian commutative rings, and of a theorem of G. Carlsson on differential graded modules over graded polynomial rings. △ Less

Submitted 24 January, 2007; v1 submitted 15 February, 2006; originally announced February 2006.

Comments: 27 pages. Minor changes; mainly stylistic. To appear in Inventiones Mathematicae

MSC Class: 13Dxx (Primary); 16Exx; 55Uxx (Secondary)

Stable cohomology over local rings

Authors: Luchezar L. Avramov, Oana Veliche

Abstract: The focus of this paper is on a poorly understood invariant of a commutative noetherian local ring $R$ with residue field $k$: the stable cohomology modules $\hat{Ext}^{n}_R(k,k)$, defined for each $n\in\mathbb{Z}$ by Benson and Carlson, Mislin, and Vogel; it coincides with Tate cohomology when $R$ is Gorenstein. It is proved that important properties of $R$, such as being regular, complete inte… ▽ More The focus of this paper is on a poorly understood invariant of a commutative noetherian local ring $R$ with residue field $k$: the stable cohomology modules $\hat{Ext}^{n}_R(k,k)$, defined for each $n\in\mathbb{Z}$ by Benson and Carlson, Mislin, and Vogel; it coincides with Tate cohomology when $R$ is Gorenstein. It is proved that important properties of $R$, such as being regular, complete intersection, or Gorenstein, are detected by the $k$-rank of $\hat{Ext}^{n}_R(k,k)$ for an arbitrary $n\in\mathbb{Z}$. Such numerical characterizations are made possible by results on the structure of $\mathbb{Z}$-graded $k$-algebra carried by $\hat{Ext}^{n}_R(k,k)$. It is proved that in many cases this algebra is determined by the absolute cohomology algebra through a canonical homomorphism ${Ext}^{n}_R(k,k)\to\hat{Ext}^{n}_R(k,k)$. △ Less

Submitted 10 January, 2007; v1 submitted 31 July, 2005; originally announced August 2005.

Comments: Final version, to appear in Adv. Math. Major reorganization of the presentation. Many minor corrections

MSC Class: 13D07; 13H10; 20J06

Homology over local homomorphisms

Authors: Luchezar L. Avramov, Srikanth Iyengar, Claudia Miller

Abstract: The notions of Betti numbers and of Bass numbers of a finite module N over a local ring R are extended to modules that are only assumed to be finite over S, for some local homomorphism f: R --> S. Various techniques are developed to study the new invariants and to establish their basic properties. In several cases they are computed in closed form. Applications go in several directions. One is to… ▽ More The notions of Betti numbers and of Bass numbers of a finite module N over a local ring R are extended to modules that are only assumed to be finite over S, for some local homomorphism f: R --> S. Various techniques are developed to study the new invariants and to establish their basic properties. In several cases they are computed in closed form. Applications go in several directions. One is to identify new classes of finite R-modules whose classical Betti numbers or Bass numbers have extremal growth. Another is to transfer ring theoretical properties between R and S in situations where S may have infinite flat dimension over R. A third is to obtain criteria for a ring equipped with a `contracting' endomorphism -- such as the Frobenius endomorphism -- to be regular or complete intersection; these results represent broad generalizations of Kunz's characterization of regularity in prime characteristic. △ Less

Submitted 9 September, 2004; v1 submitted 22 December, 2003; originally announced December 2003.

Comments: To appear in the American Journal of Mathematics; new version has minor changes in the presentation; table of content removed; 52 pages

MSC Class: 13D05; 13D40; 13H10

Andre-Quillen homology of algebra retracts

Authors: L. L. Avramov, S. Iyengar

Abstract: Given a homomorphism of commutative noetherian rings $φ: R \to S$, Daniel Quillen conjectured in 1970 that if the Andre-Quillen homology functors $D_n(S|R,-)$ vanish for all $n \gg 0$, then they vanish for all $n \ge 3$. We prove the conjecture under the additional hypothesis that there exists a homomorphism of rings $ψ: S \to R$ such that $φ\circψ=\id_S$. More precisely, in this case we show th… ▽ More Given a homomorphism of commutative noetherian rings $φ: R \to S$, Daniel Quillen conjectured in 1970 that if the Andre-Quillen homology functors $D_n(S|R,-)$ vanish for all $n \gg 0$, then they vanish for all $n \ge 3$. We prove the conjecture under the additional hypothesis that there exists a homomorphism of rings $ψ: S \to R$ such that $φ\circψ=\id_S$. More precisely, in this case we show that $ψ$ is complete intersection at $φ^{-1}(\fn)$ for every prime ideal $\fn$ of $S$. Using these results, we describe all algebra retracts $S\to R\to S$ for which the $S$-algebra $Tor^R(S,S)$ is finitely generated. △ Less

Submitted 2 October, 2002; originally announced October 2002.

Comments: 30 pages. To be published in Ann. Sci. Ecole Norm. Sup. (4)

MSC Class: 13D03; 14B25 (Primary); 13H10; 14M10 (Secondary)

Extensions of a Dualizing Complex by its Ring: Commutative Versions of a Conjecture of Tachikawa

Authors: L. L. Avramov, R. -O. Buchweitz, L. M. Sega

Abstract: Let $(R,\fm,k)$ be a commutative noetherian local ring with dualizing complex $\dua R$, normalized by $\Ext^{\depth(R)}_R(k,\dua R)\cong k$. Partly motivated by a long standing conjecture of Tachikawa on (not necessarily commutative) $k$-algebras of finite rank, we conjecture that if $\Ext^n_R(\dua R,R)=0$ for all $n>0$, then $R$ is Gorenstein, and prove this in several significant cases. Let $(R,\fm,k)$ be a commutative noetherian local ring with dualizing complex $\dua R$, normalized by $\Ext^{\depth(R)}_R(k,\dua R)\cong k$. Partly motivated by a long standing conjecture of Tachikawa on (not necessarily commutative) $k$-algebras of finite rank, we conjecture that if $\Ext^n_R(\dua R,R)=0$ for all $n>0$, then $R$ is Gorenstein, and prove this in several significant cases. △ Less

Submitted 15 March, 2003; v1 submitted 22 August, 2002; originally announced August 2002.

Comments: 18 pages, to appear in Journal of Pure and Appl. Algebra. Following the comments of the referee, we removed the old section 6 and added a new section 1

Report number: formerly math.RA/0208172 MSC Class: 13D07;13D25;13H10

Locally complete intersection homomorphisms and a conjecture of Quillen on the vanishing of cotangent homology

Authors: Luchezar L. Avramov

Abstract: Classical definitions of locally complete intersection (l.c.i.) homomorphisms of commutative rings are limited to maps that are essentially of finite type, or flat. The concept introduced in this paper is meaningful for homomorphisms phi : R \longrightarrow S of commutative noetherian rings. It is defined in terms of the structure of phi in a formal neighborhood of each point of Spec S. We chara… ▽ More Classical definitions of locally complete intersection (l.c.i.) homomorphisms of commutative rings are limited to maps that are essentially of finite type, or flat. The concept introduced in this paper is meaningful for homomorphisms phi : R \longrightarrow S of commutative noetherian rings. It is defined in terms of the structure of phi in a formal neighborhood of each point of Spec S. We characterize the l.c.i. property by different conditions on the vanishing of the André-Quillen homology of the R-algebra S. One of these descriptions establishes a very general form of a conjecture of Quillen that was open even for homomorphisms of finite type: If S has a finite resolution by flat R-modules and the cotangent complex \cot SR is quasi-isomorphic to a bounded complex of flat S-modules, then phi is l.c.i. The proof uses a mixture of methods from commutative algebra, differential graded homological algebra, and homotopy theory. The l.c.i. property is shown to be stable under a variety of operations, including composition, decomposition, flat base change, localization, and completion. The present framework allows for the results to be stated in proper generality; many of them are new even with classical assumptions. For instance, the stability of l.c.i. homomorphisms under decomposition settles an open case in Fulton's treatment of orientations of morphisms of schemes. △ Less

Submitted 31 August, 1999; originally announced September 1999.

Comments: 33 pages, published version

Report number: Annals migration 4-2001

Journal ref: Ann. of Math. (2) 150 (1999), no. 2, 455-487

Laurent coefficients and Ext of finite graded modules

Authors: Luchezar L. Avramov, Ragnar-Olaf Buchweitz, Judith D. Sally

Abstract: Let $R=\bigoplus_{n\ges0}R_n$ be a graded commutative ring generated over a field $K=R_0$ by homogeneous elements $x_1,\dots,x_e$ of positive degrees $d_1,\dots,d_e$. 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… ▽ More Let $R=\bigoplus_{n\ges0}R_n$ be a graded commutative ring generated over a field $K=R_0$ by homogeneous elements $x_1,\dots,x_e$ of positive degrees $d_1,\dots,d_e$. 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 $$ H_M(t)=\frac{q_M(t)}{\prod_{i=1}^e(1-t^{d_i})} $$ with $q_M(t)\in\BZ[t,\ti]$. We demonstrate that Laurent expansions $\left[M\right]_z$ of $H_M(t)$ around other points $z$ of the extended complex plane $\overline\BC$ also carry important structural information. △ Less

Submitted 22 September, 1994; originally announced September 1994.

Report number: Formerly com-alg/940003