Scribd
Upload
8 views1 page

Algebraic Geometry End-Sem Exam 2024-25

The document outlines the end-semester exam for the Algebraic Geometry course at ISI Kolkata, covering various topics related to non-singular algebraic varieties and divisors. It includes problems on surjective morphisms, ideal sheaves, canonical divisors, and the application of Serre duality. The exam is scheduled for Spring 2024-25, with a maximum score of 50 marks.

Uploaded by

kishalay sarkar
Copyright
© All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
8 views1 page

Algebraic Geometry End-Sem Exam 2024-25

The document outlines the end-semester exam for the Algebraic Geometry course at ISI Kolkata, covering various topics related to non-singular algebraic varieties and divisors. It includes problems on surjective morphisms, ideal sheaves, canonical divisors, and the application of Serre duality. The exam is scheduled for Spring 2024-25, with a maximum score of 50 marks.

Uploaded by

kishalay sarkar
Copyright
© All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd

ISI Kolkata

Stat-Math Unit
Algebraic Geometry (M. Math)
End-Semester Exam
Timing: 2:30 to 5:30 PM Spring 2024-25 Max mark: 50

Throughout k is always assumed to be an algebraically closed field, unless specified otherwise.


All the varieties are assumed over k.
1. Let X be a non-singular algebraic variety over k, and let Z be a proper closed subset of
X. Also denote the open set X \ Z by U .
P
Show that there is a surjective morphism Cl(X) −→ Cl(U ), defined by D = nY Y 7→
(a) P
nY (U ∩ Y ), where we ignore those Y ∩ U that are empty. (5)
(b) If codimX Z ≥ 2, show that the above map is an isomorphism. (5)
(c) If Z is a irreducible subset of X of codimension 1, show that the kernel of the map
Cl(X) −→ Cl(U ) is given by {n[Z] | n ∈ Z}. (5)
(d) Let Z be an irreducible curve of degree d in P2k . Show that Cl(P2k \ Z) ≃ Z/dZ. (5)
2. Let X be a non-singular algebraic variety over k.
(a) Show that if Y is a prime divisor of X, then IY , the ideal sheaf of Y , is an invertible
sheaf. (5)
(b) Assume Y is a prime divisor of X. Show that the divisor class corresponding to the
invertible sheaf IY is given by −Y . (5)
3. Let D be a divisor on a non-singular projective algebraic curve X of genus g such that
deg(D) = 2g − 2 and dim Ȟ0 (X, L(D)) = g. Show that D ∼ KX . Here KX denotes the
canonical divisor on X. (5)
4. Let D be a divisor on a non-singular projective algebraic curve X such that deg(D) > 0.
Show that Ȟ1 (X, L(D + KX )) = 0. Here KX denotes the canonical divisor on X. (5)
5. Let X be a non-singular projective algebraic curve of genus g. Let D be a divisor on
X of degree at least 2g − 1. Show that Ȟ1 (X, L(D)) = 0. Consequently, show that
dim Ȟ0 (X, L(D)) = deg(D) + 1 − g. (5)
6. Let X be a non-singular projective algebraic curve. Suppose D, D′ are divisors and D +
 1
D′ = KX . Show that dim Ȟ0 (X, L(D)) − dim Ȟ0 (X, L(D′ )) = (deg(D) − deg(D′ )).

(5)
2
Hint: For questions (3) - (5), you may use the fact that deg (div(f )) = 0 for f ∈ K(X)∗ , and
the Serre duality if necessary.
Serre duality: For any divisor D on a non-singular projective algebraic curve X, Ȟ1 (X, L(D)) ≃
Ȟ0 (X, ΩX ⊗ L(D)∨ ).

Best wishes

You might also like