Serre's vanishing conjecture for Ext-groups. (Q1420637)

Let \((R, \mathfrak m)\) be a local ring. Let \(M,N\) be finitely generated \(R\)-modules satisfying the following conditions: (1) \(M\otimes N\) is an \(R\)-module of finite length, (2) projdim\(_R M\) and projdim\(_R N\) are finite, (3) \(\dim_R M + \dim_R N < \dim R.\) Then Serre's vanishing conjecture says that the intersection multiplicity \[ \chi(M,N) = \sum_{i\geq 0} (-1)^i L_R(\text{ Tor}_i^R(M,N)) \] vanishes. Under the conditions above the author defines an Ext-multiplicity by \[ \xi(M,N) = \sum_{i\geq 0} (-1)^i L_R(\text{ Ext}_i^R(M,N)) \] and claims its vanishing. As a main result the author proves that, over a Gorenstein ring \(R,\) the vanishing of \(\chi(M,N),\) the vanishing of \(\xi(M,N)\) and the commutativity of a certain intersection multiplicity defined by \textit{I. Mori} and \textit{S. P. Smith} [J. Pure Appl. Algebra 157, 279--299 (2001; Zbl 0976.16033)] are equivalent. Furthermore, it is shown that a certain Ext-version of the vanishing conjecture holds for a large class of noncommutative projective schemes, typically including all commutative projective schemes, by extending Bézout's theorem.