ISI Kolkata
Stat-Math Unit
Algebraic Geometry (M. Math)
Mid-Semester Exam
Timing: 2:30 to 5 PM Spring 2024-25 Max mark: 30
Throughout k is always assumed to be an algebraically closed field, unless specified otherwise.
All the varieties are assumed over k.
1. Consider the natural inclusion of A2k \ {(0, 0)} ,→ A2k . Show that the induced ring map
Γ(A2 , OA2 ) −→ Γ(A2 \ {(0, 0)}, OA2 )
is an isomorphism. Using this, show that A2k \ {(0, 0)} is not affine. (5)
2. Let X ⊆ Pnk be a projective variety with homogeneous prime ideal I of k[X0 , . . . , Xn ].
k[X0 , . . . , Xn
consider the homogeneous coordinate ring S(X) := . Let
I
π : An+1 \ {(0, . . . , 0)} −→ Pnk
denote the natural quotient map.
e := π −1 (X) ∪ {(0, . . . , 0)} is an affine variety with coordinate ring S(X).
(a) Show that X (2)
(b) Prove that dim X
e = dim X + 1. (4)
3. Let X be a topological space that is a finite union of non-empty open subsets Vi . Then X
is irreducible if and only if all Vi are irreducible and Vi ∩ Vj ̸= ∅ for all pairs (i, j). (4)
4. Let X be an algebraic variety. Show that dim X = 0 if and only if X is a point. (4)
5. Let F be an irreducible plane curve in P2 . Let P ̸= [1 : 0 : 0], and I(P, F ∩ Z) = 1. Show
∂F
that |P ̸= 0. (5)
∂X
(Hint: Use Euler’s theorem for homogeneous polynomial.)
6. Using Bèzout’s theorem show that there is a unique line passing through two distinct
points of P2 . (4)
(Hint: A line is a hypersurface of degree one. What is the space of lines in P2 ? )
7. Let F be a plane irreducible projective curve of degree d, and let P ∈ P2 be a point. We
set m := mP (F ) ∈ N. Applying Bèzout’s theorem show that for all but finitely many lines
L in P2 through P , the intersection F ∩ L consists of exactly d − m points not equal to P . (4)
(Hint: Use previous exercise.)
8. Let f : Pnk −→ Pm n
k be a morphism. Assume W = f (P ) is closed. Then either W is a
single point, or dim W = n. As a consequence, f can’t be non-constant if m < n.
9. Let F, G ∈ k[X, Y ] be such that gcd(F, G) = 1. Show that V (F, G) is a finite set of points.
(Hint: F and G are relatively prime elements in k(X)[Y ].)
Best wishes
Page 2