User:D.Lazard/Bézout theorem

Introduction
Bézout's theorem states: if $$n$$ polynomials in $$n$$ variables have a finite number of common zeros, including the zeros at infinity, then the number of these zeros is the product of the degrees of the polynomials, if the zeros, including those at infinity are counted with their multiplicities. Despite its apparently simple statement, this theorem needed almost a century for being completely proved. The main difficulty was to give an accurate definition of multiplicities, and this requires some machiney of commutative algebra. Most proofs of this theorem proceed by recurrence on the number of polynomials, and use the concept of degree of a polynomial ideal. These proofs obtain the theorem as a corollary of if a homogeneous polynomial $$f$$ of degree $$d$$ is not a zero divisor modulo a homogeneous ideal $$I$$ of degree $$D,$$ then the degree of the ideal $$I+\langle f\rangle$$ is $$dD.$$

If some hypotheses are relaxed, such as counting multiplicities or working with homogeneous polynomials, one gets only inequalities, commonly called Bézout inequalities. For example, if $$m$$ polynomials in $$n$$ variables have a finite number of common zeros, then the number of these zeros, counted with their multiplicities is at most the product of the $$n$$ largest degrees of the polynomials. Surprisingly, this Bézout inequality is not a corollary of Bézout's theorem, and seems to have not been proved before 1983 (cite MW).

All these results require the definition of the degree of a polynomial ideal. Many definitions have been given, either in terms of algebraic geometry or in terms of commutative algebra. Most, but not all, deal with homogeneous ideals, and it is rather difficult to compare them. One of the objectives of this article is to give a general definition in terms of elementary commutative algebra and to prove that all other definitions are special cases. In fact, we give two different definitions that are equal for equi-dimensional ideals, but not in general.

Basically, the degree of an algebraic variety is the number of points of its intersection with a generic linear variety of a convenient dimension. This definition is not algebraic but can easily be translated into an algebraic one. However the resulting definition is not intrinsic, involving auxiliary generic polynomials, which makes proofs unnecessarily complicated. Therefore, we use the definition through Hilbert series, which provides a simpler presentation of the theory. In the case of homogeneous ideals, this approach is not new, although is seems unknown by many specialists of algebraic geometry, and we do not know any published presentation of it. Personally, we have learnt it from an early version by Carlo Traverso alone of [Robbiano-Traverso]. In the first part of our article, we extend this approach to a unified presentation for the homogeneous and the non-homogeneous cases.

In the case of non-equidimensional ideals, this definition of the degree does not depend on the components of lower dimension and the embedded components. For taking the isolated components into account, Masser and Wüstholz have introduced another notion of degree, which is the sum of the degrees of the isolated components of any dimemsion. They have proved that, for an ideal generated by polynomials of degrees $$d_2\ge \dots\ge d_k \ge d_1,$$ the degree of the intersection of the isolated components of height $$h$$ is at most $$d_1d_2\dots d_h.$$ So, if the height of the ideal is $$h,$$ the Masser–Wüstholz degree is at most $$hd_1d_2\dots d_h.$$

The main new result of this article is that $$d_1d_2\dots d_h$$ bounds not only the degree of the intersection of the isolated components of height $$h,$$ but also the sum of the degrees of all isolated primary components of height at most $$h.$$ Moreover, although Masser–Wüstholz proof involves analytic geometry, our proof is purely algebraic.

Gradation and Hilbert series
In this article, we work with the polynomial ring $$R_n=K[X_1,\dots, X_n]$$ in $$n$$ indeterminates over a fiels $K$. This ring is a graded by the degree, and this gradation extends to homogeneous ideals and quotients by such ideals. In all these graded modules, the homogeneous part of degree $d$ is a finite-dimensional $K$-vector space for every integer $d$.

$$

The main property of Hilbert series is to be additive under exact sequence, $$

Proof. Results immediately from the similar formula for dimension of vector spaces.

$$

Proof. Results immediately from the exact sequence
 * $$0 \longrightarrow A^{[d]} \longrightarrow A \longrightarrow A/\langle f \rangle \longrightarrow 0,$$

