diff options
| -rw-r--r-- | controle-2020qcm.tex | 2 | ||||
| -rw-r--r-- | controle-20210414.tex | 609 | ||||
| -rw-r--r-- | controle-20220413.tex | 377 | ||||
| -rw-r--r-- | controle-20230412.tex | 660 | ||||
| -rw-r--r-- | controle-20240410.tex | 767 | ||||
| -rw-r--r-- | exercices.tex | 1122 |
6 files changed, 3536 insertions, 1 deletions
diff --git a/controle-2020qcm.tex b/controle-2020qcm.tex index 229e9c9..159d749 100644 --- a/controle-2020qcm.tex +++ b/controle-2020qcm.tex @@ -384,7 +384,7 @@ $7$ Quel est le nombre de points sur $\mathbb{F}_5$ (i.e., “rationnels”) du fermé de Zariski $\{(x,y) : x^2 + y^2 - 1 = 0\}$ du plan -affine $\mathbb{A}^2(\mathbb{F}_5)$ (de coordonnées homogènes $(x,y)$) +affine $\mathbb{A}^2(\mathbb{F}_5)$ (de coordonnées affines $(x,y)$) sur le corps à $5$ éléments ? \rightanswer diff --git a/controle-20210414.tex b/controle-20210414.tex new file mode 100644 index 0000000..9901428 --- /dev/null +++ b/controle-20210414.tex @@ -0,0 +1,609 @@ +%% 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.}\par\nobreak} +\renewcommand{\qedsymbol}{\smiley} +% +\newcommand{\id}{\operatorname{id}} +\newcommand{\alg}{\operatorname{alg}} +% +\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\par\smallbreak\else\egroup\par\fi} +% +% +% +\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{14 avril 2021} +\maketitle + +\pretolerance=8000 +\tolerance=50000 + +\vskip1truein\relax + +\noindent\textbf{Consignes.} + +Ce contrôle est formé d'un unique problème. 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 à l'une d'elles ne bloque pas toute +la suite (tout ce qu'il faut savoir pour la suite est toujours +explicité par l'énoncé). + +La difficulté des questions étant varié, il vaut mieux ne pas rester +bloqué trop longtemps. + +Si on ne sait pas répondre rigoureusement, une réponse informelle peut +valoir une partie des points. + +\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 + +\ifcorrige +Ce corrigé comporte 9 pages (page de garde incluse). +\else +Cet énoncé comporte 4 pages (page de garde incluse). +\fi + +\vfill +{\noindent\tiny +\immediate\write18{sh ./vc > vcline.tex} +Git: \input{vcline.tex} +\immediate\write18{echo ' (stale)' >> vcline.tex} +\par} + +\pagebreak + + +% +% +% + +Soit $k$ un corps de caractéristique $\neq 2$ (c'est-à-dire qu'on +pourra librement diviser par $2$), dont on notera $k^{\alg}$ la +clôture algébrique. On rappelle qu'un « point géométrique » de +$\mathbb{P}^n$ désigne un point à coordonnées dans $k^{\alg}$, tandis +qu'un « point rationnel » désigne un point à coordonnées dans $k$. + +\medbreak + +\textbf{(1)} Montrer le fait suivant (théorème d'Euler sur les +polynômes homogènes) : si $h$ est un polynôme homogène de degré $\ell$ +en les variables $t_0,\ldots,t_n$ alors $\sum_{j=0}^n +t_j\,\frac{\partial h}{\partial t_j} = \ell h$ (égalité dans +$k[t_0,\ldots,t_n]$). Pour cela, on pourra justifier qu'il suffit de +le prouver lorsque $h$ est un monôme. + +\begin{corrige} +La formule énoncée étant linéaire, il suffit de la démontrer lorsque +$h$ est un monôme de degré total $\ell$ (un polynôme homogène de +degré $\ell$ étant combinaison linéaire de tels monômes). Or si $h = +t_0^{d_0}\cdots t_n^{d_n}$ avec $d_0+\cdots+d_n = \ell$, on a +$\frac{\partial h}{\partial t_j} = d_j\, t_0^{d_0}\cdots +t_j^{d_j-1}\cdots t_n^{d_n}$ d'où $t_j\,\frac{\partial h}{\partial + t_j} = d_j\, t_0^{d_0}\cdots t_j^{d_j}\cdots t_n^{d_n} = d_j\,h$ et +$\sum_{j=0}^n t_j\,\frac{\partial h}{\partial t_j} = (\sum_{j=0}^n +d_j)\, h = \ell h$. +\end{corrige} + +\medbreak + +Faisons la remarque introductive suivante (qui est une reformulation +projective du résultat bien connu sur les racines d'un polynôme de +degré $2$ sur la droite affine, et qu'on pourra librement utiliser +dans la suite) : si $q := c_0 x^2 + c_1 x y + c_2 y^2$ est un polynôme +homogène de degré $2$ non nul en deux variables $x,y$, alors le fermé +de Zariski $\{q = 0\}$ qu'il définit dans la droite projective +$\mathbb{P}^1$ est constitué d'exactement \emph{un ou deux} points +géométriques ; il y en a un seul si et seulement si le discriminant +$\Delta := c_1^2 - 4 c_0 c_2$ est nul, auquel cas le point $(x:y)$ en +question est $(c_1 : -2c_0) = (-2c_2 : c_1)$ (il est donc rationnel) ; +et lorsque $\Delta \neq 0$, \emph{soit} les deux points géométriques +sont tous les deux rationnels, \emph{soit} aucun des deux ne +l'est\footnote{Ceci résulte de la formule du trinôme : les deux points + sont $(c_1 \pm \sqrt{\Delta} : -2c_0) = (-2c_2 : c_1 \mp + \sqrt{\Delta})$, ils sont rationnels si et seulement si $\Delta$ est + un carré dans $k$, mais cette formule ne servira pas ici.}. + +\medbreak + +On va désormais s'intéresser à la courbe définie par une équation +homogène de degré $2$ dans le plan projectif. + +Plus précisément, on appelle \textbf{conique} plane sur $k$ une variété +algébrique projective (i.e., un fermé de Zariski) $C_q$ dans +$\mathbb{P}^2$ définie par une équation $q = 0$ où $q \in k[x,y,z]$ +est un polynôme homogène de degré $2$ (on dit aussi « forme +quadratique ») non nul\footnote{\label{nonsquare-footnote}On pourra + aussi librement faire l'hypothèse que $q$ n'est pas le carré d'un + polynôme $l$ (forcément homogène) de degré $1$ (= forme linéaire) ; + en effet, s'il l'est, la conique $\{q=0\}$ est simplement réduite à + la droite $\{l=0\}$ mais l'idéal $(q)$ n'est pas radical (il faut + imaginer la conique comme la droite « doublée ») : on ignorera donc + ce cas.} en trois variables $x,y,z$ qu'on identifie aux coordonnées +homogènes sur $\mathbb{P}^2$. À titre d'exemple, $\{x^2 + y^2 - z^2 = +0\}$ est une telle conique. + +En général, une conique s'écrit $\{q = 0\}$ où +\[ +q = a_x\, x^2 + a_y\, y^2 + a_z\, z^2 + b_x\, yz + b_y\, xz + b_z\, xy +\] +avec $a_x,a_y,a_z,b_x,b_y,b_z$ six coefficients dans $k$, non tous +nuls : on adoptera cette notation. + +\smallbreak + +\textbf{(2)} On rappelle qu'un point $(x_0:y_0:z_0)$ de $C_q$ est dit +\emph{singulier} lorsque $\frac{\partial q}{\partial x}$, +$\frac{\partial q}{\partial y}$ et $\frac{\partial q}{\partial z}$ +s'annulent simultanément en $(x_0,y_0,z_0)$. Expliquer pourquoi un +point vérifiant ces conditions est automatiquement sur $C_q$ (i.e., +pourquoi l'annulation de $\frac{\partial q}{\partial x}$, +$\frac{\partial q}{\partial y}$ et $\frac{\partial q}{\partial z}$ en +$(x_0,y_0,z_0)$ quelconque implique automatiquement celle de $q$). +Donner une condition pour que trois droites dans $\mathbb{P}^2$ soient +concourantes (condition sur les coefficients de leurs équations). En +déduire que la conique $C_q$ a un point singulier si et seulement si +ses coefficients vérifient +\[ +4 a_x a_y a_z - a_x b_x^2 - a_y b_y^2 - a_z b_z^2 + b_x b_y b_z = 0 +\] +et qu'il revient au même de dire qu'elle a un point singulier +géométrique ou rationnel. + +\begin{corrige} +On a vu en (1) que $q = \frac{1}{2}(x\,\frac{\partial q}{\partial x} + +y\frac{\partial q}{\partial y} + z\,\frac{\partial q}{\partial z})$. +Donc en un point $(x_0:y_0:z_0)$ où $\frac{\partial q}{\partial x}$, +$\frac{\partial q}{\partial y}$ et $\frac{\partial q}{\partial z}$ +s'annulent, $q$ s'annule aussi, et le point est sur $C_q$. + +Trois droites $\{ux+vy+wz=0\}$, $\{u'x+v'y+w'z=0\}$ et +$\{u''x+v''y+w''z=0\}$ dans $\mathbb{P}^2$ concourent si et seulement +si le déterminant +\[ +\left|\begin{matrix}u&v&w\\u'&v'&w'\\u''&v''&w''\\\end{matrix}\right| +\] +s'annule (en effet, il exprime le fait que la matrice dont il est le +déterminant a un noyau non trivial, ce qui revient exactement à +demander l'existence d'un point situé sur les trois droites à la +fois). + +Or chacune des conditions $\frac{\partial q}{\partial x}=0$, +$\frac{\partial q}{\partial y}=0$ et $\frac{\partial q}{\partial z}=0$ +définit une droite dans $\mathbb{P}^2$, à savoir $\{2 a_x\, x + b_z\, +y + b_y\, z = 0\}$, $\{b_z\, x + 2 a_y\, y + b_x\, z = 0\}$ et +$\{b_y\, x + b_x\, y + 2 a_z\, z = 0\}$, donc l'existence d'un point +singulier sur $C_q$ se traduit par l'annulation du déterminant +\[ +\left|\begin{matrix}2a_x&b_z&b_y\\b_z&2a_y&b_x\\b_y&b_x&2a_z\\\end{matrix}\right| +\] +qui (une fois développé ce déterminant, et divisé par $2$) est +exactement la condition proposée par l'énoncé. + +L'affirmation sur la rationalité vient du fait qu'un système +d'équations linéaires à coefficients dans $k^{\alg}$ (en l'occurrence +le système formé de $\frac{\partial q}{\partial x}=0$, $\frac{\partial + q}{\partial y}=0$ et $\frac{\partial q}{\partial z}=0$) a +automatiquement une solution dans $k$ (l'ensemble des solutions +sur $K$ étant un sous-$k$-espace vectoriel de $K^3$, et la dimension +d'un espace vectoriel ne dépendant pas du corps sur lequel on la +calcule). +\end{corrige} + +\medbreak + +On supposera maintenant, et jusqu'à la fin, que la conique est $C_q$ +\emph{lisse}, c'est-à-dire vérifie $4 a_x a_y a_z - a_x b_x^2 - a_y +b_y^2 - a_z b_z^2 + b_x b_y b_z \neq 0$ (cf. question (2)). + +\textbf{(3)} Sur $k^{\alg}$ (« géométriquement »), montrer que $C_q$ +ne contient aucune droite (i.e., montrer qu'il n'existe pas $l \in +k^{\alg}[x,y,z]$ homogène de degré $1$ tel que tous les points +géométriques de la droite $\{l=0\}$ soient dans $C_q$ ; indication : +si elle en contenait une alors on pourrait factoriser $q$ sous la +forme $ll'$, contredisant l'hypothèse qu'on vient de faire). En +déduire que $C_q$ ne peut jamais contenir trois points alignés +distincts. + +\begin{corrige} +Si $C_q$ contenait une droite $\{l=0\}$ avec $l$ un polynôme $l$ +homogène de degré $1$ (= forme linéaire) à coefficients +dans $k^{\alg}$, cela signifierait $q \in \mathfrak{I}(Z(l))$ (i.e., +« $q$ s'annule partout où $l$ s'annule »), donc $q$ appartiendrait à +l'idéal homogène (manifestement radical) engendré par $l$, donc $q$ +s'écrirait sous la forme $ll'$, avec $l'$ homogène de degré $1$, i.e., +la conique serait (géométriquement) réductible en une réunion de deux +droites. Or, dans cette condition, si $P$ est situé à l'intersection +des droites $\{l=0\}$ et $\{l'=0\}$, alors $\frac{\partial q}{\partial + x} = \frac{\partial (ll')}{\partial x} = l \frac{\partial + l'}{\partial x} + l' \frac{\partial l}{\partial x}$ s'annule en $P$, +et de même par rapport aux deux autres variables $y,z$. Le point $P$ +serait donc singulier, contredisant l'hypothèse de lissité sur $C_q$. + +La remarque introductive assure que si une conique coupe une droite en +trois points distincts, elle contient la droite tout entière, et on +vient de voir que ce n'est pas possible pour une conique lisse. Une +conique lisse ne contient donc jamais trois points alignés. +\end{corrige} + +\medbreak + +Dans les questions qui suivent, on va s'intéresser à une application +qui à un point de $\mathbb{P}^2$ associe une droite de $\mathbb{P}^2$ +dite « polarité » par rapport à la conique. + +Plus précisément, on appelle \textbf{droite polaire}, relativement +à $C_q$ (ou à $q$) d'un point $P_0 := (x_0:y_0:z_0)$ de $\mathbb{P}^2$ +(non nécessairement situé sur $C_q$) la droite $\{u_0 x + v_0 y + w_0 +z = 0\}$ dont les coefficients $u_0,v_0,w_0$ sont donnés par +$\frac{\partial q}{\partial x}$, $\frac{\partial q}{\partial y}$ et +$\frac{\partial q}{\partial z}$ respectivement, évalués en +$(x_0,y_0,z_0)$. + +\textbf{(4)} Pourquoi cette définition a-t-elle un sens ? (Autrement +dit, pourquoi $u_0,v_0,w_0$ ne s'annulent-ils pas simultanément, et +pourquoi la droite ne dépend-elle pas du choix des coordonnées +homogènes $(x_0,y_0,z_0)$ de $P_0$ ?) Montrer que, si $P_0$ et $P_1$ +sont deux points de $\mathbb{P}^2$, alors : + +\noindent\centerline{\fbox{\parbox{0.85\textwidth}{$P_1$ est sur la + droite polaire de $P_0$ si et seulement si $P_0$ est sur la + droite polaire de $P_1$}}} + +\noindent (« principe de réciprocité de la polarité ») ; on pourra +exprimer ce fait de comme une équation symétrique entre les +coordonnées homogènes $(x_0,y_0,z_0)$ de $P_0$ et celles +$(x_1,y_1,z_1)$ de $P_1$. Montrer que $P_0$ est sur $C_q$ si et +seulement si il est situé sur sa propre droite polaire. + +\begin{corrige} +Si $\frac{\partial q}{\partial x}$, $\frac{\partial q}{\partial y}$ et +$\frac{\partial q}{\partial z}$ s'annulent simultanément, on a vu +en (2) que $(x_0:y_0:z_0)$ est un point singulier de $C_q$, or on a +fait l'hypothèse qu'il n'y en a pas. Par ailleurs, si on change les +coordonnées homogènes du point $(x_0:y_0:z_0)$, cela revient à toutes +les multiplier par une constante non nulle, mais comme $\frac{\partial + q}{\partial x}$, $\frac{\partial q}{\partial y}$ et $\frac{\partial + q}{\partial z}$ sont des polynômes homogènes (en fait, des formes +linéaires...), cela multiplie chacun de $u_0,v_0,w_0$ par une +constante non nulle, et cela ne change pas la droite $\{u_0 x + v_0 y ++ w_0 z = 0\}$. La définition a donc bien un sens. + +Dire que $P_1 := (x_1:y_1:z_1)$ est sur la droite polaire de $P_0 := +(x_0:y_0:z_0)$ signifie que $2 a_x\, x_0\, x_1 + 2 a_y\, y_0\, y_1 + 2 +a_z\, z_0\, z_1 + b_x\, y_0\, z_1 + b_x\, z_0\, y_1 + b_y\, x_0\, z_1 ++ b_y\, z_0\, x_1 + b_z\, x_0\, y_1 + b_z\, y_0\, x_1 = 0$, ou, si on +préfère, +\[ +\left(\begin{matrix}x_1&y_1&z_1\\\end{matrix}\right) +\left(\begin{matrix}2a_x&b_z&b_y\\b_z&2a_y&b_x\\b_y&b_x&2a_z\\\end{matrix}\right) +\left(\begin{matrix}x_0\\y_0\\z_0\\\end{matrix}\right) = 0 +\] +et cette condition est manifestement symétrique en $P_0$ et $P_1$. + +Lorsque $P_1=P_0$, la condition devient $2a_x\, x_0^2 + 2a_y\, y_0^2 + +2a_z\, z_0^2 + 2b_x\, y_0\, z_0 + 2b_y\, x_0\, z_0 + 2b_z\, x_0\, y_0 += 0$, ce qui équivaut bien à $q=0$ en divisant par $2$ (ou, si on +préfère, on applique la question (1) pour la même conclusion). +\end{corrige} + +\textbf{(5)} Montrer que l'application envoyant un point de +$\mathbb{P}^2$ sur sa droite polaire définit une bijection des points +de $\mathbb{P}^2$ (géométriques ou rationnels) sur les droites de +$\mathbb{P}^2$ (géométriques ou rationnelles) : pour cela, on pourra +constater que l'application $(x_0,y_0,z_0) \mapsto (u_0,v_0,w_0)$ est +$k$-linéaire. Expliquer pourquoi cette application envoie trois +points alignés sur trois droites concourantes. + +\begin{corrige} +L'application +\[ +\left(\begin{matrix}x_0\\y_0\\z_0\\\end{matrix}\right) \mapsto +\left(\begin{matrix}2a_x&b_z&b_y\\b_z&2a_y&b_x\\b_y&b_x&2a_z\\\end{matrix}\right) +\left(\begin{matrix}x_0\\y_0\\z_0\\\end{matrix}\right) +\] +envoyant des coordonnées homogènes $(x_0,y_0,z_0)$ d'un point sur les +coefficients $(u_0,v_0,w_0)$ (soit $(\frac{\partial q}{\partial x}, +\frac{\partial q}{\partial y}, \frac{\partial q}{\partial z})$) +définissant sa droite polaire, est linéaire, et elle est bijective car +son déterminant est non nul, c'est justement l'hypothèse qu'on a +faite. Elle induit donc une bijection entre points de $\mathbb{P}^2$ +et droites de $\mathbb{P}^2$ (si $(x_0,y_0,z_0)$ et $(x_1,y_1,z_1)$ +ont la même droite polaire, alors $(u_0,v_0,w_0)$ et $(u_1,v_1,w_1)$ +sont proportionnelles, et quitte à multiplier par la bonne constante +on peut les supposer égales, donc $(x_0:y_0:z_0) = (x_1:y_1:z_1)$). +Par ailleurs, toujours parce qu'elle est linéaire, elle envoie trois +points alignés sur trois droites concourantes (puisque l'alignement +des points ou la concourance des droites s'exprime comme l'annulation +du déterminant $3\times 3$ de leurs coordonnées, et que les +déterminants se multiplient). +\end{corrige} + +\textbf{(6)} Montrer que si $P_0$ est un point géométrique situé sur +$C_q$, alors l'intersection de la droite polaire $D_0$ de $P_0$ avec +$C_q$ est réduite au seul point $P_0$. (S'il y avait un deuxième +point, on pourra montrer qu'il aurait forcément la même droite polaire +que $P_0$.) Expliquer pourquoi ce point $P_0$ est nécessairement +rationnel si $D_0$ l'est. + +\begin{corrige} +Soit $P_0$ sur $C_q$ et soit $D_0$ sa droite polaire. Supposons que +$D_0$ passe par un autre point $P_1$ de $C_q$ : alors le principe de +réciprocité assure que sa droite polaire $D_1$ passe par $P_0$, mais +aussi par $P_1$ puisque $P_1$ est sur $C_q$. Donc $D_0$ et $D_1$ +passent toutes les deux par $P_0$ et $P_1$, et comme deux points +distincts déterminent une droite, on a $D_0 = D_1$, donc $P_0 = P_1$ +puisqu'on a établi que la fonction envoyant un point sur sa droite +polaire est une bijection. + +Pour expliquer pourquoi le point $P_0$ est rationnel si $D_0$ l'est, +on peut soit se rappeler qu'on a défini une application $k$-linéaire +bijective $(x_0,y_0,z_0) \mapsto (u_0,v_0,w_0)$ à la question +précédente, ce qui montre que si $u_0,v_0,w_0$ sont dans $k$ alors +$x_0,y_0,z_0$ le sont, soit invoquer la remarque introductive (si une +équation quadratique à coefficients dans $k$ sur la droite projective +a un seul point géométrique, celui-ci est rationnel). +\end{corrige} + +\smallbreak + +On appelle \textbf{tangente} à $C_q$ en un point de $C_q$ la droite +polaire de ce point : on vient de voir qu'une droite tangente à $C_q$ +la rencontre en ce seul point. + +\textbf{(7)} Montrer qu'une droite $D$ de $\mathbb{P}^2$ est tangente +à $C_q$ si et seulement si elle la coupe en un seul point géométrique. +On pourra pour cela expliquer pourquoi on peut supposer que le point +est $(1{:}0{:}0)$ et la droite $\{z=0\}$, et simplifier l'équation la +conique dans ce cas. + +\begin{corrige} +On a vu dans la question précédente qu'une tangente à une conique +coupe celle-ci en un seul point. On veut montrer, réciproquement, que +si $D$ est une droite coupant $C_q$ en un seul point géométrique $P$, +alors elle lui est tangente. + +Or si $P$ est un point de $\mathbb{P}^2$ et $D$ une droite passant +par $P$, quitte à choisir un point $Q$ de $D$ différent de $P$ et à +compléter $P,Q$ en une base projective de $\mathbb{P}^2$, on peut +trouver une transformation projective envoyant $P$ sur $(1{:}0{:}0)$ +et $Q$ sur $(0{:}1{:}0)$ donc la droite $D$ sur $\{z=0\}$. Comme +cette transformation projective est une simple application linéaire +(inversible) sur les coordonnées homogènes et que la composition d'un +polynôme homogène de degré $2$ avec un tel changement de variables +linéaire est encore un polynôme homogène de degré $2$, elle transforme +une conique en une conique. De plus, elle agit sur le vecteur des +dérivées partielles de $q$ comme la matrice qui la représente +(notamment, une conique lisse est transformée en conique lisse). + +Bref, on peut montrer le résultat en supposant $P = (1{:}0{:}0)$ et $D += \{z=0\}$. L'intersection de $C_q$ avec $\{z=0\}$ est alors donnée, +en identifiant avec $\mathbb{P}^1$ la droite $\{z=0\}$ +de $\mathbb{P}^2$, par $a_x\, x^2 + b_z\, xy + a_y\, y^2 = 0$. Le +fait que $P$ soit situé sur $C_q$ se traduit par $a_x=0$. Il reste +donc simplement $b_z\, xy + a_y\, y^2 = 0$, soit $y(b_z\, x + a_y\, y) += 0$, qui définit la réunion du point $y=0$, soit exactement +$(1{:}0{:}0) = P$, et du point $b_z\, x + a_y\, y = 0$, soit +$(a_y:-b_z:0)$. Ce point coïncide avec $P$ exactement quand $b_z=0$, +ce qui revient exactement à dire que $\frac{\partial q}{\partial y}=0$ +en $(1,0,0)$, et comme par ailleurs $\frac{\partial q}{\partial x}=0$ +en $(1,0,0)$ (vu que $a_x=0$), cela revient bien à dire que la +tangente à $C_q$ en $P$ est la droite $D=\{z=0\}$. +\end{corrige} + +\textbf{(8)} Si $P_0$ est un point non situé sur $C_q$, montrer que +les droites tangentes à $C_q$ passant par $P_0$ sont +exactement\footnote{(Le sujet distribué comportait une faute de frappe + dans cette phrase : au lieu de « point d'intersection de $C_q$ avec + la droite polaire » il était écrit « point d'intersection de $P_0$ + avec la droite polaire ».)} les droites $P_0 M$ où $M$ est un point +d'intersection de $C_q$ avec la droite polaire $D$ de $P_0$. +Expliquer pourquoi il en existe, géométriquement, exactement deux. + +\begin{corrige} +Soit $D_0$ la droite polaire de $P_0$. Comme on a supposé que $P_0$ +n'est pas sur $C_q$, la droite $D_0$ n'est pas tangente à $C_q$ +(question (5)). Elle rencontre donc $C_q$ en deux points géométriques +distincts (question (7)), appelons-les $P_1$ et $P_2$. Soient +$D_1$ et $D_2$ les tangentes à $C_q$ par $P_1$ et $P_2$ +respectivement, c'est-à-dire, les droites polaires de $P_1$ et $P_2$ +respectivement. Elles sont distinctes l'une de l'autre par (5), et +distinctes de $D_0$ car $D_0$ n'est pas tangente à $C_q$. Comme +$P_1$ est sur $D_0$, par principe de réciprocité, $P_0$ est +sur $D_1$ : donc $D_1$ coïncide avec la droite $P_0 P_1$, et de même, +$D_2$ coïncide avec la droite $P_0 P_2$. Maintenant, s'il existait +une autre tangente $D$ à $C_q$ passant par $P_0$, en appelant $M$ le +point de tangente, $M$ serait sur $D_0$ puisque $P_0$ est sur $D$ +(principe de réciprocité), donc $M$ serait situé à la fois sur $C_q$ +et $D_0$, or on a dit que les deux points géométriques situés à la +fois sur $C_q$ et $D_0$ sont $P_0$ et $P_1$. +\end{corrige} + +\smallbreak + +On appelle \textbf{triangle autopolaire} (relativement à $C_q$ ou +à $q$) la donnée de trois points $P_0,P_1,P_2$ distincts de +$\mathbb{P}^2$ tels que la droite polaire de chacun soit la droite +reliant les deux autres. + +\textbf{(9)} Expliquer pourquoi on peut toujours trouver un triangle +autopolaire de points rationnels. À quelle condition sur les +coefficients de $q$ le triangle $(1{:}0{:}0),(0{:}1{:}0),(0{:}0{:}1)$ +est-il autopolaire ? En déduire que toute conique lisse s'écrit, +après une transformation projective (à coefficients dans $k$), sous la +forme $\{a_x\, x^2 + a_y\, y^2 + a_z\, z^2 = 0\}$ (on dit qu'elle est +\emph{diagonale}). + +\begin{corrige} +Soit $P_0$ un point rationnel de $\mathbb{P}^2$ \emph{non} situé +sur $C_k$ (un tel point existe d'après la question (3)) ; il n'est +donc pas situé sur sa droite polaire $D_0$. Soit $P_1$ un point +rationnel de la droite polaire $D_0$ de $P_0$ également \emph{non} +situé sur $C_k$ (même remarque) : il n'est donc pas situé sur sa +droite polaire $D_1$, et par ailleurs il est distinct de $P_0$ +(puisque situé sur $D_0$ alors que $P_0$ ne l'est pas) ; en revanche, +$P_0$ est situé sur $D_1$ puisque $P_1$ est sur $D_0$ (principe de +réciprocité). Soit enfin $P_2$ le point (rationnel) d'intersection +des droites (rationnelles) $D_0$ et $D_1$ : cette intersection est +bien définie car $D_0$ et $D_1$ sont distinctes (par (5)), et $P_2$ +est distinct à la fois de $P_0$ (car situé sur $D_0$ tandis que $P_0$ +ne l'est pas) et de $P_1$ (car situé sur $D_1$ tandis que $P_1$ ne +l'est pas) ; sa droite polaire $D_2$ passe par $P_0$ et $P_1$ car +$D_0$ et $D_1$ passent par $P_2$ (toujours par principe de +réciprocité), donc on a bien un triangle autopolaire. + +Dire que la droite polaire de $(1{:}0{:}0)$ passe par $(0{:}1{:}0)$ +signifie que $\frac{\partial q}{\partial y}$ s'annule en +$(1{:}0{:}0)$, c'est-à-dire $b_z = 0$. Pour les autres points on +trouve de même $b_x = 0$ et $b_y = 0$, et finalement le triangle +$(1{:}0{:}0),(0{:}1{:}0),(0{:}0{:}1)$ est autopolaire si et seulement +si $b_x = b_y = b_z = 0$ : c'est-à-dire que la forme quadratique $q$ +est diagonale (égale à $a_x\, x^2 + a_y\, y^2 + a_z\, z^2$). + +On a vu qu'on pouvait toujours trouver un triangle autopolaire. Comme +on peut par ailleurs (quitte à compléter n'importe comment en une base +projective) trouver une transformation projective l'envoyant sur +$(1{:}0{:}0),(0{:}1{:}0),(0{:}0{:}1)$, ceci met la conique sous forme +diagonale comme demandé. +\end{corrige} + +\textbf{(10)} Montrer le résultat suivant : si $A_0,A_1,A_2,A_3$ sont +quatre points distincts situés sur la conique $C_q$, et si on pose +$P_0 = A_0 A_3 \wedge A_1 A_2$ (c'est-à-dire : l'intersection de la +droite reliant $A_0$ et $A_3$ et de celle reliant $A_1$ et $A_2$) et +$P_1 = A_1 A_3 \wedge A_0 A_2$ et $P_2 = A_2 A_3 \wedge A_0 A_1$, +alors le triangle $P_0, P_1, P_2$ est autopolaire. Pour cela, on +pourra expliquer pourquoi on peut supposer que $A_0,A_1,A_2,A_3$ sont +$(1{:}0{:}0),(0{:}1{:}0),(0{:}0{:}1),(1{:}1{:}1)$ respectivement et +calculer à la fois les coordonnées de $P_0,P_1,P_2$ et des conditions +sur les coefficients de $q$. En déduire une construction, à la règle +seule. dans le plan projectif réel, de la droite polaire d'un point +par rapport à une conique donnée (en supposant qu'elle a effectivement +des points réels). + +\begin{corrige} +D'après la question (3), trois quelconques parmi les points +$A_0,A_1,A_2,A_3$ ne sont pas alignés. Ils forment donc une base +projective du plan. Quitte à appliquer une transformation projective, +on peut supposer que ce sont +$(1{:}0{:}0),(0{:}1{:}0),(0{:}0{:}1),(1{:}1{:}1)$. On calcule alors +$P_0=(0{:}1{:}1)$ et $P_1=(1{:}0{:}1)$ et $P_2=(1{:}1{:}0)$. Par +ailleurs, le fait que +$(1{:}0{:}0),(0{:}1{:}0),(0{:}0{:}1),(1{:}1{:}1)$ appartiennent +à $C_q$ impose les conditions $a_x = a_y = a_z = b_x+b_y+b_z = 0$ : +les dérivées partielles de $q$ sont alors $\frac{\partial q}{\partial + x} = b_z\, y + b_y\, z$ et $\frac{\partial q}{\partial y} = b_x\, z ++ b_z\, x$ et $\frac{\partial q}{\partial z} = b_y\, x + b_x\, y$. La +droite polaire de $P_0=(0{:}1{:}1)$ est alors donnée par $-b_x x + b_x +y + b_x z = 0$, autant dire $-x + y + z = 0$, qui est bien la droite +$P_1P_2$, et le calcul est le même pour les deux autres points (après +permutation cyclique des coordonnées). + +On en déduit la construction suivante de la droite polaire d'un +point $P_0$ (par rapport à une conique réelle ayant effectivement des +points réels) : tracer deux droites passant par $P_0$ et coupant la +conique en deux points réels chacune, appeler $A_0,A_3$ les points de +la conique sur l'une d'entre elles, et $A_1,A_2$ ceux sur l'autre ; +alors en appelant $P_1 = A_1 A_3 \wedge A_0 A_2$ et $P_2 = A_2 A_3 +\wedge A_0 A_1$, la droite polaire de $P_0$ est la droite $P_1 P_2$ +(c'est-à-dire $(A_1 A_3 \wedge A_0 A_2) \vee (A_2 A_3 \wedge A_0 +A_1)$). + +(Bien sûr, si on se permet de tracer des tangentes à la conique +passant par $P_0$, on peut faire plus simple : appeler $P_1,P_2$ les +deux points de tangence aux deux tangentes à $C_q$ par $P_0$, et alors +la polaire $D_0$ de $P_0$ est la droite les reliant, comme prouvé +en (8). Mais attention, ces points ne sont pas forcément réels : +imaginer le cas où $P_0$ est intérieur à un cercle.) +\end{corrige} + +\medbreak + +\textbf{(11)} Énumérer les points rationnels $(x:y:z)$ de la conique +$\{x^2 + y^2 + z^2 = 0\}$ dans $\mathbb{P}^2$ sur le corps fini +$\mathbb{F}_3$ à trois éléments. Combien y en a-t-il ? + +\begin{corrige} +Il est facile d'énumérer toutes les possibilités en se rappelant que +les seuls carrés dans $\mathbb{F}_3$ sont $0$ et $1$ : la seule +possibilité pour en avoir trois qui somment à $0$ est $1+1+1=0$ (vu +que $0+0+0=0$ ne donnera pas un point de l'espace projectif). Les +points de la conique sont alors +$(1{:}1{:}1),(1{:}1{:}2),(1{:}2{:}1),(1{:}2{:}2)$ (on se rappelle que +les points sont définis à multiplication près par une constante, donc +$(2{:}1{:}1)$, par exemple, coïncide avec $(1{:}2{:}2)$). Il y en a +quatre. + +(En fait, on peut utiliser un paramétrage rationnel pour montrer que +toute conique projective lisse sur un corps $k$ de +caractéristique $\neq 2$ est isomorphe à $\mathbb{P}^1$ dès qu'elle a +un point rationnel ; cette dernière hypothèse est toujours vérifiée +sur un corps fini $\mathbb{F}_q$, donc elle a toujours $q+1$ points +rationnels.) +\end{corrige} + + +% +% +% +\end{document} diff --git a/controle-20220413.tex b/controle-20220413.tex new file mode 100644 index 0000000..699743d --- /dev/null +++ b/controle-20220413.tex @@ -0,0 +1,377 @@ +%% 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.}\par\nobreak} +\renewcommand{\qedsymbol}{\smiley} +% +\newcommand{\id}{\operatorname{id}} +\newcommand{\alg}{\operatorname{alg}} +\newcommand{\ord}{\operatorname{ord}} +\newcommand{\val}{\operatorname{val}} +% +\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\par\smallbreak\else\egroup\par\fi} +% +% +% +\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{13 avril 2022} +\maketitle + +\pretolerance=8000 +\tolerance=50000 + +\vskip1truein\relax + +\noindent\textbf{Consignes.} + +Les exercices sont totalement indépendants. Ils pourront être traités +dans un ordre quelconque, mais on demande de faire apparaître de façon +très visible dans les copies où commence chaque exercice. + +La longueur du sujet ne doit pas effrayer : l'énoncé du dernier +exercice est long parce que beaucoup de rappels ont été faits et que +la rédaction des questions cherche à donner tous les éléments +nécessaires pour passer d'une question aux suivantes. + +La difficulté des questions étant variée, il vaut mieux ne pas rester +bloqué trop longtemps. + +Si on ne sait pas répondre rigoureusement, une réponse informelle peut +valoir une partie des points. + +\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 + +\ifcorrige +Ce corrigé comporte 9 pages (page de garde incluse). +\else +Cet énoncé comporte 5 pages (page de garde incluse). +\fi + +\vfill +{\noindent\tiny +\immediate\write18{sh ./vc > vcline.tex} +Git: \input{vcline.tex} +\immediate\write18{echo ' (stale)' >> vcline.tex} +\par} + +\pagebreak + + +% +% +% + +\exercice + +Soit $k$ un corps de caractéristique $\neq 2$. Soit $C$ le fermé de +Zariski de $\mathbb{A}^2$ sur $k$ d'équation $x^2 + y^2 = 2$ (ainsi, +pour $k = \mathbb{R}$, les points réels de $C$ forment un cercle +euclidien de rayon $\sqrt{2}$). + +(1) Décrire la complétée projective $C^+$ de $C$ (c'est-à-dire +l'adhérence de $C$ dans $\mathbb{P}^2$ où on identifie comme +d'habitude $\mathbb{A}^2$ à l'ouvert $T\neq 0$ du $\mathbb{P}^2$ de +coordonnées $(T:X:Y)$ en envoyant $(x,y)$ sur $(1:x:y)$). + +(2) En remarquant que $P := (1,1)$ est un $k$-point de $C$ et en +considérant une droite $D_t$ de pente $t$ variable passant par $P$, +construire un morphisme d'un ouvert\footnote{C'est-à-dire qu'il peut + admettre un nombre fini de points (géométriques) où il n'est pas + défini.} de $\mathbb{A}^1$ vers $C$ (défini sur $k$), en envoyant +$t$ sur le point d'intersection autre que $P$ de $C$ avec la +droite $D_t$. + +(3) En déduire un morphisme $\mathbb{P}^1 \to C^+$ (défini sur $k$) en +prolongeant le morphisme de la question précédente. + +(4) Donner un exemple de solution entière $(u,v,w) \in \mathbb{Z}^3$ +de l'équation $u^2 + v^2 = 2w^2$ autre que $(0,0,0)$ et $(\pm 1, \pm +1, \pm 1)$. + + +% +% +% + +\exercice + +Sur un corps $k$ quelconque, considérons l'application $\varphi$ +définie sur une partie de $\mathbb{P}^2$ et à valeurs dans +$\mathbb{P}^2$ qui envoie le point de coordonnées homogènes $(X:Y:Z)$ +sur $(YZ:XZ:XY)$ si défini. + +(1) Quel est l'ouvert de Zariski $U$ de définition de $\varphi$ ? +Exprimer celui-ci comme le complémentaire de trois points de +$\mathbb{P}^2$ dont on précisera les coordonnées. + +(2) Quel est l'ouvert de Zariski $V$ des points (de $U$) dont l'image +par $\varphi$ appartient à $U$ ? Exprimer celui-ci comme le +complémentaire de trois droites de $\mathbb{P}^2$ dont on précisera +les équations. + +(3) Que vaut $\varphi\circ\varphi$ sur $V$ ? + + +% +% +% + +%% \exercice + +%% On définit deux suites de polynômes $(T_n)$ et $(U_n)$ +%% dans $\mathbb{Z}[x]$ (polynômes de Čebyšëv de première et seconde +%% espèce) par les formules de récurrence suivantes : +%% \[ +%% \left\{\begin{aligned} +%% T_0(x) &= 1\\ +%% T_1(x) &= x\\ +%% T_{n+1}(x) &= 2x\, T_n(x) - T_{n-1}(x)\\ +%% \end{aligned}\right. +%% \;\;\;\hbox{~et~}\;\;\; +%% \left\{\begin{aligned} +%% U_{-1}(x) &= 0\\ +%% U_0(x) &= 1\\ +%% U_{n+1}(x) &= 2x\, U_n(x) - U_{n-1}(x)\\ +%% \end{aligned}\right. +%% \] + + +% +% +% + +\exercice + +Soit $k$ un corps de caractéristique $0$ et qu'on supposera +algébriquement clos pour simplifier. Soient $\xi_1,\ldots,\xi_5 \in +k$ deux à deux distincts : on appelle $p(x) = (x-\xi_1)\cdots(x-\xi_5) +\in k[x]$ le polynôme unitaire ayant les $\xi_i$ pour racines. On +appelle $C^+$ la courbe (dite « hyperelliptique ») obtenue en ajoutant +un point à l'infini\footnote{Pour être tout à fait exact, il ne s'agit + pas de la complétée projective de $C$ dans $\mathbb{P}^2$, mais + d'une « désingularisation » de celle-ci (qui a cependant un unique + point en plus de ceux de $C$ comme la complétée projective). Les + questions qui suivent ont été rédigées de manière à ce que cette + subtilité ne pose pas de problème.} noté $\infty$ à la variété +algébrique affine $C$ d'équation $y^2 = p(x)$ dans $\mathbb{A}^2$. + +On admettra sans justification les faits suivants : +\begin{itemize} +\item Que son corps des fonctions $K := k(C^+)$ peut se voir comme le + quotient $k(x)[y]/(y^2 - p(x))$ de l'anneau $k(x)[y]$ des polynômes + en l'indéterminée $y$ sur le corps $k(x)$ des fractions rationnelles + en une indéterminée $x$ sur $k$ par le polynôme $y^2 - p(x)$ + définissant $C$, c'est-à-dire, concrètement : +\item que tout élément de $K$ peut s'écrire de façon unique $g_0 + + g_1\,y$ où $g_0,g_1 \in k(x)$ sont deux fractions rationnelles + en $x$, l'addition se calculant en ajoutant terme à terme, et la + multiplication en développant le produit et en remplaçant $y^2$ par + $p(x)$. +\end{itemize} + +On rappelle par ailleurs qu'une \emph{valuation discrète} sur $K$ +au-dessus de $k$ et une fonction $v\colon K\to +\mathbb{Z}\cup\{+\infty\}$ qui vérifie les propriétés suivantes : +\textbf{(o)} $v(f) = +\infty$ si et seulement si $f=0$,\quad +\textbf{(i)} $v(f_1 + f_2) \geq \min(v(f_1), v(f_2))$ (avec +automatiquement l'égalité lorsque $v(f_1) \neq v(f_2)$),\quad +\textbf{(ii)} $v(f_1 f_2) = v(f_1) + v(f_2)$,\quad \textbf{(k)} $v(c) += 0$ si $c\in k$,\quad et enfin \textbf{(n)} il existe $f\in K$ telle +que $v(f) = 1$. De plus, on rappelle que pour chaque point $P$ +de $C^+$ il existe une unique telle valuation discrète $v =: \ord_P$ +vérifiant en outre \textbf{(r)} $v(f) \geq 0$ si $f$ est régulière +en $P$ (et automatiquement, $v(f) > 0$ si $f$ s'annule en $P$). Et +réciproquement, toute valuation discrète de $K$ au-dessus de $k$ est +de cette forme (est un $\ord_P$ pour un certain $P$). + +\smallbreak + +(1) Si $v$ est une valuation discrète de $K$ au-dessus de $k$, +expliquer pourquoi sa restriction à $k(x)$ vérifie encore les +propriétés (o), (i), (ii) et (k) de la définition d'une valuation +discrète. En déduire qu'elle est de la forme $e\cdot v'$ où $v'$ est +une valuation discrète de $k(x)$ au-dessus de $k$, et où $e\geq 1$ est +entier. + +\smallbreak + +On rappelle que toute valuation discrète de $k(x)$ au-dessus de $k$ +est de la forme $\val_{x_0}$ pour $x_0 \in k$ ou bien $\val_\infty$, +où $\val_{x_0}(g)$ est l'ordre d'annulation\footnote{C'est-à-dire que + $\val_{x_0}(g)$ est l'exposant de la plus grande puissance de + $x-x_0$ qui divise $g$ si $g \in k[x]$, et $\val_{x_0}(g/h) = + \val_{x_0}(g) - \val_{x_0}(h)$ en général.} de la fraction +rationnelle $g$ en $x_0$, et $\val_\infty(g)$ est le degré du +dénominateur moins le degré du numérateur. (NB : c'est seulement pour +éviter la confusion entre valuations sur $K$ et sur $k(x)$ qu'on a +écrit $\ord_P$ pour l'ordre d'annulation d'une fonction sur $C^+$ en +un point $P$ de $C^+$ et $\val_Q$ pour l'ordre d'annulation d'une +fonction sur $\mathbb{P}^1$ en un point $Q$ de $\mathbb{P}^1$. Il +s'agit de la même construction sur deux courbes différentes.) + +\smallbreak + +(2) Soit $P_i$ le point $(\xi_i,0)$ de $C$ (pour $1\leq i\leq 5$ +fixé). On cherche à calculer $\ord_{P_i}(g_0 + g_1\,y)$. Montrer que +$\ord_{P_i}(g) = e\, \val_{\xi_i}(g)$ si $g\in k(x)$, où $e\geq 1$ est +un entier restant à déterminer. En déduire que $\ord_{P_i}(y) = +\frac{e}{2}$. En déduire que $\ord_{P_i}(g_0 + g_1\,y) = +e\,\min(\val_{\xi_i}(g_0),\; \val_{\xi_i}(g_1)+\frac{1}{2})$. En +déduire que $e=2$ exactement, et donc que $\ord_{P_i}(g_0 + g_1\,y) = +\min(2\val_{\xi_i}(g_0),\; 2\val_{\xi_i}(g_1)+1)$. + +\smallbreak + +(3) Soit $\infty$ le point à l'infini de $C^+$ (non situé sur $C$). +On cherche à calculer $\ord_\infty(g_0 + g_1\,y)$ de façon analogue à +la question précédente. Montrer que $\ord_\infty(g) = e\, +\val_\infty(g)$ si $g\in k(x)$, où $e\geq 1$ est un entier restant à +déterminer (\textit{a priori} sans lien avec celui de la question +précédente). En déduire que $\ord_\infty(y) = -\frac{5e}{2}$. En +déduire que $\ord_\infty(g_0 + g_1\,y) = e\,\min(\val_\infty(g_0),\; +\val_\infty(g_1)-\frac{5}{2})$. En déduire que $e=2$ exactement, et +donc que $\ord_\infty(g_0 + g_1\,y) = \min(2\val_\infty(g_0),\; +2\val_\infty(g_1)-5)$. + +\smallbreak + +(4) Soit $Q := (x_Q,y_Q)$ un point de $C$ avec $y_Q \neq 0$ (ou, ce +qui revient au même, $x_Q \not\in \{\xi_1,\ldots,\xi_5\}$) ; on notera +$Q' := (x_Q,-y_Q)$ son symétrique. En quels points de $C^+$ la +fonction $h := x - x_Q$ a-t-elle un zéro ? En utilisant le fait que +$\sum_{Q\in C^+} \ord_Q(h) = 0$, montrer que $\ord_Q(x-x_Q) = +\ord_{Q'}(x-x_Q) = 1$. En déduire que $\ord_Q(g) = \val_{x_Q}(g)$ +pour tout $g \in k(x)$. En déduire que $\ord_Q(y - y_Q) = 1$ (on +pourra remarquer que $y^2 - y_Q^2 = p(x) - p(x_Q)$ et que $p'(x_Q) +\neq 0$). Montrer que si $f := g_0 + g_1\,y \in K$ n'a pas de pôle en +$Q$ ni en $Q'$, alors $g_0,g_1$ n'ont pas de pôle en $x_P$ (on pourra +écrire $g_0 = \frac{1}{2}(f+\tilde f)$ et $g_1 = \frac{1}{2y}(f-\tilde +f)$ où $\tilde f = g_0 - g_1\,y$ est la composée de $f$ par la +symétrie $(x,y) \mapsto (x,-y)$). + +\smallbreak + +(5) Pour $n \in \mathbb{N}$, on s'intéresse à l'espace vectoriel +$\mathscr{L}(n[\infty])$ des fonctions rationnelles $f = g_0 + g_1\,y$ +sur $C^+$ ayant au plus un pôle d'ordre $\leq n$ en $\infty$ +(c'est-à-dire $\ord_\infty(f) \geq -n$) et aucun pôle ailleurs +(c'est-à-dire $\ord_Q(f) \geq 0$ pour tout $Q \in C$). Montrer que +cela équivaut à : $g_0 \in k[x]$ polynôme de degré $\leq\frac{n}{2}$ +et $g_1 \in k[x]$ polynôme de degré $\leq\frac{n-5}{2}$. En déduire +que la dimension $\ell(n[\infty])$ de $\mathscr{L}(n[\infty])$ vaut +$\max(0,\lfloor\frac{n}{2}\rfloor+1) + +\max(0,\lfloor\frac{n-5}{2}\rfloor+1)$ où $\lfloor v\rfloor$ désigne +la partie entière de $v$. En déduire que +\[ +\ell(n[\infty]) = +\left\{ +\begin{array}{ll} +1,1,2&\hbox{~si $n=0,1,2$ respectivement}\\ +n-1&\hbox{~si $n\geq 3$}\\ +\end{array} +\right. +\] +(on pourra par exemple calculer les valeurs pour $n=0,1,2,3,4,5$ +séparément et, pour $n\geq 5$, distinguer $n$ pair et $n$ impair). On +rappelle que le théorème de Riemann-Roch prédit $\ell(n[\infty]) = n + +1 - g$ si $n$ est assez grand, où $g$ est le genre de la courbe : que +vaut $g$ ici ? + +\smallbreak + +Pour la question suivante, on rappelle que la différentielle $df$ +d'une fonction $f$ a pour ordre $\ord_Q(df) = \ord_Q(f) - 1$ si +$\ord_Q(f) \neq 0$, et $\ord_Q(df) \geq 0$ dès que $\ord_Q(f) \geq 0$. +On rappelle par ailleurs que $f \mapsto df$ est $k$-linéaire et que +$d(ff') = f\,df' + f'\,df$. + +\smallbreak + +(6) Calculer $\ord_Q(dx)$ en tout $Q \in C^+$ (y compris $\infty$ et +les cinq points $P_1,\ldots,P_5$) ; on pourra remarquer que $d(x-c) = +dx$. En déduire que le diviseur canonique de $\omega := \frac{dx}{y}$ +vaut $2[\infty]$, c'est-à-dire que $\ord_Q(\omega) = 0$ en tout point +$Q$ sauf $\ord_\infty(\omega) = 2$. Le théorème de Riemann-Roch +prédit plus exactement $\ell(n[\infty]) - \ell((2-n)[\infty])) = n + 1 +- g$ pour tout $n \in \mathbb{Z}$ : vérifier directement cette +affirmation à l'aide du résultat calculé à la question (5). + +\smallbreak + +(7) Aux questions (2) et (3), on a calculé exactement $\ord_Q(f)$ +(pour $f$ quelconque, écrit sous la forme $g_0 + g_1 y$) si $Q$ est +l'un des six points $P_1,\ldots,P_5,\infty$, en calculant séparément +$\ord_Q(g)$ si $g\in k(x)$ et $\ord_Q(y)$. À la question (4), on a +étudié $\ord_Q$ pour un quelconque autre point, on a calculé +$\ord_Q(g)$ et $\ord_Q(y - y_Q)$. Ceci permet-il de calculer +$\ord_Q(f)$ en général ? Si non, donner un exemple de fonction $f \in +K$ dont le calcul ne découle pas de ces valeurs. + + + +% +% +% +\end{document} diff --git a/controle-20230412.tex b/controle-20230412.tex new file mode 100644 index 0000000..65a37c0 --- /dev/null +++ b/controle-20230412.tex @@ -0,0 +1,660 @@ +%% This is a LaTeX document. Hey, Emacs, -*- latex -*- , get it? +\documentclass[12pt,a4paper]{article} +\usepackage[a4paper,margin=2.5cm]{geometry} +\usepackage[english]{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}{Whatever} +\newcommand\thingy{% +\refstepcounter{comcnt}\smallskip\noindent\textbf{\thecomcnt.} } +\newcommand\exercise{% +\refstepcounter{comcnt}\bigskip\noindent\textbf{Exercise~\thecomcnt.}\par\nobreak} +\renewcommand{\qedsymbol}{\smiley} +% +\newcommand{\id}{\operatorname{id}} +\newcommand{\alg}{\operatorname{alg}} +\newcommand{\ord}{\operatorname{ord}} +\newcommand{\val}{\operatorname{val}} +% +\DeclareUnicodeCharacter{00A0}{~} +\DeclareUnicodeCharacter{A76B}{z} +% +\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{answer}% +{\ifcorrige\relax\else\setbox0=\vbox\bgroup\fi% +\smallbreak\noindent{\underbar{\textit{Answer.}}\quad}} +{{\hbox{}\nobreak\hfill\checkmark}% +\ifcorrige\par\smallbreak\else\egroup\par\fi} +% +% +% +\begin{document} +\ifcorrige +\title{ACCQ205\\Final exam — answer key\\{\normalsize Algebraic curves}} +\else +\title{ACCQ205\\Final exam\\{\normalsize Algebraic curves}} +\fi +\author{} +\date{2023-04-12} +\maketitle + +\pretolerance=8000 +\tolerance=50000 + +\vskip1truein\relax + +\noindent\textbf{Instructions.} + +This exam consists of a single lengthy problem. Although the +questions depend on each other, they have been worded in such a way +that the necessary information for subsequent questions is given in +the text. Thus, failure to answer one question should not make it +impossible to proceed to later questions. + +\medbreak + +Answers can be written in English or French. + +\medbreak + +Use of written documents of any kind (such as handwritten or printed +notes, exercise sheets or books) is authorized. + +Use of electronic devices of any kind is prohibited. + +\medbreak + +Duration: 2 hours + +\ifcorrige +This answer key has 7 pages (cover page included). +\else +This exam has 4 pages (cover page included). +\fi + +\vfill +{\noindent\tiny +\immediate\write18{sh ./vc > vcline.tex} +Git: \input{vcline.tex} +\immediate\write18{echo ' (stale)' >> vcline.tex} +\par} + +\pagebreak + + +% +% +% + +\textit{The goal of this problem is to study a representation of lines + in $\mathbb{P}^3$.} + +\smallskip + +We fix a field $k$. Recall that \emph{points} in $\mathbb{P}^3(k)$ +are given by quadruplets $(x_0{:}x_1{:}x_2{:}x_3)$ of “homogeneous +coordinates” in $k$, not all zero, defined up to a common +multiplicative constant, and that \emph{planes} in $\mathbb{P}^3(k)$ +are of the form $\{(x_0{:}x_1{:}x_2{:}x_3) \in \mathbb{P}^3(k) : u_0 +x_0 + \cdots + u_3 x_3 = 0\}$ (for some $u_0,\ldots,u_3$, not all +zero, defined up to a common multiplicative constant) which we can +denote as $[u_0{:}u_1{:}u_2{:}u_3]$ (a point of the +“dual” $\mathbb{P}^3$). Our goal is to find a representation for +lines. + +{\footnotesize It may be convenient, if so desired, to call $\langle + w\rangle$ the point in projective space $\mathbb{P}^{m-1}(k)$ + defined by a vector $w\neq 0$ in $k^m$ (i.e., if $w = + (w_0,\ldots,w_m)$ then $\langle w \rangle = (w_0{:}\cdots{:}w_m)$), + that is, the class of $w$ under collinearity. \par} + +\bigskip + +\textbf{(1)} Given $x := (x_0,\ldots,x_3) \in k^4$ and $y := +(y_0,\ldots,y_3) \in k^4$, let us define $x\wedge y := (w_{0,1}, +w_{0,2}, w_{0,3}, w_{1,2}, w_{1,3}, w_{2,3}) \in k^6$ where $w_{i,j} +:= x_i y_j - x_j y_i$. What is $(\lambda x)\wedge(\mu y)$ in relation +to $x\wedge y$? Under what necessary and sufficient condition do we +have $x\wedge y = 0$? What is $x\wedge(\lambda x+\mu y)$ in relation +to $x\wedge y$? + +\begin{answer} +The $w_{i,j}$ are bilinear in $x,y$ (they are $2\times 2$ +determinants) so $(\lambda x)\wedge(\mu y) = \lambda\mu(x\wedge y)$. +Vanishing of $w_{i,j}$ means $(x_i,x_j)$ is proportional to +$(y_i,y_j)$ so vanishing of all the $w_{i,j}$ means precisely that +$x$ or $y$ is zero or that $x$ and $y$ are collinear. Again by +bilinearity, we have $x\wedge(\lambda x+\mu y) = \lambda(x\wedge x) + +\mu(x\wedge y)$ which is just $\mu(x\wedge y)$ since $x\wedge x$ +is $0$. +\end{answer} + +\textbf{(2)} Show that if $V \subseteq k^4$ is a $2$-dimensional +vector subspace, then the set of $x\wedge y$ for $x,y\in V$ is a +$1$-dimensional subspace of $k^6$. + +\begin{answer} +Consider $u,v$ a basis of $V$: then $u\wedge v$ is nonzero, and any +element of $V$ can be written $\lambda u + \mu v$, and then $(\lambda +u + \mu v) \wedge (\lambda' u + \mu' v) = (\lambda \mu' - \lambda' +\mu)(u \wedge v)$ by (1) (or by composition of determinants). In +other words, any $x\wedge y$ with $x,y\in V$ is collinear to $u\wedge +v$, and the latter is nonzero, and since $\lambda \mu' - \lambda' \mu$ +can obviously take every value in $k$, we see that $\{x\wedge y : +x,y\in V\}$ is the line spanned by $u\wedge v$. +\end{answer} + +\textbf{(3)} Deduce from (2) that if $L \subseteq \mathbb{P}^3(k)$ is +a line, then $(w_{0,1}{:}w_{0,2}{:}w_{0,3} {:} \penalty0 +w_{1,2}{:}w_{1,3}{:}w_{2,3})$, where $w_{i,j} := x_i y_j - x_j y_i$ as +above, and where $(x_0{:}x_1{:}x_2{:}x_3)$ and +$(y_0{:}y_1{:}y_2{:}y_3)$ are two distinct points on $L$, is a +well-defined point in $\mathbb{P}^5(k)$, not depending on the chosen +points on $L$ nor on the homogeneous coordinates representing them. + +\begin{answer} +Calling $\langle w\rangle$ the point in projective space +$\mathbb{P}^{m-1}(k)$ defined by a vector $w\neq 0$ in $k^m$, if $L$ +is a line in $\mathbb{P}^3(k)$ we can see it as $\{\langle v\rangle : +v\in V\}$ for a $2$-dimensional vector subspace $V \subseteq k^4$, and +we have seen that $\langle x\wedge y\rangle \in \mathbb{P}^4(k)$ +exists when $x$ and $y$ are not collinear (so that $x\wedge y \neq +0$), i.e., when $\langle x\rangle \neq \langle y\rangle$, and does not +depend on the $x,y \in V$. +\end{answer} + +\bigskip + +The $w_{i,j}$ in question are known as the \textbf{Plücker + coordinates} of $L$. + +\textbf{(4)} Show that any point $(z_0{:}z_1{:}z_2{:}z_3)$ on the +line $L$ as above satisfies +\[ +w_{0,1} z_2 - w_{0,2} z_1 + w_{1,2} z_0 = 0 +\tag{$*$} +\] +— and analogously by replacing $0,1,2$ by three distinct coordinates +in $\{0,1,2,3\}$. + +\begin{answer} +Expanding the $3\times 3$ determinant +\[ +\left| +\begin{matrix} +x_0&y_0&z_0\\ +x_1&y_1&z_1\\ +x_2&y_2&z_2\\ +\end{matrix} +\right| +\] +gives $w_{0,1} z_2 - w_{0,2} z_1 + w_{1,2} z_0$. If $\langle +z\rangle$ is in the line through $\langle x\rangle$ and $\langle +y\rangle$, meaning the three vectors $x,y,z$ are linearly dependent, +then this determinant is zero. The same holds, of course, for any +other choice of coordinates instead of $0,1,2$. +\end{answer} + +\textbf{(5)} Deduce from (4) that the $w_{i,j}$ satisfy the following +relation: +\[ +w_{0,1} w_{2,3} - w_{0,2} w_{1,3} + w_{0,3} w_{1,2} = 0 +\tag{$\dagger$} +\] + +\begin{answer} +By (4), we have $w_{0,1} x_2 - w_{0,2} x_1 + w_{1,2} x_0 = 0$ and +$w_{0,1} y_2 - w_{0,2} y_1 + w_{1,2} y_0 = 0$. Adding $y_3$ times the +first to $-x_3$ times the second gives the stated +relation ($\dagger$). +\end{answer} + +\bigskip + +The projective algebraic variety defined by ($\dagger$) in +$\mathbb{P}^5$ is known as the \textbf{Plücker quadric}. In other +words, we have shown above how to associate to any line $L$ in +$\mathbb{P}^3(k)$ a $k$-point $(w_{0,1}:\cdots:w_{2,3})$ on the +Plücker quadric. We now consider the converse. + +\textbf{(6)} Assuming $(w_{0,1}{:}w_{0,2}{:}w_{0,3} {:} \penalty0 +w_{1,2}{:}w_{1,3}{:}w_{2,3})$ in $\mathbb{P}^5(k)$ +satisfies ($\dagger$) (viꝫ. belongs to the Plücker quadric), and +assuming also that $w_{0,3} \neq 0$, show that the two points +$(w_{0,3}{:}w_{1,3}{:}w_{2,3}{:}0)$ and +$(0{:}w_{0,1}{:}w_{0,2}{:}w_{0,3})$ in $\mathbb{P}^3(k)$ are +meaningful and distinct, and that the line joining them has the +Plücker coordinates $(w_{0,1}:\cdots:w_{2,3})$ that were given. +(\emph{Hint:} \underline{first} compute $(w_{0,3},w_{1,3},w_{2,3},0) +\wedge (0,w_{0,1},w_{0,2},w_{0,3})$ and then use the result, with the +Plücker relation and the fact that $w_{0,3} \neq 0$ to conclude.) + +\begin{answer} +We straightforwardly compute $(w_{0,3},w_{1,3},w_{2,3},0) \wedge +(0,w_{0,1},w_{0,2},w_{0,3}) = (w_{0,3} w_{0,1}, w_{0,3} w_{0,2}, +w_{0,3}^2, \penalty0 w_{1,3} w_{0,2} - w_{2,3} w_{0,1}, w_{1,3} +w_{0,3}, w_{2,3} w_{0,3})$. By Plücker's relation ($\dagger$), +$w_{1,3} w_{0,2} - w_{2,3} w_{0,1} = w_{1,2} w_{0,3}$, so we get +$w_{0,3}$ times $(w_{0,1}, w_{0,2}, w_{0,3}, \penalty0 w_{1,2}, +w_{1,3}, w_{2,3})$. Assuming $w_{0,3} \neq 0$, this is a nonzero +vector, which implies (by question (1)) that +$(w_{0,3},w_{1,3},w_{2,3},0)$ and $(0,w_{0,1},w_{0,2},w_{0,3})$ are +nonzero and non-collinear, so that the two points +$(w_{0,3}{:}w_{1,3}{:}w_{2,3}{:}0)$ and +$(0{:}w_{0,1}{:}w_{0,2}{:}w_{0,3})$ are meaningful and distinct, and +by the computation we have just done, the Plücker coordinates of the +line joining them is the set of coordinates $(w_{0,1}:\cdots:w_{2,3})$ +that were given. +\end{answer} + +\textbf{(7)} Deduce from (6) that any $(w_{0,1}{:}w_{0,2}{:}w_{0,3}{:} +\penalty0 w_{1,2}{:}w_{1,3}{:}w_{2,3})$ in $\mathbb{P}^5(k)$ +satisfying ($\dagger$) (viꝫ. belonging to the Plücker quadric) is the +set of Plücker coordinates of a (clearly unique) line in +$\mathbb{P}^3(k)$. (\emph{Hint:} what needs to be proved is that the +assumption $w_{0,3} \neq 0$ in (6) is harmless: explain how it can be +arranged by a judicious permutation of coordinates.) + +\begin{answer} +We have seen in (6) that when $w_{0,3} \neq 0$ then +$(w_{0,1}{:}w_{0,2}{:}w_{0,3}{:} \penalty0 +w_{1,2}{:}w_{1,3}{:}w_{2,3})$ are the Plücker coordinates of a line +in $\mathbb{P}^3(k)$. But all $w_{i,j}$ cannot be zero (as they are +given in $\mathbb{P}^5$), and we can always permute coordinates in +such a way that any $w_{i,j} \neq 0$, which is sure to exist, becomes +$w_{0,3}$, and the formula $w_{0,1} w_{2,3} - w_{0,2} w_{1,3} + +w_{0,3} w_{1,2} = 0$ is invariant under any permutation of coordinates +(for this is is enough to check a cyclic permutation and a +transposition; keep in mind that $w_{j,i} = -w_{i,j}$ when rewriting +so as $i<j$), so we have confirmed the result in all cases. +\end{answer} + +\bigskip + +At this point, we have established a bijection between the set of +lines $L$ in $\mathbb{P}^3(k)$ and the set of $k$-points in the +Plücker quadric defined by ($\dagger$) in $\mathbb{P}^5$; we know how +to compute Plücker coordinates from two distinct points lying on $L$ +(by definition). We now wish to compute Plücker coordinates for a +line that is described as the the intersection of two planes. + +\textbf{(8)} Rephrase (4) to deduce that, if $L$ is a line with +Plücker coordinates $(w_{0,1}:\cdots:w_{2,3})$, then the planes +$[w_{1,2} : {-w_{0,2}} : w_{0,1} : 0]$ and $[0 : w_{2,3} : {-w_{1,3}} + : w_{1,2}]$ both contain $L$. Now consider these as points in the +dual $\mathbb{P}^3$ and show that the Plücker coordinates of the line +$L^*$ joining the two points in question are: $[w_{2,3} : {-w_{1,3}} : + w_{1,2} : w_{0,3} : {-w_{0,2}} : w_{0,1}]$, provided $w_{1,2} \neq +0$. + +\begin{answer} +The relation ($*$) of (4), namely $w_{1,2} z_0 - w_{0,2} z_1 + w_{0,1} +z_2 = 0$, means precisely that $(z_0{:}z_1{:}z_2{:}z_3)$ is on the +plane $[w_{1,2} : {-w_{0,2}} : w_{0,1} : 0]$. Shifting coordinates +cyclically, it is also on the plane $[0 : w_{2,3} : {-w_{1,3}} : + w_{1,2}]$. Computing the Plücker coordinates as defined in +questions (1) to (3) for the line through these two (dual) points +gives $[w_{1,2} w_{2,3} : {-w_{1,2} w_{1,3}} : w_{1,2}^2 : {w_{0,2} + w_{1,3} - w_{0,1} w_{2,3}} : {-w_{0,2} w_{1,2}} : w_{0,1} + w_{1,2}]$ provided not all are zero. By Plücker's +relation ($\dagger$), $w_{0,2} w_{1,3} - w_{0,1} w_{2,3} = w_{0,3} +w_{1,2}$, and now we can divide all coordinates by $w_{1,2}$ if it is +nonzero, giving $[w_{2,3} : {-w_{1,3}} : w_{1,2} : w_{0,3} : + {-w_{0,2}} : w_{0,1}]$. +\end{answer} + +\textbf{(9)} Deduce from (8) that if $L$ is a line in +$\mathbb{P}^3(k)$ with Plücker coordinates $(w_{0,1} : w_{0,2} : +w_{0,3} : \penalty0 w_{1,2} : w_{1,3} : w_{2,3})$, and if $L^*$ +denotes the “dual” line in the dual $\mathbb{P}^3$, that is, the line +consisting of all points corresponding to planes containing $L$, then +$L^*$ has (dual) Plücker coordinates $[w_{2,3} : {-w_{1,3}} : w_{1,2} + : w_{0,3} : {-w_{0,2}} : w_{0,1}]$. (\emph{Hint:} the only thing +that needs to be proved is that the assumption $w_{1,2} \neq 0$ in (8) +is harmless: explain how it can be arranged by a judicious permutation +of coordinates.) + +\begin{answer} +We have seen in (8) that when $w_{1,2} \neq 0$ then the line $L^*$ +dual to $L$ is given by $[w_{2,3} : {-w_{1,3}} : w_{1,2} : w_{0,3} : + {-w_{0,2}} : w_{0,1}]$. But all $w_{i,j}$ cannot be zero +(question (3)), and we can always permute coordinates in such a way +that any $w_{i,j} \neq 0$, which is sure to exist, becomes $w_{1,2}$, +and the formula $(w_{0,1} : w_{0,2} : w_{0,3} : \penalty0 w_{1,2} : +w_{1,3} : w_{2,3}) \mapsto [w_{2,3} : {-w_{1,3}} : w_{1,2} : w_{0,3} : + {-w_{0,2}} : w_{0,1}]$ is covariant under any permutation of +coordinates (for this is is enough to check a cyclic permutation and a +transposition), so we have confirmed the result in all cases. +\end{answer} + +\textbf{(10)} If $[u_0{:}u_1{:}u_2{:}u_3]$ and +$[v_0{:}v_1{:}v_2{:}v_3]$ are distinct planes in $\mathbb{P}^3(k)$, +how can we compute the Plücker coordinates of their line of +intersection? (\emph{Hint:} first describe the Plücker coordinates of +the line $L^*$ joining the corresponding points in the “dual” +$\mathbb{P}^3$, and then apply the result of (9), together with +projective duality.) + +\begin{answer} +Le line $L^*$ joining the points $[u_0{:}u_1{:}u_2{:}u_3]$ and +$[v_0{:}v_1{:}v_2{:}v_3]$ of the dual $\mathbb{P}^3$ is given by the +Plücker coordinates $w_{i,j} = u_i v_j - u_j v_i$. We then obtain the +Plücker coordinates of $L$ as $(w_{2,3} : {-w_{1,3}} : w_{1,2} : +w_{0,3} : {-w_{0,2}} : w_{0,1})$ (the formula given in (9) for +computing the Plücker coordinates of $L^*$ from those of $L$: it is +involutive and projective duality ensures that it also computes the +Plücker coordinates of $L$ from those of $L^*$), in other words $(u_2 +v_3 - u_3 v_2 : {-u_1 v_3 + u_3 v_1} : u_1 v_2 - u_2 v_1 : u_0 v_3 - +u_3 v_0 : {-u_0 v_2 + u_2 v_0} : u_0 v_1 - u_1 v_0)$ +\end{answer} + +\bigskip + +\textbf{(11)} Explain how, by expanding a $4\times 4$ determinant +expressing the fact that four points $(x_0{:}x_1{:}x_2{:}x_3)$, +$(y_0{:}y_1{:}y_2{:}y_3)$, $(z_0{:}z_1{:}z_2{:}z_3)$ and +$(p_0{:}p_1{:}p_2{:}p_3)$ in $\mathbb{P}^3$ are coplanar, we can +obtain a formula for the plane through a line $L$ defined by its +Plücker coordinates and a point $(z_0{:}z_1{:}z_2{:}z_3)$ not situated +on $L$. (It is not required to go through the full computations: just +explain how it would work.) + +\begin{answer} +Consider the $4\times 4$ determinant +\[ +\left| +\begin{matrix} +x_0&y_0&z_0&p_0\\ +x_1&y_1&z_1&p_1\\ +x_2&y_2&z_2&p_2\\ +x_3&y_3&z_3&p_3\\ +\end{matrix} +\right| +\] +whose vanishing expresses the fact that $x,y,z,p$ are in a common +hyperplane in $k^4$, i.e., that the points $\langle x\rangle$, +$\langle y\rangle$, $\langle z\rangle$ and $\langle p\rangle$ are +coplanar. Expanding it with respect to the final column $p$ gives a +linear condition for $p$ to be in the plane $P$ spanned by $\langle +x\rangle$, $\langle y\rangle$, $\langle z\rangle$, whose coefficients +are $3\times 3$ determinants, which are the coordinates of the +plane $P$ in the dual $\mathbb{P}^3$. Expanding those $3\times 3$ +determinants with respect to the final column $z$ writes them in terms +of the Plücker coordinates of the line $L$ through $\langle x\rangle$, +and $\langle y\rangle$, and the point $\langle z\rangle$. + +To be precise (although this was not asked), we get: +\[ +\begin{aligned} +\relax [\; +& - w_{1,2} z_3 + w_{1,3} z_2 - w_{2,3} z_1 \\ +:\; +& w_{2,3} z_0 + w_{0,2} z_3 - w_{0,3} z_2 \\ +:\; +& w_{0,3} z_1 - w_{1,3} z_0 - w_{0,1} z_3 \\ +:\; +& w_{0,1} z_2 - w_{0,2} z_1 + w_{1,2} z_0 +\;] +\end{aligned} +\] +(the last coordinate being precisely given by ($*$)). +\end{answer} + +For your additional information: if $L$ and $L'$ are two lines in +$\mathbb{P}^3(k)$ with Plücker coordinates $(w_{0,1}:\cdots:w_{2,3})$ +and $(w'_{0,1}:\cdots:w'_{2,3})$ respectively, then $L$ and $L'$ meet +in a common point (or equivalently, belong to a common plane) +iff\footnote{This relation (the “polarization” of the quadratic + relation ($\dagger$)) can be interpreted by saying that the line + in $\mathbb{P}^5$ joining the two points $(w_{0,1}:\cdots:w_{2,3})$ + and $(w'_{0,1}:\cdots:w'_{2,3})$ on the Plücker quadric is entirely + contained in said quadric.} +\[ +w_{0,1} w'_{2,3} - w_{0,2} w'_{1,3} + w_{0,3} w'_{1,2} ++ w_{2,3} w'_{0,1} - w_{1,3} w'_{0,2} + w_{1,2} w'_{0,3} = 0 +\tag{$\ddagger$} +\] +(it is not required to prove this). + +\bigskip + +\textbf{(12)} Briefly summarize all of the above, emphasizing how we +have obtained formulæ allowing algorithmic computation of all possible +geometric constructions between points, lines and planes +in $\mathbb{P}^3$. + +\begin{answer} +For projective subspaces in $\mathbb{P}^3$ we can represent: +\begin{itemize} +\item \textbf{points} by their homogeneous coordinates + $(x_0{:}x_1{:}x_2{:}x_3)$ (which are arbitrary not all zero, defined + up to a common multiplicative constant), +\item \textbf{lines} by their Plücker coordinates + $(w_{0,1} : w_{0,2} : w_{0,3} : \penalty0 + w_{1,2} : w_{1,3} : w_{2,3})$ (which are not all zero, and subject + to the sole condition ($*$) of belonging to the Plücker quadric, + defined up to a common multiplicative constant), or equivalently by + their dual Plücker coordinates which are the same up to a + permutation and some changes of sign, $[w_{2,3} : {-w_{1,3}} : + w_{1,2} : w_{0,3} : {-w_{0,2}} : w_{0,1}]$, +\item \textbf{planes} by their dual coordinates + $[u_0{:}u_1{:}u_2{:}u_3]$ (which are arbitrary not all zero, defined + up to a common multiplicative constant). +\end{itemize} + +We can then compute: +\begin{itemize} +\item whether a point lies on a line by checking the relation ($*$) + and all its permutations of coordinates (cyclic permutations + suffice), +\item whether a point lies on a plane by the relation $u_0 x_0 + + \cdots + u_3 x_3 = 0$, +\item whether a line lies in a plane by checking whether the dual + point of the plane lies on the dual line (this gives $w_{2,3} u_2 + + w_{1,3} u_1 + w_{0,3} u_0 = 0$ and cyclic permutations thereof), +\item the line joining two distinct points by computing the Plücker + coordinates as $2\times 2$ determinants as defined in question (1), +\item the plane though a line and a point not lying on it by the + formula found as explained in question (11), +\item the intersection line of two distinct planes by computing dual + Plücker coordinates as explained in question (10), +\item the point of intersection of a line and a plane by taking the + dual of the formula for the plane through a line and a point, +\item a sample point on a line as $(w_{0,3} : w_{1,3} : w_{2,3} : 0)$ + or some coordinate permutation thereof (as shown in question (6)), +\item a sample plane through a line dually to the previous point, + namely $[w_{1,2} : {-w_{0,2}} : w_{0,1} : 0]$ (as shown in + question (8)), +\item whether two lines meet, or equivalently, belong to a common + plane, by using the criterion stated before (12), in which case + their point of intersection can be computed by intersecting one of + the lines with a sample plane through the other (as explained in the + previous items), and their common plane can be computed dually. +\end{itemize} +\end{answer} + +\bigskip + +\centerline{\hbox to3truecm{\hrulefill}} + +\medskip + +\textbf{(13)} Independently of all of the above, compute the number of +lines in $\mathbb{P}^3(\mathbb{F}_q)$ (for example by counting the +number of pairs of distinct points in $\mathbb{P}^3(\mathbb{F}_q)$ and +the number of pairs of distinct points in a given line +$\mathbb{P}^1(\mathbb{F}_q)$), where $q$ is a prime power and +$\mathbb{F}_q$ denotes the finite field with $q$ elements. + +\begin{answer} +There are $\frac{q^4-1}{q-1} = q^3 + q^2 + q + 1$ points in +$\mathbb{P}^3(\mathbb{F}_q)$. There are thus $(q^3 + q^2 + q + 1)(q^3 ++ q^2 + q) = q (q^3 + q^2 + q + 1) (q^2 + q + 1)$ pairs of distinct +points in $\mathbb{P}^3(\mathbb{F}_q)$, each defining a line. There +are $\frac{q^2-1}{q-1} = q + 1$ points in +$\mathbb{P}^2(\mathbb{F}_q)$. There are thus $q(q + 1)$ pairs of +distinct points defining any given line. Thus, there are $(q (q^3 + +q^2 + q + 1) (q^2 + q + 1)) / (q (q+1)) = (q^2 + q + 1)(q^2 + 1)$ +lines in $\mathbb{P}^3(\mathbb{F}_q)$ (that is, $q^4 + q^3 + 2q^2 + q ++ 1$). +\end{answer} + +\textbf{(14)} Deduce from (13) and (1)–(7) the number of +$\mathbb{F}_q$-points on the hypersurface of degree $2$ (“quadric”) +$\{X_0 X_3 + X_1 X_4 + X_2 X_5 = 0\}$ in $\mathbb{P}^5(\mathbb{F}_q)$ +with coordinates $(X_0:\cdots:X_5)$. Assuming $q \equiv 1 \pmod{4}$, +deduce the number of $\mathbb{F}_q$-points on the hypersurface of +degree $2$ (“quadric”) $\{Z_0^2 + \cdots + Z_5^2 = 0\}$ in +$\mathbb{P}^5(\mathbb{F}_q)$ with coordinates $(Z_0:\cdots:Z_5)$ +(\emph{hint:} $q \equiv 1 \pmod{4}$ means $-1$ is a square in +$\mathbb{F}_q$, so we can factor $Z^2 + Z^{\prime2}$). + +\begin{answer} +We have seen in (1)–(7) that $\mathbb{F}_q$-points on the Plücker +quadric are in bijection with lines in $\mathbb{P}^3(\mathbb{F}_q)$, +and in (13) that there are $(q^2 + q + 1)(q^2 + 1) = q^4 + q^3 + 2q^2 ++ q + 1$ of them. Thus, there are that many points on the Plücker +quadric. The equation of the latter can be written in the form $X_0 +X_3 + X_1 X_4 + X_2 X_5 = 0$ by a simple linear coordinate change, +i.e., projective transformation ($X_0 = w_{0,1}$, $X_1 = w_{0,2}$, +$X_2 = w_{0,3}$, $X_3 = w_{2,3}$, $X_4 = -w_{1,3}$ and $X_5 = +w_{1,2}$) which certainly does not change the number of points. + +As for $Z_0^2 + \cdots + Z_5^2 = 0$, if we call $\sqrt{-1}$ some fixed +square root of $-1$ (which exists when $q \equiv 1 \pmod{4}$ as this +means that the Legendre symbol $(\frac{-1}{q})$ is $1$), we can write +$Z_0^2 + Z_1^2 = (Z_0+\sqrt{-1}\,Z_1) (Z_0-\sqrt{-1}\,Z_1)$ and +similarly for $Z_2^2 + Z_3^2$ and $Z_4^2 + Z_5^2$, and since the +linear transformation $X_0 = Z_0+\sqrt{-1}\,Z_1$, $X_1 = +Z_2+\sqrt{-1}\,Z_3$, $X_2 = Z_4+\sqrt{-1}\,Z_5$, $X_3 = +Z_0-\sqrt{-1}\,Z_1$, $X_4 = Z_2-\sqrt{-1}\,Z_3$, $X_5 = +Z_4-\sqrt{-1}\,Z_5$ is invertible, there are still the same number of +points. +\end{answer} + +\bigskip + +\centerline{\hbox to3truecm{\hrulefill}} + +\medskip + +(This question is more difficult; it is independent of (13)\&(14).) + +\textbf{(15)} Let $h \in k[t_0,t_1,t_2,t_3]$ be a homogeneous +polynomial, so that it defines a Zariski closed set (hypersurface) $X +:= \{h(x_0,x_1,x_2,x_3) = 0\}$ in $\mathbb{P}^3$. Show that the of +lines contained in $X$ defines a Zariski closed subset $Y$ of the +Plücker quadric in $\mathbb{P}^5$. (To be completely clear, this +means\footnote{Here $k^{\alg}$ denotes the algebraic closure of $k$, + but feel free to assume that $k$ is algebraically closed ($k = + k^{\alg}$) in this question.}: there is a Zariski closed set $Y$ in +$\mathbb{P}^5$, defined over $k$ and contained in the Plücker quadric +$Q$ (defined by $\dagger$), such that, for $w \in Q(k^{\alg})$, we +have $w \in Y(k^{\alg})$ if and only if $L_w \subseteq X(k^{\alg})$, +where $L_w$ denotes the line in $\mathbb{P}^3(k^{\alg})$ having +Plücker coordinates $w$.) + +The important part of this question is: how can we compute equations +for $Y$ given the equation $h=0$ of $X$? + +\begin{answer} +We have seen in question (6) that, so long as $w_{0,3} \neq 0$, the +line $L_w$ defined by $(w_{0,1}{:}w_{0,2}{:}w_{0,3} {:} \penalty0 +w_{1,2}{:}w_{1,3}{:}w_{2,3})$ in $Q$ is the line through +$(w_{0,3}{:}w_{1,3}{:}w_{2,3}{:}0)$ and +$(0{:}w_{0,1}{:}w_{0,2}{:}w_{0,3})$. In other words, $\lambda,\mu$ it +is the line consisting of points $(\lambda w_{0,3} : \lambda w_{1,3} + +\mu w_{0,1} : \lambda w_{2,3} + \mu w_{0,2} : \mu w_{0,3})$. This +line is included in $X$ iff $h(\lambda w_{0,3}, \lambda w_{1,3} + \mu +w_{0,1}, \lambda w_{2,3} + \mu w_{0,2}, \mu w_{0,3}) = 0$ for all +$\lambda,\mu$ in $k^{\alg}$, which just means that, seen as a +polynomial in $\lambda,\mu$ now seen as two \emph{indeterminates}, +this is identically zero. But this is a homogeneous polynomial in +$\lambda,\mu$ whose coefficients are homogeneous polynomials in the +$w_{i,j}$, so equating all these coefficients to $0$ gives homogeneous +equations in the $w_{i,j}$ (coordinates in $\mathbb{P}^5$) for $L_w$ +to be included in $X$. This only holds so long as $w_{0,3} \neq 0$ +(when it is zero, some of the resulting equation will be trivial); +however, at least one $w_{i,j}$ must be zero in any case, so writing +the corresponding equations for all permutations of coordinates, +together with the equation ($\dagger$) of the Plücker quadric itself +(to ensure that the $w_{i,j}$ do correspond to a line in +$\mathbb{P}^3$) gives us the equations of the desired $Y$. + +To illustrate that this is actually algorithmic, the following Sage +code computes the equations for the set $Y$ of lines inside the +“diagonal cubic surface” $X := \{x_0^3 + x_1^3 + x_2^3 + x_3^3 = 0\}$: +{\fontsize{8}{10}\relax +\begin{verbatim} +sage: R.<x0,x1,x2,x3,w01,w02,w03,w12,w13,w23,u,v> = PolynomialRing(QQ,12) +sage: xvars = [x0,x1,x2,x3] +sage: wvars = [[0,w01,w02,w03],[-w01,0,w12,w13],[-w02,-w12,0,w23],[-w03,-w13,-w23,0]] +sage: # Plücker equation: +sage: plucker = w01*w23 - w02*w13 + w03*w12 +sage: # Equation of the surface X: +sage: h = x0^3 + x1^3 + x2^3 + x3^3 +sage: deg = h.degree() +sage: # All possible permutations of (0,1,2,3): +sage: perm4 = [(j0,j1,j2,j3) for j0 in range(4) for j1 in range(4) for j2 in range(4) +....: for j3 in range(4) if len(set([j0,j1,j2,j3]))==4] +sage: # Generate the ideal I of the set Y of lines in X, as above: +sage: I = R.ideal([plucker] + [h.subs(dict([(xvars[j0],wvars[j0][j3]*u), (xvars[j1],w +....: vars[j1][j3]*u+wvars[j0][j1]*v), (xvars[j2],wvars[j2][j3]*u+wvars[j0][j2]*v), ( +....: xvars[j3],wvars[j0][j3]*v)])).coefficient({u:deg-k,v:k}) for k in range(deg) fo +....: r (j0,j1,j2,j3) in perm4]) +sage: # Compute its radical: +sage: I0 = I.radical() +sage: # This really means Y is 0-dimensional in projective space: +sage: I0.dimension() +7 +sage: # This computes its number of geometric points (i.e., geometric lines on X): +sage: hp = I0.hilbert_polynomial() ; hp.leading_coefficient()*factorial(hp.degree()) +27 +\end{verbatim} +\par}\noindent (notation is as above except that $\lambda,\mu$ have +been called \texttt{u},\texttt{v}); the above code proves that thare +are $27$ geometric lines in the surface $\{x_0^3 + x_1^3 + x_2^3 + +x_3^3 = 0\} \subseteq \mathbb{P}^3$ (over $\mathbb{Q}$). +\end{answer} + + + + +% +% +% +\end{document} diff --git a/controle-20240410.tex b/controle-20240410.tex new file mode 100644 index 0000000..bce1015 --- /dev/null +++ b/controle-20240410.tex @@ -0,0 +1,767 @@ +%% This is a LaTeX document. Hey, Emacs, -*- latex -*- , get it? +\documentclass[12pt,a4paper]{article} +\usepackage[a4paper,margin=2.5cm]{geometry} +\usepackage[english]{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}{Whatever} +\newcommand\thingy{% +\refstepcounter{comcnt}\smallskip\noindent\textbf{\thecomcnt.} } +\newcommand\exercise{% +\refstepcounter{comcnt}\bigskip\noindent\textbf{Exercise~\thecomcnt.}\par\nobreak} +\renewcommand{\qedsymbol}{\smiley} +\renewcommand{\thefootnote}{\fnsymbol{footnote}} +% +\newcommand{\id}{\operatorname{id}} +\newcommand{\alg}{\operatorname{alg}} +\newcommand{\ord}{\operatorname{ord}} +\newcommand{\divis}{\operatorname{div}} +% +\DeclareUnicodeCharacter{00A0}{~} +\DeclareUnicodeCharacter{A76B}{z} +% +\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{answer}% +{\ifcorrige\relax\else\setbox0=\vbox\bgroup\fi% +\smallbreak\noindent{\underbar{\textit{Answer.}}\quad}} +{{\hbox{}\nobreak\hfill\checkmark}% +\ifcorrige\par\smallbreak\else\egroup\par\fi} +% +% +% +\begin{document} +\ifcorrige +\title{ACCQ205\\Final exam — answer key\\{\normalsize Algebraic curves}} +\else +\title{ACCQ205\\Final exam\\{\normalsize Algebraic curves}} +\fi +\author{} +\date{2024-04-10} +\maketitle + +\pretolerance=8000 +\tolerance=50000 + +\vskip1truein\relax + +\noindent\textbf{Instructions.} + +This exam consists of three completely independent exercises. They +can be tackled in any order, but students must clearly and readably +indicate where each exercise starts and ends. + +\medbreak + +Answers can be written in English or French. + +\medbreak + +Use of written documents of any kind (such as handwritten or printed +notes, exercise sheets or books) is authorized. + +Use of electronic devices of any kind is prohibited. + +\medbreak + +Duration: 2 hours + +\ifcorrige +This answer key has 8 pages (this cover page included). +\else +This exam has 4 pages (this cover page included). +\fi + +\vfill +{\noindent\tiny +\immediate\write18{sh ./vc > vcline.tex} +Git: \input{vcline.tex} +\immediate\write18{echo ' (stale)' >> vcline.tex} +\par} + +\pagebreak + + +% +% +% + + +\exercise + +We say that a set of eight distinct points $p_0,\ldots,p_7$ in the +projective plane $\mathbb{P}^2$ over a field $k$ is a +\textbf{Möbius-Kantor configuration} when the points $p_0,p_1,p_3$ are +aligned, as well as $p_1,p_2,p_4$ and $p_2,p_3,p_5$ and so on +cyclically mod $8$, and no other set of three of the $p_i$ is aligned. +In other words, this means that $p_i,p_j,p_k$ are aligned if and only +if $\{i,j,k\} = \{\ell,\; \ell+1,\; \ell+3\}$ for some $\ell \in +\mathbb{Z}/8\mathbb{Z}$, where the subscripts are understood to be +mod $8$. + +The following figure (which is meant as a \emph{symbolic +representation} of the configuration and not as an actual geometric +figure!) illustrates the setup and can help keep track of which points +are aligned with which: + +\begin{center} +\vskip-7ex\leavevmode +\begin{tikzpicture} +\coordinate (P0) at (2cm,0); +\coordinate (P1) at (1.414cm,1.414cm); +\coordinate (P2) at (0,2cm); +\coordinate (P3) at (-1.414cm,1.414cm); +\coordinate (P4) at (-2cm,0); +\coordinate (P5) at (-1.414cm,-1.414cm); +\coordinate (P6) at (0,-2cm); +\coordinate (P7) at (1.414cm,-1.414cm); +\draw[shorten <=-0.5cm, shorten >=-0.3cm] (P0) -- (P1) .. controls ($2.5*(P1)-1.5*(P0)$) and ($2.5*(P2)-1.5*(P1)$) .. (P3); +\draw[shorten <=-0.5cm, shorten >=-0.3cm] (P1) -- (P2) .. controls ($2.5*(P2)-1.5*(P1)$) and ($2.5*(P3)-1.5*(P2)$) .. (P4); +\draw[shorten <=-0.5cm, shorten >=-0.3cm] (P2) -- (P3) .. controls ($2.5*(P3)-1.5*(P2)$) and ($2.5*(P4)-1.5*(P3)$) .. (P5); +\draw[shorten <=-0.5cm, shorten >=-0.3cm] (P3) -- (P4) .. controls ($2.5*(P4)-1.5*(P3)$) and ($2.5*(P5)-1.5*(P4)$) .. (P6); +\draw[shorten <=-0.5cm, shorten >=-0.3cm] (P4) -- (P5) .. controls ($2.5*(P5)-1.5*(P4)$) and ($2.5*(P6)-1.5*(P5)$) .. (P7); +\draw[shorten <=-0.5cm, shorten >=-0.3cm] (P5) -- (P6) .. controls ($2.5*(P6)-1.5*(P5)$) and ($2.5*(P7)-1.5*(P6)$) .. (P0); +\draw[shorten <=-0.5cm, shorten >=-0.3cm] (P6) -- (P7) .. controls ($2.5*(P7)-1.5*(P6)$) and ($2.5*(P0)-1.5*(P7)$) .. (P1); +\draw[shorten <=-0.5cm, shorten >=-0.3cm] (P7) -- (P0) .. controls ($2.5*(P0)-1.5*(P7)$) and ($2.5*(P1)-1.5*(P0)$) .. (P2); +\fill[black] (P0) circle (2.5pt); +\fill[black] (P1) circle (2.5pt); +\fill[black] (P2) circle (2.5pt); +\fill[black] (P3) circle (2.5pt); +\fill[black] (P4) circle (2.5pt); +\fill[black] (P5) circle (2.5pt); +\fill[black] (P6) circle (2.5pt); +\fill[black] (P7) circle (2.5pt); +\node[anchor=west] at (P0) {$p_0$}; +\node[anchor=south west] at (P1) {$p_1$}; +\node[anchor=south] at (P2) {$p_2$}; +\node[anchor=south east] at (P3) {$p_3$}; +\node[anchor=east] at (P4) {$p_4$}; +\node[anchor=north east] at (P5) {$p_5$}; +\node[anchor=north] at (P6) {$p_6$}; +\node[anchor=north west] at (P7) {$p_7$}; +\end{tikzpicture} +\vskip-7ex\leavevmode +\end{center} + +The goal of this exercise is to determine over which fields $k$ a +Möbius-Kantor configuration exists, and compute the coordinates of its +points. + +We fix a field $k$. The word “point”, in what follows, will refer +to an element of $\mathbb{P}^2(k)$, in other words, a point with +coordinates in $k$ (that is, a $k$-point). + +We shall write as $(x{:}y{:}z)$ the coordinates of a point, and as +$[u{:}v{:}w]$ the line $\{ux+vy+wz = 0\}$. Recall that the line +through $(x_1{:}y_1{:}z_1)$ and $(x_2{:}y_2{:}z_2)$ (assumed distinct) +is given by the formula $[(y_1 z_2 - y_2 z_1) : (z_1 x_2 - z_2 x_1) : + (x_1 y_2 - x_2 y_1)]$, and that the same formula (exchanging +parentheses and square brackets) can also be used to compute the +intersection of two distinct lines. (This may not always be the best +or simplest way\footnote{For example, one shouldn't need this formula + to notice that the line through $(42{:}0{:}0)$ and $(0{:}1729{:}0)$ + is $[0{:}0{:}1]$.} to compute coordinates, however!) + +\emph{We assume for questions (1)–(5) below that $p_0,\ldots,p_7$ is a +Möbius-Kantor configuration of points (over the given field $k$), and +the questions will serve to compute the coordinates of the points.} +We denote $\ell_{ijk}$ the line through $p_i,p_j,p_k$ when it exists. + +\textbf{(1)} Explain why we can assume, without loss of generality, +that $p_0=(1{:}0{:}0)$ and $p_1=(0{:}1{:}0)$ and $p_2=(0{:}0{:}1)$ and +$p_5=(1{:}1{:}1)$. \emph{We shall henceforth do so.} + +\begin{answer} +No three of the four points $p_0,p_1,p_2,p_5$ are aligned, so they are +a projective basis of $\mathbb{P}^2$: thus, there is a unique +projective transformation of $\mathbb{P}^2$ mapping them to the +standard basis $(1{:}0{:}0), \penalty-100 (0{:}1{:}0), \penalty-100 +(0{:}0{:}1), \penalty-100 (1{:}1{:}1)$. Since projective +transformations preserve alignment, we can apply this projective +transformation and assume that $p_0=(1{:}0{:}0)$ and $p_1=(0{:}1{:}0)$ +and $p_2=(0{:}0{:}1)$ and $p_5=(1{:}1{:}1)$. +\end{answer} + +\textbf{(2)} Compute the coordinates of the lines $\ell_{013}$, +$\ell_{124}$, $\ell_{235}$, $\ell_{560}$ and $\ell_{702}$, and of the +point $p_3$. + +\begin{answer} +Denoting $p\vee q$ the line through distinct points $p$ and $q$, we +get $\ell_{013} = p_0 \vee p_1 = [0{:}0{:}1]$ and $\ell_{124} = +p_1\vee p_2 = [1{:}0{:}0]$ and $\ell_{235} = p_5\vee p_2 = +[1{:}{-1}{:}0]$ and $\ell_{560} = p_5\vee p_0 = [0{:}1{:}{-1}]$ and +$\ell_{702} = p_2\vee p_0 = [0{:}1{:}0]$. Denoting by $\ell\wedge m$ +the point of intersection of distinct lines $\ell$ and $m$, we get +$p_3 = \ell_{013} \wedge \ell_{235} = (1{:}1{:}0)$. +\end{answer} + +\textbf{(3)} Explain why we can write, without loss of generality, the +coordinates of $p_4$ in the form $(0{:}\xi{:}1)$ for some $\xi$ +(in $k$). (Note that two things need to be explained here: why the +first coordinate is $0$ and why the last can be taken to be $1$.) + +\begin{answer} +The point $p_4$ is on $\ell_{124} = [1{:}0{:}0]$, so it is of the form +$(0{:}\tiret{:}\tiret)$ (its first coordinate is zero). On the other +hand, it is \emph{not} on $\ell_{013} = [0{:}0{:}1]$, so it is +\emph{not} of the form $(\tiret{:}\tiret{:}0)$ (its last coordinate is +\emph{not} zero). Since homogeneous coordinates are defined up to +multiplication by a common constant, we can divide them by this +nonzero last coordinate, and we get $p_4$ of the form +$(0{:}\tiret{:}1)$, as required. +\end{answer} + +\textbf{(4)} Now compute the coordinates of the line $\ell_{346}$, of +the point $p_6$, and of the lines $\ell_{457}$ and $\ell_{671}$. + +\begin{answer} +We have $\ell_{346} = p_3\vee p_4 = [1{:}{-1}{:}\xi]$. Therefore $p_6 += \ell_{346} \wedge \ell_{560} = (1-\xi : 1 : 1)$. Further, +$\ell_{457} = p_4\vee p_5 = [\xi-1 : 1 : -\xi]$ and $\ell_{671} = +p_1\wedge p_6 = [1{:}0{:}\xi-1]$. +\end{answer} + +\textbf{(5)} Write the coordinates of the last remaining point $p_7$ +and using the fact that we now have three lines on which it lies, +conclude that $\xi$ must satisfy $1-\xi+\xi^2 = 0$. + +\begin{answer} +The point $p_7$ can be written as $\ell_{571} \wedge \ell_{702}$, +giving coordinates $(1-\xi:0:1)$, or as $\ell_{457} \wedge +\ell_{702}$, giving coordinates $(\xi:0:\xi-1)$. That they are equal +gives the relation $\xi + (1-\xi)^2 = 0$ or $1-\xi+\xi^2 = 0$. +Alternatively, we can write $p_7$ as $\ell_{671} \wedge \ell_{457}$ +with coordinates $(1-\xi : 1-\xi+\xi^2 : 1)$, and the fact that it +lies on $\ell_{702}$. we get $1-\xi+\xi^2 = 0$. +\end{answer} + +\textbf{(6)} Deduce from questions (1)–(5) above that, if a +Möbius-Kantor configuration over $k$ exists, then there is $\xi\in k$ +such that $1-\xi+\xi^2 = 0$. + +\begin{answer} +As explained in (1), we can find a projective transformation of +$\mathbb{P}^2$ such giving $p_0,p_1,p_2,p_5$ the coordinates +$(1{:}0{:}0), \penalty-100 (0{:}1{:}0), \penalty-100 (0{:}0{:}1), +\penalty-100 (1{:}1{:}1)$, and as explained in (3) we then get $p_4$ +of the form $(0{:}\xi{:}1)$, and as explained in (5) this $\xi$ must +satisfy $1-\xi+\xi^2 = 0$. So if there is Möbius-Kantor configuration +over $k$ then there is such a $\xi$. +\end{answer} + +\textbf{(7)} Conversely, using the coordinate computations performed +in questions (2)–(5), explain why, if there is $\xi\in k$ such that +$1-\xi+\xi^2 = 0$, then a Möbius-Kantor configuration over $k$ exists. +(A long explanation is not required, but at least explain what checks +need be done.) + +\begin{answer} +Conversely, if a $\xi$ such that $1-\xi+\xi^2 = 0$ exists, then the +coordinates we have computed, namely +\[ +\arraycolsep=1em +\begin{array}{cc} +p_0 = (1 : 0 : 0) & \ell_{013} = [0 : 0 : 1]\\ +p_1 = (0 : 1 : 0) & \ell_{124} = [1 : 0 : 0]\\ +p_2 = (0 : 0 : 1) & \ell_{235} = [1 : {-1} : 0]\\ +p_3 = (1 : 1 : 0) & \ell_{346} = [1 : {-1} : \xi]\\ +p_4 = (0 : \xi : 1) & \ell_{457} = [-1+\xi : 1 : -\xi]\\ +p_5 = (1 : 1 : 1) & \ell_{560} = [0 : 1 : {-1}]\\ +p_6 = (1-\xi : 1 : 1) & \ell_{671} = [1 : 0 : \xi-1]\\ +p_7 = (1-\xi : 0 : 1) & \ell_{702} = [0 : 1 : 0]\\ +\end{array} +\] +define a Möbius-Kantor configuration. To check this, we need to check +that $p_i,p_j,p_k$ lie on $\ell_{ijk}$: most of these checks are +trivial, and the remaining few follow from $1-\xi+\xi^2=0$; but we +also need to check that no other $p_r$ lies on $\ell_{ijk}$: for +example, this requires checking that $\xi \neq 0$ (which follows from +the fact that $0$ certainly does not satisfy $1-\xi+\xi^2=0$) and $\xi +\neq 1$ (similarly). +\end{answer} + +\textbf{(8)} Give examples of fields $k$, at least one infinite and +one finite, over which a Möbius-Kantor configuration exists, and +similarly examples over which it does not exist. + +\begin{answer} +For fields of characteristic $\neq 2$, the usual formula for solving a +quadratic equation shows that a Möbius-Kantor configuration exists +precisely iff $-3$ is a square (since the discriminant of $1-t+t^2$ +is $-3$). This is obviously the case of fields of characteristic $3$ +(with $\xi = -1$). + +Some examples of fields with a Möbius-Kantor configuration are: any +algebraically closed field (e.g., $\mathbb{C}$), the field +$\mathbb{Q}(\sqrt{-3}) = \{u+v\sqrt{-3} : u,v\in\mathbb{Q}\}$, any +field of characteristic $3$ (e.g., $\mathbb{F}_3$), the field +$\mathbb{F}_4$ with $4$ elements (because it is +$\mathbb{F}_2[t]/(1+t+t^2)$), or the field $\mathbb{F}_7$ (because +$\xi = 3$ satisfies $1-\xi+\xi^2 = 0$). + +Some examples of fields without a Möbius-Kantor configuration are: any +subfield of $\mathbb{R}$ (including $\mathbb{Q}$ or $\mathbb{R}$ +itself), since $-3$ is not a square in $\mathbb{R}$, the field +$\mathbb{F}_2$ or the field $\mathbb{F}_5$ (checking for each element +that it does not satisfy $1-\xi+\xi^2 = 0$). + +(In fact, for finite fields, the law of quadratic reciprocity gives us +a complete answer of when a Möbius-Kantor configuration over +$\mathbb{F}_q$ exists: if $q \equiv 1 \pmod{4}$ we have +$\big(\frac{-3}{q}\big) = \big(\frac{-1}{q}\big) \, +\big(\frac{3}{q}\big) = \big(\frac{3}{q}\big) = +\big(\frac{q}{3}\big)$, while if $q \equiv 3 \pmod{4}$ we have +$\big(\frac{-3}{q}\big) = \big(\frac{-1}{q}\big) \, +\big(\frac{3}{q}\big) = -\big(\frac{3}{q}\big) = +\big(\frac{q}{3}\big)$; so if $q$ is neither a power of $2$ nor of $3$ +this is $+1$ iff $q \equiv 1 \pmod{3}$. For $q$ a power of $3$, a +Möbius-Kantor configuration always exists. For $q$ a power of $2$, it +is not hard to check that it exists iff $q$ is an \emph{even} power +of $2$. Putting all cases together, a Möbius-Kantor configuration +exists over $\mathbb{F}_q$ iff either $q$ is a power of $3$ or $q +\equiv 1 \pmod{3}$.) +\end{answer} + + +% +% +% + + +\exercise + +The focus of this exercise is \textbf{Klein's quartic}, namely the +projective algebraic variety $C$ defined by the equation +\[ +x^3 y + y^3 z + z^3 x = 0 +\] +in $\mathbb{P}^2$ with coordinates $(x{:}y{:}z)$. Note the symmetry +of this equation under cyclic permutation of the +coordinates\footnote{To dispel any possible confusion, this means +simultaneously replacing $x$ by $y$, $y$ by $z$ and $z$ by $x$.}, +which will come in handy to simplify some computations. To refer to +it more easily, we shall denote $f := x^3 y + y^3 z + z^3 x$ the +polynomial defining the equation of $C$. + +We shall work over a field $k$ having characteristic $\not\in\{2,7\}$. +For simplicity, we shall also assume $k$ to be algebraically closed +(even though this won't matter at all). + +\textbf{(1)} The following relation holds (this is a straightforward +computation, and it is not required to check it): +\[ +-27xyz\,\frac{\partial f}{\partial x} ++(28x^3-3y^2 z)\,\frac{\partial f}{\partial y} +-9yz^2\,\frac{\partial f}{\partial z} += 28x^6 +\tag{$*$} +\] +What does the relation ($*$), together with the other two obtained by +cyclically permuting coordinates, tell us about the ideal generated by +$\frac{\partial f}{\partial x}$, $\frac{\partial f}{\partial y}$ and +$\frac{\partial f}{\partial z}$ in $k[x,y,z]$? What does this imply +on the set of points where $\frac{\partial f}{\partial x}$, +$\frac{\partial f}{\partial y}$ and $\frac{\partial f}{\partial z}$ +all vanish? + +\begin{answer} +The relation $*$ tells us that $28 x^6$, and consequently $x^6$ itself +(since $k$ is of characteristic $\not\in\{2,7\}$), belongs to the +ideal generated by $\frac{\partial f}{\partial x}$, $\frac{\partial + f}{\partial y}$ and $\frac{\partial f}{\partial z}$. By cyclic +permutation of coordinates, this is also the case for $y^6$ and $z^6$: +so this ideal is irrelevant: the set of points in $\mathbb{P}^2$ where +$\frac{\partial f}{\partial x}$, $\frac{\partial f}{\partial y}$ and +$\frac{\partial f}{\partial z}$ all vanish is empty (because +$x^6,y^6,z^6$ do not vanish simultaneously). This implies that $C$ is +\emph{smooth}. +\end{answer} + +\smallskip + +\emph{The previous question implies that $C$ is a (plane) curve. The +following picture is a rough sketch of an affine part of $C$ over the +real field.} + +\begin{center} +\begin{tikzpicture} +\begin{scope}[thick] +\clip (-3,-3) -- (3,-3) -- (3,3) -- (-3,3) -- cycle; +\draw (-3.000,5.251) .. controls (-2.667,4.397) and (-2.333,3.618) .. (-2.000,2.946) ; +\draw (-2.000,2.946) .. controls (-1.833,2.610) and (-1.667,2.301) .. (-1.500,2.028); +\draw (-1.500,2.028) .. controls (-1.333,1.755) and (-1.167,1.519) .. (-1.000,1.325) ; +\draw (-1.000,1.325) .. controls (-0.833,1.130) and (-0.667,0.981) .. (-0.500,0.846) ; +\draw (-0.500,0.846) .. controls (-0.417,0.779) and (-0.333,0.716) .. (-0.250,0.638) ; +\draw (-0.250,0.638) .. controls (-0.208,0.600) and (-0.167,0.558) .. (-0.125,0.501) ; +\draw (-0.125,0.501) .. controls (-0.104,0.473) and (-0.083,0.441) .. (-0.062,0.397) ; +\draw (-0.062,0.397) .. controls (0,0.265) and (0,0.133) .. (0,0) ; +\draw (0,0) .. controls (0,-0.133) and (0,-0.265) .. (0.062,-0.397) ; +\draw (0.062,-0.397) .. controls (0.083,-0.441) and (0.104,-0.471) .. (0.125,-0.499) ; +\draw (0.125,-0.499) .. controls (0.167,-0.553) and (0.208,-0.590) .. (0.250,-0.622) ; +\draw (0.250,-0.622) .. controls (0.333,-0.684) and (0.417,-0.720) .. (0.500,-0.741) ; +\draw (0.500,-0.741) .. controls (0.667,-0.783) and (0.833,-0.755) .. (1.000,-0.682) ; +\draw (1.000,-0.682) .. controls (1.167,-0.610) and (1.333,-0.501) .. (1.500,-0.422) ; +\draw (1.500,-0.422) .. controls (1.667,-0.343) and (1.833,-0.288) .. (2.000,-0.248) ; +\draw (2.000,-0.248) .. controls (2.333,-0.168) and (2.667,-0.136) .. (3.000,-0.111) ; +\draw (-3.000,-5.140) .. controls (-2.667,-4.261) and (-2.333,-3.452) .. (-2.000,-2.694) ; +\draw (-2.000,-2.694) .. controls (-1.833,-2.315) and (-1.667,-1.962) .. (-1.500,-1.552) ; +\draw (-1.500,-1.552) .. controls (-1.458,-1.449) and (-1.417,-1.346) .. (-1.375,-1.209) ; +\draw (-1.375,-1.209) .. controls (-1.315,-1.013) and (-1.263,-0.817) .. (-1.375,-0.621) ; +\draw (-1.375,-0.621) .. controls (-1.417,-0.548) and (-1.458,-0.511) .. (-1.500,-0.477) ; +\draw (-1.500,-0.477) .. controls (-1.667,-0.339) and (-1.833,-0.295) .. (-2.000,-0.252) ; +\draw (-2.000,-0.252) .. controls (-2.333,-0.166) and (-2.667,-0.136) .. (-3.000,-0.111) ; +\end{scope} +\draw[->, shorten <=-0.1cm, shorten >=-0.1cm, thin] (-3,0) -- (3,0); +\draw[->, shorten <=-0.1cm, shorten >=-0.1cm, thin] (0,-3) -- (0,3); +\node[anchor=west] at (3,0) {$\scriptstyle x/z \,=:\, u$}; +\node[anchor=south] at (0,3) {$\scriptstyle y/z \,=:\, v$}; +\end{tikzpicture} +\end{center} + +We now define the three points $a := (1{:}0{:}0)$, $b := (0{:}1{:}0)$ +and $c := (0{:}0{:}1)$ (which obviously lie on $C$). + +\textbf{(2)} List all points of $C$ where $x$ vanishes. Do the same +for $y$ and $z$. + +\begin{answer} +If $x$ vanishes on $C$ then $y^3 z = 0$, so $y=0$ or $z=0$. So either +$x=y=0$ and we are at $c$, or $x=z=0$ and we are at $b$; so the set of +points where $x$ vanishes on $C$ is exactly $\{b,c\}$. By cyclic +rotation of coordinates, the set of points of $C$ where $y$ vanishes +is $\{c,a\}$ and the set of points of $C$ where $z$ vanishes is +$\{a,b\}$. +\end{answer} + +\textbf{(3)} Where do the points $a,b,c$ lie on the printed picture? +(If they do not lie on the picture, show the direction in which they +would be.) What is the equation of the affine part of $C$ drawn on +the picture? What is the tangent line at the point $c$? What about +$a$ and $b$? + +\begin{answer} +The point $c$ is at affine coordinates $(u,v) = (0,0)$ where $u = +\frac{x}{z}$ and $v = \frac{y}{z}$, that is, it is at the origin of +the printed picture. The point $a$ is at infinity ($z=0$) on the axis +$y=0$ (or $v=0$ if we prefer), so it is at infinity in the horizontal +direction, whereas $b$ is at infinity on the axis $x=0$ (or $u=0$ if +we prefer), so at infinity in the vertical direction. + +The equation of the affine part of $C$ is obtained by dehomogenizing +$x^3 y + y^3 z + z^3 x = 0$ with respect to $z$, i.e., by dividing by +$z^3$ and replacing $\frac{x}{z}$ by $u$ and $\frac{y}{z}$ by $v$, +giving $u^3 v + v^3 + u = 0$. + +The tangent line at the origin $c$ of the affine part $\{z\neq 0\}$ is +given by $\frac{\partial g}{\partial u}|_{(0,0)}\cdot u + +\frac{\partial g}{\partial v}|_{(0,0)}\cdot v =0$ where $g := u^3 v + +v^3 + u$. This simply gives $u=0$, so it is the vertical axis (as +could be guessed from the figure); as a projective line, this is +$x=0$. By cyclic permutation of coordinates, we get $y=0$ as tangent +line at $a$ and $z=0$ as tangent line at $c$. (Of course, one might +also compute these by taking affine charts around each one of the +points, but this would be more tedious.) +\end{answer} + +\textbf{(4)} Considering $v := \frac{y}{z}$ as a rational function +on $C$, explain why it vanishes at order exactly $1$ at $c$, that +is\footnote{We write $\ord_p(h)$ for the order at a point $p \in C$ of +a rational function $h \in k(C)$. By the way, please note that +$x,y,z$ themselves do not belong to $k(C)$ (they are not functions and +have no value by themselves), so we cannot speak of $\ord_p(x)$.}, +$\ord_c(v) = 1$. Explain why $\ord_c(u) = \ord_c(u^3 v + v^3)$ where +$u := \frac{x}{z}$ and deduce that $\ord_c(u) = 3$. Deduce the order +at $c$ of $\frac{y}{x}$ (which is also $\frac{v}{u}$). + +\begin{answer} +The coordinate $v$ vanishes with order exactly $1$ at the origin $c$ +of the tangent line $u=0$ to $C$ at $c$; therefore it also has order +exactly $1$ at $c$ on $C$. In other words, $\ord_c(v) = 1$. + +Now $u^3 v + v^3 + u = 0$ on $C$, that is $u = -u^3 v - v^3$, so +$\ord_c(u) = \ord_c(u^3 v + v^3)$. This shows that $\ord_c(u) =: k$, +which is $\geq 1$ because $u$ vanishes at $c$, satisfies $k \geq +\min(3k+1,3)$, so $k \geq 3$; but now $3k+1 \geq 10$, so $\ord_c(u^3 +v) = 3k+1 \neq 3 = \ord_c(v^3)$, so in fact $k = \min(3k+1,3) = 3$, as +required. + +Consequently, $\frac{y}{x} = \frac{v}{u}$ has order $\ord_c(v) - +\ord_c(u) = 1 - 3 = -2$ at $c$. +\end{answer} + +\textbf{(5)} By using symmetry, compute the order at each one of the +three points $a,b,c$ of each one of the three functions $\frac{x}{z}$, +$\frac{y}{x}$ and $\frac{z}{y}$. Explain why there are no points +(of $C$) other than $a,b,c$ where any of these functions (on $C$) +vanishes or has a pole. Summarize this by writing the principal +divisors $\divis(\frac{x}{z})$, $\divis(\frac{y}{x})$ and +$\divis(\frac{z}{y})$ associated with these three functions. + +\begin{answer} +We have seen that +\[ +\arraycolsep=1em +\begin{array}{ccc} +\ord_c(\frac{x}{z}) = 3 & +\ord_c(\frac{y}{x}) = -2 & +\ord_c(\frac{z}{y}) = -1 +\end{array} +\] +so by cyclic permutation we get +\[ +\arraycolsep=1em +\begin{array}{ccc} +\ord_a(\frac{x}{z}) = -1 & +\ord_a(\frac{y}{x}) = 3 & +\ord_a(\frac{z}{y}) = -2 +\\ +\ord_b(\frac{x}{z}) = -2 & +\ord_b(\frac{y}{x}) = -1 & +\ord_b(\frac{z}{y}) = 3 +\end{array} +\] +Now we have also pointed out earlier that none of $x,y,z$ vanishes on +$C$ outside possibly of $\{a,b,c\}$: so +$\frac{x}{z},\frac{y}{x},\frac{z}{y}$ have neither zero nor pole on +$C\setminus\{a,b,c\}$, i.e., their order is $0$ everywhere on this +open set. This shows that +\[ +\begin{aligned} +\divis(\frac{x}{z}) &= -[a] -2\,[b] + 3\,[c]\\ +\divis(\frac{y}{x}) &= \hphantom{+}3\,[a] - [b] - 2\,[c]\\ +\divis(\frac{z}{y}) &= -2\,[a] + 3\,[b] - [c] +\end{aligned} +\] +Two sanity checks can be performed: the degree of each of these +divisors (i.e., the sum of the coefficients) is zero, as befits a +principal divisor; and the sum of these three divisors is also zero, +as it should be because it is the divisor of the constant nonzero +function $1$. +\end{answer} + + +% +% +% + + +\exercise + +This exercise is about the \textbf{Segre embedding}\footnote{French: + “plongement de Segre”}, which is a way to map the product +$\mathbb{P}^p \times \mathbb{P}^q$ of two projective spaces to a +larger projective space $\mathbb{P}^n$ (with, as we shall see, $n = +pq+p+q$). + +Assume $k$ is a field. To simplify presentation, assume $k$ is +algebraically closed (even though this won't matter at all). + +Given $p,q\in\mathbb{N}$, the Segre embedding of $\mathbb{P}^p \times +\mathbb{P}^q$ is the map $\psi$ given by: +\[ +\begin{aligned} +\psi\colon & \mathbb{P}^p \times \mathbb{P}^q \to \mathbb{P}^n\\ +&((x_0:\cdots:x_p),\, (y_0:\cdots:y_q)) \mapsto (x_0 y_0 : x_0 y_1 : \cdots +: x_0 y_q : x_1 y_0 : \cdots : x_p y_q)\\ +\end{aligned} +\] +where $n = (p+1)(q+1)-1$ and the coordinates of the endpoint consist +of every product $x_i y_j$ with $0\leq i\leq p$ and $0\leq j\leq q$ +(in some order which doesn't really matter: here we have chosen the +lexicographic ordering). + +Note that with the definitions given in this course, we cannot state +that $\psi$ is a morphism of algebraic varieties (although it +certainly \emph{should} be one), because we did not define a “product +variety”\footnote{In fact, the Segre embedding is one way of doing +this.} $\mathbb{P}^p \times \mathbb{P}^q$. But we can still consider +it as a function. + +Let us label $(z_{0,0} : z_{0,1} : \cdots : z_{p,q})$ the homogeneous +coordinates in $\mathbb{P}^n$ (that is, $z_{i,j}$ with $0\leq i\leq p$ +and $0\leq j\leq q$), so that $\psi$ is given simply by “$z_{i,j} = +x_i y_j$”. + +We finally consider the Zariski closed subset $S$ of $\mathbb{P}^n$, +known as the \textbf{Segre variety}, defined in $\mathbb{P}^n$ by the +equations $z_{i,j} z_{i',j'} = z_{i,j'} z_{i',j}$ for all $0\leq +i,i'\leq p$ and $0\leq j,j'\leq q$. + +\medskip + +\textbf{(1)} Explain why the map $\psi$ is well-defined, i.e., the +definition given above makes sense: carefully list the properties that +need to be checked, and do so. Explain why $S$ is indeed a Zariski +closed subset of $\mathbb{P}^n$: again, carefully state what needs to +be checked before doing so. + +\begin{answer} +For the point $(x_0 y_0 : \cdots : x_p y_q)$ to make sense, we need to +check that not all its coordinates are zero. But we know that at +least one of the $x_i$ is nonzero and at least one of the $y_j$ is +nonzero, so (as we are working over a field) the product $x_i y_j$ is +nonzero. + +For the map $((x_0:\cdots:x_p),\, (y_0:\cdots:y_q)) \mapsto (x_0 y_0 : +\cdots : x_p y_q)$ to make sense, we need to check that $(x_0 y_0 : +\cdots : x_p y_q)$ does not change if we replace the $x_i$ and the +$y_j$ by different coordinates for the same point, in other words, if +we multiply all the $x_i$ by a common nonzero constant, and all the +$y_j$ by a (possibly different) common nonzero constant. This is +indeed the case as $x_i y_j$ will be multiplied by the product of +these two constants. + +Concerning $S$, we need to check that the equations $z_{i,j} z_{i',j'} += z_{i,j'} z_{i',j}$ are homogeneous: this is indeed the case (they +are homogeneous of degree $2$). +\end{answer} + +\textbf{(2)} Consider in this question the special case $p=q=1$ (so +$n=3$). Simplify the definition of $S$ in this case down to a single +equation. Taking $z_{0,0}=0$ as the plane at infinity in +$\mathbb{P}^3$, give the equation of the affine part $S \cap +\mathbb{A}^3$. Similarly taking $x_0=0$ (resp. $y_0=0$) as the point +at infinity in $\mathbb{P}^1$, describe $\psi$ on $\mathbb{A}^1 \times +\mathbb{A}^1$. + +\begin{answer} +When $p=q=1$ the equations of $S$ are all trivial except $z_{0,0} +z_{1,1} = z_{0,1} z_{1,0}$ (or equations trivially equivalent to +this). Taking $z_{0,0} = 0$ as plane at infinity, we get the equation +of the affine part by dehomogenizing $z_{0,0} z_{1,1} = z_{0,1} +z_{1,0}$, which gives $w_{1,1} = w_{0,1} w_{1,0}$ where $w_{i,j}$ +denotes the affine coordinate $z_{i,j}/z_{0,0}$ in $\mathbb{A}^3$. + +Concerning $\psi$, if we call $u = x_1/x_0$ the affine coordinate on +the first $\mathbb{A}^1$ and $v = y_1/y_0$ that on the second, it is +given by taking $(u,v)$, i.e. $((1:u),\, (1:v))$ to $(1:v:u:uv)$, that +is $(v,u,uv)$. +\end{answer} + +\textbf{(3)} Returning to the case of general $p$ and $q$, show that +the image of $\psi$ is contained in $S$, that is, $\psi(\mathbb{P}^p +\times \mathbb{P}^q) \subseteq S$. + +\begin{answer} +If $(z_{0,0} : \cdots : z_{p,q})$ is given by $z_{i,j} = x_i y_j$, we +just need to check that $z_{i,j} z_{i',j'} = z_{i,j'} z_{i',j}$: but +this just says that $x_i y_j x_{i'} y_{j'} = x_i y_{j'} x_{i'} y_j$, +which is obvious by commutativity. +\end{answer} + +\textbf{(4)} Conversely, explain why for each point $(z_{0,0} : \cdots +: z_{p,q})$ in $S$ there is a unique pair of points $((x_0 : \cdots : +x_p), (y_0 : \cdots : y_q))$ in $\mathbb{P}^p \times \mathbb{P}^q$ +which maps to the given point under $\psi$: in other words, show that +$\psi$ is a bijection between $\mathbb{P}^p \times \mathbb{P}^q$ +and $S$. + +(\textit{Hint:} you may wish to observe that if $(z_{0,0} : \cdots : +z_{p,q})$ is in $S$, the point $(z_{0,j_0} : \cdots : z_{p,j_0})$ in +$\mathbb{P}^p$ does not depend on $j_0 \in \{0,\ldots,q\}$ such that +$\exists i.(z_{i,j_0}\neq 0)$; and similarly for $(z_{i_0,0} : \cdots +: z_{i_0,q})$ in $\mathbb{P}^q$.) + +\begin{answer} +Assume $(z_{0,0} : \cdots : z_{p,q})$ is in $S$. By the definition of +$\mathbb{P}^n$, at least one coordinate $z_{i_0,j_0}$ is nonzero. +Define $x^*_i = z_{i,j_0}$ (note that $x^*_{i_0} \neq 0$) and $y^*_j = +z_{i_0,j}$ (note that $y^*_{j_0} \neq 0$): then $x^*_i y^*_j = +z_{i,j_0} z_{i_0,j}$, which, by the equations of $S$, is also +$z_{i_0,j_0} z_{i,j}$: this shows that $((x^*_0 : \cdots : x^*_p), +(y^*_0 : \cdots : y^*_q))$ maps to the given $(z_{0,0} : \cdots : +z_{p,q})$ under $\psi$ (by dividing all coordinates by the nonzero +value $z_{i_0,j_0}$). So $\psi$ surjects to $S$. + +But in fact, if $((x_0 : \cdots : x_p), (y_0 : \cdots : y_q))$ maps to +$(z_{0,0} : \cdots : z_{p,q})$ under $\psi$, then we have $z_{i,j_0} = +y_{j_0} x_i$ so that $(x_0 : \cdots : x_p) = (z_{0,j_0} : \cdots : +z_{p,j_0})$ provided $y_{j_0} \neq 0$, which is tantamount to saying +$z_{i_0,j_0}\neq 0$ for some $i_0$: so we had no other choice than to +take the $(x^*_0 : \cdots : x^*_p)$ of the previous paragraph, and the +same argument holds for $(y^*_0 : \cdots : y^*_q)$. This shows +uniqueness of the points $((x_0 : \cdots : x_p), (y_0 : \cdots : +y_q))$ mapping to $(z_{0,0} : \cdots : z_{p,q})$ under $\psi$. +\end{answer} + +\textbf{(5)} Call $\pi\colon S\to \mathbb{P}^p\times\mathbb{P}^q$ the +inverse bijection of $\psi$, and call $\pi',\pi''$ its two components. +(In other words, if $s = (z_{0,0} : \cdots : z_{p,q})$ is in $S$ then +$\pi'(s) = (x_0:\cdots:x_p) \in \mathbb{P}^p$ and $\pi''(s) = +(y_0:\cdots:y_p) \in \mathbb{P}^q$ are the unique points such that +$(\pi'(s),\pi''(s))$ maps to $s$ under $\psi$.) Show that the maps +$\pi' \colon S \to \mathbb{P}^p$ and $\pi'' \colon S \to \mathbb{P}^q$ +are morphisms of algebraic varieties. (If this seems too difficult, +consider the special case $p=q=1$, and at least try to explain what +needs to be checked.) + +\begin{answer} +Given $j_0 \in \{0,\ldots,q\}$, consider the map $(z_{0,0} : \cdots : +z_{p,q}) \mapsto (z_{0,j_0} : \cdots : z_{p,j_0})$ which selects only +the coordinates $z_{i,j_0}$. This is a partially defined map from +$\mathbb{P}^n$ to $\mathbb{P}^p$, and the components are homogeneous +polynomials of the same degree (here, $1$): the only thing that can go +wrong is that all the $z_{i,j_0}$ are zero, so this is well-defined on +the open set $\{z_{0,j_0}\neq 0\} \cup \cdots \cup \{z_{p,j_0}\neq +0\}$. Now restrict this map to $S$: this gives us a morphism +$\pi^{\prime(j_0)}$ from the open set $U^{(j_0)} := S \cap +(\{z_{0,j_0}\neq 0\} \cup \cdots \cup \{z_{p,j_0}\neq 0\})$ of $S$ +to $\mathbb{P}^p$. + +Note that the union the union of $U^{0)},\ldots,U^{(q)}$ is all of $S$ +because there is always at least one coordinate nonzero. + +Furthermore, we have seen in (4) that if $s = (z_{0,0} : \cdots : +z_{p,q})$ then $\pi'(s)$ is given by $\pi^{\prime(j_0)}(s) = +(z_{0,j_0} : \cdots : z_{p,j_0})$ where $j_0$ is any element of +$\{0,\ldots,q\}$ such that $z_{i_0,j_0} \neq 0$ for some $i_0$, i.e., +$s \in U^{(j_0)}$. This shows that $\pi'$ coincides with +$\pi^{\prime(j_0)}$ on the open set $U^{(j_0)}$ where the latter is +defined, so $\pi'$ is defined by “gluing” the various +$\pi^{\prime(j_0)}$. So $\pi'$ is indeed a morphism (to be clear: it +is simply defined by selecting the coordinates of the form $z_{i,j_0}$ +for any one $j_0$ such that not all of them vanish). + +The same argument, \textit{mutatis mutandis}, works for $\pi''$. +\end{answer} + + + +% +% +% +\end{document} diff --git a/exercices.tex b/exercices.tex new file mode 100644 index 0000000..ec90648 --- /dev/null +++ b/exercices.tex @@ -0,0 +1,1122 @@ +%% 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.}\par\nobreak} +\renewcommand{\qedsymbol}{\smiley} +% +\newcommand{\id}{\operatorname{id}} +\newcommand{\alg}{\operatorname{alg}} +\newcommand{\ord}{\operatorname{ord}} +\newcommand{\val}{\operatorname{val}} +\newcommand{\divis}{\operatorname{div}} +% +\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\par\smallbreak\else\egroup\par\fi} +% +% +% +\begin{document} +\ifcorrige +\title{ACCQ205\\Exercices — Corrigé\\{\normalsize Courbes algébriques}} +\else +\title{ACCQ205\\Exercices\\{\normalsize Courbes algébriques}} +\fi +\author{David A. Madore} +\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 + +\exercice + +Dans $\mathbb{P}^2(\mathbb{R})$, quelle est l'intersection de la +droite reliant les points $(1{:}1{:}1)$ et $(1{:}2{:}3)$ et de celle +reliant les points $(0{:}1{:}3)$ et $(1{:}0{:}0)$ ? + +Traduire cette même question et son résultat dans le plan affine +$\mathbb{A}^2(\mathbb{R})$ (c'est-à-dire $\mathbb{R}^2$) vu comme +l'ensemble des points $(1:x:y)$ de $\mathbb{P}^2(\mathbb{R})$. + +\begin{corrige} +En notant $[u:v:w]$ (pour $u,v,w$ non tous nuls) la droite d'équation +$ux+vy+wz = 0$ dans $\mathbb{P}^2$, on rappelle que la droite reliant +$(x:y:z)$ et $(x':y':z')$ distincts est $[yz'-zy' : zx'-xz' : + xy'-yx']$, et que l'intersection des droites distinctes $[u:v:w]$ et +$[u':v':w']$ est $[vw'-wv' : wu'-uw' : uv'-vu']$. + +Avec ces formules, on trouve que $(1{:}1{:}1) \vee (1{:}2{:}3) = +[1{:}-2{:}1]$ (on note $p \vee q$ pour la droite reliant $p$ et $q$) +et que $(0{:}1{:}3) \vee (1{:}0{:}0) = [0{:}3{:}-1]$ et finalement que +le point recherché est $[1{:}-2{:}1] \wedge [0{:}3{:}-1] = +(-1{:}1{:}3)$ (en notant $\ell \wedge m$ pour l'intersection des +droites $\ell$ et $m$). Ce point est bien sûr aussi égal, par +exemple, à $(1{:}-1{:}-3)$ ou $(-2{:}2{:}6)$. + +En affine, la question demande l'intersection de la droite reliant +$(1,1)$ et $(2,3)$ et de la droite de pente $3$ passant par $(0,0)$. +(La « pente » de la droite affine $y = ax+b$ est le nombre $a$, qu'on +peut voir comme le point à l'infini $(0:1:a)$ de sa complétée +projective.) La réponse est que les droites en question se coupent +en $(-1,-3)$. +\end{corrige} + + +% +% +% + +\exercice + +Donner l'équation de l'homographie (= transformation projective) $f +\colon \mathbb{P}^1 \to \mathbb{P}^1$ sur, disons, les réels, qui +envoie $0$ sur $0$ et $1$ sur $1$ et $2$ sur $3$. Quelle est l'image +de $\infty$ par cette homographie, et quel point s'envoie sur $\infty$ +par elle ? + +\begin{corrige} +L'énoncé suppose implicitement qu'on identifie $\mathbb{P}^1$ au +complété de $\mathbb{A}^1$ par l'ajout d'un point à l'infini. Notons +$t$ la coordonnée sur $\mathbb{A}^1$ et fixons les coordonnées de +$\mathbb{P}^1$ en identifiant le point $t$ de $\mathbb{A}^1$ avec le +point $(t{:}1)$ de $\mathbb{P}^1$ et le point à l'infini avec +$(1{:}0)$ (c'est-à-dire que $(u:v)$ de $\mathbb{P}^1$ s'identifie avec +$u/v$ dans $\mathbb{A}^1$ sauf lorsque $v=0$ auquel cas on le +note $\infty$). + +On cherche un élément de $\mathit{PGL}_2$, c'est-à-dire une matrice +inversible $\begin{pmatrix}a&b\\c&d\\ \end{pmatrix}$ (modulo +homothéties). Compte tenu de l'identification qu'on vient de faire, +cela signifie qu'on cherche $f$ sous la forme $f(t) = +\frac{at+b}{ct+d}$ (avec $ad-bc \neq 0$ pour assurer l'inversibilité, +et en gardant à l'esprit que ceci ne fixera $a,b,c,d$ qu'à +multiplication près par une constante). + +La contrainte $f(0)=0$ se traduit alors par $b=0$, la contrainte +$f(1)=1$ se traduit par $a+b=c+d$, et la contrainte $f(2)=3$ se +traduit par $2a+b=3(2c+d)$. En résolvant le système (avec une +contrainte arbitraire pour fixer l'homogénéité sans importance), on +trouve $\begin{pmatrix}3&0\\-1&4\\ \end{pmatrix}$ (modulo +multiplication par constantes), soit $f(t) = 3t/(-t+4)$. Le point +$\infty$ s'envoie alors sur $-3$ (c'est-à-dire que $(1{:}0)$ s'envoie +sur $(3{:}-1)$), et $4$ s'envoie sur $\infty$ (c'est-à-dire que +$(4{:}1)$ s'envoie sur $(1{:}0)$). +\end{corrige} + + +% +% +% + +\exercice + +(a) Combien y a-t-il de points dans $\mathbb{P}^3(\mathbb{F}_q)$ ? +(b) Combien y a-t-il de couples de points distincts de +$\mathbb{P}^3(\mathbb{F}_q)$ ? (c) Étant donnée une droite $\ell$ de +$\mathbb{P}^3(\mathbb{F}_q)$, combien de couples de points distincts +sont situés dessus ? (d) En déduire le nombre de droites dans +$\mathbb{P}^3(\mathbb{F}_q)$. (e) Indépendamment des questions +(b) à (d), combien y a-t-il de plans dans +$\mathbb{P}^3(\mathbb{F}_q)$ ? + +\begin{corrige} +(a) On a vu que c'est $\frac{q^4-1}{q-1} = q^3 + q^2 + q + 1$ (ce qui + s'écrit encore, si on préfère, $(q+1) (q^2+1)$). + +(b) On en déduit que c'est $(q^3 + q^2 + q + 1) (q^3 + q^2 + q)$ (ce + qui s'écrit encore, si on préfère, $q(q+1)(q^2+1)(q^2+q+1)$). + +(c) Chaque droite de $\mathbb{P}^3(\mathbb{F}_q)$ est elle-même un + $\mathbb{P}^1(\mathbb{F}_q)$, donc elle a $q+1$ points, et $q(q+1)$ + couples de points distincts. + +(d) Chaque couple de points distincts de $\mathbb{P}^3(\mathbb{F}_q)$ + détermine une unique droite, laquelle s'obtient de $q(q+1)$ manières + différentes : il y a donc $[q(q+1)(q^2+1)\penalty0 + (q^2+q+1)]/[q(q+1)] = (q^2+1)(q^2+q+1) = q^4 + q^3 + 2q^2 + q + 1$ + droites distinctes dans $\mathbb{P}^3(\mathbb{F}_q)$. + +(e) La dualité projective met en correspondance les plans de + $\mathbb{P}^2$ avec les points du $\mathbb{P}^2$ dual. Notamment, + les plans de $\mathbb{P}^3(\mathbb{F}_q)$ sont en même nombre que + ses points, c'est-à-dire $q^3 + q^2 + q + 1$. +\end{corrige} + + +% +% +% + +\exercice + +On souhaite démontrer de façon calculatoire le théorème suivant +(théorème de Desargues) : si $A,B,C$ et $A',B',C'$ sont deux triangles +(= triplets de points non alignés) dans $\mathbb{P}^2$ tels que $AA'$, +$BB'$ et $CC'$ concourent en un point $O$, alors les points $U := BC +\wedge B'C'$ (point d'intersection des droites $BC$ et $B'C'$) et $V +:= CA \wedge C'A'$ et $W := AB \wedge A'B'$ sont alignés. (Comme +d'habitude en géométrie projective, on suppose tacitement que les +points sont en position suffisamment générale, c'est-à-dire que toutes +les paires de points qu'on a reliés pour former une droite sont +distinctes, et que toutes les paires de droites qu'on a intersectées +sont aussi distinctes.) + +\begin{figure}[h] +\begin{center} +\begin{tikzpicture}[line cap=round,line join=round,x=1.0cm,y=1.0cm,extended line/.style={shorten >=-#1,shorten <=-#1},extended line/.default=0.5cm] +%% \clip(-3.43,-5.04) rectangle (4.25,0.85); +%% \draw [domain=-3.43:4.25] plot(\x,{(-0-1.69*\x)/-1.38}); +%% \draw [domain=-3.43:4.25] plot(\x,{(-0-1.96*\x)/1.19}); +%% \draw [domain=-3.43:4.25] plot(\x,{(-0-2.4*\x)/-0.02}); +%% \draw [domain=-3.43:4.25] plot(\x,{(-4.73-0.27*\x)/2.57}); +%% \draw [domain=-3.43:4.25] plot(\x,{(--2.9-0.44*\x)/-1.21}); +%% \draw [domain=-3.43:4.25] plot(\x,{(--3.28--0.71*\x)/-1.36}); +%% \draw [domain=-3.43:4.25] plot(\x,{(-14.02--1.17*\x)/4.67}); +%% \draw [domain=-3.43:4.25] plot(\x,{(--6.32-1.33*\x)/-1.62}); +%% \draw [domain=-3.43:4.25] plot(\x,{(--11.99--0.15*\x)/-3.05}); +%% \draw [domain=-3.43:4.25] plot(\x,{(--9.7-2.9*\x)/-0.07}); +\begin{scriptsize} +\coordinate (O) at (0,0); +\coordinate (A) at (-1.38,-1.69); +\coordinate (B) at (1.19,-1.96); +\coordinate (C) at (-0.02,-2.4); +\coordinate (Aprime) at (-3.08,-3.78); +\coordinate (Bprime) at (1.59,-2.61); +\coordinate (Cprime) at (-0.03,-3.93); +\coordinate (W) at (3.29,-2.18); +\coordinate (U) at (3.31,-1.19); +\coordinate (V) at (3.24,-4.1); +\draw[extended line=0.5cm] (O)--(Aprime); +\draw[extended line=0.5cm] (O)--(Bprime); +\draw[extended line=0.5cm] (O)--(Cprime); +\draw[color=black!50!red,extended line=0.5cm] (A)--(W); +\draw[color=black!50!red,extended line=0.5cm] (Aprime)--(W); +\draw[color=black!50!red,extended line=0.5cm] (A)--(V); +\draw[color=black!50!red,extended line=0.5cm] (Aprime)--(V); +\draw[color=black!50!red,extended line=0.5cm] (C)--(U); +\draw[color=black!50!red,extended line=0.5cm] (Cprime)--(U); +\draw[color=black!50!blue,extended line=0.5cm] (U)--(V); +\fill [color=blue] (O) circle (1.5pt); +\draw[color=blue] (0.11,0.17) node {$O$}; +\fill [color=red] (A) circle (1.5pt); +\draw[color=red] (-1.27,-1.52) node {$A$}; +\fill [color=red] (B) circle (1.5pt); +\draw[color=red] (1.3,-1.79) node {$B$}; +\fill [color=red] (C) circle (1.5pt); +\draw[color=red] (0.09,-2.23) node {$C$}; +\fill [color=red] (Aprime) circle (1.5pt); +\draw[color=red] (-2.97,-3.61) node {$A'$}; +\fill [color=red] (Bprime) circle (1.5pt); +\draw[color=red] (1.7,-2.43) node {$B'$}; +\fill [color=red] (Cprime) circle (1.5pt); +\draw[color=red] (0.09,-3.76) node {$C'$}; +\fill (W) circle (1.5pt); +\draw (3.41,-2) node {$W$}; +\fill (U) circle (1.5pt); +\draw (3.42,-1.01) node {$U$}; +\fill (V) circle (1.5pt); +\draw (3.35,-3.92) node {$V$}; +\end{scriptsize} +\end{tikzpicture} +\end{center} +\end{figure} + +(a) Expliquer pourquoi on peut trouver des coordonnées telles que +$A=(1{:}0{:}0)$, $B=(0{:}1{:}0)$, $C=(0{:}0{:}1)$ et $O=(1{:}1{:}1)$. + +(b) Expliquer pourquoi les coordonnées de $A',B',C'$ sont alors de la +forme $A' = (a:u:u)$, $B' = (v:b:v)$ et $C' = (w:w:c)$. + +(c) Calculer les coordonnées de $U,V,W$. + +(d) Conclure. + +(e) Indépendamment de ce qui précède, quel est l'énoncé dual du +théorème de Desargues ? + +\begin{corrige} +(a) On a supposé $ABC$ non alignés, $OAB$ non alignés (implicitement + en disant que $AA'$ et $BB'$ concourent), $OBC$ non alignés et $OCA$ + non alignés. On a donc affaire à une base projective + de $\mathbb{P}^2$, et quitte à choisir les coordonnées, on peut + supposer qu'il s'agit de la base standard. + +(b) Le point $A'$ est sur la droite $OA = [0{:}1{:}-1]$, c'est-à-dire + que ses deux dernières coordonnées sont égales : on peut donc + l'écrire $(a:u:u)$ (avec $a,u$ non simultanément nuls). Les deux + autres cas sont symétriques. + +(c) La droite $BC$ est $[1{:}0{:}0]$, et la droite $B'C'$ est $[bc - + vw : -cv + vw : -bw + vw]$ (on peut se dispenser de calculer la + première coordonnée), ce qui donne $U := BC \wedge B'C' = (0 : bw - + vw : -cv + vw)$. Les deux autres s'obtiennent alors en appliquant + la permutation cyclique évidente, soit $V = (-aw + wu : 0 : cu - + wu)$ et $W = (av - uv : -bu + uv : 0)$. + +(d) Il s'agit de vérifier l'annulation du déterminant +\[ +\left| +\begin{matrix} +0&-aw+wu&av-uv\\ +bw-vw&0&-bu+uv\\ +-cv+vw&cu-wu&0\\ +\end{matrix} +\right| +\] +ce qui peut se faire directement ou en remarquant que $u$ fois les +coordonnées trouvées pour $U$ plus $v$ fois celles pour $V$ plus $w$ +fois celles pour $W$ donne zéro. + +(e) L'énoncé dual obtenu en échangeant mécaniquement points et droites +est : si $\alpha,\beta,\gamma$ et $\alpha',\beta',\gamma'$ sont deux +triangles dans $\mathbb{P}^2$ donnés par des triplets de droites cette +fois, tels que les points d'intersection $\alpha\wedge\alpha'$, +$\beta\wedge\beta'$ et $\gamma\wedge\gamma'$ soient alignées selon une +droite $\ell$, alors les droites $p := (\beta\wedge\gamma) \vee +(\beta'\wedge\gamma')$ (droite reliant les points d'intersection +$\beta\wedge\gamma$ et $\beta'\wedge\gamma'$) et $q := +(\gamma\wedge\alpha) \vee (\gamma'\wedge\alpha')$ et $r := +(\alpha\wedge\beta) \vee (\alpha'\wedge\beta')$ sont concourantes. + +Mais on peut le reformuler : en appelant $A,B,C$ les sommets du +triangle de côtés $\alpha,\beta,\gamma$, c'est-à-dire $A := +\beta\wedge\gamma$ et $B := \gamma\wedge\alpha$ et $C := +\alpha\wedge\beta$, et de même $A',B',C'$ les sommets de +$\alpha',\beta',\gamma'$, alors l'énoncé de Desargues dual est : si +$A,B,C$ et $A',B',C'$ sont deux triangles dans $\mathbb{P}^2$ tels que +les points $U := BC \wedge B'C'$ (point d'intersection des droites +$BC$ et $B'C'$) et $V := CA \wedge C'A'$ et $W := AB \wedge A'B'$ +soient alignés, alors $AA'$, $BB'$ et $CC'$ concourent en un +point $O$. Il s'agit précisément de la réciproque du théorème de +Desargues tel que nous l'avons énoncé. + +Autrement dit, en démontrant le théorème de Desargues, nous avons +aussi démontré sa réciproque (puisque celle-ci s'obtient en appliquant +Desargues dans le plan projectif dual). +\end{corrige} + + +% +% +% + +\exercice + +Donner des équations (c'est-à-dire, écrire comme un fermé de Zariski) +de la droite de $\mathbb{P}^3$ sur $\mathbb{R}$ qui passe par les +points $(1{:}2{:}3{:}4)$ et $(4{:}1{:}2{:}3)$. (On notera +$(t{:}x{:}y{:}z)$ les coordonnées homogènes sur $\mathbb{P}^3$.) Le +point $(3{:}4{:}1{:}2)$ est-il situé dessus ? + +\begin{corrige} +Traduisons le problème comme un problème d'algèbre linéaire : on +considère $V$ le plan vectoriel (= sous-espace vectoriel de +dimension $2$) engendré par les deux vecteurs $(1,2,3,4)$ et +$(4,1,2,3)$ de $\mathbb{R}^4$, et on cherche à trouver un système +générateur (et tant qu'à faire, une base) de l'ensemble $V^\perp$ des +formes linéaires sur $\mathbb{R}^4$ s'annulant sur $V$ (qu'on peut +voir comme des polynômes homogènes de degré $1$ en $t,x,y,z$ si l'on +veut). Si on note $s,u,v,w$ les coordonnées (coefficients devant +$t,x,y,z$) d'une telle forme linéaire, on cherche donc à résoudre +$s+2u+3v+4w=0$ et $4s+u+2v+3w=0$, ce système étant évidemment +sous-déterminé (puisque $V^\perp$ est de dimension $2$) mais on +cherche à trouver une base de son espace de solutions. On peut par +exemple trouver pour $(s,u,v,w)$ les solutions $(1,0,13,-10)$ et +$(0,1,-2,1)$ ou encore $(-\frac{1}{7}, -\frac{10}{7}, 1, 0)$ et +$(-\frac{2}{7}, -\frac{13}{7}, 0, 1)$ (par exemple calculées en +mettant la matrice $\begin{pmatrix}1&2&3&4\\4&1&2&3\\ \end{pmatrix}$ +sous forme échelonnée), ou n'importe quels deux vecteurs non +colinéaires vérifiant le système qu'on a écrit (tout autre élément +étant alors combinaison des deux qu'on a choisis). + +Mettons qu'on prenne $(1,0,13,-10)$ et $(0,1,-2,1)$ : ceci permet +d'écrire que la droite passant par $(1{:}2{:}3{:}4)$ et +$(4{:}1{:}2{:}3)$ a pour équations $t + 13y - 10z = 0$ et $x - 2y + z += 0$ (encore une fois, n'importe quelle autre équation sera dans le +sous-$\mathbb{R}$-espace vectoriel, et \emph{a fortiori} dans l'idéal, +engendré par ces deux équations choisies). + +Savoir si le point $(3{:}4{:}1{:}2)$ est situé sur la droite en +question se vérifie alors sur ces équations : la réponse est +manifestement non. (On pouvait aussi tester directement l'alignement +de $(3{:}4{:}1{:}2)$ avec $(1{:}2{:}3{:}4)$ et $(4{:}1{:}2{:}3)$ en +testant si le vecteur $(3,4,1,2)$ apartient à l'image de la matrice +$4\times 2$ transposée de +$\begin{pmatrix}1&2&3&4\\4&1&2&3\\ \end{pmatrix}$, ou encore si la +matrice $4\times 3$ ayant ces trois vecteurs comme colonnes a un +rang $\leq 2$, et la réponse est non quelle que soit la manière dont +la question est tournée.) +\end{corrige} + + +% +% +% + +\exercice\label{exercice-circular-points-at-infinity} + +Soient $x_0,y_0,r$ des réels avec $r>0$. Soit $C := \{(x,y) \mid +(x-x_0)^2 + (y-y_0)^2 = r^2\} \subseteq \mathbb{A}^2$ le cercle de +centre $(x_0,y_0)$ et de rayon $r$ vu comme un fermé de Zariski de +$\mathbb{A}^2$ sur $\mathbb{R}$. On voit maintenant $\mathbb{A}^2$ +dans $\mathbb{P}^2$, dont les coordonnées seront notées $(T:X:Y)$ en +identifiant le point $(x,y)$ de $\mathbb{A}^2$ avec $(1:x:y)$ de +$\mathbb{P}^2$. Déterminer l'équation du complété projectif $C^+ +\subseteq \mathbb{P}^2$ de $C$. Quels sont les points à l'infini +de $C^+$ (« à l'infini » s'entendant par rapport au $\mathbb{A}^2$ +dont on est parti) ? + +Commenter l'affirmation : « en géométrie projective, tous les cercles +euclidiens passent par deux mêmes points géométriques situés à +l'infini (les \emph{points cycliques}) ». + +\begin{corrige} +Il s'agit d'homogénéiser l'équation $(x-x_0)^2 + (y-y_0)^2 - r^2 = 0$. +Pour cela, on remplace $x$ par $X/T$ et $y$ par $Y/T$ et on multiplie +par $T^2$ pour chasser les dénominateurs. On obtient ainsi l'équation +projective : $(X-x_0 T)^2 + (Y-y_0 T)^2 - r^2 T^2 = 0$, ou, si on +préfère, $X^2 + Y^2 - 2 x_0 TX - 2 y_0 TY + (x_0^2+y_0^2-r^2) T^2 = +0$ ($*$). Le fermé de Zariski $C^+ \subseteq \mathbb{P}^2$ est celui +défini par l'équation qu'on vient d'écrire. + +Ses points à l'infini sont le fermé de Zariski défini par les deux +équations ($*$) et $T=0$ (cette dernière définissant la droite à +l'infini). L'idéal qu'elles engendrent est donc aussi celui engendré +par $T=0$ et $X^2 + Y^2 = 0$ (autrement dit, on peut remplacer $T$ +par $0$ dans l'équation ($*$)). Sur les complexes (où l'équation $X^2 ++ Y^2 = 0$ se factorise en $(X+iY)(X-iY) = 0$, donc réunion de deux +droites complexes conjuguées), on obtient les deux points conjugués $I +:= (0{:}1{:}i)$ et $J := (0{:}1{:}-i)$ (ce sont bien sûr les mêmes que +$I = (0{:}i{:}-1)$ et $J = (0{:}i{:}1)$ respectivement, ou toutes +sortes d'autres manières de les écrire). + +Ces points (\emph{points cycliques}) ne dépendent pas du cercle dont +on est parti. Il est donc légitime de dire que tous les cercles +passent par deux mêmes points géométriques $I,J$ situés à l'infini +(points à l'infini de pente $i$ et $-i$ respectivement), même si c'est +un léger abus d'identifier le cercle euclidien avec le complété +projectif qu'on a pris. +\end{corrige} + + +% +% +% + +\exercice + +L'idéal $I$ de $\mathbb{C}[x,y]$ engendré par $xy,y^2$ est-il +radical ? Si non, calculer $\sqrt{I}$. (On pourra chercher à savoir +quel est $Z(I) \subseteq \mathbb{A}^2$.) + +\begin{corrige} +On peut soit raisonner algébriquement, soit raisonner géométriquement. + +Le raisonnement algébrique est le suivant. On a $y \not\in I$ car $y$ +ne peut pas s'écrire sous la forme $g xy + h y^2$ comme on le voit en +considérant le terme en $y$ dans ce produit ; pourtant, $y^2 \in I$ : +ceci montre que $I$ n'est pas radical. Le radical $\sqrt{I}$ doit +contenir $y$ (puisqu'une certaine puissance $y^2$ de $y$ appartient +à $I$), autrement dit, $\sqrt{I} \supseteq (y)$. Mais par ailleurs on +a $(y) \supseteq I$ car les générateurs de $I$ sont tous dans $(y)$. +Or $(y)$ est un idéal radical (car le quotient $\mathbb{C}[x,y]/(y) = +\mathbb{C}[x]$ est un anneau de polynômes sur un corps, donc intègre, +et notamment réduit) ; bref, $(y)$ est un idéal radical contenant $I$, +mais comme le radical de $I$ est le \emph{plus petit} idéal radical +contenant $I$, on a $(y) \supseteq \sqrt{I}$. Bref, on a $\sqrt{I} = +(y)$. + +Faisons maintenant le raisonnement géométrique. L'ensemble $Z(I)$ des +$(x,y) \in \mathbb{C}^2$ tels que $xy=0$ et $y^2=0$ coïncide +manifestement avec la droite $y=0$ : en effet, $y=0$ implique $xy=0$ +et $y^2=0$, mais réciproquement, $y^2=0$ implique $y=0$. Donc $Z(I) +:= Z(xy,y^2) = Z(y)$ est l'axe des abscisses $\{y=0\}$, que nous +noterons désormais $D$. L'idéal $\mathfrak{I}(D)$ des polynômes +s'annulant sur $D$ est radical (comme $\mathfrak{I}$ de quelque chose) +et il vaut $(y)$ (la restriction du polynôme à $D$ revient à oublier +les termes en $y$). C'est donc que $I$ n'est pas radical (le +Nullstellensatz fort assure qu'il n'y a qu'un seul idéal radical $J$ +qui puisse vérifier $Z(J) = D$, à savoir $\mathfrak{I}(D)$). Mais on +peut a mieux : $\mathfrak{I}(D)$ est le plus petit idéal radical +contenant $I$ (puisque $I \subseteq J$ implique $D = Z(I) \supseteq +Z(J)$ donc $\mathfrak{I}(D) \subseteq \mathfrak{I}(Z(J))$ c'est-à-dire +$\mathfrak{I}(D) \subseteq J$ si $J$ est radical par le +Nullstellensatz) ; bref, $\sqrt{I} = \mathfrak{I}(D) = (y)$. +\end{corrige} + + +% +% +% + +\exercice + +Soit $M \in \mathit{PGL}_3(\mathbb{R})$ une transformation projective +du plan projectif $\mathbb{P}^2$ sur les réels. On appellera $I := +(0{:}1{:}i)$ et $J := (0{:}1{:}-i)$ les « points cycliques à +l'infini » (cf. exercice \ref{exercice-circular-points-at-infinity}, +qu'il n'est pas nécessaire d'avoir traité), deux points complexes +de $\mathbb{P}^2$. On voit $\mathbb{A}^2$ dans $\mathbb{P}^2$ en +identifiant le point $(x,y)$ de $\mathbb{A}^2$ au point $(1:x:y)$ +de $\mathbb{P}^2$ ; et on munit $\mathbb{A}^2$ sur les réels de sa +structure euclidienne usuelle pour les coordonnées qu'on vient de +dire, c'est-à-dire que le carré de la distance entre $(x_1,y_1)$ et +$(x_2,y_2)$ est $(x_1-x_2)^2 + (y_1-y_2)^2$. + +Montrer qu'il y a équivalence entre : +\begin{itemize} +\item la transformation projective $M$ fixe le point $I$, +\item la transformation projective $M$ fixe chacun des points + complexes $I$ et $J$, +\item la transformation projective $M$ définit une similitude directe + du plan euclidien (c'est-à-dire, préserve les angles et + l'orientation). +\end{itemize} + +\begin{corrige} +Supposons d'abord que $M$ fixe $I$. Elle doit alors fixer aussi le +point $J$ puisque ce dernier est le conjugué complexe de $I$ et que +$M$ est à coordonnées réelles. Ceci démontre l'équivalence entre les +deux premières propriétés. Par ailleurs, si elles sont vérifiées, +alors $M$ doit aussi envoyer la droite $\ell_\infty := IJ$ sur +elle-même, qui est la « droite à l'infini » (caractérisée par +l'annulation de la première coordonnée homogène) complémentaire du +$\mathbb{A}^2$ qu'on a fixé ; cette condition d'envoyer $\ell_\infty$ +sur elle-même est aussi impliquée par la troisième condition (puisque +$M$ est supposée être une bijection de $\mathbb{P}^2$ sur lui-même qui +se restreint à une bijection de $\mathbb{A}^2$ sur lui-même, donc +aussi de son complémentaire $\ell_\infty$). + +Autrement dit, sous n'importe laquelle des conditions indiquées, $M$ +envoie $\ell_\infty$ sur lui-même, c'est-à-dire que c'est une +transformation \emph{affine}. On peut l'écrire sous la forme : +\[ +\begin{pmatrix}x\\y\\\end{pmatrix} +\mapsto +\begin{pmatrix}a&b\\c&d\\\end{pmatrix} +\begin{pmatrix}x\\y\\\end{pmatrix} ++ +\begin{pmatrix}u\\v\\\end{pmatrix} +\] +c'est-à-dire en coordonnées homogènes +\[ +\begin{pmatrix}T\\X\\Y\\\end{pmatrix} +\mapsto +\begin{pmatrix}1&0&0\\u&a&b\\v&c&d\\\end{pmatrix} +\begin{pmatrix}T\\X\\Y\\\end{pmatrix} +\] +Le fait d'avoir $MI = I$ signifie que $(0:a+ib:c+id) = (0:1:i)$, ou, +si on préfère, $c+id = i(a+ib) = -b+ia$, ce qui équivaut à $b = -c$ et +$d = a$. + +Or la condition $b = -c$ et $d = a$ caractérise les similitudes +directes euclidiennes. Une façon de le voir est de décrire les +similitudes directes par leur action sur le plan complexe : une +similitude directe est une transformation envoyant le point d'affixe +$z := x+iy \in \mathbb{C}$ sur sur $mz+p$ pour certains +$m,p\in\mathbb{C}$ (on peut la voir comme la composée de la rotation +d'angle $\arg m$ autour de l'origine, de l'homothétie de rapport $|m|$ +centrée en l'origine, et de la translation par $p$) ; via +l'identification $m = a+ic$ et $p = u+iv$, cette description coïncide +bien avec la condition qu'on bient d'obtenir. Une autre façon de le +voir consiste à remarquer que les vecteurs +$\begin{pmatrix}a\\c\\ \end{pmatrix}$ et +$\begin{pmatrix}b\\d\\ \end{pmatrix}$ images de +$\begin{pmatrix}1\\0\\ \end{pmatrix}$ et +$\begin{pmatrix}0\\1\\ \end{pmatrix}$ sur deux vecteurs orthogonaux ce +qui signifie $ab+cd=0$, de même norme ce qui siginifie $a^2+c^2 = +b^2+d^2$, et de même orientation ce qui signifie $ad - bc > 0$ ; on +peut ensuite manipuler ces équations de différentes manières pour +arriver au résultat voulu, par exemple en écrivant $(ac+bd)(ab+cd) - +ad(a^2+c^2 -b^2-d^2) = -(a^2-d^2)(ad-bc)$ ce qui montre que +$a^2-d^2=0$ et donc $b^2-c^2=0$, après quoi il est facile de vérifier +que des quatre combinaisons de signes $d=\pm a$ et $b=\pm c$, seule +$b=-c$ et $d=a$ conduit bien à satisfaire les équations avec le signe +voulu sur le discriminant, et donne bien une similitude directe. +\end{corrige} + + +% +% +% + +\exercice + +Si $\ell$ est une droite de $\mathbb{P}^2$ (sur un corps quelconque), +on note $\ell^*$ le point correspondant du $\mathbb{P}^2$ +dual\footnote{Si on veut être tout à fait formel : si $V = k^3$ où $k$ + est le corps de base, et si $V^*$ est l'espace vectoriel « dual » + des formes $k$-linéaires sur $V$, et si la droite $\ell$ de + $\mathbb{P}^2 := \mathbb{P}(V)$ est définie par une équation + $\varphi_\ell = 0$ où $\varphi_\ell$ est une forme $k$-linéaire + sur $V$, alors $\ell^*$ est le point de $\mathbb{P}^{2*} := + \mathbb{P}(V^*)$ défini par la classe de $\varphi_\ell$ modulo la + relation « être colinéaire ». Ou, en termes de coordonnées, si + $\ell$ est la droite $[u_\ell:v_\ell:w_\ell]$ définie par une + équation $u_\ell x + v_\ell y + w_\ell z = 0$ sur le $\mathbb{P}^2$ + de coordonnées $(x:y:z)$, alors $\ell^*$ est le point + $(u_\ell:v_\ell:w_\ell)$ du $\mathbb{P}^2$ dit « dual », + $\mathbb{P}^{2*}$, de coordonnées $(u:v:w)$.} qu'on pourra noter +$\mathbb{P}^{2*}$. + +On fixe un point $O$ de $\mathbb{P}^2$. + +(1) Rappeler pourquoi les points $\ell^*$ où $\ell$ est une droite +passant par $O$ dans $\mathbb{P}^2$, forment une droite de +$\mathbb{P}^{2*}$, qu'on pourra noter $O^*$. + +(2) Si $m$ est une droite de $\mathbb{P}^2$ ne passant pas par $O$, +expliquer pourquoi l'application $m \to O^*$ envoyant un point $P$ +de $m$ vers $(OP)^*$ est une bijection de réciproque l'application +$O^* \to m$ envoyant $\ell^*$ sur le point d'intersection $\ell\wedge +m$ de $\ell$ et $m$, et pourquoi ces bijections sont des +transformations projectives (une fois identifiées les droites $m$ +et $O^*$ à $\mathbb{P}^1$). + +(3) En déduire que, si $\ell_a,\ell_b,\ell_c,\ell_d$ sont quatre +droites distinctes concourantes en $O$, et $A,B,C,D$ les points +d'intersection respectifs de $\ell_a,\ell_b,\ell_c,\ell_d$ avec une +même droite $m$ ne passant pas par $O$, le birapport $(A,B;C,D)$ de +ces quatre points est égal au birapport +$(\ell^*_a,\ell^*_b;\ell^*_c,\ell^*_d)$ des quatre points +correspondant à $\ell_a,\ell_b,\ell_c,\ell_d$ sur $O^*$. + +(4) En déduire le fait suivant : si $A,B,C,D$ sont quatre points +distincts de $\mathbb{P}^2$ tous alignés sur une droite $m$, et $O$ +non situé sur $m$, et si $m'$ est une droite distincte de $m$ et ne +passant pas par $O$, alors en appelant $A' = m' \wedge OA$ +l'intersection de $m'$ avec la droite $OA$ et de même pour $B',C',D'$, +le birapport $(A',B';C',D')$ (sur $m'$) est égal au birapport +$(A,B;C,D)$ (sur $m$). + +\begin{figure}[h] +\begin{center} +\begin{tikzpicture}[line cap=round,line join=round,x=1.0cm,y=1.0cm,extended line/.style={shorten >=-#1,shorten <=-#1},extended line/.default=0.5cm] +%% \clip(-4.19,-0.2) rectangle (2.99,5.28); +%% \draw [domain=-4.19:2.99] plot(\x,{(--3.61-0.24*\x)/2.12}); +%% \draw [domain=-4.19:2.99] plot(\x,{(-9.08-2.44*\x)/-1.58}); +%% \draw [domain=-4.19:2.99] plot(\x,{(--0.08-2.68*\x)/0.54}); +%% \draw [domain=-4.19:2.99] plot(\x,{(--3.56-2.77*\x)/1.34}); +%% \draw [domain=-4.19:2.99] plot(\x,{(--8.3-2.9*\x)/2.44}); +%% \draw [domain=-4.19:2.99] plot(\x,{(--2.13--0.34*\x)/3.46}); +\begin{scriptsize} +\coordinate (O) at (-0.86,4.42); +\coordinate (A) at (-2.44,1.98); +\coordinate (B) at (-0.32,1.74); +\coordinate (C) at (0.48,1.65); +\coordinate (D) at (1.58,1.52); +\coordinate (Aprime) at (-3.55,0.27); +\coordinate (Bprime) at (-0.09,0.61); +\coordinate (Cprime) at (0.94,0.71); +\coordinate (Dprime) at (2.17,0.83); +\draw[extended line=0.5cm] (O)--(Aprime); +\draw[extended line=0.5cm] (O)--(Bprime); +\draw[extended line=0.5cm] (O)--(Cprime); +\draw[extended line=0.5cm] (O)--(Dprime); +\draw[color=black!50!red,extended line=0.5cm] (A)--(D); +\draw[color=black!50!orange,extended line=0.5cm] (Aprime)--(Dprime); +\fill [color=blue] (O) circle (1.5pt); +\draw[color=blue] (-0.76,4.58) node {$O$}; +\fill [color=red] (A) circle (1.5pt); +\draw[color=red] (-2.34,2.14) node {$A$}; +\fill [color=red] (B) circle (1.5pt); +\draw[color=red] (-0.22,1.91) node {$B$}; +\fill [color=red] (C) circle (1.5pt); +\draw[color=red] (0.58,1.81) node {$C$}; +\fill [color=red] (D) circle (1.5pt); +\draw[color=red] (1.68,1.68) node {$D$}; +\fill [color=orange] (Aprime) circle (1.5pt); +\draw[color=orange] (-3.43,0.43) node {$A'$}; +\fill [color=orange] (Bprime) circle (1.5pt); +\draw[color=orange] (0.02,0.76) node {$B'$}; +\fill [color=orange] (Cprime) circle (1.5pt); +\draw[color=orange] (1.05,0.86) node {$C'$}; +\fill [color=orange] (Dprime) circle (1.5pt); +\draw[color=orange] (2.29,0.99) node {$D'$}; +\end{scriptsize} +\end{tikzpicture} +\end{center} +\end{figure} + +\begin{corrige} +(1) En termes d'algèbre linéaire, on affirme que l'ensemble des formes + linéaires sur $V$ (ici $V = k^3$) s'annulant en un vecteur $v$ non + nul fixé de $V$ (représentant le point $O$) forme un hyperplan dans + l'espace vectoriel dual $V^*$ des formes linéaires sur $V$. C'est + une conséquence du fait que $\varphi \mapsto \varphi(v)$ est une + forme linéaire non nulle sur $V^*$, ce qui est immédiat à vérifier. + Si on préfère le dire en termes de coordonnées : le fait que $\ell$ + d'équation $u_\ell x + v_\ell y + w_\ell z = 0$ passe par $O$ se + traduit par une relation $u_\ell x_O + v_\ell y_O + w_\ell z_O = 0$ + soit $x_O u_\ell + y_O v_\ell + z_O w_\ell = 0$ linéaire entre les + coordonnées $(u_\ell:v_\ell:w_\ell)$ de $\ell^*$, qui définit donc + une droite $[x_O : y_O : z_O] =: O^*$ de $\mathbb{P}^{2*}$. + +(2) Le fait que $\varphi \colon m \to O^*, P \mapsto (OP)^*$ et $\psi + \colon O^* \to m, \ell^* \mapsto \ell\wedge m$ soient des bijections + réciproques est une conséquence immédiate du fait que deux points + déterminent une unique droite (en l'occurrence $O$ et $P$ + déterminent $\ell$) et que deux droites se coupent en un unique + point (en l'occurrence $m$ et $\ell$ déterminent $P$). La question + cruciale, cependant, est de savoir s'il s'agit bien d'une + transformation projective, c'est-à-dire si $\varphi$ et $\psi$ + proviennent d'applications \emph{linéaires}. Mais c'est une + conséquence, pour $\varphi$, des formules donnant les coefficients + $[u:v:w]$ d'une équation ($ux+vy+wz=0$) de la droite reliant + $O$ et $P$ en fonction de coordonnées $(x_O:y_O:z_O)$ de $O$ et + $(x_P:y_P:z_P)$ de $P$, à savoir : $u = y_O z_P - z_O y_P$ et $v = + z_O x_P - x_O z_P$ et $w = x_O y_P - y_O x_P$ ; et pour $\psi$, des + formules donnant des coordonnées homogènes $(x:y:z)$ du point + d'intersection de $\ell$ et $m$ en fonction de coefficients des + équations $[u_\ell:v_\ell:w_\ell]$ de $\ell$ et $[u_m:v_m:w_m]$ + de $m$, à savoir : $x = v_\ell w_m - w_\ell v_m$ et $y = w_\ell u_m + - u_\ell w_m$ et $z = u_\ell v_m - v_\ell u_m$ ; le point crucial + est que ces deux formules sont \emph{linéaires}, la première en + $(x_P,y_P,z_P)$ et la seconde en $(u_m,v_m,w_m)$. + +(3) On a défini deux transformations projectives réciproques $\varphi + \colon m \to O^*, P \mapsto (OP)^*$ et $\psi \colon O^* \to m, + \ell^* \mapsto \ell\wedge m$. En tant que telles, elles préservent + le birapport : on en déduit que + $(\ell^*_a,\ell^*_b;\ell^*_c,\ell^*_d)$ est égal à + $(\psi(\ell^*_a),\psi(\ell^*_b);\psi(\ell^*_c),\psi(\ell^*_d))$, + c'est-à-dire $(A,B;C,D)$ par définition de ces quatre points. + +(4) On a vu à la question précédente que le birapport $(A,B;C,D)$ + coïncide avec $(\ell^*_a,\ell^*_b;\ell^*_c,\ell^*_d)$ où $\ell_a = + OA$ et ainsi de suite. Mais $(A',B';C',D')$ coïncide aussi avec + $(\ell^*_a,\ell^*_b;\ell^*_c,\ell^*_d)$ puisque $\ell_a = OA'$ et + ainsi de suite. Ces deux quantités sont donc égales. + +(Si on préfère le dire ainsi : l'application $m \mapsto m'$ envoyant + un point $P$ de $m$ sur l'intersection $P' = m' \wedge OP$ de $m'$ + avec la droite $OP$ et une transformation projective pour exactement + les mêmes raisons qu'en (2) à savoir la linéarité des formules + calculant la droite reliant deux points et l'intersection de deux + droites : elle préserve donc le birapport, ce qui montre $(A,B;C,D) + = (A',B';C',D')$.) +\end{corrige} + + +% +% +% + +\exercice + +Dans cet exercice, on se place sur un corps $k$ de caractéristique +différente de $2$ et $3$. + +Soit $C := \{ y^2 = x^3 - x \}$ la variété algébrique affine dans +$\mathbb{A}^2$ définie par l'annulation du polynôme $h := y^2 - x^3 + +x \in k[x,y]$. + +(1) Donner l'équation de la complétée projective $C^+$ de $C$ +dans $\mathbb{P}^2$ (c'est-à-dire, l'adhérence de Zariski de $C$ +dans $\mathbb{P}^2$) dont les coordonnées seront notées $(T{:}X{:}Y)$ +(en identifiant le point $(x,y)$ de $\mathbb{A}^2$ avec $(1{:}x{:}y)$ +de $\mathbb{P}^2$). Quels sont ses points « à l'infini » +(c'est-à-dire situés sur $C^+$ mais non sur $C$) ? + +\begin{corrige} +La complétée projective de $Z(h) \subseteq \mathbb{A}^2$ est donnée +par l'équation $T^{\deg h}\, h(\frac{X}{T}, \frac{Y}{T})$, +c'est-à-dire $T Y^2 = X^3 - T^2 X$. Les points à l'infini sont donnés +en mettant $T=0$ (équation de la droite à l'infini) avec cette +équation, ce qui donne $X^3=0$ soit $X=0$, si bien que le seul point +est $(0{:}0{:}1)$ (point à l'infini dans la direction « verticale »). +\end{corrige} + +(2) Montrer que $C^+$ est lisse. + +\begin{corrige} +Si $h^+\in k[T,X,Z]$ est le polynôme homogène $T Y^2 - X^3 + T^2 X$, +il s'agit de vérifier que $\frac{\partial h^+}{\partial T} = Y^2 + 2T +X$ et $\frac{\partial h^+}{\partial X} = -3X^2 + T^2$ et +$\frac{\partial h^+}{\partial Y} = 2 T Y$ n'ont pas de zéro commun +(autre que $T=X=Y=0$ qui ne définit pas un point de $\mathbb{P}^2$) +sur la clôture algébrique $k^{\alg}$ de $k$. Or $2TY=0$ implique soit +$T=0$ soit $Y=0$ (car le corps est de caractéristique $\neq 2$), dans +le premier cas les deux autres équations donnent $Y^2=0$ donc $Y=0$ et +$-3X^2=0$ donc (comme le corps est de caractéristique $\neq 3$) que +$X=0$ ; et dans le second cas, on a $2TX=0$, le cas $T=0$ a déjà été +traité, reste à regarder $X=0$, mais on a alors $T^2=0$ par une autre +équation, donc $T=0$ ; donc dans tous les cas $T=X=Y=0$. + +(On pouvait aussi trouver les relations $X^3 = \frac{1}{6} T \, +\frac{\partial h^+}{\partial T} - \frac{1}{3} X \, \frac{\partial + h^+}{\partial X} - \frac{1}{12} Y \, \frac{\partial h^+}{\partial + Y}$ et $Y^3 = Y \, \frac{\partial h^+}{\partial T} - X \, +\frac{\partial h^+}{\partial Y}$ et $T^4 = \frac{3}{2} T X \, +\frac{\partial h^+}{\partial T} + T^2 \, \frac{\partial h^+}{\partial + X} - \frac{3}{4} X Y \, \frac{\partial h^+}{\partial Y}$ qui +collectivement montrent que $\frac{\partial h^+}{\partial T}$ et +$\frac{\partial h^+}{\partial X}$ et $\frac{\partial h^+}{\partial Y}$ +engendrent un idéal irrelevant puisque contenant $X^3,Y^3,T^4$ (donc +ne peuvent pas toutes s'annuler simultanément dans $\mathbb{P}^2$). +\end{corrige} + +(3) On considère maintenant $h := y^2 - x^3 + x$ comme élément de +$k(x)[y]$, c'est-à-dire comme polynôme en l'indéterminée $y$ sur le +corps $k(x)$ des fractions rationnelles en l'indéterminée $x$. +Montrer qu'il est irréductible (on pourra pour cela vérifier que +l'élément $x^3 - x$ de $k(x)$ n'est pas le carré d'un élément de +$k[x]$ et en déduire qu'il n'est pas le carré d'un élément de $k(x)$). +En déduire que le quotient $K := k(x)[y]/(h)$ est un corps. En +déduire que $K := k(x)[y]/(h)$ est le corps des fonctions rationnelles +aussi bien de $C$ que de $C^+$ (on pourra remarquer que $k(x)[y]/(y^2 +- x^3 + x)$ contient $k[x,y]/(y^2 - x^3 + x)$). + +\begin{corrige} +Remarquons d'abord que $x^3 - x$ n'est pas le carré d'un élément +de $k[x]$ : c'est clair car le carré d'un polynôme sur un corps est de +degré pair. On en déduit que ce n'est pas non plus le carré d'un +élément de $k(x)$, car si on écrivait un tel élément $u/v$ avec $u,v$ +polynômes sans facteur commun (ce qui a un sens car $k[x]$ est un +anneau factoriel — c'est-à-dire qu'il admet une décomposition unique +en éléments irréductibles), son carré serait $u^2/v^2$ avec $u^2,v^2$ +également sans facteur commun, donc on doit avoir $v$ constant pour ne +pas avoir de dénominateur et finalement $u$ est un polynôme. + +Le fait que $x^3 - x$ ne soit pas un carré dans $k(x)$ signifie que $h +:= y^2 - x^3 + x \in k(x)[y]$ n'a pas de racine. Mais il est de +degré $2$, donc sa seule factorisation non-triviale possible serait en +deux facteurs de degré $1$, ce qui implique qu'il aurait deux racines, +et on vient de voir qu'il n'y en a pas. Ainsi, $h$ est irréductible +(en tant qu'élément de $k(x)[y]$). + +Le quotient $K := k(x)[y]/(h)$ est donc un corps car il est de la +forme $K = E[y]/(h)$ avec $E$ un corps et $h$ un polynôme irréductible +en une seule variable sur $E$. (Rappels : $K$ est un anneau intègre +puisque $uv=0$ dans $K$ signifie que $u,v$ relevés à $E[y]$, sont +multiples de $h$, mais comme $h$ est irréductible, l'un des deux doit +être multiple de $h$, donc nul dans $K$ ; et $K$ est alors un anneau +intègre de dimension finie sur $E$, donc un corps car la +multiplication $K \to K, z \mapsto az$ par un élément $a$ non nul est +injective donc bijective car entre espaces vectoriels de même +dimension finie.) + +Comme $C = Z(y^2 - x^3 + x)$ est affine, l'anneau $\mathcal{O}(C)$ des +fonctions \emph{régulières} sur $C$ est $k[x,y] / (y^2 - x^3 + x)$. +Cet anneau est contenu dans $K$ (au sens où le morphisme évident +$\mathcal{O}(C) \to K$, défini en envoyant chacun de $x$ et $y$ sur +l'élément du même nom, et qui passe au quotient par $y^2 - x^3 + x$, +est injectif puisque tout multiple de $y^2 - x^3 + x$ dans $k(x)[y]$ +qui est dans $k[x,y]$ est déjà multiple de $y^2 - x^3 + x$ dans +$k[x,y]$). Puisque le corps $K$ contient $\mathcal{O}(C)$, il +contient son corps des fractions, qui est le corps $k(C)$ des +fonctions rationnelles de $C$ ; mais réciproquement, comme $k(C)$, vu +dans $K$, contient à la fois $x$ et $y$, il doit contenir d'abord le +corps engendré par $x$, soit $k(x)$, et ensuite l'anneau engendré par +$y$ au-dessus de ce corps, qui est justement $K$. + +Ceci montre que $K = k(C)$. Comme $C$ est un ouvert de Zariski (non +vide, donc dense) de $C^+$ (précisément, c'est l'ouvert $T \neq 0$), +ils ont le même corps des fonctions rationnelles, donc $K = k(C^+)$ +aussi. +\end{corrige} + +(4) 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. +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$. À titre d'exemple, calculer l'inverse de $y$ +dans $K$ (on pourra observer ce que vaut $y^2$ dans $K$). + +\begin{corrige} +Par division euclidienne dans $E[y]$ où $E = k(x)$ (noter que $E$ est +un corps), tout élément de $E[y]$ s'écrit de façon unique sous la +forme $q h + g$ où $\deg g < \deg h = 2$. C'est-à-dire que tout +élément de $E[y]$ est congru modulo $h$ à un unique élément $g \in +E[y]$ de degré $<2$, qu'on peut alors écrire sous la forme $g_0 + +g_1\, y$ où $g_0,g_1 \in E = k(x)$. + +Pour ajouter deux éléments écrits sous cette forme, on ajoute +simplement les $g_0,g_1$ correspondants. Pour les multiplier, on +effectue le produit dans $E[y]$ et on effectue une division +euclidienne par $h$ pour se ramener à un degré $<2$, ce qui, en +l'espèce, revient simplement à remplacer $y^2$ par $x^3 - x$. + +Une relation de Bézout $ug + vh = 1$ dans $E[y]$ se traduit en $ug = +1$ dans $E[y]/(h) =: K$, ce qui signifie que $u$ est l'inverse de $g$. +Or on sait qu'on peut (par l'algorithme d'Euclide étendu dans $E[y]$) +calculer une telle relation de Bézout dès lors que $g$ et $h$ ont pour +pgcd $1$ (c'est-à-dire que $g$ n'est pas multiple de $h$, i.e., pas +nul dans $K$). À titre d'exemple, comme $y^2 = x^3 - x$ dans $K$, on +a $\frac{1}{y} = \frac{y}{x^3-x}$. +\end{corrige} + +On rappelle le fait suivant : pour chaque point $P$ de la courbe +$C^+$, il existe une et une seule fonction $\ord_P\colon K\to +\mathbb{Z}\cup\{\infty\}$ qui vérifie les propriétés suivantes : +\textbf{(o)} $\ord_P(g) = \infty$ si et seulement si $g=0$,\quad +\textbf{(k)} $\ord_P(c) = 0$ si $c\in k$,\quad +\textbf{(i)} $\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 \textbf{(ii)} $\ord_P(g_1 g_2) = \ord_P(g_1) + +\ord_P(g_2)$,\quad \textbf{(n)} $1$ est atteint par $\ord_P$, et enfin +\quad \textbf{(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$). + +(5) On va chercher à mieux comprendre la fonction $\ord_O$ lorsque $O$ +est le point $(0,0)$ de la courbe $C$.\quad (a) Posons $e := +\ord_O(x)$ : pourquoi a-t-on $e \geq 1$ ?\quad (b) Cherchons à +comprendre ce que vaut $\ord_O$ sur le sous-corps $k(x)$ de $K$ ne +faisant pas intervenir $y$. Montrer que $\ord_O(g) = e\cdot +\val_0(g)$ si $g \in k[x]$, où $\val_0(g)$ désigne l'ordre du zéro de +$g$ à l'origine en tant que polynôme en une seule variable $x$ +(c'est-à-dire le plus grand $r$ tel que $x^r$ divise $g$). En déduire +que $\ord_O(g) = e\cdot \val_0 (g)$ pour tout $g\in k(x)$, où +$\val_0(g)$ désigne l'ordre du zéro de $g$ à l'origine en tant que +fonction rationnelle en une seule variable $x$ (c'est-à-dire $\val_0$ +de son numérateur moins $\val_0$ de son dénominateur).\quad +(c) Calculer $\ord_O(y^2)$ et en déduire $\ord_O(y)$ (en faisant +intervenir le nombre $e$).\quad (d) En déduire comment calculer +$\ord_O(g_0 + g_1\, y)$ pour $g_0,g_1\in k(x)$ (toujours en faisant +intervenir le nombre $e$).\quad (e) En faisant intervenir la propriété +(n) (de normalisation de $\ord_O$), en déduire la valeur de $e$ et +finalement la valeur de $\ord_O(g_0 + g_1\, y)$ pour $g_0,g_1 \in +k(x)$. + +\begin{corrige} +(a) On a $e := \ord_O(x) \geq 1$ car $x$ s'annule en $O$ (par la + propriété (r)). + +(b) De $\ord_O(x) = e$ on déduit $\ord_O(x^i) = e\cdot i$ par la + propriété (ii), donc $\ord_O(c x^i) = e\cdot i$ si $c\in k^\times$ + par la propriété (k), et donc, par la propriété (i), que $\ord_O(c_r + x^r + \cdots + c_n x^n) = e\cdot r$ si $r\leq n$ et $c_r,\ldots,c_n + \in k$ et $c_r \neq 0$, ce qui signifie précisément $\ord_O(g) = + e\cdot\val_0(g)$ si $g\in k[x]$. Si $g = u/v \in k(x)$ avec $u,v\in + k[x]$, on a $\val_0(g) = \val_0(u) - \val_0(v)$ et $\ord_O(g) = + \ord_O(u) - \ord_O(v)$ (par la propriété (ii)), donc toujours + $\ord_O(g) = e\cdot\val_0(g)$. + +(c) Comme $y^2 = x^3 - x$ dans $K$, on a $\ord_O(y^2) = e\cdot + \val_0(x^3 - x) = e$. On en déduit $\ord_O(y) = \frac{1}{2}e$ + (propriété (ii)). + +(d) On a vu $\ord_O(g_0) = e\cdot\val_0(g_0)$ en (b), et $\ord_O(g_1\, + y) = e\cdot(\val_0(g_1)+\frac{1}{2})$ puisque $\ord_O(y) = + \frac{1}{2}e$. Comme $\val_0(g_0)$ et $\val_0(g_1)+\frac{1}{2}$ ne + peuvent pas être égaux, la propriété (i) donne $\ord_O(g_0 + g_1\, + y) = e\cdot\min(\val_0(g_0), \val_0(g_1)+\frac{1}{2})$ quels que + soient $g_0,g_1\in k(x)$. + +(e) On vient de voir $\ord_O(g_0 + g_1\, y) = e\cdot\min(\val_0(g_0), + \val_0(g_1)+\frac{1}{2})$ : pour que ceci ne prenne que des valeurs + entières, $e$ doit être pair ; mais pour que ceci puisse prendre la + valeur $1$ (donc tous les entiers), $e$ doit être exactement égal + à $2$. Finalement, on a donc $\ord_O(g_0 + g_1\, y) = + \min(2\val_0(g_0), 2\val_0(g_1)+1)$. +\end{corrige} + +(6) En notant $(\infty)$ le point à l'infini de $C^+$, montrer que le +diviseur $\divis(x)$ de $x$ (vu comme fonction rationnelle sur $C^+$) +vaut $2[O] - 2[\infty]$. En déduire $\ord_\infty(y)$, et en déduire +$\divis(y) = [O] + [P] + [Q] - 3[\infty]$ où $P=(1,0)$ et $Q=(-1,0)$. + +\begin{corrige} +À la question (5), on a calculé $\ord_O(x) = 2$. En tout autre point +de $C^+$ non situé à l'infini (c'est-à-dire, situé sur $C$), la +fonction $x$ n'a ni zéro ni pôle (elle n'a pas de pôle car $x$ est une +fonction régulière sur $\mathbb{A}^2$ et notamment sur $C$, et elle +n'a pas de zéro car le seul point de $C$ où $x$ s'annule vérifie +aussi $y=0$ d'après l'équation $y^2 = x^3 - x$, donc est $(0,0) =: +O$). Comme le degré total du diviseur de $x$ doit être $0$, l'ordre +en $\infty$ doit forcément être $-2$, autrement dit $\divis(x) = 2[O] +- 2[\infty]$. + +Comme $\ord_\infty(x) = -2$, on a $\ord_\infty(x^3) = -6$ et +$\ord_\infty(y^2) = \ord_\infty(x^3 - x) = -6$, donc $\ord_\infty(y) = +-3$. Comme la fonction $y$ est régulière sur $\mathbb{A}^2$ et +notamment sur $C$, elle n'a pas d'autre pôle que $\infty$, et elle +s'annule en les points $(x,y)$ de $C$ où $y=0$ et $x^3-x=0$ +c'est-à-dire $x(x-1)(x+1)=0$, qui sont donc $O,P,Q$ (qui sont +distincts car $k$ est de caractéristique $\neq 2$). Comme le degré +total de $\divis(y)$ doit être $0$, l'ordre en chacun de $O,P,Q$ doit +forcément être $1$ (puisque ce sont trois entiers strictement positifs +de somme $3$), autrement dit $\divis(y) = [O] + [P] + [Q] - +3[\infty]$. +\end{corrige} + +(7) Toujours en notant $(\infty)$ le point à l'infini de $C^+$, +montrer que $\ord_\infty(g_0 + g_1\, y) = \min(2\val_\infty(g_0), +2\val_\infty(g_1)-3)$ pour $g_0,g_1 \in k(x)$, où $\val_\infty(g)$ +désigne la valuation usuelle de $g$ à l'infini en tant que fonction +rationnelle en une seule variable $x$, c'est-à-dire le degré du +dénominateur moins le degré du numérateur. + +\begin{corrige} +On a vu $\ord_\infty(x) = -2 = 2\val_\infty(x)$ : on en déduit que +$\ord_\infty(g) = 2\val_\infty(g)$ pour tout $g\in k[x]$ puis pour +tout $g\in k(x)$ (comme en (5)(b)). Comme $\ord_\infty(y) = -3$, on a +$\ord_\infty(g_0 + g_1\, y) = \min(2\val_\infty(g_0), +2\val_\infty(g_1)-3)$ (en utilisant la propriété (i) et en remarquant +que $2\val_\infty(g_0)$ et $2\val_\infty(g_1)-3$ ne peuvent pas être +égaux). +\end{corrige} + +(8) Pour $n\in \mathbb{N}$, soit $\mathscr{L}(n[\infty]) := \{0\} \cup +\{f\in k(C)^\times : \divis(f) +n[\infty] \geq 0\}$ l'espace vectoriel +sur $k$ des fonctions rationnelles sur $C^+$ ayant au pire un pôle +d'ordre $n$ en $\infty$ (et aucun pôle ailleurs). Décrire +explicitement $\mathscr{L}(n[\infty])$ comme l'ensemble des $g_0 + +g_1\,y$ avec $g_0,g_1\in k[x]$ vérifiant certaines contraintes sur +leur degré : en déduire la valeur de $\ell (n[\infty]) := \dim_k +\mathscr{L}(n[\infty])$ et notamment le fait que $\ell (n[\infty]) = +n$ si $n$ est assez grand. + +\begin{corrige} +Dire que $g_0 + g_1\, y$ appartient à $\mathscr{L}(n[\infty])$ +signifie qu'elle est régulière partout sauf peut-être en $\infty$, et +que par ailleurs $\ord_\infty(g_0 + g_1\, y) \geq -n$. La première +condition signifie $g_0,g_1\in k[x]$ ; la seconde signifie +$\min(2\val_\infty(g_0), 2\val_\infty(g_1)-3) \geq -n$, c'est-à-dire +$\max(2\deg(g_0), 2\deg(g_1)+3) \leq n$, autrement dit, +$\mathscr{L}(n[\infty])$ est l'ensemble des $g_0 + g_1\,y$ avec +$g_0,g_1\in k[x]$ vérifiant $\deg(g_0) \leq \frac{1}{2}n$ et +$\deg(g_1) \leq \frac{1}{2}(n-3)$. Comme la dimension de l'espace des +polynômes vérifiant $\deg(g) \leq B$ pour $B\in \mathbb{R}$ vaut +$\max(0,\lfloor B\rfloor + 1)$, on trouve finalement $\ell (n[\infty]) += \max(0,\lfloor \frac{1}{2}n\rfloor + 1) + \max(0,\lfloor +\frac{1}{2}(n-3)\rfloor + 1)$, ce qui, après examen des quelques +premiers cas, donne +\[ +\ell (n[\infty]) = \left\{ +\begin{array}{ll} +0&\hbox{~si $n<0$}\\ +1&\hbox{~si $n=0$ (ou $n=1$)}\\ +n&\hbox{~si $n\geq 1$}\\ +\end{array} +\right. +\] +pour dimension de l'espace des fonctions rationnelles sur $C^+$ ayant +au pire un pôle d'ordre $n$ en $\infty$ (et aucun pôle ailleurs). +\end{corrige} + +(9) En comparant la valeur trouvée pour $\ell (n[\infty])$ avec la +formule de Riemann-Roch, calculer le genre de $C^+$. + +\begin{corrige} +La formule de Riemann-Roch prédit $\ell(D) - \ell(K-D) = \deg(D) + 1 - +g$ où $g$ est le genre de la courbe (à déterminer), et notamment +$\ell(D) = \deg(D) + 1 - g$ si $\deg(D) > 2g-2$. Or on vient de voir +que pour $D := n[\infty]$ avec $n$ assez grand (et notamment +$\deg(n[\infty]) = n$ plus grand que ce qu'on voudra), on a +$\ell(n[\infty]) = n = \deg(n[\infty])$. On en déduit $g = 1$. +\end{corrige} + +(10) Montrer que $\omega := \frac{dx}{y} = \frac{2\,dy}{3x^2-1} \in +\Omega^1(C)$ et montrer que cette différentielle est d'ordre $0$ +en $\infty$. Expliquer pourquoi $dx$ et $dy$ sont régulières (i.e., +d'ordre $\geq 0$) sur $C$ et ne peuvent pas s'annuler (i.e., avoir un +ordre $>0$) simultanément en un point de $C$. (Pour la seconde +affirmation, on pourra noter que si $f$ est régulière sur $C$ alors +$df = f'_x\,dx + f'_y\,dy$ avec $f'_x,f'_y$ régulières sur $C$, et +qu'il n'est pas possible que tous les $df$ s'annulent en $M$.) En +remarquant que $y$ et $3x^2-1$ ne s'annulent jamais simultanément +sur $C$, montrer que $\omega$ est d'ordre $0$ en tout point (elle n'a +ni zéro ni pôle), i.e., $\divis(\omega) = 0$. En déduire un calcul du +genre de $g$ indépendant des questions (8) et (9). + +\begin{corrige} +En dérivant $y^2 = x^3 - x$ on trouve $2y\,dy = (3x^2-1)\,dx$ dans le +$k(C)$-espace vectoriel $\Omega^1(C)$, d'où $\frac{dx}{y} = +\frac{2\,dy}{3x^2-1}$ comme annoncé. + +En $\infty$, on a $\ord_\infty(dx) = \ord_\infty(x) - 1 = -3$ (car +$\ord_\infty(x) = -2 \neq 0$), et $\ord_\infty(y) = -3$, donc +$\ord_\infty(\omega) = 0$. + +En tout point (géométrique) $M$ de $C$ on a $\ord_M(x) \geq 0$ donc +$\ord_M(dx) \geq 0$, et $\ord_M(y) \geq 0$ donc $\ord_M(dy) \geq 0$. +Par ailleurs, si $f$ est une fonction rationnelle sur $C$, on a $df = +f'_x\,dx + f'_y\,dy$ où $f'_x,f'_y$ sont les dérivées partielles (au +sens usuel) de $f$ par rapport à $x,y$ respectivement (si $f$ est +écrite, disons, de la forme $g_0 + g_1\,y$ avec $g_0,g_1\in k(x)$, +alors $f'_x = g'_0 + g'_1\,y$ et $f'_y = g_1$) ; en choisissant une +fonction régulière sur $C$ (donc dans $k[x,y]/(y^2-x^3+x)$) qui est +une uniformisante en $M$, on a $f'_x,f'_y$ régulières et $\ord_M(df) = +0$, ce qui interdit qu'on ait simultanément $\ord_M(dx) > 0$ et +$\ord_M(dy) > 0$. + +En tout point (géométrique) $M$ de $C$ où $y$ ne s'annule pas, on a +$\ord_M(\omega) \geq 0$ car $\ord_M(dx) \geq 0$ et $\ord_M(y) = 0$ ; +de même, en tout point où $3x^2-1$ ne s'annule pas, on a +$\ord_M(\omega) \geq 0$ car $\ord_M(dy) \geq 0$ et $\ord_M(3x^2-1) = +0$. Comme $y$ et $3x^2-1$ ne s'annulent jamais simultanément sur $C$ +(car $y$ ne s'annule qu'en $O=(0,0)$, $P=(1,0)$ et $Q=(-1,0)$, et +$3x^2-1$ n'est nul en aucun de ces points), ceci montre +$\ord_M(\omega) \geq 0$ en tout $M$. Mais si on avait $\ord_M(\omega) +> 0$ en un point $M$, les écritures $dx = y\,\omega$ et $dy = +\frac{3x^2-1}{2}\,\omega$ montreraient que $dx,dy$ s'annulent toutes +les deux en $M$, ce qui n'est pas possible. Donc $\ord_M(\omega) = 0$ +en tout $M$ de $C$, et on a déjà montré par ailleurs que +$\ord_\infty(\omega) = 0$. Ceci prouve $\divis(\omega) = 0$. + +Comme $\deg(\divis(\omega)) = 2g-2$ pour n'importe quelle $\omega \in +\Omega^1(C)$, ceci montre $2g-2 = 0$ soit $g=1$. +\end{corrige} + + +% +% +% +\end{document} |