summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorFabrice (Darwin) <Fabrice.Orgogozo@gmail.com>2010-12-22 16:53:29 +0100
committerFabrice (Darwin) <Fabrice.Orgogozo@gmail.com>2010-12-22 16:53:29 +0100
commitf0c92ef8068fa1e95761103627c867ff61992189 (patch)
treeb8b36d0638e28fbd34ae54938966082b2c386577
parent0aa86ec5b0959a2821c77f193baed596ff01f4f8 (diff)
downloadgalois-f0c92ef8068fa1e95761103627c867ff61992189.tar.gz
galois-f0c92ef8068fa1e95761103627c867ff61992189.tar.bz2
galois-f0c92ef8068fa1e95761103627c867ff61992189.zip
[KASW] ASW : sens facile (extensions d'ASW sont cycliques)
-rw-r--r--KASW.tex94
1 files changed, 75 insertions, 19 deletions
diff --git a/KASW.tex b/KASW.tex
index 04510ca..a4e0054 100644
--- a/KASW.tex
+++ b/KASW.tex
@@ -1118,8 +1118,7 @@ Ici encore, le fait remarquable est que toutes les extensions
abéliennes d'exposant divisant $p$ sont obtenues ainsi.
\begin{théorème2}\label{AS général}
-Soit $k$ un corps de caractéristique $p>0$ contenant $n$ racines
-$n$-ièmes de l'unité et soit $Ω$ une clôture algébrique de $k$.
+Soit $k$ un corps de caractéristique $p>0$ et soit $Ω$ une clôture algébrique de $k$.
\begin{enumerate}
\item L'application $A ↦ K_A=k(\root ℘ \of A)$ est une bijection
croissante entre l'ensemble des sous-groupes de $k$
@@ -2039,8 +2038,8 @@ On constate donc que l'équation d'Artin-Schreier $℘(x,y)=(a,b)$
permet de décrire toutes les équations de degré $p²$
d'un corps de caractéristique $p>0$.
Nous allons voir dans la section suivante que ceci
-est un fait général, possédant
-une démonstration conceptuelle.
+est un fait général dont il est possible
+de donner une démonstration conceptuelle.
\begin{exercice2}
Montrer que pour chaque nombre premier $p$,
@@ -2061,7 +2060,7 @@ les coordonnées de $F_p(f)$ (resp. $V_p(f)$) sont $\Frob_p(α)=(α_1^p,α_p^p,
(resp. $v_p(α)=(0,α₁,α_p, …,α_{q/p})$).
-\begin{proposition2}
+\begin{proposition2}\label{calcul W(Fp)}
Le groupe $W(𝐅_p)$ est isomorphe au groupe cyclique $𝐙/p^{r+1}$.
\end{proposition2}
@@ -2124,7 +2123,7 @@ de la $K$-algèbre $M(f):=M ⊗_{℘_M,M,φ_f} K$ (\refext{Tens}{}). En d'autres
le foncteur $A ↦ ℘_W^{-1}(f)(A)$ est représentable
par la $K$-algèbre $M(f)$.
-\begin{proposition2}
+\begin{proposition2}\label{séparabilité p-Weierstrass-Witt}
Soit $K$ un \emph{corps} de caractéristique $p>0$.
Pour tout $f ∈ W(K)$ la $K$-algèbre $M(f)$ est \emph{étale}
de rang $p^{r+1}$. En particulier, si $K$ est séparablement
@@ -2157,8 +2156,8 @@ le rang étant invariant par une telle extension,
on peut supposer $K$ séparablement clos.
D'après ce qui précède, il existe alors un
élément $g ∈ W(K)$ tel que $℘(g)=f$. La translation $t_g:W → W$, $x ↦ x + g$,
-induit un isomorphisme de foncteurs entre $℘^{-1}(f)$ et $℘^{-1}(0)$
-d'où un $K$-isomorphisme entre $M(f)$ et $M(0)$. La conclusion
+induit un isomorphisme de foncteurs entre $℘^{-1}(0)$ et $℘^{-1}(f)$
+d'où un $K$-isomorphisme entre $M(0)$ et $M(f)$. La conclusion
résulte de la proposition \ref{noyau p-Weierstrass-Witt}.
\end{démo}
@@ -2170,20 +2169,77 @@ $E_p(α.X) ↦ ∑_{i=0}^{r} \gtilde{α_{p^i}}p^i \mod p^{r+1}$, est un isomorph
\XXX % pas clair
\end{exercice2}
-\subsection{Extensions galoisiennes de groupe $𝐙/p^{r+1}$ : énoncés}
-
-De même que dans le paragraphe précédent, on fixe un nombre premier $p>0$,
-$r ≥ 0$ un entier et $q=p^r$ une puissance de $p$.
-On note $W$ la restriction du foncteur $W_{[q]}$ aux $𝐅_p$-algèbres.
+\subsection{Extensions galoisiennes de groupe $𝐙/p^{r+1}$}
\begin{théorème2}\label{ASW}
-Toute extension galoisienne de groupe $𝐙/p^r$
-est de la forme $k(\sqrt[℘]{(α_{q ′}:q ′ |q})\bo k$.
+Soit $k$ un corps de caractéristique $p>0$,
+$r ≥ 0$ un entier et $q=p^r$ la puissance de $p$
+correspondante. Soit $Ω$ une clôture algébrique de $k$.
+\begin{enumerate}
+\item Pour toute extension galoisienne $K\bo k$ de groupe
+cyclique d'ordre $p^{r+1}$, il existe un
+élément $f ∈ W_{[q]}(k)$ tel que
+$K$ soit $k$-isomorphe au plus petit sous-corps
+$k(\sqrt[℘]{f})$ de $Ω$ tel que les
+solutions de l'équation $℘(g)=f$ dans $W_{[q]}(Ω)$ appartiennent
+à $W_{[q]}(k(\sqrt[℘]{f}))$.
+\item Soit $f ∈ W_{[q]}(k)$. L'extension $k(\sqrt[℘]{f}) \bo k$
+est galoisienne cyclique d'ordre divisant $p^{r+1}$
+avec égalité si et seulement si le premier coefficient
+de Witt de $f$ n'appartient pas à $℘(k)$. D'autre
+part, $k(\sqrt[℘]{f})$ est le sous-corps de $Ω$ engendré
+par les coefficients de Witt d'un élément
+quelconque $g$ de $W_{[q]}(Ω)$ satisfaisant l'équation $℘(g)=f$.
+\end{enumerate}
\end{théorème2}
-\subsection{Extensions galoisiennes de groupe $𝐙/p^{r+1}$ : démonstrations}
-
-\subsubsection{Versel}
+\subsubsection{Démonstration de \ref{ASW} (ii)}
+
+Soit $f$ comme dans l'énoncé. Notons $k\sep$ la clôture
+séparable de $k$ dans $Ω$. D'après \ref{séparabilité p-Weierstrass-Witt},
+il existe $g₀ ∈ ℘^{-1}(f)(k\sep)$. Pour chaque $ζ ∈ W_{[q]}(𝐅_p)$,
+posons $g_ζ:=g₀ ⊕ ζ ∈ W_{[q]}(k\sep)$. D'après \ref{noyau p-Weierstrass-Witt},
+les solutions de $℘(g)=f$ dans $W_{[q]}(Ω)$ sont les $(g_ζ)_ζ$.
+(Ici, comme dans l'énoncé, on note abusivement $f$ l'image
+de l'élément $f ∈ W_{[q]}(k)$ par l'injection canonique
+$W_{[q]}(k) ↪ W_{[q]}(Ω)$.) Il en résulte que $k(\sqrt[℘]{f})$ est le sous-corps
+de $Ω$ engendré par les coefficients de Witt de $g₀$ (par exemple)
+et d'autre part que le corps $k(\sqrt[℘]{f})$ est contenu dans $k\sep$ :
+l'extension $k(\sqrt[℘]{f})\bo k$ est donc
+algébrique \emph{séparable}. Montrons qu'elle est \emph{normale}.
+Soit $σ : Ω → Ω$ un $k$-automorphisme. En appliquant
+$σ$ à l'égalité $℘(g₀)=f$ on obtient, par commutation
+évidente de $σ$ avec $℘$, l'égalité $℘\big(σ (g₀)\big)=f$
+d'où $σ (g₀)=g_{ζ_σ}$ pour un unique $ζ_σ ∈ W(𝐅_p)$.
+Il en résulte que $σ (g_ζ)=g_ζ ⊕ ζ_σ$ pour tout $ζ$ car $σ$ commute
+à l'addition dans les vecteurs de Witt tronqués et
+agit trivialement sur $W_{[q]}(𝐅_p)$.
+Ainsi, $σ$ préserve $K=k(\sqrt[℘]{f})$, de sorte
+que l'extension $K \bo k$ est galoisienne,
+et $σ ∈ G=\Gal(K\bo k) ↦ ζ_σ ∈ W_{[q]}(𝐅_p)$
+est une injection. D'après \ref{calcul W(Fp)},
+$G$ est donc cyclique de cardinal divisant $p^{r+1}$.
+
+Soit $f ′$ (resp. $g₀ ′$) l'image de $f$ (resp. $g₀$) dans $W_{[1]}(k) = k$
+($W_{[1]}(K) = K$) par la surjection canonique $W_{[q]} ↠W_{[1]}$.
+Le morphisme $℘$ commute à cette projection de sorte que
+$℘_{W_{[1]}}(g₀ ′)=f ′ $. Le corps $K$ contient donc le sous-corps
+$K ′ =k(\sqrt[℘]{f ′})$, galoisien sur $k$. D'autre part,
+l'action d'un élément $σ ∈ G$ sur $K ′$ se factorise
+à travers le quotient $W_{[q]}(𝐅_p) ↠ W_{[1]}(𝐅_p)=𝐅_p$ :
+la réduction de l'égalité $σ(g₀)= g₀ ⊕_{W_{[q]}(K)} ζ_σ$
+dans $W_{[1]}(K)$ se réécrit : $σ(g ′₀)=g ′₀ + ζ_σ ′$
+où $ζ_σ ′$ est l'image de $ζ_σ$ dans $𝐅_p$.
+Ainsi, l'image de $G$ dans l'unique quotient
+d'ordre $p$ de $W_{[q]}(𝐅_p) ≃ 𝐙/p^{r+1}$
+coïncide avec l'image du groupe de Galois de l'extension
+d'Artin-Schreier $K ′ \bo k$. Ce groupe est trivial
+si et seulement si $f ′ ∈ ℘(k)$, cf. \ref{extension AS est de groupe Z
+sur p}. On achève la démonstration
+en observant qu'un sous-groupe de $𝐙/p^{r+1}$ est strict
+si et seulement si son image dans $𝐙/p$ est triviale.
+
+\subsubsection{Première démonstration de \ref{ASW} (i) : méthode verselle}
\begin{proposition2}
On a $F_p(E_p(-X)f)=E_p(-X)F_p(f)$ et la multiplication
@@ -2200,7 +2256,7 @@ qu'un sous-groupe de $𝐙/q$ se surjectant sur $𝐙/p$ est nécessairement
égal à $𝐙/q$.
-\subsubsection{Cohomologique}
+\subsubsection{Seconde démonstration de \ref{ASW} (i) : méthode cohomologique}
\subsection{Composantes fantômes, structure d'anneau}\label{composantes fantômes}