Vanishing of Ext and Tor over complete intersections

Authors

• Olgur Celikbas, University of Nebraska-LincolnFollow

First Advisor

Mark E. Walker

Second Advisor

Roger Wiegand

Date of this Version

Summer 7-10-2010

Document Type

Dissertation

Comments

A dissertation Presented to the Faculty of The Graduate College at the University of Nebraska In Partial Fulfilment of Requirements For the Degree of Doctor of Philosophy, Major: Mathematics, Under the Supervision of Professors Mark Walker and Roger Wiegand. Lincoln, Nebraska: August, 2010
Copyright 2010 Olgur Celikbas

This dissertation consists of two parts: The contents of the first part (Chapter 3) are contained in the author’s paper: Vanishing of Tor over complete intersections, to appear in Journal of Commutative Algebra. The contents of the second part (Chapter 4) are contained in the author’s paper: Asymptotic Behavior of Ext functors for modules of finite complete intersection dimension, joint work with Hailong Dao, to appear in Mathematische Zeitschrift.

Abstract

Let (R,m) be a local complete intersection, that is, a local ring whose m-adic completion is the quotient of a complete regular local ring by a regular sequence. Let M and N be finitely generated R-modules. This dissertation concerns the vanishing of Tor(M, N) and Ext(M, N). In this context, M satisfies Serre's condition (S_{n}) if and only if M is an nth syzygy. The complexity of M is the least nonnegative integer r such that the nth Betti number of M is bounded by a polynomial of degree r-1 for all sufficiently large n. We use this notion of Serre's condition and complexity to study the vanishing of Tor_{i}(M, N). In particular, building on results of C. Huneke, D. Jorgensen and R. Wiegand [32], and H. Dao [21], we obtain new results showing that good depth properties on the R-modules M, N and MtensorN force the vanishing of Tor_{i}(M, N) for all i>0. We give examples showing that our results are sharp. We also show that if R is a one-dimensional domain and M and MtensorHom(M,R) are torsion-free, then M is free if and only if M has complexity at most one. If R is a hypersurface and Ext^{i}(M, N) has finite length for all i>>0, then the Herbrand difference [18] is defined as length(Ext^{2n}(M, N))-(Ext^{2n-1}(M, N)) for some (equivalently, every) sufficiently large integer n. In joint work with Hailong Dao, we generalize and study the Herbrand difference. Using the Grothendieck group of finitely generated R-modules, we also examined the number of consecutive vanishing of Ext^{i}(M, N) needed to ensure that Ext^{i}(M, N) = 0 for all i>>0. Our results recover and improve on most of the known bounds in the literature, especially when R has dimension two.