The Stacks project

Exercise 109.56.1 (Definitions). Provide definitions of the italicized concepts.

1. a radical ideal of a ring,

2. a finite type ring homomorphism,

3. a differential a la Weil,

4. a scheme.

Exercise 109.56.2 (Results). State something formally equivalent to the fact discussed in the course.

1. result on hilbert polynomials of graded modules.

2. dimension of a Noetherian local ring $(R, \mathfrak m)$ and $\bigoplus _{n \geq 0} \mathfrak m^ n/\mathfrak m^{n + 1}$.

3. Riemann-Roch.

4. Clifford's theorem.

5. Chevalley's theorem.

Exercise 109.56.3. Let $A \to B$ be a ring map. Let $S \subset A$ be a multiplicative subset. Assume that $A \to B$ is of finite type and $S^{-1}A \to S^{-1}B$ is surjective. Show that there exists an $f \in S$ such that $A_ f \to B_ f$ is surjective.

Exercise 109.56.4. Give an example of an injective local homomorphism $A \to B$ of local rings, such that $\mathop{\mathrm{Spec}}(B) \to \mathop{\mathrm{Spec}}(A)$ is not surjective.

Exercise 109.56.6. In Situation 109.56.5 assume $d \geq 3$ and that the curve $D$ has exactly one singular point, namely $P = (1 : 0 : 0)$. Assume further that we have the expansion

around $P = (0, 0)$. Then $C$ has two points $v$ and $w$ lying over $P$ characterized by

1. Show that the element $\omega = \text{d}x/f_ y = - \text{d}y/f_ x$ of $\Omega _{K/k}$ has a first order pole at both $v$ and $w$. (The behaviour of $\omega $ at nonsingular points is as discussed in the lectures.)

2. In the lectures we have shown that $\omega $ vanishes to order $d - 3$ at the divisor $X_0 = 0$ pulled back to $C$ under the map $C \to D$. Combined with the information of (1) what is the degree of the divisor of zeros and poles of $\omega $ on $C$?

3. What is the genus of the curve $C$?

Exercise 109.56.7. In Situation 109.56.5 assume $d = 5$ and that the curve $C = D$ is nonsingular. In the lectures we have shown that the genus of $C$ is $6$ and that the linear system $K_ C$ is given by

where $\deg $ indicates total degree¹. Let $P_1, P_2, P_3, P_4, P_5 \in D$ be pairwise distinct points lying in the affine open $X_0 \not= 0$. We denote $\sum P_ i = P_1 + P_2 + P_3 + P_4 + P_5$ the corresponding divisor of $C$.

1. Describe $L(K_ C - \sum P_ i)$ in terms of polynomials.

2. What are the possibilities for $l(\sum P_ i)$?

Exercise 109.56.8. Write down an $F$ as in Situation 109.56.5 with $d = 100$ such that the genus of $C$ is $0$.

Exercise 109.56.9. Let $k$ be an algebraically closed field. Let $K/k$ be finitely generated field extension of transcendence degree $1$. Let $C$ be the abstract curve corresponding to $K$. Let $V \subset K$ be a $g^ r_ d$ and let $\Phi : C \to \mathbf{P}^ r$ be the corresponding morphism. Show that the image of $C$ is contained in a quadric² if $V$ is a complete linear system and $d$ is large enough relative to the genus of $C$. (Extra credit: good bound on the degree needed.)

Exercise 109.56.10. Notation as in Situation 109.56.5. Let $U \subset \mathbf{P}^2_ k$ be the open subscheme whose complement is $D$. Describe the $k$-algebra $A = \mathcal{O}_{\mathbf{P}^2_ k}(U)$. Give an upper bound for the number of generators of $A$ as a $k$-algebra.