arXiv subjects
Publications and source records attributed to Luchezar L. Avramov.
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.
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).
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.
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.
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)$.
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.
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.
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.