scientific article; zbMATH DE number 20429
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.
- Über die Rolle der eingebetteten Kompenenten für die Schnittheorie. (The role of the embedded components with respect to the intersection theory)
- Multiplicity for ideals of maximal analytic spread and intersection theory
- Deformation to the normal cone, rationality and the Stückrad-Vogel cycle
- scientific article; zbMATH DE number 558500 (Why is no real title available?)
- scientific article; zbMATH DE number 611046 (Why is no real title available?)
- scientific article; zbMATH DE number 695945 (Why is no real title available?)
- On the Irreducible Components of the Form Ring and an Application to Intersection Cycles
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3979707)
