779 research outputs found
Locally complete intersection homomorphisms and a conjecture of Quillen on the vanishing of cotangent homology
Classical definitions of locally complete intersection (l.c.i.) homomorphisms
of commutative rings are limited to maps that are essentially of finite type,
or flat. The concept introduced in this paper is meaningful for homomorphisms
phi : R \longrightarrow S of commutative noetherian rings. It is defined in
terms of the structure of phi in a formal neighborhood of each point of Spec S.
We characterize the l.c.i. property by different conditions on the vanishing of
the Andr\'e-Quillen homology of the R-algebra S. One of these descriptions
establishes a very general form of a conjecture of Quillen that was open even
for homomorphisms of finite type: If S has a finite resolution by flat
R-modules and the cotangent complex \cot SR is quasi-isomorphic to a bounded
complex of flat S-modules, then phi is l.c.i. The proof uses a mixture of
methods from commutative algebra, differential graded homological algebra, and
homotopy theory. The l.c.i. property is shown to be stable under a variety of
operations, including composition, decomposition, flat base change,
localization, and completion. The present framework allows for the results to
be stated in proper generality; many of them are new even with classical
assumptions. For instance, the stability of l.c.i. homomorphisms under
decomposition settles an open case in Fulton's treatment of orientations of
morphisms of schemes.Comment: 33 pages, published versio
Gorenstein algebras and Hochschild cohomology
For homomorphism K-->S of commutative rings, where K is Gorenstein and S is
essentially of finite type and flat as a K-module, the property that all
non-trivial fiber rings of K-->S are Gorenstein is characterized in terms of
properties of the cohomology modules Ext_n^{S\otimes_KS}S{S\otimes_KS}.Comment: This is the published version, except for updates to references and
bibliography. Sections 3, 4 and 8 have been removed from the preceding
version, arXiv:0704.3761v2. Substantial generalizations of results in those
sections are proved in our paper with Joseph Lipman and Suresh Nayak,
arXiv:0904.400
A cohomological study of local rings of embedding codepth 3
The generating series of the Bass numbers of local rings with residue field are computed
in closed rational form, in case the embedding dimension of and its
depth satisfy . For each such it is proved that there is a
real number , such that holds for
all , except for in two explicitly described cases, where
. New restrictions are obtained on the
multiplicative structures of minimal free resolutions of length 3 over regular
local rings.Comment: In version 2 numerous typos have been corrected, details have been
added in a few places, and local rearrangements have been made. To appear in
JPAA. 24 page
Stable cohomology over local rings
The focus of this paper is on a poorly understood invariant of a commutative
noetherian local ring with residue field : the stable cohomology modules
, defined for each by Benson and
Carlson, Mislin, and Vogel; it coincides with Tate cohomology when is
Gorenstein. It is proved that important properties of , such as being
regular, complete intersection, or Gorenstein, are detected by the -rank of
for an arbitrary . Such numerical
characterizations are made possible by results on the structure of
-graded -algebra carried by . It is proved
that in many cases this algebra is determined by the absolute cohomology
algebra through a canonical homomorphism
.Comment: Final version, to appear in Adv. Math. Major reorganization of the
presentation. Many minor correction
Cohomology over complete intersections via exterior algebras
A general method for establishing results over a commutative complete
intersection local ring by passing to differential graded modules over a graded
exterior algebra is described. It is used to deduce, in a uniform way, results
on the growth of resolutions of complexes over such local rings.Comment: 18 pages; to appear in "Triangulated categories (Leeds, 2006)", LMS
lecture notes series
- …