## 111.61 Schemes, Final Exam, Spring 2018

These were the questions in the final exam of a course on schemes, in the Spring of 2018 at Columbia University.

Exercise 111.61.1 (Definitions). Provide brief definitions of the italicized concepts. Let $k$ be an algebraically closed field. Let $X$ be a projective curve over $k$.

a *smooth* algebra over $k$,

the *degree* of an invertible $\mathcal{O}_ X$-module on $X$,

the *genus* of $X$,

the *Weil divisor class group* of $X$,

$X$ is *hyperelliptic*, and

the *intersection number* of two curves on a smooth projective surface over $k$.

Exercise 111.61.2 (Theorems). Precisely but briefly state a nontrivial fact discussed in the lectures related to each item (if there is more than one then just pick one of them).

Riemann-Hurwitz theorem,

Clifford's theorem,

factorization of maps between smooth projective surfaces,

Hodge index theorem, and

Riemann hypothesis for curves over finite fields.

Exercise 111.61.3. Let $k$ be an algebraically closed field. Let $X \subset \mathbf{P}^3_ k$ be a smooth curve of degree $d$ and genus $\geq 2$. Assume $X$ is not contained in a plane and that there is a line $\ell $ in $\mathbf{P}^3_ k$ meeting $X$ in $d - 2$ points. Show that $X$ is hyperelliptic.

Exercise 111.61.4. Let $k$ be an algebraically closed field. Let $X$ be a projective curve with pairwise distinct singular points $p_1, \ldots , p_ n$. Explain why the genus of the normalization of $X$ is at most $-n + \dim _ k H^1(X, \mathcal{O}_ X)$.

Exercise 111.61.5. Let $k$ be a field. Let $X = \mathop{\mathrm{Spec}}(k[x, y])$ be affine $2$ space. Let

\[ I = (x^3, x^2y, xy^2, y^3) \subset k[x, y]. \]

Let $Y \subset X$ be the closed subscheme corresponding to $I$. Let $b : X' \to X$ be the blowing up of the ideal $(x, y)$, i.e., the blow up of affine space at the origin.

Show that the scheme theoretic inverse image $b^{-1}Y \subset X'$ is an effective Cartier divisor.

Given an example of an ideal $J \subset k[x, y]$ with $I \subset J \subset (x, y)$ such that if $Z \subset X$ is the closed subscheme corresponding to $J$, then the scheme theoretic inverse image $b^{-1}Z$ is not an effective Cartier divisor.

Exercise 111.61.6. Let $k$ be an algebraically closed field. Consider the following types of surfaces

$S = C_1 \times C_2$ where $C_1$ and $C_2$ are smooth projective curves,

$S = C_1 \times C_2$ where $C_1$ and $C_2$ are smooth projective curves and the genus of $C_1$ is $> 0$,

$S \subset \mathbf{P}^3_ k$ is a hypersurface of degree $4$, and

$S \subset \mathbf{P}^3_ k$ is a smooth hypersurface of degree $4$.

For each type briefly indicate why or why not the class of surfaces of this type contains rational surfaces.

Exercise 111.61.7. Let $k$ be an algebraically closed field. Let $S \subset \mathbf{P}^3_ k$ be a smooth hypersurface of degree $d$. Assume that $S$ contains a line $\ell $. What is the self square of $\ell $ viewed as a divisor on $S$?

## Comments (0)