summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--notes-geoalg-2011.tex358
1 files changed, 358 insertions, 0 deletions
diff --git a/notes-geoalg-2011.tex b/notes-geoalg-2011.tex
new file mode 100644
index 0000000..44a0bd7
--- /dev/null
+++ b/notes-geoalg-2011.tex
@@ -0,0 +1,358 @@
+%% 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}
+%
+\theoremstyle{definition}
+\newtheorem{comcnt}{Tout}[subsection]
+\newcommand\thingy{%
+\refstepcounter{comcnt}\smallbreak\noindent\textbf{\thecomcnt.} }
+\newtheorem{defn}[comcnt]{Définition}
+\newtheorem{prop}[comcnt]{Proposition}
+\newtheorem{lem}[comcnt]{Lemme}
+\newtheorem{thm}[comcnt]{Théorème}
+\newtheorem{cor}[comcnt]{Corollaire}
+\newtheorem{rmk}[comcnt]{Remarque}
+\newtheorem{scho}[comcnt]{Scholie}
+\newtheorem{algo}[comcnt]{Algorithme}
+\newtheorem{exmps}[comcnt]{Exemples}
+\newtheorem{princ}[comcnt]{Principe}
+\newcommand{\limp}{\mathrel{\Rightarrow}}
+\newcommand{\liff}{\mathrel{\Longleftrightarrow}}
+\newcommand{\pgcd}{\operatorname{pgcd}}
+\newcommand{\ppcm}{\operatorname{ppcm}}
+\newcommand{\Hom}{\operatorname{Hom}}
+\newcommand{\id}{\operatorname{id}}
+\newcommand{\Frob}{\operatorname{Frob}}
+\newcommand{\Frac}{\operatorname{Frac}}
+\newcommand{\Spec}{\operatorname{Spec}}
+\newcommand{\degtrans}{\operatorname{deg.tr}}
+\newcommand{\Gal}{\operatorname{Gal}}
+\newcommand{\alg}{\operatorname{alg}}
+\newcommand{\init}{\operatorname{in}}
+\newcommand{\ord}{\operatorname{ord}}
+\newcommand{\divis}{\operatorname{div}}
+\newcommand{\Pic}{\operatorname{Pic}}
+\renewcommand{\qedsymbol}{\smiley}
+%
+\DeclareUnicodeCharacter{00A0}{~}
+%
+\DeclareMathSymbol{\tiret}{\mathord}{operators}{"7C}
+\DeclareMathSymbol{\traitdunion}{\mathord}{operators}{"2D}
+%
+\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}}
+%
+%
+%
+\begin{document}
+\title{\underline{Brouillon} de notes de cours\\de géométrie algébrique}
+\author{David A. Madore}
+\maketitle
+
+\centerline{\textbf{MDI349}}
+
+%
+%
+%
+
+\section{Prolégomènes d'algèbre commutative}
+
+\subsection{Anneaux réduits, intègres}\label{subsection-reduced-and-integral-rings}
+
+Sauf précision expresse du contraire, tous les anneaux considérés sont
+commutatifs et ont un élément unité (noté $1$). Il existe un unique
+anneau dans lequel $0=1$, c'est l'anneau réduit à un seul élément,
+appelé l'\textbf{anneau nul}.
+
+Si $k$ est un anneau, une \textbf{$k$-algèbre} (là aussi :
+implicitement commutative) est la donnée d'un morphisme d'anneaux $k
+\buildrel\varphi\over\to A$ (appelé \emph{morphisme structural} de
+l'algèbre). On peut multiplier un élément de $A$ par un élément
+de $k$ avec : $c\cdot x = \varphi(c)\,x \in A$ (pour $c\in k$ et $x\in
+A$).
+
+\smallbreak
+
+Anneau \textbf{réduit} = anneau dans lequel $x^n = 0$ implique $x =
+0$. En général, un $x$ (dans un anneau $A$) tel que $x^n = 0$ pour un
+certain $n \in \mathbb{N}$ s'appelle un élément \textbf{nilpotent}.
+
+Anneau \textbf{intègre} = anneau non nul dans lequel $xy = 0$ implique
+$x=0$ ou $y=0$ (remarque : la réciproque vaut dans tout anneau). En
+général, un $x$ (dans un anneau $A$) tel qu'il existe $y \neq 0$ tel
+que $xy = 0$ s'appelle un \textbf{diviseur de zéro}.
+
+Élément \textbf{inversible} (ou \emph{unité}) d'un anneau $A$ =
+élément $x$ tel qu'il existe $y$ vérifiant $xy = 1$. L'ensemble
+$A^\times$ ou $\mathbb{G}_m(A)$ des tels éléments forme un
+\emph{groupe}, appelé groupe multiplicatif des inversibles de $A$. Un
+\textbf{corps} est un anneau tel que $A^\times = A\setminus\{0\}$.
+
+Un corps est un anneau intègre. Un anneau intègre est un anneau
+réduit.
+
+\smallbreak
+
+On rappelle qu'un \textbf{idéal} d'un anneau est un sous-groupe
+additif $I$ de $A$ tel que $AI \subseteq I$. Si $(x_i)_{i\in
+ \Lambda}$ sont des éléments de $A$, l'intersection de tous les
+idéaux contenant les $x_i$ est un idéal et s'appelle l'idéal
+\textbf{engendré} par les $x_i$ : c'est l'ensemble des toutes les
+combinaisons linéaires $a_1 x_{i_1} + \cdots + a_n x_{i_n}$ avec
+$a_1,\ldots,a_n \in A$ et $i_1,\ldots,i_n \in \Lambda$. Lorsque
+$\Lambda$ est fini : l'idéal $I$ engendré par $x_1,\ldots,x_n$ est
+l'ensemble des toutes les combinaisons linéaires $a_1 x_1 + \cdots +
+a_n x_n$ et il peut se noter $Ax_1 + \cdots + Ax_n$ ou parfois
+$(x_1,\ldots,x_n)$ : on dit que $I$ est un idéal \textbf{de type
+ fini}. Si $I$ peut être engendré par un seul élément, $I = Ax$
+(aussi noté $(x)$), on dit que $I$ est un idéal \textbf{principal}.
+
+Idéal nul $(0) = \{0\}$. Idéal plein $A$ : un élément $x$ est
+inversible ssi l'idéal $(x)$ qu'il engendre est $A$.
+
+\smallbreak
+
+Idéal \textbf{maximal} d'un anneau $A$ = un idéal $\mathfrak{m} \neq
+A$ tel que si $\mathfrak{m} \subseteq \mathfrak{m}'$ (avec
+$\mathfrak{m}'$ un autre idéal) alors soit
+$\mathfrak{m}'=\mathfrak{m}$ soit $\mathfrak{m}'=A$). Propriété
+équivalente : c'est un idéal $\mathfrak{m}$ tel que $A/\mathfrak{m}$
+soit un corps.
+
+Idéal \textbf{premier} d'un anneau $A$ = un idéal $\mathfrak{p} \neq
+A$ tel que si $x,y\not\in\mathfrak{p}$ alors $xy \not\in
+\mathfrak{p}$. Propriété équivalente : c'est un idéal $\mathfrak{p}$
+tel que $A/\mathfrak{p}$ soit intègre.
+
+Idéal \textbf{radical} d'un anneau $A$ = un idéal $\mathfrak{r}$ tel
+que si $x^n \in \mathfrak{r}$ alors $x \in \mathfrak{r}$. Propriété
+équivalente : c'est un idéal $\mathfrak{r}$ tel que $A/\mathfrak{r}$
+soit réduit.
+
+\emph{Exemples :} L'idéal $7\mathbb{Z}$ de $\mathbb{Z}$ est maximal
+(le quotient $\mathbb{Z}/7\mathbb{Z}$ est un corps), donc \textit{a
+ fortiori} premier et radical. L'idéal $0$ de $\mathbb{Z}$ est
+premier mais non maximal (le quotient $\mathbb{Z}/0\mathbb{Z} =
+\mathbb{Z}$ est un anneau intègre mais non un corps). L'idéal
+$6\mathbb{Z}$ de $\mathbb{Z}$ est radical mais n'est pas premier.
+L'idéal $9\mathbb{Z}$ de $\mathbb{Z}$ n'est pas radical.
+
+\smallbreak
+
+Un anneau est un corps ssi son idéal $(0)$ est maximal. Un anneau est
+intègre ssi son idéal $(0)$ est premier. Un anneau est réduit ssi son
+idéal $(0)$ est radical.
+
+Un anneau est dit \textbf{local} lorsqu'il a un unique idéal maximal.
+(En particulier, un corps est un anneau local.) Le quotient d'un
+anneau local par son idéal maximal s'appelle son \emph{corps
+ résiduel}. \emph{Exercice :} l'anneau $A$ des rationnels de la
+forme $\frac{a}{b}$ avec $a,b \in \mathbb{Z}$ et $b$ impair est un
+anneau local dont l'idéal maximal $\mathfrak{m}$ est formé des
+$\frac{a}{b}$ avec $a$ pair. (Quel est le corps résiduel ?)
+
+\smallbreak
+
+On admet les résultats suivants :
+\begin{prop}\label{existence-maximal-ideals}
+Dans un anneau $A$, tout idéal strict (=autre que $A$) est inclus dans
+un idéal maximal.
+\end{prop}
+
+\begin{prop}
+Dans un anneau, l'ensemble des éléments nilpotents est un idéal :
+c'est le plus petit idéal radical (intersection des idéaux radicaux).
+Cet idéal est aussi l'intersection des idéaux premiers de l'anneau.
+On l'appelle le \textbf{nilradical} de l'anneau.
+\end{prop}
+
+En appliquant ce dernier résultat à $A/I$, on obtient :
+\begin{prop}
+Si $A$ est un anneau et $I$ un idéal de $A$, l'ensemble des éléments
+tels que $z^n \in I$ pour un certain $n \in \mathbb{N}$ est un idéal :
+c'est le plus petit idéal radical contenant $I$. Cet idéal est
+précisément l'intersection des idéaux premiers de $A$ contenant $I$.
+On l'appelle le \textbf{radical} de l'idéal $I$ et on le note $\surd
+I$.
+\end{prop}
+
+L'intersection des idéaux maximaux d'un anneau s'appelle le
+\textbf{radical de Jacobson} de cet anneau : il est, en général,
+strictement plus grand que le nilradical.
+
+Notons aussi la conséquence facile suivante de la
+proposition \ref{existence-maximal-ideals}.
+\begin{prop}\label{non-invertible-elements-and-maximal-ideals}
+Dans un anneau $A$, l'ensemble des éléments non-inversibles est la
+réunion de tous les idéaux maximaux.
+\end{prop}
+\begin{proof}
+Dire que $x$ est inversible signifie que $x$ engendre l'idéal unité.
+Si c'est le cas, $x$ n'appartient à aucun idéal strict de $A$, et en
+particulier aucun idéal maximal. Réciproquement, si $x$ n'est pas
+inversible, l'idéal $(x)$ qu'il engendre est strict, donc inclus dans
+un idéal maximal $\mathfrak{m}$
+d'après \ref{existence-maximal-ideals}, donc $x$ est bien dans la
+réunion des idéaux maximaux.
+\end{proof}
+
+%
+\subsection{Anneaux noethériens}
+
+Anneau \textbf{noethérien} : c'est un anneau $A$ vérifiant les
+proprités équivalentes suivantes :
+\begin{itemize}
+\item toute suite croissante pour l'inclusion $I_0 \subseteq I_1
+ \subseteq I_2 \subseteq \cdots$ d'idéaux de $A$ stationne
+ (c'est-à-dire est constante à partir d'un certain rang) ;
+\item tout idéal $I$ de $A$ est de type fini : il existe une famille
+ \emph{finie} $(x_i)$ d'éléments de $I$ qui engendre $I$ comme
+ idéal ;
+\item plus précisément, si $I$ est l'idéal engendré par une famille
+ $x_i$ d'éléments, on peut trouver une sous-famille finie des $x_i$
+ qui engendre le même idéal $I$.
+\end{itemize}
+
+L'essentiel des anneaux utilisés en géométrie algébrique (en tout cas,
+auxquels on aura affaire) sont noethériens. L'anneau $\mathbb{Z}$ est
+noethérien. Tout corps est un anneau noethérien. Tout quotient d'un
+anneau noethérien est noethérien (attention : il n'est pas vrai qu'un
+sous-anneau d'un anneau noethérien soit toujours noethérien). Et
+surtout :
+\begin{prop}[théorème de la base de Hilbert]
+Si $A$ est un anneau noethérien, alors l'anneau $A[t]$ des polynômes à
+une indéterminée sur $A$ est noethérien.
+\end{prop}
+
+En itérant ce résultat, on voit que si $A$ est noethérien, alors
+$A[t_1,\ldots,t_d]$ l'est pour tout $d\in\mathbb{N}$. Comme un
+quotient d'un anneau noethérien est encore noethérien :
+
+\begin{defn}\label{finite-type-algebras}
+Une $A$-algèbre $B$ est dite \textbf{de type fini} (comme $A$-algèbre)
+lorsqu'il existe $x_1,\ldots,x_d \in B$ (qu'on dit \emph{engendrer}
+$B$ comme $A$-algèbre) tel que tout élément de $B$ s'écrive
+$f(x_1,\ldots,x_d)$ pour un certain polynôme $f \in
+A[t_1,\ldots,t_d]$.
+\end{defn}
+
+Dire que $B$ est une $A$-algèbre de type fini engendrée par
+$x_1,\ldots,x_d$ signifie donc que le morphisme $\xi\colon
+A[t_1,\ldots,t_d] \to B$ défini par $f \mapsto f(x_1,\ldots,x_d)$ est
+\emph{surjectif}. Par conséquent, si $I$ désigne le noyau de ce
+morphisme (c'est-à-dire l'ensemble des $f \in A[t_1,\ldots,t_d]$ qui
+s'annulent en $(x_1,\ldots,x_d)$) alors $\xi$ définit un isomorphisme
+$A[t_1,\ldots,t_d]/I \buildrel\sim\over\to B$. On peut donc dire :
+une $A$-algèbre de type fini est un quotient de $A[t_1,\ldots,t_d]$
+(pour un certain $d$).
+
+\begin{cor}\label{finite-type-algebras-are-noetherian}
+Une algèbre de type fini sur un anneau noethérien, et en particulier
+sur un corps ou sur $\mathbb{Z}$, est un anneau noethérien.
+\end{cor}
+
+%
+\subsection{Localisation}
+
+On dit qu'une partie $S$ d'un anneau $A$ est \emph{multiplicative}
+lorsque $1\in S$ et $s,s'\in S \limp ss'\in S$. Par exemple, le
+complémentaire d'un idéal premier est, par définition,
+multiplicative ; en particulier, dans un anneau intègre, l'ensemble
+des éléments non nuls est une partie multiplicative.
+
+Dans ces conditions, on construit un anneau noté $A[S^{-1}]$ (ou
+$S^{-1}A$) de la façon suivante : ses éléments sont notés $a/s$ avec
+$a\in A$ et $s \in S$, où on identifie\footnote{Ce racourci de langage
+ signifie qu'on considère la relation d'équivalence $\sim$ sur
+ $A\times S$ définie par $(a,s) \sim (a',s')$ lorsqu'il existe $t \in
+ S$ tel que $t(a's-as') = 0$, on appelle $A[S^{-1}]$ le quotient
+ $(A\times S)/\sim$, et on note $a/s$ la classe de $(a,s)$ pour cette
+ relation ; il faudrait encore vérifier que toutes les opérations
+ proposées ensuite sont bien définies.} $a/s = a'/s'$ lorsqu'il
+existe $t \in S$ tel que $t(a's-as') = 0$. L'addition est définie par
+$(a/s)+(a'/s') = (a's+as')/(ss')$ (le zéro par $0/1$, l'opposé par
+$-(a/s) = (-a)/s$) et la multiplication par $(a/s)\cdot (a'/s') =
+(aa')/(ss')$ (l'unité par $1/1$). Cet anneau est muni d'un morphisme
+naturel $A \buildrel\iota\over\to A[S^{-1}]$ donné par $a \mapsto
+a/1$. On l'appelle le \textbf{localisé} de $A$ inversant la partie
+multiplicative $S$. Si $A$ est une $k$-algèbre (pour un certain
+anneau $k$) alors $A[S^{-1}]$ est une $k$-algèbre de façon évidente
+(en composant le morphisme structural $k\to A$ par le morphisme
+naturel $A \to A[S^{-1}]$).
+
+\begin{prop}\label{properties-localization}
+\begin{itemize}
+\item Le morphisme naturel $A \buildrel\iota\over\to A[S^{-1}]$ est
+ injectif si et seulement si $S$ ne contient aucun diviseur de zéro.
+ (Extrême inverse : si $S$ contient $0$, alors $A[S^{-1}]$ est
+ l'anneau nul.)
+\item Tout idéal $J$ de $A[S^{-1}]$ est de la forme $J = I[S^{-1}] :=
+ \{a/s : a\in I,\penalty0 s \in S\}$ où $I$ est l'image réciproque
+ dans $A$ (par le morphisme naturel $\iota\colon A \to A[S^{-1}]$) de
+ l'idéal $J$ considéré.
+\item L'application $\mathfrak{p} \mapsto \iota^{-1}(\mathfrak{p})$
+ définit une bijection entre les idéaux premiers de $A[S^{-1}]$ et
+ ceux de $A$ ne rencontrant pas $S$.
+\end{itemize}
+\end{prop}
+
+Cas particuliers importants : si $\mathfrak{p}$ est premier et $S =
+A\setminus\mathfrak{p}$ est son com\-plé\-men\-taire, on note
+$A_{\mathfrak{p}} = A[S^{-1}]$ ; c'est un anneau local (dont l'idéal
+maximal est $\mathfrak{p}[S^{-1}] = \{a/s : a\in \mathfrak{p}, s
+\not\in \mathfrak{p}\}$) : on l'appelle le localisé de $A$
+\textbf{en} $\mathfrak{p}$. Si $A$ est un anneau intègre et $S = A
+\setminus\{0\}$ l'ensemble des éléments non nuls de $A$, on note
+$\Frac(A) = A[S^{-1}]$ : c'est un corps, appelé \textbf{corps des
+ fractions} de $A$. Par exemple, $\Frac(\mathbb{Z}) = \mathbb{Q}$ et
+$\Frac(k[t]) = k(t)$ pour $k$ un corps.
+
+Toute partie $\Sigma$ de $A$ engendre une partie multiplicative $S$
+(c'est l'intersection de toutes les parties multiplicatives
+contenant $\Sigma$, ou simplement l'ensemble de tous les produits
+possibles d'éléments de $\Sigma$) : on note généralement
+$A[\Sigma^{-1}]$ pour $A[S^{-1}]$. En particulier, lorsque $\Sigma =
+\{\sigma_1,\ldots,\sigma_n\}$, on note
+$A[\sigma_1^{-1},\ldots,\sigma_n^{-1}]$ ou
+$A[\frac{1}{\sigma_1},\ldots,\frac{1}{\sigma_n}]$.
+
+\begin{prop}\label{localization-inverting-one-element}
+Si $A$ est un anneau et $\sigma_1,\ldots,\sigma_n \in A$, alors
+\begin{itemize}
+\item L'anneau $A[\frac{1}{\sigma_1},\ldots,\frac{1}{\sigma_n}]$
+ s'identifie à $A[\frac{1}{f}]$ où $f = \sigma_1\cdots\sigma_n$.
+\item De plus, $A[\frac{1}{f}] \cong A[z]/(zf-1)$ (ici, $A[z]$ est
+ l'anneau des polynômes en une indéterminée), par un isomorphisme
+ envoyant $\frac{a}{f^n}$ sur la classe de $a z^n$
+\end{itemize}
+\end{prop}
+
+
+
+%
+%
+%
+\end{document}