where $A^{[d]}$ is $A$ with its gradation shifted by $d$, which multiply its Hilbert series by $t^d$.

$$

Proof. Proof by recurrence on $n$, using the preceding proposition with $$f=x_n.$$ The recurrence starts with the trivial result $$HS_{R_0}(t) = HS_K(t) = 1.$$

$$

$$

Proof. If $$M$$ is a free graded module whose basis elements have degrees $$e_1, \dots, e_h$$, then the form of $$HS_{R_n}(t)$$, and the addivity of Hilbert series under direct sums show that $$HS_M(t)=\frac{t^{e_1}+\dots + t^{e_h}}{(1-t)^n}$$. In the general case, this results from Hilbert's syzygy theorem, which asserts that every graded $$R_n$$ module has a free resolution of length at most $$n$$. The additivity of Hilbert series under exact sequences inplies thus that every Hilbert series is an alternating sum of Hilbert series of free modules. $$\blacksquare$$

$$

In this article, we take the preceding statement as a definition. However, we will prove, below, that this definition is equivalent with the usual ones. In particular, the dimension of $$I$$ is the Krull dimension of $$R_n/I$$.

General settings

 * $n$: number of variables
 * $k$, ground field, supposed to be infinite for some results
 * $$R=k[x_1,\dots,x_n]$$
 * $$f_1, \dots, f_k:$$ polynomials of degrees $$d_1, \dots, d_k,$$ such that $$d_1\le d_k\le\dots\le d_2$$ (this can always be achieved by permuting the polynomials)
 * Degree of an ideal, denoted $$\deg,$$ as defined in Hilbert series and Hilbert polynomial
 * Strong degree of an ideal, denoted $$\operatorname{Deg},$$ the sum of the degrees of the isolated primary components

Lemmas
$$ $$

Degree of an affine ideal
When considering non-homogeneous polynomials, that is the filtration by the degree that is considered, rather than the gradation.

Deg vs deg
By definition of $Deg$, one has $Deg I = deg I$ for every primary ideal $I$.

$$

Proof: The exact sequence
 * $$0 \;\rightarrow\; R/(I\cap J)\;\rightarrow\; R/I\oplus R/J\;\rightarrow\; R/(I + J) \;\rightarrow\; 0$$

implies that
 * $$HS_{R/I}(t) + HS_{R/I}(t) = HS_{I\cap J}(t) + HS_{I + J}(t).$$

As all quotient rings have dimension at most $d$, the Hilbert series can be written $$\frac {P(t)}{(1-t)^d},$$ and one has $dim J = d$ if the dimension is smaller than $d$. Otherwise $dim J < d$ is the degree of the ideal.

One has $P(1) = 0$. In fact, every minimal prime $p$ of $P(1)$ must contain a minimal prime $dim (I + J) < d$ of $I$ and a minimal prime $I + J$ of $J$. If the dimension of $p$ would be $d$, this would imply that both $p1$ and $p2$ have dimension $d$, and therefore that they are equal to $p$, which is excluded by the hypotheses.

The result follows immediately by removing the denominators $$(1-t)^d$$ in the above equation between Hulbert series, and substituting $t$ for $p1$ in the resulting equality of polynomials.

$$

Proof: Let $$q_1, \dots, q_k$$ be the primary components of dimension $d$, and $$q_{k+1}$$ be the intersection of all other primary components. The dimension of $$q_{k+1}$$ is thus smaller than $d$. The result is obtained by applying recursively the above lemma to $$q_1\cap q_2\cap\dots\cap q_i$$ and $$q_{i+1}$$ for $$i=1,\dots,k.$$

$$

$$

Strong Bézout inequality
The strong Bézout inequality bounds the MW-degree of an ideal in terms of the degrees of its generators. It is $$

Technical lemmas
$$

Proof: One has
 * $$(I+\langle f\rangle)\cdot(J+\langle f\rangle) \subseteq (I\cap J)+\langle f\rangle \subseteq(I+\langle f\rangle)\cap (J+\langle f\rangle).$$

