3
$\begingroup$

NOTE: This is a followup to my question here.

These are some questions concerning Mumford's "Lectures on curves on an algebraic surface".

We concern ourselves with questions of the Picard variety $P$, and its dimension, of a complete nonsingular surface $F$ over an algebraically closed ground field $k$ of arbitrary characteristic. Let $\mathfrak{o}$ be the sheaf of local rings on $F$, $\{C_\alpha: \alpha \in S\}$ a family of curves on $F$ such that $C_0 = C$ is nonsingular and $N$ the sheaf of sections of the normal bundle to $C$ on $F$. Then the equality (A): $\dim P = h^1(\mathfrak{o})$ is equivalent to (B): $\{\text{Tangent space to }S \text{ at }\alpha = 0\} \overset{\rho}{\to} H^0(N)$ is surjective for suitable $\{C_\alpha : \alpha \in S\}$.

I was wondering if someone could give me their explanation/intuitions behind the following, as I am finding the book to be quite terse.

The algebraic solution of problem (B) for characteristic $0$, following Kodaira-Spencer.

Thanks in advance!

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy