I learned Bezout's Theorem in class, stated for plane curves (if irreducible, sum of intersection multiplicities equals product of degrees). What is the proper general statement, for projective varieties of degree n?


I think it is something like: If finite, the sum of multiplicities equals the product of degrees.. else the (dimension? degree? sums over irreducible components?) of the intersection is less than or equal to the difference in degrees.


Help is appreciated!



generalization of Bezout's Theorem?
Dear unknown, the most straightforward generalization of Bézout's theorem might be the following. Consider $\mathbb P^n $, projective space over the field $k$, and 
$n$ hypersurfaces $H\_1,...,H\_n$in general position in the sense that their intersection is a finite set. Then, calling $h\_i$ their local equations, Bézout says


$$\sum dim\_k \mathcal O\_{\mathbb P^n,P\_i}/(h\_1,...,h\_n) =\prod deg (H\_i) $$ 


The dimension on the left hand side is, of course, to be interpreted as the multiplicity with which to count the point $P\_i$, seen as a fat point i.e. a zero-dimensional non-reduced scheme. 


A related, more abstract point of view is the description of the Chow ring of $\mathbb P^n$ as $CH^\ast (\mathbb P^n)=\mathbb Z[x]/(x^{n+1})$ ( where $x$ is the class of a hyperplane in $\mathbb P^n$). From this point of view we have the following version of Bézout. Consider $r$ cycles $\alpha\_1,...,\alpha\_r$ on $\mathbb P^n$ with $\alpha\_i \in CH^{d\_i}(\mathbb P^n) $ and $d\_1+...d\_r \leq n$, . Then 


$$deg \prod {\alpha\_i} =\prod deg (\alpha\_i)$$ 


the product of the $\alpha\_i$'s on the left being calculated in the Chow ring and the degree $deg (\alpha) $ of a cycle $\alpha \in CH^d (\mathbb P^n)$ being the integer $t$ such that $\alpha =t . x \in CH^d(\mathbb P^n)=\mathbb Z .x $.


This is only the tip of the iceberg: a definitive answer would require a book. Fortunately that book exists and has been written, to our eternal gratitude, by Fulton: *Intersection theory, volume 2 of Ergebnisse der Mathematik und ihrer
Grenzgebiete. 3. Folge.
Springer-Verlag, Berlin, second edition, 1998.*


