Intersection multiplicity of Serre on regular schemes (Q2482068)

From the abstract: ``The study of the intersection multiplicity function \(\chi^{\mathcal O_X}(\mathcal F, \mathcal G)\) over a regular scheme \(X\) for a pair of coherent \(\mathcal O_X\)-modules \(\mathcal F\) and \(\mathcal G\) is the main focus of this paper. We mostly concentrate on projective schemes, vector bundles over projective schemes, regular local rings and their blow-ups at the closed point. We prove that (a) vanishing holds in all the above cases, (b) positivity holds over Proj of a graded ring finitely generated over its 0th component which is Artinian local, when one of \(\mathcal F\) and \(\mathcal G\) has a finite resolution by direct sum of copies of \(\mathcal O(t)\) for various t, and (c) non-negativity holds over \(\mathbb P^n_R\), \(R\) regular local, and over arbitrary smooth projective varieties if their tangent bundles are generated by global sections. We establish a local--global relation for \(\chi\) for a pair of modules over a regular local ring via \(\chi\) of their corresponding tangent cones and \(\chi\) of their corresponding blow-ups. A new proof of vanishing and a special case of positivity for Serre's Conjecture are also derived via this approach. We also demonstrate that the study of non-negativity is much more complicated over blow-ups, particularly in the mixed characteristics''. There is a corrigendum of this paper published by the author in [J. Algebra 319, No. 7, 3087 (2008)].