%% 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}} % \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.} 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é est long parce que des rappels ont été faits et que la rédaction des questions cherche à éviter toute ambiguïté. Les réponses attendues sont généralement beaucoup plus courtes que les questions elles-mêmes. 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 % % % \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 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'on appelle \emph{valuation discrète} sur $K$ au-dessus de $k$ 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$). % % % \end{document}