summaryrefslogtreecommitdiffstats
path: root/notes-accq205.tex
diff options
context:
space:
mode:
Diffstat (limited to 'notes-accq205.tex')
-rw-r--r--notes-accq205.tex56
1 files changed, 35 insertions, 21 deletions
diff --git a/notes-accq205.tex b/notes-accq205.tex
index 494391c..731ad85 100644
--- a/notes-accq205.tex
+++ b/notes-accq205.tex
@@ -5336,27 +5336,32 @@ séparable sur $k$) ; alors pour tout $f \in K$ on a :
\begin{itemize}
\item $\ord_P(df) = \ord_P(f)-1$ si $\ord_P(f) \neq 0$ dans $k$ (i.e.,
si $\ord_P(f)$ n'est pas multiple de la caractéristique), et
-\item $\ord_P(df) \geq 0$ si $\ord_P(f) \geq 0$.
+\item $\ord_P(df) \geq 0$ si $\ord_P(f) \geq 0$, et plus généralement
+ $\ord_P(df) \geq \ord_P(f)$ si $\ord_P(f)$ est multiple de la
+ caractéristique de $k$.
\end{itemize}
\end{prop}
\begin{proof}
Soit $R := \mathcal{O}_P$ et soit $t$ une uniformisante en $P$ (i.e.,
$\ord_P(t) = 1$).
-La seconde propriété citée a déjà été signalée (elle affirme que les
-$df$ pour $f \in R$ appartiennent $\Omega^1_{R/k}$). Reste à montrer
-la première.
+La seconde propriété que $\ord_P(df) \geq 0$ si $\ord_P(f) \geq 0$ a
+déjà été signalée (elle affirme que les $df$ pour $f \in R$
+appartiennent $\Omega^1_{R/k}$). On va l'utiliser pour montrer les
+autres.
D'après \ref{order-of-differential-wrt-uniformizer}, on sait que
$\ord_P(df) = \ord_P(df/dt)$. Écrivons $f = u t^i$ où $i = \ord_P(f)$
et $u \in R^\times$ (en
utilisant \ref{discrete-valuation-rings-are-principal}). On a alors
$df = i\,u\,t^{i-1}\,dt + t^i\,du$, soit $\frac{df}{dt} =
-i\,u\,t^{i-1} + t^i\,\frac{du}{dt}$. Si $i\neq 0$, le premier terme a
-valuation exactement $i-1$ et le second a valuation $\geq i$ (car
-$du/dt \in R$ comme on vient de le voir au paragraphe précédent), donc
-la valuation de la somme est $i-1$ (on
-utilise \ref{valuation-ring-versus-valuation-function}(ii.b)).
+i\,u\,t^{i-1} + t^i\,\frac{du}{dt}$. Si $i\neq 0$ dans $k$, le
+premier terme a valuation exactement $i-1$ et le second a
+valuation $\geq i$ (car $du/dt \in R$ comme on vient de le voir au
+paragraphe précédent), donc la valuation de la somme est $i-1$ (on
+utilise \ref{valuation-ring-versus-valuation-function}(ii.b)). Si
+$i=0$ dans $k$, le premier terme s'annule et le second a toujours
+valuation $\geq i$.
\end{proof}
\begin{prop}
@@ -5416,6 +5421,21 @@ classe\footnote{Normalement la classe canonique est plutôt notée par
corps des fonctions.} $W \in \Pic(C)$ de n'importe quel diviseur
canonique.
+\thingy Si $D = \sum_P n_P \cdot (P)$ est un diviseur et $W$ un
+diviseu canonique, on pourra remarquer que
+\[
+\mathscr{L}(W-D) \cong \{\omega \in \Omega^1_{K/k} : (\forall P)\,
+\ord_P(\omega) \geq n_P\}
+\]
+(où $\cong$ désigne un isomorphisme de $k$-espace vectoriels,
+c'est-à-dire l'égalité des dimensions) : précisément, si $W =
+\divis(\omega_0)$, alors $\mathscr{L}(W-D) = \{f \in K^\times :
+\divis(f) + \divis(\omega_0) - D \geq 0\} \cup \{0\} = \{f \in
+K^\times : \divis(f \omega_0) - D \geq 0\} \cup \{0\}$ est isomorphe
+via $f \mapsto f\omega_0$ à $\{\omega\in \Omega^1_{K/k}\setminus\{0\}
+: \divis(\omega) - D \geq 0\} \cup \{0\}$, c'est-à-dire ce qu'on a
+écrit ci-dessus.
+
\subsection{Le théorème de Riemann-Roch}\label{subsection-riemann-roch}
@@ -5475,8 +5495,8 @@ nous permet de calculer $g_{\mathbb{P}^1}$ par $2g_{\mathbb{P}^1} - 2
= -2$ soit $g_{\mathbb{P}^1} = 0$. Voici une forme de réciproque :
\begin{prop}
-Soit $C$ une courbe géométriquement intègre de genre $0$ et ayant une
-place rationnelle (cf. \ref{degree-of-a-place}). Alors $C$ est
+Soit $C$ une courbe géométriquement irréductible de genre $0$ et ayant
+une place rationnelle (cf. \ref{degree-of-a-place}). Alors $C$ est
isomorphe à $\mathbb{P}^1$ (c'est-à-dire que $k(C)$ est $k(t)$ : la
courbe est \emph{rationnelle}).
\end{prop}
@@ -5487,16 +5507,10 @@ $\ell((P)) = 2$. Il existe donc une fonction $f$ non-constante,
admettant au plus un pôle simple, en $P$ ; comme elle est
non-constante, d'après \ref{constant-functions-on-a-curve}, elle doit
aussi avoir un pôle, donc $\divis(f)$, qui doit être de degré $0$, est
-de la forme $(P) - (Q)$.
-
-On applique encore \ref{degree-of-canonical-divisor}(B) au diviseur $D
-:= (P)-(Q)$ : il montre que $\ell(D) = 1$.
-Mais \ref{negative-degree-divisors-have-no-sections} montre que $D
-\sim 0$, c'est-à-dire qu'il existe $f \in k(C)$ tel que $\divis(f) =
-(P) - (Q)$. D'après \ref{degree-identity}, on voit que $\deg f
-:=[k(C):k(f)] = 1$, c'est-à-dire $k(C) = k(f)$, et comme $f$ est
-transcendante parce que non constante, on a bien montré que $k(C)$ est
-le corps des fractions rationnelles en une indéterminée.
+de la forme $(Q) - (P)$. D'après \ref{degree-identity}, on voit que
+$\deg f :=[k(C):k(f)] = 1$, c'est-à-dire $k(C) = k(f)$, et comme $f$
+est transcendante parce que non constante, on a bien montré que $k(C)$
+est le corps des fractions rationnelles en une indéterminée.
\end{proof}