Let R be the quotient of a
local domain (Q,n) by a proper ideal minimally generated by f1,…,fc. Assume Q∕n
is algebraically closed, and let M and N be finitely generated R-modules. We show
there is an algebraic set in c-dimensional affine space, called the support set of the
pair (M,N), which describes those hypersurfaces h ∈ (f1,…,fc) − n(f1,…,fc) over
which there are infinitely many nonzero ExtQ∕(h)i(M,N). This generalizes to
arbitrary quotients of regular local rings the notion of support variety for modules
over complete intersections.
|