summaryrefslogtreecommitdiffstats
path: root/controle-20170421.tex
blob: ea3ddb79bb5a94d0f71ae725b7009c7b4c6cfceb (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
%% This is a LaTeX document.  Hey, Emacs, -*- latex -*- , get it?
\documentclass[12pt,a4paper]{article}
\usepackage[francais]{babel}
\usepackage[utf8]{inputenc}
\usepackage[T1]{fontenc}
%\usepackage{ucs}
\usepackage{times}
% A tribute to the worthy AMS:
\usepackage{amsmath}
\usepackage{amsfonts}
\usepackage{amssymb}
\usepackage{amsthm}
%
\usepackage{mathrsfs}
\usepackage{wasysym}
\usepackage{url}
%
\usepackage{xr-hyper}
%
\usepackage{graphics}
\usepackage[usenames,dvipsnames]{xcolor}
\usepackage{tikz}
\usetikzlibrary{matrix,calc}
\usepackage{hyperref}
%
\externaldocument{notes-accq205}[notes-accq205.pdf]
%
\theoremstyle{definition}
\newtheorem{comcnt}{Tout}
\newcommand\thingy{%
\refstepcounter{comcnt}\smallbreak\noindent\textbf{\thecomcnt.} }
\newcommand\exercice{%
\refstepcounter{comcnt}\bigbreak\noindent\textbf{Exercice~\thecomcnt.}}
\renewcommand{\qedsymbol}{\smiley}
%
\newcommand{\id}{\operatorname{id}}
\newcommand{\Frac}{\operatorname{Frac}}
\newcommand{\degtrans}{\operatorname{deg.tr}}
\newcommand{\Frob}{\operatorname{Frob}}
\newcommand{\alg}{\operatorname{alg}}
\newcommand{\sep}{\operatorname{sep}}
\newcommand{\Gal}{\operatorname{Gal}}
\newcommand{\Fix}{\operatorname{Fix}}
\newcommand{\Hom}{\operatorname{Hom}}
\newcommand{\Divis}{\operatorname{Div}}
\newcommand{\divis}{\operatorname{div}}
\newcommand{\Pic}{\operatorname{Pic}}
\newcommand{\ord}{\operatorname{ord}}
\newcommand{\norm}{\operatorname{N}}
%
\DeclareUnicodeCharacter{00A0}{~}
%
\DeclareMathSymbol{\tiret}{\mathord}{operators}{"7C}
\DeclareMathSymbol{\traitdunion}{\mathord}{operators}{"2D}
%
\DeclareFontFamily{U}{manual}{} 
\DeclareFontShape{U}{manual}{m}{n}{ <->  manfnt }{}
\newcommand{\manfntsymbol}[1]{%
    {\fontencoding{U}\fontfamily{manual}\selectfont\symbol{#1}}}
\newcommand{\dbend}{\manfntsymbol{127}}% Z-shaped
\newcommand{\danger}{\noindent\hangindent\parindent\hangafter=-2%
  \hbox to0pt{\hskip-\hangindent\dbend\hfill}}
%
\newcommand{\spaceout}{\hskip1emplus2emminus.5em}
\newif\ifcorrige
\corrigetrue
\newenvironment{corrige}%
{\ifcorrige\relax\else\setbox0=\vbox\bgroup\fi%
\smallbreak\noindent{\underbar{\textit{Corrigé.}}\quad}}
{{\hbox{}\nobreak\hfill\checkmark}%
\ifcorrige\relax\else\egroup\fi\par}
%
%
%
\begin{document}
\ifcorrige
\title{ACCQ205\\Contrôle de connaissances — Corrigé\\{\normalsize Courbes algébriques}}
\else
\title{ACCQ205\\Contrôle de connaissances\\{\normalsize Courbes algébriques}}
\fi
\author{}
\date{21 avril 2017}
\maketitle

%% {\footnotesize
%% \immediate\write18{sh ./vc > vcline.tex}
%% \begin{center}
%% Git: \input{vcline.tex}
%% \end{center}
%% \immediate\write18{echo ' (stale)' >> vcline.tex}
%% \par}

\pretolerance=8000
\tolerance=50000

\vskip1truein\relax

\noindent\textbf{Consignes.}

Ce contrôle est formé d'un unique exercice.  Les questions dépendent
les unes des autres, mais elles ont été formulées de manière à ce que
le fait de ne pas savoir répondre à une question ne bloque pas toute
la suite.

Des notations étant introduites au fur et à mesure de l'énoncé, il est
conseillé de le lire attentivement.

\medbreak

L'usage de tous les documents (notes de cours manuscrites ou
imprimées, feuilles d'exercices, livres) est autorisé.

L'usage des appareils électroniques est interdit.

\medbreak

Durée : 1h30

\vfill
{\noindent\tiny
\immediate\write18{sh ./vc > vcline.tex}
Git: \input{vcline.tex}
\immediate\write18{echo ' (stale)' >> vcline.tex}
\par}

\pagebreak


%
%
%

Dans tout ce qui suit $k$, désigne un corps algébriquement clos de
caractéristique $\not\in\{2,5\}$.

On s'intéresse à la courbe plane d'équation $y^2 = x^5 - x$.  Plus
exactement, on pose $K = k(x)[y]/(y^2 - x^5 + x)$.  On admettra sans
démonstration que $h := y^2 - x^5 + x$ est irréductible dans $k[x,y]$,
ce qui implique que $K$, corps de rupture de $h$ sur $k(x)$, est un
corps de fonction de courbe.  On notera abusivement $x$ et $y$ les
images dans $K$ des indéterminées de même nom.  On appelle $C$ la
courbe associée à $K$, qu'on peut considérer comme son ensemble de
places (=valuations discrètes de $K$ au-dessus de $k$).  Pour $P$ une
place de $C$, on note $\ord_P$ la valuation en question.  On rappelle
que comme $k$ est supposé algébriquement clos, le degré de toute place
vaut $1$ (et son corps résiduel $\varkappa_P$ s'identifie à $k$).

\medbreak

(1) Rappeler brièvement pourquoi un élément de $K$ admet une écriture
unique sous la forme $f_0 + f_1 y$ avec $f_0,f_1 \in k(x)$.

\begin{corrige}
On a $K = k(x)[y]/(h)$ où $h \in k(x)[y]$ est irréductible de
degré $2$ (vu comme un polynôme en $y$) : tout élément de $k(x)[y]$
est donc congru modulo $h$ à un unique polynôme (en $y$) de
degré $<2$, à savoir le reste de sa division euclidienne par $h$, donc
il s'écrit $f_0 + f_1 y$ avec $f_0,f_1 \in k(x)$ ce qui est
précisément ce qui était demandé.
\end{corrige}

\medbreak

(2) Le but de cette question est d'étudier la place « à l'infini »
de $C$.

(2.1) Soit $P$ une place telle que $\ord_P(x) < 0$ (autrement dit, $x$
a un pôle en $P$).  Posons $e = -\ord_P(x)$.  (a) Que vaut
$\ord_P(x^n)$ pour $n\in\mathbb{N}$ ?  Que vaut $\ord_P(f(x))$ pour $f
\in k[x]$ un polynôme en $x$ ?  (b) En déduire que si $f \in k(x)$
alors $\ord_P(f(x)) = e \ord_\infty(f)$ où $\ord_\infty$ désigne la
valuation usuelle à l'infini\footnote{C'est-à-dire la fonction qui à
  $f\in k(x)$ associe le degré de son dénominateur moins celui de son
  numérateur.}  de $k(x)$.  (c) Montrer que $\ord_P(y) =
-\frac{5}{2}e$.  (d) En déduire ce que vaut $\ord_P(f_0 + f_1 y)$.
(e) En déduire que $e=2$, et réexprimer $\ord_P(f_0 + f_1 y)$ compte
tenu de cette information.

\begin{corrige}
(a) Si on a $\ord_P(x) = -e < 0$ alors $\ord_P(x^n) = -ne$.  On en
  déduit que $\ord_P(a_0 + a_1 x + \cdots + a_n x^n) = -ne$ si
  $a_n\neq 0$, parce que le terme $a_n x^n$ a une valuation
  strictement inférieure à tous les autres, c'est-à-dire $\ord_P(f(x))
  = -e\,\deg f$.  (b) En écrivant $f$ comme rapport de deux polynômes,
  on en déduit immédiatement $\ord_P(f(x)) = e \ord_\infty(f)$.
  (c) On a $y^2 = x^5 - x$ donc $\ord_P(y^2) = -5e$, c'est-à-dire
  $\ord_P(y) = -\frac{5}{2}e$.  (d) On en déduit que $\ord_P(f_0 + f_1
  y) = e \min(\ord_\infty(f_0), \ord_\infty(f_1)-\frac{5}{2})$ (car
  les deux termes ne peuvent pas avoir la même valuation).  (e) Comme
  la valeur $1$ doit être atteinte par $\ord_P$, on a nécessairement
  $e=2$, donc $\ord_P(f_0 + f_1 y) = \min(2\ord_\infty(f_0),
  2\ord_\infty(f_1)-5)$.
\end{corrige}

\smallbreak

(2.2) Montrer que réciproquement, $\ord_P(y) < 0$ implique $\ord_P(x)
< 0$ (on pourra procéder par contraposée).

\begin{corrige}
Si $\ord_P(x) \geq 0$ alors $\ord_P(x^5 - x) \geq 0$ (on rappelle que
$\mathcal{O}_P := \{f\in K : \ord_P(f)\geq 0\}$ est un anneau),
c'est-à-dire $\ord_P(y^2) \geq 0$ donc $\ord_P(y) \geq 0$ : on a donc
montré la contraposée de ce qui était demandé.
\end{corrige}

\smallbreak

(2.3) Déduire des questions précédentes que la courbe $C$ a une unique
place $P$ telle que $\ord_P(x) < 0$, qui est aussi l'unique place $P$
telle que $\ord_P(y) < 0$.

\begin{corrige}
On a vu que $\ord_P(x) < 0$ équivaut à $\ord_P(y) < 0$ et implique
$\ord_P(f_0 + f_1 y) = \min(2\ord_\infty(f_0), 2\ord_\infty(f_1)-5)$,
ce qui détermine complètement $\ord_P$.  Par ailleurs, une telle place
existe bien car la fonction $x$, qui n'est pas constante, doit avoir
un pôle quelque part sur $C$.
\end{corrige}

\smallbreak

\emph{Cette place sera appelée « place à l'infini » sur $C$ et
  notée $\heartsuit$ dans ce qui suit.}

\smallbreak

(2.4) Montrer que le diviseur des pôles\footnote{On rappelle que le
  diviseur des pôles de $f\in K$ est défini comme
  $\sum_{P\;:\;\ord_P(f) < 0} -\ord_P(f)\cdot (P)$.} de $x$
vaut $2\cdot(\heartsuit)$.  Quel est le diviseur des pôles de $y$ ?
Quel sont les degrés de $x$ et $y$ en tant que fonctions sur $C$
(c'est-à-dire, les degrés $[K:k(x)]$ et $[K:k(y)]$) ?

\begin{corrige}
On vient de voir que $x$ n'a de pôle qu'en $\heartsuit$, et
$\ord_\heartsuit(x) = -2$ : ceci signifie exactement que son diviseur
des pôles est $2\cdot(\heartsuit)$.  On a de même vu que $y$ n'a de
pôle qu'en $\heartsuit$, et $\ord_\heartsuit(y) = -5$ : ceci signifie
exactement que son diviseur des pôles est $5\cdot(\heartsuit)$.  Les
degrés de $x$ et $y$ valent respectivement $2$ et $5$, comme il
résulte du degré des diviseurs qu'on vient de dire, ou directement en
considérant que $K$ est une extension de $k(x)$ et de $k(y)$
respectivement qui est le corps de rupture de $h$.
\end{corrige}

\medbreak

(3) (a) Montrer que le polynôme $x^5 - x$ (en une variable $x$) est
sans racine multiple.  (b) En déduire que les polynômes $h$ et
$\frac{\partial h}{\partial x}$ et $\frac{\partial h}{\partial y}$ en
deux variables $x,y$ (où toujours $h = y^2 - x^5 + x$) ne s'annulent
jamais tous les trois simultanément.

\begin{corrige}
(a) Les racines de $x^5 - x = x(x^4 - 1)$ sont $0$ et les racines
  quatrièmes de l'unité dans $k$ : il y a bien cinq racines
  distinctes, donc pas de racine multiple.  (b) On a $\frac{\partial
    h}{\partial y} = 2 y$, qui s'annule exactement lorsque $y=0$.  Si
  $h$ et $\frac{\partial h}{\partial x}$ et $\frac{\partial
    h}{\partial y}$ s'annulent simultanément en $(x_0,y_0)$, alors
  $y_0 = 0$ et $x_0$ annule à la fois $x^5 - x$ et sa dérivée, or on
  vient de voir que ce n'est pas possible.
\end{corrige}

\medbreak

On rappelle (\ref{smooth-points-give-unique-place} du cours) que ceci
implique le fait suivant : pour tout $(x_0,y_0) \in k^2$ vérifiant
$y_0^2 = x_0^5 - x_0$ (i.e., tout $(x_0,y_0) \in Z(h)$), il existe une
unique place $P$ de $C$ en laquelle l'évaluation de $x$ vaut $x_0$ et
l'évaluation de $y$ vaut $y_0$ (si on préfère, $\ord_P(x-x_0) > 0$ et
$\ord_P(y-y_0) > 0$).  \emph{Cette place sera notée $Q(x_0,y_0)$ dans
  la suite.}

\medbreak

(4) Dans cette question, on considère un $c\in k$, et on va se pencher
sur les places de $C$ en lesquelles l'évaluation de $x$ vaut $c$.

(4.1) Pourquoi le degré de $x-c$ en tant que fonction sur $C$
vaut-il $2$ ?

\begin{corrige}
Le corps $k(x-c)$ engendré par $x-c$ au-dessus de $k$ est égal à celui
$k(x)$ engendré par $x$, puisque chacun de $x$ et de $x-c$ s'exprime
rationnellement en fonction de l'autre (à savoir $x = (x-c) + c$ et
$(x-c) = (x) - c$).  Le degré de $K$ sur ce corps est donc le même
dans les deux cas, à savoir $2$ comme on l'a vu en (2.4).
\end{corrige}

\smallbreak

(4.2) On suppose pour cette sous-question que $c^5 - c \neq 0$.
(a) Expliciter deux places $P$ de $C$ où $x - c$ a un zéro
(c'est-à-dire $\ord_P(x-c) > 0$).  (b) En déduire que ces deux zéros
sont simples (c'est-à-dire $\ord_P(x-c) = 1$) : on pourra pour cela
invoquer l'identité du degré (\ref{degree-identity} du cours).

\begin{corrige}
(a) Soit $y_0$ une racine carrée de $c^5 - c$ (non nulle par
  hypothèse).  Alors $y_0^2 = c^5 - c$, ce qui permet de parler de
  $Q(c,y_0)$, et symétriquement de $Q(c,-y_0)$.  Ces deux places sont
  bien distinctes car $y$ y a une évaluation différente.  La fonction
  $x-c$ a un zéro en ces deux places puisque $x$ s'y évalue en $c$.
  (b) La somme des ordres des zéros de $x-c$ doit valoir $2$ d'après
  (4.1) et l'identité du degré ; or on a trouvé deux zéros, il
  s'ensuit qu'ils sont forcément simples.
\end{corrige}

\smallbreak

(4.3) On suppose pour cette sous-question que $c^5 - c = 0$.
(a) Expliciter la seule place $P$ de $C$ où $x - c$ a un zéro.  (b) En
déduire que ce zéro est double (c'est-à-dire $\ord_P(x-c) = 2$).

\begin{corrige}
(a) Le fait que $c^5 - c = 0$ permet de parler de la place $Q(c,0)$.
  La fonction $x-c$ y a un zéro.  Mais si $x-c$ a un zéro en une place
  de $C$, forcément $y$ y a aussi un zéro puisque l'évaluation de $y^2
  = x^5 - x$ vaut $c^5 - c = 0$ : la place évoquée est donc la seule
  où $x-c$ a un zéro.  (b) La somme des ordres des zéros de $x-c$ doit
  valoir $2$ d'après (4.1) et l'identité du degré ; or on a vu qu'il y
  en a exactement une, donc son zéro est double.
\end{corrige}

\medbreak

(5) On s'intéresse dans cette question à la différentielle $dx$ de la
fonction $x$.

(5.1) Expliquer pourquoi $\ord_\heartsuit(dx) = -3$.

\begin{corrige}
On a vu que $\ord_\heartsuit(x) = -2$.  Comme $k$ est de
caractéristique $\neq 2$, cette quantité n'est pas nulle dans $k$,
donc (cf. \ref{order-of-derivatives}) on a $\ord_\heartsuit(dx) = -2-1
= -3$.
\end{corrige}

\smallbreak

(5.2) Montrer que $\ord_{Q(x_0,0)}(dx) = 1$ lorsque $x_0^5 - x_0 = 0$.

\begin{corrige}
On a vu en (4.3) que lorsque $x_0^5 - x_0 = 0$, on a
$\ord_{Q(x_0,0)}(x) = 2$.  Comme $k$ est de caractéristique $\neq 2$,
cette quantité n'est pas nulle dans $k$, donc
(cf. \ref{order-of-derivatives}) on a $\ord_\heartsuit(dx) = 2-1 = 1$.
\end{corrige}

\smallbreak

(5.3) (a) Rappeler pourquoi $d(x-c) = dx$ quel que soit $c\in k$.
(b) Que vaut $\ord_{Q(x_0,y_0)}(dx)$ lorsque $y_0 \neq 0$ (avec bien
sûr $y_0^2 = x_0^5 - x_0$) ?

\begin{corrige}
(a) On a $d(x-c) = dx - dc$, or $dc=0$.  (b) On a vu en (4.2) que
  lorsque $y_0 \neq 0$, on a $\ord_{Q(x_0,y_0)}(x - x_0) = 1$, donc
  (cf. \ref{order-of-derivatives}) on a $\ord_\heartsuit(d(x-x_0)) =
  1-1 = 0$.  Mais on vient de voir que ceci signifie
  $\ord_\heartsuit(dx) = 0$.
\end{corrige}

\smallbreak

(5.4) (a) Récapituler la valeur de $\ord_P(dx)$ en toute place $P$
de $C$ (b) En déduire que le diviseur canonique $\divis(dx)$ est de
degré $2$.

\begin{corrige}
(a) Considérons une place $P$ de $C$.  Soit $x$ y a un pôle, auquel
  cas (cf. (2.3)) $P = \heartsuit$ et on a vu (cf. (5.1)) que
  $\ord_\heartsuit(dx) = -3$.  Soit $x$ n'a pas un pôle, et si $x_0
  \in k$ y est son évaluation, on a $P = Q(x_0,y_0)$ où $y_0$ est
  l'évaluation de $y$, et on a vu (cf. (5.2) et (5.3)) que
  $\ord_P(dx)$ vaut $1$ ou $0$ selon que $y_0 = 0$ ou $y_0 \neq 0$.
  Bref, les seules places où $\ord_P(dx) \neq 0$ sont $\heartsuit$ où
  l'ordre vaut $-3$, et les cinq points $(x_0,0)$ avec $x_0$ valant
  $0$ ou une racine quatrième de l'unité, où l'ordre vaut $1$.  (b) En
  particulier, le degré de $dx$ vaut $-3 + 5\times 1 = 2$.
\end{corrige}

\smallbreak

(5.5) Quel est le genre de la courbe $C$ ?

\begin{corrige}
D'après \ref{degree-of-canonical-divisor}, on sait que $g(C) =
\deg(\divis(dx))$, c'est-à-dire $2$ d'après la question (5.4(b)).
\end{corrige}





%
%
%
\end{document}