summaryrefslogtreecommitdiffstats
path: root/controle-20180411.tex
blob: cf8b8633c83150b91e0c03b8e4292530bd6a066d (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
%% 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{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}\smallskip\noindent\textbf{\thecomcnt.} }
\newcommand\exercice{%
\refstepcounter{comcnt}\bigskip\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\par\smallbreak\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{11 avril 2018}
\maketitle

\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 : 2h

\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ésignera un corps de caractéristique
différente de $2$ et $3$.

On s'intéresse à la courbe $C$ d'équation $y^2 = x^3 - x$ dans le plan
affine $\mathbb{A}^2$ de coordonnées $(x,y)$.

\medskip

(1) Dans le cas où $k$ est le corps $\mathbb{R}$ des réels, tracer
l'allure de l'ensemble $C(\mathbb{R})$ des points réels de la courbe,
c'est-à-dire, de l'ensemble des $(x,y) \in \mathbb{R}^2$ tels que $y^2
= x^3 - x$.  On précisera ses intersections avec l'axe $y=0$.

\centerline{\hbox to3truecm{\hrulefill}}

\medskip

On identifie le plan affine $\mathbb{A}^2$ à l'ensemble $D_T :=
\{(T:X:Y) : T\neq 0\}$ des points $(T:X:Y)$ du plan projectif
$\mathbb{P}^2$ tels que $T\neq 0$ de la façon habituelle, c'est-à-dire
qu'on identifie $(T:X:Y)$ dans $D_T$ à $(\frac{X}{T}, \frac{Y}{T})$
dans $\mathbb{A}^2$.

(2a) Quelle est l'équation (homogène) de la courbe $C$, ou plus
exactement de son adhérence de Zariski $\overline{C}$,
dans $\mathbb{P}^2$ ?  Identifier le ou les point(s) « à l'infini »
de $\overline{C}$, c'est-à-dire son ou ses point(s) vérifiant $T=0$.

(2b) Les ensembles $D_X := \{X\neq 0\}$ et $D_Y := \{Y\neq 0\}$ sont
aussi identifiables à des plans affines (ou « cartes affines ») :
quelles sont les équations affines de $\overline{C} \cap D_X$ et de
$\overline{C} \cap D_Y$ (de la même manière que l'équation de $C =
\overline{C} \cap D_T$ est $y^2 = x^3 - x$) ?  (2c) Sur le corps des
réels, représenter l'allure de la courbe dans chacune de ces cartes
affines.  Donner quelques exemples de points qui se correspondent sur
chacun des dessins.

\centerline{\hbox to3truecm{\hrulefill}}

\medskip

On rappelle qu'un point $(x_0,y_0)$ d'une courbe plane $\{f(x,y) =
0\}$ (où $f\in k[x,y]$ est un polynôme en deux indéterminées $x,y$)
est dit \emph{lisse} ou \emph{régulier} lorsque $\frac{\partial
  f}{\partial x}$ et $\frac{\partial f}{\partial y}$ ne s'y annulent
pas simultanément.

(3a) Si $f := y^2 - x^3 + x$, montrer que l'idéal de $k[x,y]$ engendré
par $f$ et $\frac{\partial f}{\partial x}$ et $\frac{\partial
  f}{\partial y}$ est l'idéal unité (c'est-à-dire $k[x,y]$ tout
entier).

(3b) En déduire, ou bien montrer directement si l'on préfère, que la
courbe $C$ est lisse, c'est-à-dire que tous ses points sont lisses (y
compris les points sur la clôture algébrique $k^{\alg}$ de $k$).

(3c) Vérifier que le ou les point(s) à l'infini trouvés en (2a) sont
eux aussi lisses (on pourra utiliser une des équations trouvées
en (2b)).

\centerline{\hbox to3truecm{\hrulefill}}

\medskip

Considérons maintenant le polynôme $h := y^2 - (x^3 - x) \in k(x)[y]$
en l'indéterminée $y$ à coefficients dans le corps $k(x)$ des
fractions rationnelles en une indéterminée $x$.

