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 162c7db..d17f53f 100644
--- a/exercices-courbes.tex
+++ b/exercices-courbes.tex
@@ -235,12 +235,14 @@ près. Mais puisque l'image de $v$ doit être $\mathbb{Z} \cup
c'est-à-dire $v(x) = -2$ et $v(y) = -3$.
Enfin, on constate que ceci définit bien une valuation sur $K$ (soit
-en le vérifiant à la main, soit en invoquant le théorème d'existence
+en le vérifiant à la main ; soit en invoquant le théorème d'existence
des valuations appliqué à l'anneau $k(x)[\frac{1}{y}]$ des polynômes
en $\frac{1}{y}$ sur $k(x)$, de corps des fractions $K$, et à son
idéal premier engendré par $\frac{1}{y}$, pour affirmer que $K$ doit
avoir une valuation positive sur $k(x)[\frac{1}{y}]$ et strictement
-positive en $\frac{1}{y}$).
+positive en $\frac{1}{y}$ ; soit, tout simplement, en se rappelant que
+$x$ doit avoir un pôle quelque part, c'est-à-dire qu'il doit exister
+une valuation telle que $v(x)<0$).
\end{corrige}
\smallbreak
@@ -248,7 +250,7 @@ positive en $\frac{1}{y}$).
(5) Quels sont le degré de $x$ en tant que fonction sur $E$ (on
rappelle que $\deg(x) := [K:k(x)]$) et de $y$ ? Montrer que la place
$\heartsuit$ trouvée en (4) est rationnelle (c'est-à-dire de
-degré $1$).
+degré $1$). Donner une uniformisante en $\heartsuit$.
\begin{corrige}
On a rappelé en (3) que l'élément $y$ est algébrique de degré $2$
@@ -271,6 +273,9 @@ $\frac{1}{x}$ a un zéro (i.e., la seule place $P$ pour laquelle
$\ord_P(x) < 0$). Comme on a vu que $\ord_\heartsuit(x) = -2$ (donc
$\ord_\heartsuit(\frac{1}{x}) = 2$) et $\deg(x) = 2$, on en déduit
$\deg(\heartsuit) = 1$ : la place est \emph{rationnelle}.
+
+Une uniformisante en $\heartsuit$ est donnée par $x/y$ puisque
+$\ord_\heartsuit(x) = -2$ et $\ord_\heartsuit(y) = -3$.
\end{corrige}
\smallbreak
@@ -281,18 +286,18 @@ en (3).
\begin{corrige}
Pour évaluer un élément de la forme $f_0 + f_1 y$ en $\heartsuit$, on
-se rappelle qu'on a vu en (4) que $v(f_1 y)$ ne peut jamais être de la
-forme $v(f_0)$. La valuation $\ord_\heartsuit$ de $f_0 + f_1 y$ est
-donc positive si et seulement si $\ord_\heartsuit(f_0) \geq 0$ et
-$\ord_\heartsuit(f_1) \geq 3$, sachant que $\ord_\heartsuit(f_0)$ est
-\emph{deux fois} la valuation usuelle $\ord_\infty(f_0)$ en l'infini
-d'une fraction rationnelle en $x$ : le terme $f_1 y$ ne peut pas être
-de valuation nulle en $\heartsuit$, seulement impaire. Bref,
-l'évaluation de $f_0 + f_1 y$ en $\heartsuit$ est la valeur de
-$f_0(\infty)$ pour l'évaluation usuelle des fractions rationnelles en
-l'infini, à condition que $\ord_\infty(f_0) \geq 0$ et
-$\ord_\infty(f_1) \geq \frac{3}{2}$ (i.e., $\ord_\infty(f_1) \geq 2$),
-et $\infty$ sinon.
+se rappelle qu'on a vu en (4) que $\ord_\heartsuit(f_1 y)$ ne peut
+jamais être de la forme $\ord_\heartsuit(f_0)$. La valuation
+$\ord_\heartsuit$ de $f_0 + f_1 y$ est donc positive si et seulement
+si $\ord_\heartsuit(f_0) \geq 0$ et $\ord_\heartsuit(f_1) \geq 3$,
+sachant que $\ord_\heartsuit(f_0)$ est \emph{deux fois} la valuation
+usuelle $\ord_\infty(f_0)$ en l'infini d'une fraction rationnelle
+en $x$ : le terme $f_1 y$ ne peut pas être de valuation nulle
+en $\heartsuit$, seulement impaire. Bref, l'évaluation de $f_0 + f_1
+y$ en $\heartsuit$ est la valeur de $f_0(\infty)$ pour l'évaluation
+usuelle des fractions rationnelles en l'infini, à condition que
+$\ord_\infty(f_0) \geq 0$ et $\ord_\infty(f_1) \geq \frac{3}{2}$
+(i.e., $\ord_\infty(f_1) \geq 2$), et $\infty$ sinon.
Le même raisonnement fonctionne pour $g_0 + g_1 x + g_2 x^2$ (les
trois termes ont des valuations $\ord_\heartsuit$ congrues
@@ -313,6 +318,94 @@ confirme bien que $\heartsuit$ est rationnelle.
\emph{On supposera désormais que la condition trouvée en (1) est
satisfaite.}
+(6) Soit $f_\sharp$ un facteur unitaire irréductible de $f := x^3 + ax
++ b$ dans $k[x]$. Montrer qu'il existe exactement une valuation $v$
+de $K$ au-dessus de $k$ telle que $v(f_\sharp)>0$ : on calculera
+$v(y)$ au passage, et on considérera plus généralement la valuation de
+$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 :=
+w(f_\sharp) > 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 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$.
+
+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
+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). Bref, on a complètement
+caractérisé $w$, à la donnée de $r$ 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) = 2$ et $w(y) = 1$.
+
+Enfin, on constate que ceci définit bien une valuation sur $K$ (soit
+en le vérifiant à la main ; soit en invoquant le théorème d'existence
+des valuations appliqué à l'anneau $k[x,y]$ des polynômes en $x,y$, de
+corps des fractions $K$, et à son idéal premier engendré
+par $h,f_\sharp$, pour affirmer que $K$ doit avoir une valuation
+positive sur $k[x,y]$ et strictement positive en $f_\sharp$ ; soit,
+tout simplement, en se rappelant que $f_\sharp$ doit avoir un zéro
+quelque part, c'est-à-dire qu'il doit exister une valuation telle
+que $v(f_\sharp)>0$).
+\end{corrige}
+
+\smallbreak
+
+(7) Décrire l'anneau de valuation $\mathcal{O}_\clubsuit$ de la place
+$\clubsuit$ associée en (6) à un facteur irréductible $f_\sharp$
+de $f$ ? Expliquer quel est le corps résiduel $\varkappa_\clubsuit$
+et comment voir concrètement l'évaluation en $\clubsuit$ d'un élément
+de $K$ représenté comme $f_0 + f_1 y$. Quel est le degré
+de $\clubsuit$ ?
+
+\begin{corrige}
+On se rappelle qu'on a vu en (6) que $\ord_\clubsuit(f_1 y)$ ne peut
+jamais être de la forme $\ord_\clubsuit(f_0)$. La valuation
+$\ord_\clubsuit$ de $f_0 + f_1 y$ est donc positive si et seulement si
+$\ord_\clubsuit(f_0) \geq 0$ et $\ord_\clubsuit(f_1) \geq -1$, sachant
+que $\ord_\clubsuit(f_0)$ est \emph{deux fois} l'exposant
+$\ord_{(f_\sharp)}(f_0)$ de la multiplicité de $f_\sharp$ dans la
+décomposition de $f$ en irréductibles : bref, l'anneau de valuation
+$\mathcal{O}_\clubsuit$ est l'ensemble des $f_0 + f_1 y$ telles que
+$\ord_{(f_\sharp)}(f_0) \geq 0$ et $\ord_{(f_\sharp)}(f_1) \geq
+-\frac{1}{2}$ (i.e., $\ord_{(f_\sharp)}(f_1) \geq 0$) ; on notera que
+cet anneau contient $A = k[x,y]/(h)$ (puisqu'il contient [les classes
+ de] $x$ et $y$, qui engendrent $A$). L'idéal maximal
+$\mathfrak{m}_\clubsuit$ est formé des $f_0 + f_1 y$ telles que
+$\ord_{(f_\sharp)}(f_0) > 0$ et toujours $\ord_{(f_\sharp)}(f_1) \geq 0$.
+
+On a un morphisme $A/(f_\sharp,y) \to \varkappa_\clubsuit$ défini par
+l'inclusion $A \to \mathcal{O}_\clubsuit$ en remarquant que $f_\sharp$
+et $y$ sont tous deux dans $\mathfrak{m}_\clubsuit$ (c'est-à-dire
+qu'ils sont dans le noyau du morphisme $A \to
+\mathcal{O}_\clubsuit/\mathfrak{m}_\clubsuit = \varkappa_\clubsuit$).
+Or $A/(f_\sharp,y) = k[x,y]/(h,f_\sharp,y) = k[x]/(f_\sharp)$ est le
+corps de rupture de $f_\sharp$. Vu que c'est un corps, le morphisme
+est injectif. Mais il est aussi surjectif car tout élément de
+$\mathcal{O}_\clubsuit$ se représente, modulo $f_\sharp$ et $y$, par
+un élément de $A$ : concrètement, si $\ord_{(f_\sharp)}(f_0) \geq 0$,
+on peut voir $f_0$ dans $k[x]/(f_\sharp)$ (c'est-à-dire le reste de la
+division euclidienne si $f_0 \in k[x]$, et sinon, on écrit une
+relation de Bézout entre le dénominateur de $f_0$ et $f_\sharp$), et
+c'est l'image recherchée.
+
+Le corps résiduel $\varkappa_\clubsuit$ est donc $k[x]/(f_\sharp)$, et
+l'évaluation de $f_0 + f_1 y$ en $\clubsuit$ est la valeur de $f_0$
+modulo $f_\sharp$ (quitte à écrire une relation de Bézout avec le
+dénominateur), à condition que $\ord_\infty(f_0) \geq 0$ et
+$\ord_\infty(f_1) \geq 0$, et $\infty$ sinon.
+
+En particulier, le degré de $\clubsuit$ est le degré de $f_\sharp$.
+\end{corrige}
+
%