Searcharxiv⌕ Search

arXiv subjects

Srikanth Iyengar

Publications and source records attributed to Srikanth Iyengar.

10 recordsLinked to original sources
arXiv2007

Class and rank of differential modules

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.

math.AC↗
arXiv2006

Andre-Quillen homology of commutative algebras

These notes are an introduction to basic properties of Andre-Quillen homology for commutative algebras. They are an expanded version of my lectures at the summer school: Interactions between homotopy theory and algebra, University of Chicago, 26th July - 6th August, 2004. The aim is to give fairly complete proofs of characterizations of smooth homomorphisms and of locally complete intersection homomorphisms in terms of vanishing of Andre-Quillen homology. The choice of the material, and the point of view, are guided by these goals.

math.AC↗
arXiv2006

Acyclicity versus total acyclicity for complexes over noetherian rings

It is proved that for a commutative noetherian ring with dualizing complex the homotopy category of projective modules is equivalent, as a triangulated category, to the homotopy category of injective modules. Restricted to compact objects, this statement is a reinterpretation of Grothendieck's duality theorem. Using this equivalence it is proved that the (Verdier) quotient of the category of acyclic complexes of projectives by its subcategory of totally acyclic complexes and the corresponding category consisting of injective modules are equivalent. A new characterization is provided for complexes in Auslander categories and in Bass categories of such rings.

math.AC↗
arXiv2006

A criterion for regularity of local rings

It is proved that a noetherian commutative local ring A containing a field is regular if there is a complex M of free A-modules with the following properties: M_i=0 for i not in [0,dim A]; the homology of M has finite length; H_0(M) contains the residue field of A as a direct summand. This result is an essential component in the proofs of the McKay correspondence in dimension 3 and of the statement that threefold flops induce equivalences of derived categories.

math.AC↗
arXiv2005

Gorenstein dimension of modules over homomorphisms

Given a homomorphism of commutative noetherian rings R --> S and an S-module N, it is proved that the Gorenstein flat dimension of N over R, when finite, may be computed locally over S. When, in addition, the homomorphism is local and N is finitely generated over S, the Gorenstein flat dimension equals sup{m | Tor^R_m(E,N) \noteq 0} where E is the injective hull of the residue field of R. This result is analogous to a theorem of André on flat dimension.

math.AC↗
arXiv2005

Gaps in Hochschild cohomology imply smoothness for commutative algebras

The paper concerns Hochschild cohomology of a commutative algebra S, which is essentially of finite type over a commutative noetherian ring K and projective as a K-module, with coefficients in an S-module M. It is proved that vanishing of HH^n(S|K,M) in sufficiently long intervals imply the smoothness of S_q over K for all prime ideals q in the support of M. In particular, S is smooth if HH^n(S|K,S)=0 for (dim S+2) consecutive non-negative integers n.

math.AC↗
arXiv2005

Hilbert-Samuel functions of modules over Cohen-Macaulay rings

For a finitely generated, non-free module $M$ over a CM local ring $(R,\fm,k)$, it is proved that for $n\gg 0$ the length of $\tor 1RM{R/\fm^{n+1}}$ is given by a polynomial of degree $\dim R-1$. The vanishing of $\tor iRM{N/\fm^{n+1}N}$ is studied, with a view towards answering the question: if there exists a finitely generated $R$-module $N$ with $\dim N\ge 1$ such that the projective dimension or the injective dimension of $N/\fm^{n+1}N$ is finite, then is $R$-regular? Upper bounds are provided for $n$ beyond which the question has an affirmative answer.

math.AC↗
arXiv2004

Homology over local homomorphisms

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.

math.AC↗
arXiv2004

G-dimension over local homomorphisms. Applications to the Frobenius endomorphism

We develop a theory of G-dimension for modules over local homomorphisms which encompasses the classical theory of G-dimension for finite modules over local rings. As an application, we prove that a local ring R of characteristic p is Gorenstein if and only if it possesses a nonzero finite module of finite projective dimension that has finite G-dimension when considered as an R-module via some power of the Frobenius endomorphism of R. We also prove results that track the behavior of Gorenstein properties of local homomorphisms under (de)composition.

math.AC↗