Download Algebraic Geometry I - Problem Set 5

Survey
yes no Was this document useful for you?
   Thank you for your participation!

* Your assessment is very important for improving the workof artificial intelligence, which forms the content of this project

Document related concepts

System of linear equations wikipedia , lookup

Transcript
Algebraic Geometry I - Problem Set 5
Please pick eight of the following problems. Please write up solutions as legibly and clearly
as you can, preferably in LaTeX.
Morphisms of projective varieties:
1. Consider the n-Veronese embedding of P1 :
v : P1 → Pn ,
[u, v] 7→ [un , un−1 v, . . . , v n ]
(where n is positive integer). Let V be its image.
(a) Let I be the homogeneous ideal of the graded ring R = k[x0 , . . . , xn ] generated by the
2 × 2 minors of the matrix:
x0 x1 . . . xn−1
x1 x2 . . . x n
Prove that V is a projective variety with homogeneous coordinate ring R/I.
(b) Prove that the map v is an isomorphism onto its image. The image is called a rational
normal curve. The case n = 2 is a conic (we did this in class). The case n = 3 is a
twisted cubic (projective version).
2. Prove that any automorphism P1 → P1 is of the form [x, y] 7→ [ax + by, cx + dy], for some
a, b, c, d ∈ k such that ad − bc 6= 0. This is often written in dehomogenized form
az + b
z 7→
cz + d
(i.e., write z for [1, z]). This is also called the group of Möbius transformations.
Problems on quadrics/conics. Assume that the characteristic of k is not 2.
3. Prove that the quadrics X : wx = yz and Y : w2 + x2 + y 2 = z 2 in P3 are isomorphic.
Describe both one-parameter families of lines in Y .
4. Prove that all irreducible conics in P2 (i.e., projective varieties in P2 defined by an irreducible homogeneous polynomial of degree 2 in k[x0 , x1 , x2 ]) are isomorphic to P1 . (Hint: use
the classification
of quadratic forms over k: there is a change of basis such that the quadratic
P
form is 0≤i≤j yi2 , for some j ∈ {0, 1, 2}.) Give an example of two non-isomorphic quadrics
in P3 - you don’t have to prove they are not isomorphic. (Your example should not include
quadratic forms that are squares of linear forms.)
5. Recall from class that the image of the Segre map P1 ×P1 → P3 is the quadric X : wx = yz.
Prove that the only lines in P3 contained in X are the images of the fibers of the two projection
maps πi : P1 × P1 → P1 , i = 1, 2.
1
2
Linear Algebra.
A set of points {p1 , . . . , pl } in Pn is said to be in general position if the corresponding l
vectors in An+1 = k n+1 have the following property: for any 1 ≤ j ≤ n + 1, any j of them are
linearly independent (i.e., they span an affine space of dimension j). Two ordered sets of l
points {p1 , . . . , pl }, {q1 , . . . , ql } in Pn are projectively equivalent if there is an automorphism
φ of Pn such that φ(pi ) = qi , for all i.
5. Prove that any two ordered sets of n + 2 points in general position in Pn are projectively
equivalent. For l ≤ n, prove that l + 1 points in general position in Pn are contained in a
unique linear subspace of dimension l, i.e., a projective variety which is the vanishing locus
of n − l linearly independent linear forms (homogeneous polynomials of degree 1).
Some comments/hints/suggestions:
• Try to prove that a linear subspace of dimension l is ismorphic to Pl . We call lines
lines linear subspaces of dimension 1, planes linear subspaces of dimension 2, etc.
• You are asked to prove here in the projective setting what you know from linear
algebra: through 2 distinct points there passes a unique line, through 3 non-collinear
points, there passes a unique plane, etc.
• Hint: Try to prove that any n + 2 points in general position in Pn are projectively
equivalent to the following points:
p1 = [1, 0, . . . , 0],
p2 = [0, 1, . . . , 0],
...
pn+1 = [0, 0, . . . , 1],
pn+2 = [1, 1, . . . , 1].
6. Prove that through five points in general position in P2 there passes a unique irreducible
conic.
Have a guess: how many lines in P3 intersect four general lines? Take the word “general”
to loosely mean that “nothing changes” if we move any of the lines in any direction. Here is
one way to come up with the answer.
7. Let L and M be two disjoint lines in P3 and let P be a point in P3 \ (L ∪ M ).
a. Prove that there is a unique line through P intersecting L and M .
b. Prove that if N is another line that is disjoint from L and M , then there is a unique
quadric surface in P3 (which up to a change of coordinates is xw = yz!) that contains
the three lines L, M, N .
Now note that if a fourth line K is not contained in the above quadric, it must (intuitively
at least) intersect the quadric at two points! (Why?) Any line that intersects all four lines
must be therefore contained in the quadric, passing through the two points of intersection of
K with the quadric and be in the “other ruling” than the one to which L, M, N belong. The
answer is: 2 lines!
3
Here is a concrete question (you don’t have to write this up!): how many lines intersect
the following four lines in P3 (x, y, z, w are the coordinates on P3 ):
L1 : x = y = 0,
L2 : z = w = 0,
L3 : x = y, z = w,
L4 : x + 2y = z + w, x + 2w = y + z.
Miscellanea:
8. Prove that if X is a topological space obtained by gluing irreducible topological spaces
X1 and X2 along open sets U ⊆ X1 , V ⊆ X2 via a homeomorphism f : U → V , then X is
irreducible. Explain how you would generalize this in the case when you glue more than two
spaces.
9. Prove that the product X × Y of two varieties X, Y is a variety. (Only argue why the
product is separated - you don’t need to argue why it is a prevariety.) Prove that X × Y
is irreducible if X, Y are both irreducible. (We proved this when X and Y are affine. Only
argue how to use the gluing construction to prove this in general).
10. Let X ⊆ An be a closed subvariety. Identify An with D+ (x0 ) ⊆ Pn and let X be
the closure of X in Pn . Prove that I(X) = I(X)∗ ⊂ k[x0 , . . . , xn ], where I(X)∗ is the
ideal generated by the homogeneous polynomials f ∗ obtained from elements f ∈ I(X) ⊂
k[x1 , . . . , xn ] by “homogenizing” (i.e., if f = fd + . . . + f0 , with each fi a homogeneous
polynomial of degree i in k[x1 , . . . , xn ], then f ∗ = fd + fd−1 x0 + . . . + f0 xd0 ).
11. Let X be a Hausdorff topological space. Prove that X is compact if and only if for any
topological space Y , the projection X × Y → Y is a closed map (maps closed sets to closed
sets).