𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Vanishing Theorems for Complete Intersections

✍ Scribed by Craig Huneke; David A Jorgensen; Roger Wiegand


Publisher
Elsevier Science
Year
2001
Tongue
English
Weight
135 KB
Volume
238
Category
Article
ISSN
0021-8693

No coin nor oath required. For personal study only.

✦ Synopsis


The main focus of his paper was to understand when the tensor product M m N of finitely generated modules M and N over a regular local ring R R is torsion-free. This condition forces the vanishing of a certain Tor module associated with M and N, which in turn, by Auslander's famous R Ε½ . rigidity theorem, implies that Tor M, N s 0 for all i G 1. The vanishing i of Tor carries a great deal of information; for example, it implies the Ε½ . Ε½ . Ε½ . Ε½ . ''depth formula'' depth M q depth N s dim R q depth M m N .

R

From this formula one can deduce, for example, the highly nontrivial fact that if M m N is torsion-free and nonzero, then M and N must both be R torsion-free.

w x Huneke and Wiegand 6 generalized some of Auslander's results to hypersurfaces, though with some unavoidable extra hypotheses. In particuw Ž .x lar, they proved a rigidity theorem 6, 2.4 and the following vanishing theorem: w Ž .x 0.1. THEOREM 6, 2.7 . Let R be a hypersurface, and let M and N be nonzero finitely generated R-modules such that M m N is reflexi¨e. Assume, R


πŸ“œ SIMILAR VOLUMES


An Asymptotic Complete Intersection Theo
✍ Christian Bey; Konrad Engel πŸ“‚ Article πŸ“… 1999 πŸ› Elsevier Science 🌐 English βš– 145 KB

Let N (n, k) be the set of all n-tuples over the alphabet {0, 1, . . . , k} whose component sum equals . A subset F βŠ† N (n, k) is called a t-intersecting family if every two tuples in F have nonzero entries in at least t common coordinates. We determine the maximum size of a t-intersecting family in

Generalized Jacobian rings for open comp
✍ Masanori Asakura; Shuji Saito πŸ“‚ Article πŸ“… 2006 πŸ› John Wiley and Sons 🌐 English βš– 361 KB

## Abstract In this paper, we develop the theory of Jacobian rings of open complete intersections, which are pairs (__X, Z__ ) where __X__ is a smooth complete intersection in the projective space and __Z__ is a simple normal crossing divisor in __X__ whose irreducible components are smooth hypersu

An intersection theorem for systems of s
✍ A. V. Kostochka πŸ“‚ Article πŸ“… 1996 πŸ› John Wiley and Sons 🌐 English βš– 346 KB πŸ‘ 2 views

Erdos and Rado defined a A-system, as a family in which every two members have the same intersection. Here we obtain a new upper bound on the maximum cardinality q ( n , q ) of an n-uniform family not containing any A-system of cardinality q. Namely, we prove that, for any a > 1 and q , there exists