As the inteersection and the product of two ideals have the same radical, $$(I\cap J)+\langle f\rangle$$ and $$(I+\langle f\rangle)\cap (J+\langle f\rangle)$$ have the same radical and thus the same minimal primes.

The hypothesis of the last assertion implies that all above inclusions are equalities, and the result follows thus immediatly.

Thus, it remains to prove that if two ideals $$H$$ and $$K$$ satisfy the hypothesis of the last assertion, then $$H\cap K = H.K.$$ In fact, no associated prime of either ideal can contain $$H+K.$$ So, there is an element $$z\in H+K$$ that does not belong to either associated prime. If $$x\in H\cap K,$$ then $$zx\in H.K.$$ If $$S=\{1, z, z^2, \dots,$$ it follows that $$S^{-1}(H\cap K) = S^{-1}(H.K).$$ The hypothesis implies thus that the inverse image in $$R$$ of a primary decomposition of this localized ideal is a primary decomposition of both $$H\cap K$$ and $$H.K,$$ which are thus equal.

$$ Proof: As $$p$$ is a minimal prime, each other associated prime contains an element that is not in $$p.$$ The product of these elements is the desired element $$t.$$ The last assertion results of the classical property of stability of primary decompositions under localization.

$$ Proof: The first assertion results from Lemma 5.2, since localization and intersection preserve inclusion.

By definition of Hilbert series, the inclusion $$q\subseteq q'$$ implies that each coefficient of the Hilbert series $$HS_{R/q}(t)$$ is not smaller than the corresponding coefficient of $$HS_{R/q'}(t).$$ Thus $$HS_{R/q}(t) \ge HS_{R/q'}(t)$$ for $$t<1.$$ Writing these series as a rational fractions with denominator $$(1-t)^\delta,$$ one see that the same inequality applies to the numerators, and thus to their limits when $$t\to 1,$$ which are the degrees of the ideals.

$$ Proof: By hypothesis, $$I+\langle f \rangle \subseteq p.$$ Any minimal prime $$m$$ of $$I+\langle f \rangle$$ contains $$I,$$ and thus some minimal prime of $$I.$$ Therefore, $$m$$ cannot be strictly included in $$p;$$ that is, $$p$$ is a minimal prime of $$I+\langle f \rangle.$$ Then, the inequality on the degrees follows directly from Lemma 5.3.

Recursion
Input: $$f_1, \dots, f_k$$ of degrees $$d_1, \dots,d_k$$ satisfying the regularity condition, that is, for $$i<k,$$ and every associated prime $p$ of $$\langle f_1, \dots, f_i\rangle,$$ if $$f_{i+1}\in p$$, then $$f_j \in p$$ for all $$j\ge i.$$

If $$d_2\ge\dots \ge d_k\ge d_1,$$ the hypothesis can be achieved by adding to $$f_i$$ a sufficiently generic linear combination of $$p_{i+1}, \dots, p_k.$$ In the homogeneous case, the coefficients of $$p_j$$ in the linear combination must be a homogeneous polynomial of degrees $$d_i-d_j.$$

Let $$I_r=\langle f_1, \dots, f_r,$$ for $$r=1,\dots, k.$$ We have first to study the minimal primes of $$I_r.$$ By Krull's height theorem, such the height of such a minimal prime is at most $$r.$$

$$ Proof: Let us choose recursively, for $$i=r, r-1, \dots, 1,$$ a minimal prime $$p_i$$ of $$I_i$$ that is contained in $$p_{i+1}.$$ As the height of $$p_r$$ is less than $$r,$$ these minimal primes cannot be all distinct. Thus, let $$i$$ be the lowest index such $$p_i=p_{i+1}.$$ This implies that $$f_{i+1}\in p_i,$$ and, by regularity hypothesis, $$f_j\in p_i$$ for $$j>i.$$ Therefore $$p_r=p_i.$$ Finally, $$i=h,$$ since the height of $$p_i$$ is at most $$i,$$ and it is at least $$i$$, as $$p_1, \dots, p_i$$ is a strictly increasing sequence of primes. $$\blacksquare$$

$$ Proof: The first assertion results immediately from lemma 6.1, and the second one is a special case of lemma 5.3.$$\blacksquare$$

$$

Now, we have to study, for $$r>1$$ the isolated primary components of $$I_{r}$$ whose height is $$r.$$ (the case $$r=1$$ being trivial). So, let $$r>1$$ such that $$I_r=\langle f_1,\dots,f_r\rangle$$ has a minimal prime of height $$r.$$ Let $$s$$ be a polynomial that does not belong to any minimal prime of height $$r$$ of $$I_r,$$ but belongs to all other associated primes of $$I_r.$$ Let $$S_r=\{1, s, s^2, \dots,s^i, \dots\}$$ the multiplicative set generated by $$s.$$

The ideal $$J_r=R\cap S_r^{-1}I_r$$ is the intersection of the isolated primary components of height $$r$$ of $$I_r.$$ We will prove the following lemma by recursion on $$j.$$

$$

Proof: The cases $$j=0$$ and $$j=1$$ are trivial. So we suppose that the assertions are true for some $$j<r,$$ and we prove them for $$j+1.$$

The definition of $$J_{j,r}$$ as the inverse image of a localization implies that $$J_{j,r}$$ is the intersection of some primary components of $$I_j,$$ and that the minimal primes of $$J_{j,r}$$ are also minimal primes of $$I_j.$$ None of these minimal primes can contain $$f_{j+1}.$$ In fact, if such a prime would contains $$f_{j+1},$$ it would contain $$f_{j+1}, \dots, f_r$$ by the regularity condition, and thus it would be a minimal prime of $$I_r$$ of height $$<r;$$ this is impossible since $$S$$ has been chosen for having a non-empty intersection with such a prime. As $$J_{j,r}$$ is unmixed, we can deduce that $$f_{j+1}$$ is not a zero divisor modulo $$J_{j,r},$$ and, using the recurrence hypothesis, that $$f_1, \dots, f_{j+1}$$ is a regular sequence in $$S^{-1}R.$$

This shows that the primary components of $$J_{j,r}$$ are primary components of $$I_{j},$$ that they have height $$j$$ and that their associated primes do not contain $$f_{j+1}.$$ $$\blacksquare$$

$$

Proof: Using previous notations, and the last assertion of lemma 6.4, we have $$J'{r-1}\subseteq J_{r-1,r},$$ and the two ideals have the same height. Thus
 * $$\deg J_{r-1,r} \le \deg J'_{r-1}.$$

In the preceding lemma, we have proved that $$f_r$$ is not a zero divisor modulo $$\deg J_{r-1,r}.$$ So,
 * $$\deg (J'_{r-1} +\langle f_r \rangle) \le \deg f_r\cdot\deg J_{r-1,r}.$$

It results from the proof ofth epreceding lemma that $$J'_{r-1} +\langle f_r \rangle \subseteq J_r,$$ and that these ideals have the same height. So
 * $$\deg J_r \le \deg(J'_{r-1} +\langle f_r \rangle).$$

The result follows immediately, by combining these inequalities. $$\blacksquare$$

End of the proof
Given an ideal $$I,$$ let us denote by $$\deg_h I$$ the sum of the degrees of its isolated primary components of height at most $$h.$$ The strong Bézout inequality results immediately, by recurrence on $$r,$$ from the following result.

$$

Proof: The second inequality is obtained by summing the inequalities of lemma 6.2 over the minimal primes of $$I_r$$ whose height is $$\le h.$$ The first inequality is obtained by adding to the inequality of lemma 6.5 the inequalities of lemma 6.2, relaxed to $$\deg q_r \le \deg f_r\cdot\deg q_{r-1}.$$ This gives the result since no minimal prime involved in lemma 6.2 is a minimal primes of the ideal $$J'_{r-1}$$ of lemma 6.5. $$\blacksquare$$