summaryrefslogtreecommitdiffstats
path: root/controle-20160421.tex
diff options
context:
space:
mode:
Diffstat (limited to 'controle-20160421.tex')
-rw-r--r--controle-20160421.tex102
1 files changed, 102 insertions, 0 deletions
diff --git a/controle-20160421.tex b/controle-20160421.tex
index 16bd62f..bd069f6 100644
--- a/controle-20160421.tex
+++ b/controle-20160421.tex
@@ -525,6 +525,108 @@ non-trivial dans $K^n$. [Théorème de Tsen.]
\end{corrige}
+%
+%
+%
+
+\exercice
+
+Soit $k$ un corps parfait de caractéristique $\neq 2,3,5$. On
+considère la courbe $C$ plane sur $k$ d'équation $y^2 = x^5 - 1$. On
+admettra sans vérification que le polynôme $h := y^2 - x^5 + 1 \in
+k[x,y]$ est géométriquement irréductible, et on posera $K := k(C) =
+k(x)[y]/(h)$.
+
+(1) Si $w$ est une valuation de $K$ au-dessus de $k$, montrer qu'on a
+$w(x)<0$ si et seulement si $w(y)<0$. Exprimer le rapport entre
+$w(y)$ et $w(x)$ lorsque c'est le cas.
+
+\begin{corrige}
+Si $w(x)<0$ alors $w(x^5 - 1) = 5 w(x)$ (puisque $w(x^5) < w(1)$),
+autrement dit $w(y^2) = 5 w(x)$, d'où on déduit $w(y) = \frac{5}{2}
+w(x) < 0$. Réciproquement, si $w(x) \geq 0$ alors $w(x^5 - 1) \geq
+0$, autrement dit $w(y^2) \geq 0$, d'où on déduit $w(y) \geq 0$. On a
+bien montré l'équivalence entre $w(x)<0$ et $w(y)<0$ et, de plus,
+$w(y) = \frac{5}{2} w(x)$ lorsque ces propriétés sont vérifiées.
+\end{corrige}
+
+\smallbreak
+
+(2) Rappeler pourquoi tout élément de $K$ s'écrit de façon unique sous
+la forme $f_0 + f_1 y$ avec $f_0,f_1 \in k(x)$.
+
+\begin{corrige}
+Le corps $K$ est le corps de rupture de $h := y^2 - x^5 + 1$ sur le
+corps $k(x)$ des fractions rationnelles en l'indéterminée $x$. Tout
+élément de $K = k(x)[y]/(h)$ est donc représenté de façon unique sous
+la forme d'un polynôme de degré $<2$ en $y$, à savoir le reste de la
+division euclidienne par $h$ (dans $k(x)[y]$) de n'importe quel
+représentant, ce qui est bien la forme demandée.
+\end{corrige}
+
+\smallbreak
+
+(3) En déduire qu'il existe au plus une valuation $w$ de $K$ au-dessus
+de $k$ telle que $w(x) < 0$ (on pourra considérer la restriction de
+$w$ à $k(x)$ et montrer que c'est, à une constante près, la valuation
+$v_\infty$ à l'infini ; puis déduire de (2) que $w$ est complètement
+déterminé par la donnée de $w(x)$ et en conclure ce que vaut cette
+quantité). Montrer qu'il existe effectivement une telle valuation.
+
+\begin{corrige}
+La restriction de $w$ à $k(x)$ vérifie les propriétés (o), (i) et (ii)
+de \ref{valuation-ring-versus-valuation-function} qui définissent une
+valuation : c'est donc \emph{à multiplication près par un entier
+ $e\geq 1$} une valuation sur $k(x)$, au-dessus de $k$ ; et puisque
+$w(x) < 0$, cette valuation est la valuation à l'infini. Autrement
+dit, en notant $w(x) = -e$, on a $w(f_0) = e\,v_\infty(f_0)$ pour
+tout $f_0 \in k(x)$. Mais on sait aussi que $w(y) = \frac{5}{2} w(x)
+= -\frac{5}{2} e$, donc dans une forme $f_0 + f_1 y$, le premier terme
+a une valuation multiple de $e$ et le second en a une qui vaut
+$-\frac{5}{2}e$ plus un multiple de $e$, et notamment les deux termes
+sont forcément de valuations \emph{différentes} : ainsi, $w(f_0 + f_1
+y)$ est complètement déterminé par la donnée de $e$, à savoir $e\,
+\min(v_\infty(f_0), v_\infty(f_1) - \frac{5}{2})$. Mais puisque
+l'image de $w$ doit être $\mathbb{Z} \cup \{\infty\}$ (condition de
+normalisation), on a forcément $e = 2$, c'est-à-dire $w(x) = -2$ et
+$w(y) = -5$.
+
+Il existe forcément une telle valuation, car $x$ n'est pas constant
+(il est transcendant sur $k$), donc il a un pôle, ce qui signifie
+exactement qu'il existe une place $w$ comme on vient de le décrire.
+\end{corrige}
+
+\smallbreak
+
+(4) On note $M$ la place de $C$ qui a été trouvée (c'est-à-dire que $w
+= \ord_M$ est l'unique valuation de $K$ au-dessus de $k$ pour laquelle
+$w(x) < 0$). Montrer que pour tout $r \in \mathbb{N}$ les fonctions
+$1,x,x^2,\ldots,x^r,\penalty0 y,xy,\ldots,x^{r-3}y$ sont dans l'espace de
+Riemann-Roch $\mathscr{L}(2r(M))$ et sont linéairement indépendants
+sur $k$. En déduire un minorant de $\ell(2r(M))$. En prenant $r$
+grand, en déduire un majorant sur le genre $g$ de $C$.
+
+\begin{corrige}
+On vient de voir que $\ord_M(x) = -2$ et $\ord_M(y) = -5$. Par
+conséquent, $\ord_M(x^i) = -2i$ et $\ord_M(x^i y) = -5-2i$. Ces
+quantités sont $\geq -2r$ lorsque respectivement $i\leq r$ et $i\leq
+r-\frac{5}{2}$ (c'est-à-dire en fait $i \leq r-3$ puisque $i,r$ sont
+entiers). On a bien montré que $1,x,x^2,\ldots,x^r,\penalty0
+y,xy,\ldots,x^{r-3}y$ sont dans $\mathscr{L}(2r(M))$. Ils sont
+linéairement indépendants sur $k$ car d'une part les puissances
+de $x$, qui sont dans $k(x)$, sont linéairement indépendantes sur $k$,
+et d'autre part $1$ et $y$ sont linéairement indépendants sur $k(x)$
+(cf. question (2)). Bref, on a trouvé $(r+1) + (r-2) = 2r-1$ éléments
+$k$-linéairement indépendants dans $\mathscr{L}(2r(M))$, donc
+$\ell(2r(M)) \geq 2r-1$.
+
+Or on sait par \ref{degree-of-canonical-divisor}(B) que si $r$ est
+assez grand (à savoir $2r > 2g - 2$ mais peu importe), on a
+$\ell(2r(M)) = 2r + 1 - g$. On en déduit $1 - g \geq -1$,
+c'est-à-dire $g \leq 2$.
+\end{corrige}
+
+
%
%