summaryrefslogtreecommitdiffstats
path: root/controle-2010.tex
blob: 72fe9651643288291401b2893be0c74d768bc0bb (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
%% 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}
%
\newcommand{\limp}{\mathrel{\Rightarrow}}
\newcommand{\liff}{\mathrel{\Longleftrightarrow}}
\newcommand{\pgcd}{\operatorname{pgcd}}
\newcommand{\ppcm}{\operatorname{ppcm}}
\newcommand{\Hom}{\operatorname{Hom}}
\newcommand{\id}{\operatorname{id}}
\newcommand{\Frob}{\operatorname{Frob}}
\newcommand{\Frac}{\operatorname{Frac}}
\newcommand{\Spec}{\operatorname{Spec}}
\newcommand{\degtrans}{\operatorname{deg.tr}}
\newcommand{\Gal}{\operatorname{Gal}}
\newcommand{\alg}{\operatorname{alg}}
\newcommand{\init}{\operatorname{in}}
\newcommand{\ord}{\operatorname{ord}}
\newcommand{\divis}{\operatorname{div}}
\newcommand{\Pic}{\operatorname{Pic}}
\renewcommand{\qedsymbol}{\smiley}
%
\DeclareUnicodeCharacter{00A0}{~}
%
\DeclareMathSymbol{\tiret}{\mathord}{operators}{"7C}
\DeclareMathSymbol{\traitdunion}{\mathord}{operators}{"2D}
%
\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{MDI349\\Contrôle de connaissances --- Corrigé\\{\normalsize Géométrie algébrique}}
\else
\title{MDI349\\Contrôle de connaissances\\{\normalsize Géométrie algébrique}}
\fi
\author{}
\date{2010}
\maketitle

%
%
%

Dans ce qui suit, $k$ désigne un corps parfait de
caractéristique $\neq 2,3$ (on pourra, si on le souhaite, supposer
qu'il s'agit par exemple de $\mathbb{F}_5$, $\mathbb{Q}$, $\mathbb{R}$
ou $\mathbb{C}$, cela n'aura pas d'incidence sur les questions).

\emph{La question 3 peut être traitée indépendamment des questions
  précédentes.}

\textbf{1.} Dans l'anneau $k[x,y,z]$ des polynômes à trois
indéterminées sur $k$, on considère l'ordre lexicographique pur
${\preceq} = {\preceq}_{\mathtt{lex}}$ sur les monômes, qui ordonne
les variables dans l'ordre $x \prec y \prec z$.  Écrire dans l'ordre
croissant, pour cet ordre, les monômes $1$, $x$, $y$, $z$, $x^2$,
$y^2$, $z^2$, $x^2 z$, $x^4$.

\textbf{2.} On considère dans l'anneau $k[x,y,z]$ l'idéal $I$ engendré
par les deux polynômes
\[
\begin{array}{c}
f_1 = x^2 + y^2 + z^2 - 1\\
f_2 = y^2 + (z-1)^2 - 1\\
\end{array}
\]
(Si on préfère, $I$ définit la variété algébrique $Z(I)$
dans $\mathbb{A}^3$ intersection de la sphère $Z(f_1)$ de centre
$(0,0,0)$ et de rayon $1$, et du cylindre $Z(f_2)$ d'axe $y=0,z=1$ et
de rayon $1$.)

(a) Soit $f_3 = f_1 - f_2$.  Expliquer pourquoi l'idéal engendré par
$f_1$ et $f_3$ est le même que celui ($I$) engendré par $f_1$
et $f_2$.  Quel est le reste (standard) de $f_3$ par rapport à
$f_1,f_2$ pour l'ordre monomial $\preceq$ ?  Les polynômes $f_1,f_2$
sont-ils une base de Gröbner (de l'idéal $I$) ?

(b) Calculer le reste (standard) $f_4$ de $f_1 - \frac{1}{2} z f_3$
par rapport à $f_1,f_3$ pour l'ordre monomial $\preceq$.  Expliquer
pourquoi l'idéal engendré par $f_3$ et $f_4$ est le même que celui
engendré par $f_1$ et $f_3$.

(c) Montrer qu'une base de Gröbner de $I$ pour l'ordre $\preceq$ est
donnée par
\[
\begin{array}{c}
z + \frac{1}{2}x^2 - \frac{1}{2}\\\noalign{\smallskip}
y^2 + \frac{1}{4}x^4 + \frac{1}{2}x^2 - \frac{3}{4}\\
\end{array}
\]
S'agit-il d'une base de Gröbner réduite ?

(d) Quel est l'idéal $I \cap k[x,y]$ ?  Donner l'équation de
l'adhérence de Zariski de la projection de la variété algébrique
affine $Z(I)$ sur le plan $\mathbb{A}^2$ de coordonnées $x,y$.

\textbf{3.} On considère maintenant la variété $C$ définie dans le
plan affine $\mathbb{A}^2$ de coordonnées affines $x,y$ par l'équation
$y^2 + \frac{1}{4}x^4 + \frac{1}{2}x^2 - \frac{3}{4} = 0$.

(a) Ce plan affine $\mathbb{A}^2$ étant vu dans le plan projectif
$\mathbb{P}^2$ de coordonnées homogènes $(T:X:Y)$ par $x = X/T$ et $y
= Y/T$, donner les équations de l'adhérence de Zariski $C^+$
(« complétée projective ») de $C$ dans $\mathbb{P}^2$.

(b) Pourquoi $C$ et $C^+$ sont-elles de dimension $1$ ?

(c) Le polynôme $\frac{1}{4}x^4 + \frac{1}{2}x^2 - \frac{3}{4}$ a-t-il
des racines multiples dans la clôture algébrique $k^{\alg}$ de $k$ ?
Pourquoi les racines en question peuvent-elles s'écrire
$\lambda_1,\lambda_2,-\lambda_1,-\lambda_2$ (pour certains
$\lambda_1,\lambda_2 \in k^{\alg}$) ?

(d) Montrer que $C$ est lisse.  Montrer que $C^+$ l'est aussi.

(e) Quel est le diviseur de $y$ vue comme une fonction rationnelle
sur $C^+$ ?  Quel est le diviseur de $dx$ ?  Celui de $dx/y$ ?  En
conclure quant au genre de $C^+$.


%
%
%
\end{document}