Let R, α be a complete intersection, that is, a ring whose α-adic completion is the quotient of a regular local ring by a regular sequence. Suppose M and N are finitely generated R-modules. We give a necessary condition for the vanishing of R Ε½ . Tor M, N for all i 4 0 in terms of the intersection o
Complexity and Tor on a Complete Intersection
β Scribed by David A Jorgensen
- Publisher
- Elsevier Science
- Year
- 1999
- Tongue
- English
- Weight
- 188 KB
- Volume
- 211
- Category
- Article
- ISSN
- 0021-8693
No coin nor oath required. For personal study only.
β¦ Synopsis
Let R, α be a complete intersection, that is, a local ring whose α-adic completion is the quotient of a regular local ring by a regular sequence. Suppose M is a finitely generated R-module. It is known that the even and odd Betti sequences of M are eventually given by polynomials of the same degree n; the complexity of M is the nonnegative integer n q 1. We use this notion of complex-R Ε½ . ity to study the vanishing of Tor M, N for finitely generated modules M and N i over a complete intersection R. We prove several theorems dealing with rigidity of Tor, which are generalizations and, in certain situations, improvements of known results. The main idea of these rigidity theorems is that the number of consecutive vanishing Tors required in the hypothesis of a rigidity theorem depends more on the minimum of the complexities of M and N rather than on the codimension of R. We give examples showing that this dependence is sharp. We also show that if M m N has finite length, then, for sufficiently high indices, two consecutive R vanishing Tors force the vanishing of all higher Tors.
π SIMILAR VOLUMES
It is shown that the G-dimension and the complete intersection dimension are relative projective dimensions. Relative Auslander-Buchsbaum formulas are discussed. New cohomology theories, called complexity cohomology, are constructed. The new theories play the same role in identifying rings (and modu