From 8d91c962d6226313b4c8c5a81c0f3cfe265afa70 Mon Sep 17 00:00:00 2001 From: "David A. Madore" Date: Thu, 14 Apr 2016 19:16:34 +0200 Subject: Yet more on the exercise. --- exercices-courbes.tex | 28 ++++++++++++++++++++++++++++ 1 file changed, 28 insertions(+) (limited to 'exercices-courbes.tex') diff --git a/exercices-courbes.tex b/exercices-courbes.tex index 6192b9d..81bd76c 100644 --- a/exercices-courbes.tex +++ b/exercices-courbes.tex @@ -664,6 +664,34 @@ $\frac{dx}{y} = \frac{1}{x^3 + ax + b}\,y\,dx = \frac{1}{3x^2+a}\,dy$ répond à la question. \end{corrige} +\smallbreak + +(15) Si $D$ est un diviseur de degé $1$ sur $E$, montrer que $\ell(D) += 1$. En déduire que tout diviseur $D$ de degré $0$ est linéairement +équivalent à $(M) - (\heartsuit)$ pour une place $M$ de degré $1$ (on +considérera un élément non nul dans $\mathscr{L}(D + (\heartsuit))$). +Montrer que cette place est unique, i.e., que $(M) - (\heartsuit)$ +n'est linéairement équivalent à $(M') - (\heartsuit)$ que pour $M'=M$ +(on pourra noter que tout élément de $\mathscr{L}((M))$ est une +constante). + +\begin{corrige} +D'après \ref{degree-of-canonical-divisor}(B), si $D$ est de degré $1 > +2g-2$, on a $\ell(D) = \deg D + 1 - g = 1$. Si maintenant $D$ est de +degré $0$, alors $D + (\heartsuit)$ est de degré $1$, donc on vient de +voir qu'il existe $z \in \mathscr{L}(D + (\heartsuit))$ non nul, +c'est-à-dire $\divis(z) + D + (\heartsuit) \geq 0$, or le membre de +gauche est de degré $1$, et un diviseur effectif de degré $1$ est +évidemment de la forme $(M)$ pour $M$ une place rationnelle. On a +donc $\divis(z) + D + (\heartsuit) = (M)$, ce qui donne bien $D \sim +(M) - (\heartsuit)$. Enfin, $M$ est unique sous ces conditions, car +si $(M') - (\heartsuit) \sim (M) - (\heartsuit)$, autrement dit $(M') +- (M) = \divis(u)$ pour un certain $u\in K^\times$, on a $u \in +\mathscr{L}((M))$, et on vient de voir que $\ell((M)) = 1$, +c'est-à-dire que $\mathscr{L}((M))$ ne contient que les constantes, +bref, $\divis(u) = 0$ et $M = M'$. +\end{corrige} + % -- cgit v1.2.3