Content deleted Content added
m →A simple motivating example: typo |
|||
| (22 intermediate revisions by 12 users not shown) | |||
Line 1:
{{short description|The image of a projective variety by a projection is also a variety}}
In [[algebraic geometry]], the '''main theorem of elimination theory''' states that every [[projective scheme]] is [[proper scheme|proper]]. A version of this theorem predates the existence of [[scheme theory]]. It can be stated, proved, and applied in the following more classical setting. Let {{math|''k''}} be a [[field (mathematics)|field]], denote by <math>\mathbb{P}_k^n</math> the {{math|''n''}}-dimensional [[projective space]] over {{math|''k''}}. The main theorem of elimination theory is the statement that for any {{math|''n''}} and any [[algebraic variety]] {{mvar|V}} defined over {{math|''
The main theorem of elimination theory is a corollary and a generalization of [[Francis Sowerby Macaulay|Macaulay's]] theory of [[multivariate resultant]]. The resultant of {{mvar|n}} [[homogeneous polynomial]]s in {{mvar|n}} variables is the value of a polynomial function of the coefficients, which takes the value zero if and only if the polynomials have a common non-trivial zero over some field containing the coefficients.
This belongs to [[elimination theory]], as computing the resultant amounts to ''eliminate variables'' between polynomial equations. In fact, given a [[system of polynomial equations]], which is homogeneous in some variables, the resultant ''eliminates'' these homogeneous variables by providing an equation in the other variables, which has, as solutions, the values of these other variables in the solutions of the original system.
▲===A simple motivating example===
The [[affine plane]] over a field {{mvar|k}} is the [[direct product]] <math>A_2=L_x\times L_y</math> of two copies of {{mvar|k}}. Let
:<math>\pi\colon L_x\times L_y \to L_x</math>
Line 7 ⟶ 13:
:<math>(x,y)\mapsto \pi(x,y)=x.</math>
This projection is not [[closed map|closed]] for the [[Zariski topology]] (
the [[hyperbola]] {{mvar|H}} of equation <math>xy-1=0</math> is <math>L_x\setminus \{0\},</math> which is not closed, although {{mvar|H}} is closed, being an [[algebraic variety]].
If one
:<math>xy_1-y_0=0,</math>
and contains
Line 16 ⟶ 22:
where <math>\overline\pi</math> is the prolongation of <math>\pi</math> to <math>L_x\times P_y.</math>
This is commonly expressed by saying
More generally, the image by <math>\pi</math> of every algebraic set in <math>L_x\times L_y</math> is either a finite number of points, or <math>L_x</math> with a finite number of points removed, while the image by <math>\overline\pi</math> of any algebraic set in <math>L_x\times P_y</math> is either a finite number of points or the whole line <math>L_y.</math> It follows that the image by <math>\overline\pi</math> of any algebraic set is an algebraic set, that is that <math>\overline\pi</math> is a closed map for Zariski topology.
Line 22 ⟶ 28:
The main theorem of elimination theory is a wide generalization of this property.
For stating the theorem in terms of [[commutative algebra]], one has to consider a [[polynomial ring]] <math>R[\mathbf x]=R[x_1, \ldots, x_n]</math> over a commutative [[Noetherian ring]] {{mvar|R}}, and
Any [[ring homomorphism]] <math>\varphi</math> from {{mvar|R}} into a field {{mvar|K}}, defines a ring homomorphism <math>R[\mathbf x] \to K[\mathbf x]</math> (also denoted <math>\varphi</math>), by applying <math>\varphi</math> to the coefficients of the polynomials.
The theorem is: there is an ideal
Moreover,
==Hints for a proof and related results==
===Geometrical interpretation===▼
In the preceding formulation, the [[polynomial ring]] <math>R[\mathbf x]=R[x_1, \ldots, x_n]</math> defines a morphism of [[Scheme (mathematics)|scheme]] (which are algebraic varieties if {{mvar|R}} if finitely generated over a field)▼
Using above notation, one has first to characterize the condition that <math>\varphi(f_1),\ldots, \varphi(f_k)</math> do not have any non-trivial common zero. This is the case if the maximal homogeneous ideal <math>\mathfrak m = \langle x_1, \ldots, x_n\rangle</math> is the only homogeneous prime ideal containing <math>\varphi(I)=\langle \varphi(f_1),\ldots, \varphi(f_k)\rangle.</math> [[Hilbert's Nullstellensatz]] asserts that this is the case if and only if <math>\varphi(I)</math> contains a power of each <math>x_i,</math> or, equivalently, that <math>\mathfrak m^d \subseteq \varphi(I)</math> for some positive integer {{mvar|d}}.
:<math>\operatorname{Proj}(R[\mathbf x]) \to \operatorname{Spec}(R).</math>▼
For this study, [[Francis Sowerby Macaulay|Macaulay]] introduced a matrix that is now called ''Macaulay matrix'' in degree {{mvar|d}}. Its rows are indexed by the [[monomial]]s of degree {{mvar|d}} in <math>x_1, \ldots, x_n,</math> and its columns are the vectors of the coefficients on the [[monomial basis]] of the polynomials of the form <math>m\varphi(f_i),</math> where {{mvar|m}} is a monomial of degree <math>d-\deg(f_i).</math> One has <math>\mathfrak m^d \subseteq \varphi(I)</math> if and only if the rank of the Macaulay matrix equals the number of its rows.
If {{math|''k'' < ''n''}}, the rank of the Macaulay matrix is lower than the number of its rows for every {{mvar|d}}, and, therefore, <math>\varphi(f_1),\ldots, \varphi(f_k)</math> have always a non-trivial common zero.
Otherwise, let <math>d_i</math> be the degree of <math>f_i,</math> and suppose that the indices are chosen in order that <math>d_2\ge d_3 \ge\cdots\ge d_k\ge d_1.</math> The degree
:<math>D= d_1+d_2+\cdots+d_n-n+1 = 1+\sum_{i=1}^n (d_i-1)</math>
is called ''Macaulay's degree'' or ''Macaulay's bound'' because Macaulay's has proved that <math>\varphi(f_1),\ldots, \varphi(f_k)</math> have a non-trivial common zero if and only if the rank of the Macaulay matrix in degree {{mvar|D}} is lower than the number to its rows. In other words, the above {{mvar|d}} may be chosen once for all as equal to {{mvar|D}}.
Therefore, the ideal <math>\mathfrak r,</math> whose existence is asserted by the main theorem of elimination theory, is the zero ideal if {{math|''k'' < ''n''}}, and, otherwise, is generated by the maximal minors of the Macaulay matrix in degree {{mvar|D}}.
If {{math|1=''k'' = ''n''}}, Macaulay has also proved that <math>\mathfrak r</math> is a [[principal ideal]] (although Macaulay matrix in degree {{mvar|D}} is not a square matrix when {{math|''k'' > 2}}), which is generated by the [[Macaulay's resultant|resultant]] of <math>\varphi(f_1),\ldots, \varphi(f_n).</math> This ideal is also [[generic property|generically]] a [[prime ideal]], as it is prime if {{mvar|R}} is the ring of [[integer polynomial]]s with the all coefficients of <math>\varphi(f_1),\ldots, \varphi(f_k)</math> as indeterminates.
▲In the preceding formulation, the [[polynomial ring]] <math>R[\mathbf x]=R[x_1, \ldots, x_n]</math> defines a [[morphism of schemes|morphism]] of [[Scheme (mathematics)|
▲:<math>\mathbb{P}^{n-1}_R = \operatorname{Proj}(R[\mathbf x]) \to \operatorname{Spec}(R).</math>
The theorem asserts that the image of the Zariski-closed set {{math|''V''(''I'')}} defined by {{mvar|I}} is the closed set {{math|''V''(''r'')}}. Thus the morphism is closed.
Line 47 ⟶ 69:
*{{cite book|last=Eisenbud|first=David|title=Commutative Algebra: with a View Toward Algebraic Geometry|publisher=Springer|year=2013|isbn=9781461253501|author-link=David Eisenbud}}
*{{cite book|last=Milne|first=James S.|title=The Abel Prize 2008–2012|chapter=The Work of John Tate|publisher=Springer|year=2014|isbn=9783642394492|author-link=James Milne (mathematician)}}
[[Category:Theorems in algebraic geometry]]
| |||