(4) (a) Expliquer pourquoi $x^3 - x \in k(x)$ n'est pas le carré d'un
polynôme en $x$ (= élément de $k[x]$).\quad (b) En déduire que $x^3 -
x$ n'est pas le carré d'un élément de $k(x)$.\quad (c) En déduire que
$h = y^2 - x^3 + x$ est irréductible en tant que polynôme sur $k(x)$
en l'indéterminée $y$.\quad (d) En déduire que l'anneau $K :=
k(x)[y]/(h)$ quotient de $k(x)[y]$ par l'idéal engendré par $h$ est un
\emph{corps}.

\leavevmode\hphantom{(4) }(e) Expliquer pourquoi tout élément de $K :=
k(x)[y]/(h)$ possède une représentation unique sous la forme $g_0 +
g_1 y$ où $g_0$ et $g_1$ sont des fractions rationnelles en
l'indéterminée $x$ (et où on a noté abusivement $y$ pour la classe
de $y$ modulo $h$).  Expliquer comment on calcule les sommes et les
produits dans $K$ sur cette écriture.\quad (f) Expliquer comment la
connaissance d'une relation de Bézout $ug + vh = 1 \in k(x)[y]$ permet
de calculer l'inverse d'un élément $g = g_0 + g_1 y$ de $K$.\quad
(g) À titre d'exemple, calculer l'inverse de $y$ dans $K$ (on pourra
observer ce que vaut $y^2$ dans $K$).

\centerline{\hbox to3truecm{\hrulefill}}

\medskip

On appelle toujours $K := k(x)[y]/(y^2 - x^3 + x)$ (le corps des
fonctions rationnelles sur $\overline{C}$).

On rappelle le fait suivant : pour chaque point $P$ de la courbe
$\overline{C}$ (qui soit lisse, mais on a vu en (3) que c'était bien
le cas), il existe une et une seule fonction $\ord_P\colon K\to
\mathbb{Z}\cup\{\infty\}$ qui vérifie les propriétés suivantes :
(o) $\ord_P(g) = \infty$ si et seulement si $g=0$,\quad (k) $\ord_P(c)
= 0$ si $c\in k$,\quad (i) $\ord_P(g_1 g_2) = \ord_P(g_1) +
\ord_P(g_2)$,\quad (ii) $\ord_P(g_1 + g_2) \geq \min(\ord_P(g_1),
\ord_P(g_2))$ (avec automatiquement l'égalité lorsque $\ord_P(g_1)
\neq \ord_P(g_2)$),\quad (n) $1$ est atteint par $\ord_P$, et enfin
\quad (r) $\ord_P(g) \geq 0$ si $g$ est définie en $P$ (avec
automatiquement $\ord_P(g) > 0$ si $g$ s'annule en $P$).

On va chercher à mieux comprendre la fonction $\ord_P$ lorsque $P$ est
le point $(0,0)$ de la courbe.

(5) (a) Vérifier que la restriction de $\ord_P$ à $k(x)$ (vu comme un
sous-corps de $K$) vérifie encore les propriétés (o), (k), (i) et (ii)
listées ci-dessus.\quad (b) En déduire que $\ord_P(g) = e\cdot v(g)$
pour tout $g\in k(x)$, où $v(g)$ désigne la valuation usuelle en $0$
d'une fraction rationnelle\footnote{C'est-à-dire l'ordre de son zéro
  en $0$, ou, si on préfère, l'exposant de la plus grande puissance de
  $x$ qui divise son numérateur moins l'exposant de la plus grande
  puissance de $x$ qui divise son dénominateur.} et où $e\geq 1$ est
un entier qui reste encore à déterminer.

\leavevmode\hphantom{(5) }(c) Calculer $\ord_P(y^2)$ et en déduire
$\ord_P(y)$ (en faisant intervenir le nombre $e$).\quad (d) En déduire
$\ord_P(g_0 + g_1 y)$ pour $g_0,g_1\in k(x)$ (toujours en faisant
intervenir le noombre $e$).\quad (e) En faisant intervenir la
propriété (n) (de normalisation de $\ord_P$), en déduire la valeur
de $e$ et finalement la valeur de $\ord_P(g_0 + g_1 y)$.




%
%
%
\end{document}