No label defined (Q3979707)

The purpose of this paper is to announce a characterization (given in the theorem below) of the \(K\)-rational intersection components in terms of the analytic spread. A complete proof of this result will appear in ``Embedded components in algebraic and analytic intersection theory''. The result is illustrated with some historical comments, critical remarks and examples, and its relationship to work of Stückrad and Vogel, van Gastel, and Fulton and MacPherson is given. Theorem. Let \(X\) and \(Y\) be pure dimensional closed subschemes of \(\mathbb{P}^ n_ K\) without embedded components and let \(C\) be a \(K\)- rational subvariety of \(X\cap Y\). Let \(A:=(\overline R/I(X)\overline R+I(Y)'\overline R)_{I(C)\overline R+I(L)\overline R}\), let \({\mathfrak M}\), \(k\) be its maximal ideal and residue field respectively; let \(I=I(L)A\) and \(r=\dim(A)-1=\dim(X)+\dim(Y)-\dim(C)\). Assume \(r<n\). Then the following conditions are equivalent: (i) \(C\in{\mathcal C}(X,Y)\); (ii) \(s(I)=\dim(A)\); (iii) \(s(I)-ht(I)=\hbox{codim}_{X\cap Y}C\); (iv) the images of \(\ell_ 0,\ldots,\ell_ r\) in \(A\) form a minimal base for a minimal reduction on \(I\); (v) there is a minimal prime ideal \({\mathfrak p}\) of \(G_ I(A)\) such that \({\mathfrak p}\cap G^ 0_ I(A)={\mathfrak M}(A/I)\). Here \(R=K[x_ 0,\ldots,x_ n\), \(y_ 0,\ldots,y_ n]\), \(I(X)\) (respectively \(I(Y))\) is the largest (homogeneous) defining ideal of \(X\) (respectively \(Y)\) in \(K[x_ 0,\ldots,x_ n]\) and \(I(Y)'\) is the ideal in a second copy \(K[y_ 0,\ldots,y_ n]\) corresponding to \(I(Y)\) and \(I(L)=(x_ 0-y_ 0,\ldots,x_ n-y_ n)R\). --- Also, \({\mathcal C}(X,Y)\) is the collection of subvarieties of \(X\cap Y\) which compose the Stückrad-Vogel intersection cycle, \(s( )\) denotes the analytic spread of an ideal, and \(\ell_ 0,\ldots,\ell_ r\) are certain generic linear forms.