11.07.2015 Views

INTRODUCTION TO ALGEBRAIC GEOMETRY Note del corso di ...

INTRODUCTION TO ALGEBRAIC GEOMETRY Note del corso di ...

INTRODUCTION TO ALGEBRAIC GEOMETRY Note del corso di ...

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

Introduction to algebraic geometry 21The three polynomials F 0 := x 1 x 3 − x 2 2, F 1 := x 1 x 2 − x 0 x 3 , F 2 := x 0 x 2 − x 2 1are the 2 × 2 minors of the matrix( )x0 xM =1 x 2x 1 x 2 x 3with entries in K[x 0 , x 1 , . . ., x 3 ]. Let F = y −x 2 , G = z −x 3 be the two generatorsof I(X); h F = x 0 x 2 −x 2 1, h G = x 2 0x 3 −x 3 1, hence V P ( h F, h G) = V P (x 0 x 2 −x 2 1, x 2 0x 3 −x 3 1 ) ≠ X, because V P( h F, h G) contains the whole line V P (x 0 , x 1 ).We shall prove now the non-trivial fact:5.4. Proposition. I h (X) = 〈F 0 , F 1 , F 2 〉.Proof. For all integer number d ≥ 0, let I h (X) d := I h (X) ∩ K[x 0 , x 1 , . . ., x 3 ] d : itis a K-vector space of <strong>di</strong>mension ≤ ( )d+33 . We define a K-linear map ρd havingI h (X) d as kernel:ρ d : K[x 0 , x 1 , . . ., x 3 ] d → K[λ, µ] 3dsuch that ρ d (F) = F(λ 3 , λ 2 µ, λ 2 µ 2 , µ 3 ). Since ρ d is clearly surjective, we compute( ) d + 3<strong>di</strong>m I h (X) d = − (3d + 1) = (d 3 + 6d 2 − 7d)/6.3For d ≥ 2, we define now a second K-linear mapφ d : K[x 0 , x 1 , . . ., x 3 ] d−2 ⊕ K[x 0 , x 1 , . . ., x 3 ] d−2 ⊕ K[x 0 , x 1 , . . ., x 3 ] d−2 → I h (X) dsuch that φ d (G 0 , G 1 , G 2 ) = G 0 F 0 + G 1 F 1 + G 2 F 2 . Our aim is to prove that φ d issurjective. The elements of its kernel are called the syzygies of degree d amongthe polynomials F 0 , F 1 , F 2 . Two obvious syzygies of degree 3 are constructed bydeveloping, accor<strong>di</strong>ng to the Laplace rule, the determinant of the matrix obtainedrepeating one of the rows of M, for example⎛⎝ x ⎞0 x 1 x 2x 0 x 1 x 2⎠x 1 x 2 x 3We put H 1 = (x 0 , x 1 , x 2 ) and H 2 = (x 1 , x 2 , x 3 ), they both belong to ker φ 3 . <strong>Note</strong>that H 1 and H 2 give raise to syzygies of all degrees ≥ 3, in fact we can constructa third linear mapψ d : K[x 0 , x 1 , . . ., x 3 ] d−3 ⊕ K[x 0 , x 1 , . . ., x 3 ] d−3 → kerφ dputting ψ d (A, B) = H 1 A + H 2 B = (x 0 , x 1 , x 2 )A + (x 1 , x 2 , x 3 )B.

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!