I need an help with an exercise in Miranda's book "Algebraic curves and Riemann surfaces". More precisely is the exercise in Problems V.4 I.

Given a Riemann surface $X$ and a divisor $D$ on $X$ such that $|D|$ is base point free, let $S\colon \mathbb P(L(D))\to |D| \quad [f]\mapsto div(f)+D$ be the standard isomorphism between these two spaces.

Now consider the set $\{E\in|D|: E\geq p \}$, where $p\in X$. It is easy to see that, under the bijection $S$, $$\{E\in|D|: E\geq p \}=\{div(g)+D:g\in L(D-p)\} =S(\mathbb P(L(D-p))).$$ Since $|D|$ is base point free, we have that $L(D-p)$ is a codimension one subspace of $L(D)$, so $\{E\in|D|: E\geq p \}$ is a hyperplane in $|D|$ and hence is an element of $|D|^*$ (if $V$ is a vector space, with $(\mathbb P V)^*$ we mean the codimension one subset of $V$).

Now Miranda says that the map $\phi \colon X\to |D|^*$ sending $p$ to $\{E\in|D|: E\geq p \}$ is the map $\phi_D\colon X \to \mathbb P^n$, where $\phi_D$ is the holomorphic map associated to the complete linear system $|D|$. The problem is that I don't know how to prove this last part. I know that $\phi_D$ is given by a basis $\{f_0,\dots, f_n\}$ of $L(D)$, so $\phi_D(p)=[f_0(p):\dots:f_n(p)]$. Moreover I can choose functions such that $f_0\in L(D)-L(D-p)$ and $f_1,\dots,f_n\in L(D-p)$ so that $\phi_D(p)=[1:0:\dots:0]$ but now I don't know how to conclude.


Your Answer

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

Browse other questions tagged or ask your own question.