summaryrefslogtreecommitdiffstats
path: root/exercices-courbes.tex
diff options
context:
space:
mode:
Diffstat (limited to 'exercices-courbes.tex')
-rw-r--r--exercices-courbes.tex123
1 files changed, 108 insertions, 15 deletions
diff --git a/exercices-courbes.tex b/exercices-courbes.tex
index 19d2611..6192b9d 100644
--- a/exercices-courbes.tex
+++ b/exercices-courbes.tex
@@ -219,26 +219,26 @@ Montrer qu'une telle valuation existe bien. On appellera cette place
« point à l'infini » de $E$ et on la notera $\heartsuit$.
\begin{corrige}
-Si $w$ est une valuation de $K$ au-dessus de $k$ telle que $r := w(x)
-< 0$ alors $w(x^3 + ax + b) = 3r$, c'est-à-dire $w(y^2) = 3r$, donc
-$w(y) = \frac{3}{2}r < 0$. Réciproquement, si $w(y) < 0$ alors
+Si $w$ est une valuation de $K$ au-dessus de $k$ telle que $e := -w(x)
+> 0$ alors $w(x^3 + ax + b) = -3e$, c'est-à-dire $w(y^2) = -3e$, donc
+$w(y) = -\frac{3}{2}e < 0$. Réciproquement, si $w(y) < 0$ alors
$w(y^2) < 0$ donc $w(x^3 + ax + b) < 0$ et ceci interdit $w(x) \geq 0$
(car on aurait alors $w(x^3 + ax + b) \geq 0$). Les hypothèses
$w(x)<0$ et $w(y)<0$ sont donc équivalentes.
Un élément de $K = k(x)[y]/(h)$ s'écrit sous la forme $f_0 + f_1 y$.
-Par ailleurs, la donnée de $r = w(x)$ détermine $w$ sur $k[x]$ (c'est
-$r$ fois le degré) donc sur $k(x)$ (c'est $-r$ fois la valuation
+Par ailleurs, la donnée de $e = -w(x)$ détermine $w$ sur $k[x]$ (c'est
+$-e$ fois le degré) donc sur $k(x)$ (c'est $e$ fois la valuation
$v_\infty$ usuelle en l'infini sur $k(x)$). Et comme $w(f_1 y) =
-\frac{3}{2}r + w(f_1)$ n'est pas un multiple entier de $r$ donc pas
+-\frac{3}{2}e + w(f_1)$ n'est pas un multiple entier de $e$ donc pas
égal à la valuation d'un élément de $k(x)$, la valuation de $f_0 + f_1
y$ est complètement déterminée (la valuation d'une somme dont les
termes sont de valuations \emph{différentes} est le plus petit des
valuations des termes,
cf. \ref{valuation-ring-versus-valuation-function}(ii.b)). Bref, on a
-complètement caractérisé $w$, à la donnée de $r$ près. Mais puisque
+complètement caractérisé $w$, à la donnée de $e$ près. Mais puisque
l'image de $w$ doit être $\mathbb{Z} \cup \{\infty\}$ (condition de
-normalisation), on a forcément $r = 2$, c'est-à-dire $w(x) = -2$ et
+normalisation), on a forcément $e = 2$, c'est-à-dire $w(x) = -2$ et
$w(y) = -3$.
Enfin, on constate que ceci définit bien une valuation sur $K$ (soit
@@ -349,26 +349,26 @@ $f_0 + f_1 y$ pour $f_0,f_1 \in k(x)$. On notera $\clubsuit$ une
place comme on vient de trouver.
\begin{corrige}
-Soit $w$ une valuation de $K$ au-dessus de $k$ telle que $r :=
+Soit $w$ une valuation de $K$ au-dessus de $k$ telle que $e :=
w(f_\sharp(x)) > 0$. Alors en considérant la décomposition en
facteurs irréductibles d'un élément non nul quelconque de $k(x)$, on
-voit que $w|_{k(x)} = r v_{f_\sharp}$ où $v_{f_\sharp}$ est la
+voit que $w|_{k(x)} = e v_{f_\sharp}$ où $v_{f_\sharp}$ est la
valuation de $k(x)$ associée à $f_\sharp$ (i.e., la multiplicité de ce
dernier dans la décomposition en facteurs irréductibles d'un élément).
En particulier, comme $v_{f_\sharp}(f) = 1$ (puisque $f_\sharp$ est un
facteur irréductible de $f$ et qu'il n'apparaît pas plus qu'une fois
d'après l'hypothèse, trouvée en (1), que $f$ est séparable), on a
-$w(f) = r$, et par conséquent $w(y) = \frac{1}{2}r$.
+$w(f) = e$, et par conséquent $w(y) = \frac{1}{2}e$.
-Comme $w(f_1 y) = \frac{1}{2}r + w(f_1)$ n'est pas un multiple entier
-de $r$ donc pas égal à la valuation d'un élément de $k(x)$, la
+Comme $w(f_1 y) = \frac{1}{2}e + w(f_1)$ n'est pas un multiple entier
+de $e$ donc pas égal à la valuation d'un élément de $k(x)$, la
valuation de $f_0 + f_1 y$ est complètement déterminée (la valuation
d'une somme dont les termes sont de valuations \emph{différentes} est
le plus petit des valuations des termes,
cf. \ref{valuation-ring-versus-valuation-function}(ii.b)). Bref, on a
-complètement caractérisé $w$, à la donnée de $r$ près. Mais puisque
+complètement caractérisé $w$, à la donnée de $e$ près. Mais puisque
l'image de $w$ doit être $\mathbb{Z} \cup \{\infty\}$ (condition de
-normalisation), on a forcément $r = 2$, c'est-à-dire $w(f_\sharp(x)) =
+normalisation), on a forcément $e = 2$, c'est-à-dire $w(f_\sharp(x)) =
2$ et $w(y) = 1$.
Enfin, on constate que ceci définit bien une valuation sur $K$ (soit
@@ -571,6 +571,99 @@ existe une ou deux places $Q_i$, de degré total $\sum_i \deg(Q_i) =
$\divis(f_P(x)) = \sum_i (Q_i) - 2\deg(f_P) \cdot (\heartsuit)$.
\end{corrige}
+\smallbreak
+
+(12) On a construit différentes sortes de places de $E$ : la place
+$\heartsuit$ « à l'infini » en (4), une place $\clubsuit$ pour chaque
+facteur irréductible $f_\sharp$ de $f := x^3 + ax + b$ en (7), et une
+ou deux places $Q_i$ pour chaque facteur irréductible $f_P$ qui
+\emph{ne divise pas} $f$ en (9). Expliquer pourquoi on a ainsi une
+description complète des places de $E$ (on pourra considérer la
+restriction à $k(x) \subseteq K$ d'une place de $K$).
+
+\begin{corrige}
+Si $w$ est une place quelconque de $K$, il est clair que sa
+restriction $w|_{k(x)}$ à $k(x)$ vérifie (o), (i) et (ii)
+de \ref{valuation-ring-versus-valuation-function} puisque c'est le cas
+de $w$. C'est donc \emph{à multiplication près par un entier $e\geq
+ 1$} une valuation sur $k(x)$, au-dessus de $k$. Cette valuation
+n'est pas triviale car si elle l'est, c'est-à-dire si $w$ est nulle
+sur $k(x)$ on a $w(y) = w(x^3 + ax + b) \geq 0$ donc $w$ est positive
+sur tout élément de la forme $f_0 + f_1 y$, mais aussi sur son inverse
+pour la même raison, bref sur tout élément de $K$, et du coup $w$ est
+triviale, ce qui contredit l'hypothèse qu'il s'agisse d'une place
+de $E$. On a donc $e \geq 1$ et $w|_{k(x)} = ev$ avec $e$ une place
+de $k(x)$ au-dessus de $k$. Or on sait qu'une telle place est
+forcément soit la place à l'infini soit la place définie par un
+polynôme unitaire irréductible dans $k[x]$, et selon le cas que ce
+dernier divise ou ne divise pas $f$, on trouve dans les différents cas
+$w(x) < 0$ ou bien $w(f_\sharp(x)) > 0$ ou encore $w(f_P(x)) > 0$,
+donc une des places qu'on a classifiées.
+\end{corrige}
+
+\smallbreak
+
+\emph{On pourra désormais librement supposer que $k$ est parfait}
+(même si ce n'est pas utile ici).
+
+(13) Relier $dx$ et $dy$ dans $\Omega^1_{K/k}$. Relier $dx$ et
+$d(f_0(x))$ lorsque $f_0 \in k[x]$ est un polynôme quelconque. En
+déduire $\ord_M(dx)$ pour les différentes places $M$ de $E$,
+c'est-à-dire, décrire $\divis(dx)$. Quel est le genre de la
+courbe $E$ ?
+
+\begin{corrige}
+On a $y = x^3 + ax + b$ donc $y\,dy = (3x^2+a)\,dx$, ce qui peut bien
+sûr se réécrire librement en $\frac{dy}{dx} = \frac{3x^2+a}{y} =
+\frac{3x^2+a}{x^3+ax+b}y$, ou encore $\frac{dy}{3x^2+a} =
+\frac{dx}{y}$ ou encore $\frac{1}{3x^2+a}\,dy =
+\frac{1}{x^3+ax+b}\,y\,dx$.
+
+%% $\frac{1}{3x^2+a} = \frac{4a^2}{27 y^4 - 54 b y^2 + \Delta} +
+%% \frac{9y^2 - 9b}{27 y^4 - 54 b y^2 + \Delta} x + \frac{6a}{27 y^4 - 54
+%% b y^2 + \Delta} x^2$
+
+Si $f_0 \in k[x]$, on a $d(f_0(x)) = f_0'(x)\,dx$ où $f_0'$ est la
+dérivée usuelle des polynômes : cela résulte facilement de
+l'application des règles de calcul sur $d$.
+
+Calculons $\ord_M(dx)$ pour les différentes places $M$ de $E$. En
+$\heartsuit$, on sait que $\ord_\heartsuit(x) = -2$, d'où il résulte
+que $\ord_\heartsuit(dx) = -3$ (cf. \ref{order-of-derivatives}). En
+une place $\clubsuit$, on sait que $\ord_\clubsuit(f_\sharp(x)) = 2$,
+d'où il résulte que $\ord_\clubsuit(d(f_\sharp(x))) = 1$, c'est-à-dire
+$\ord_\clubsuit(f_\sharp'(x)) + \ord_\clubsuit(dx) = 1$. Mais on a vu
+que $\ord_\clubsuit(r(x)) = 2\ord_{(f_\sharp)}(r)$ quel que soit $r
+\in k(x)$, et par ailleurs $f_\sharp'$ et $f_\sharp$ sont premiers
+entre eux dans $k[x]$ vu que $f_\sharp$ est séparable (puisqu'il
+divise $f$). Bref, $\ord_\clubsuit(dx) = 1$. On pouvait aussi le
+déduire du fait que $\ord_\clubsuit(y) = 1$ donc $\ord_\clubsuit(dy) =
+0$, et $dx = \frac{y}{3x^2+a}\,dy$ où l'ordre du dénominateur est $0$
+en chaque place $\clubsuit$ (puisque $3x^2+a$ est premier avec $f$).
+Enfin, en une place $Q$ telle que $\ord_Q(f_P(x)) = 1$, on a
+$\ord_Q(d(f_P(x))) = 0$, c'est-à-dire $\ord_Q(f_P'(x)) + \ord_Q(dx) =
+0$, et comme les deux termes sont positifs (puisque $A \subseteq
+\mathcal{O}_Q$ comme on l'a déjà signalé), ils sont tous les deux
+nuls, bref $\ord_Q(dx) = 0$.
+
+Finalement, on a $\divis(dx) = \sum_i (\clubsuit_i) - 3(\heartsuit)$
+(diviseur de degré $0$, qui coïncide avec $\divis(y)$).
+
+Le genre de la courbe $E$ est donné par l'égalité $\deg(\divis(dx)) =
+2g-2$ (cf. \ref{degree-of-canonical-divisor}), donc $g = 1$.
+\end{corrige}
+
+\smallbreak
+
+(14) Donner un élément $\omega \in \Omega^1_{K/k}$ tel que
+$\divis(\omega) = 0$.
+
+\begin{corrige}
+On a vu que $\divis(dx) = \divis(y)$, donc la différentielle
+$\frac{dx}{y} = \frac{1}{x^3 + ax + b}\,y\,dx = \frac{1}{3x^2+a}\,dy$
+répond à la question.
+\end{corrige}
+
%