summaryrefslogtreecommitdiffstats
path: root/chapitres/KASW.tex
diff options
context:
space:
mode:
Diffstat (limited to 'chapitres/KASW.tex')
-rw-r--r--chapitres/KASW.tex49
1 files changed, 13 insertions, 36 deletions
diff --git a/chapitres/KASW.tex b/chapitres/KASW.tex
index 4ed265b..4cf5f47 100644
--- a/chapitres/KASW.tex
+++ b/chapitres/KASW.tex
@@ -1,25 +1,9 @@
%%% Emacs: -*- mode:latex; coding:utf-8; -*-
\ifx\danslelivre\undefined
-\documentclass[9pt]{../configuration/smfart}
-\input{../configuration/commun}
-\input{../configuration/smf}
-\input{../configuration/adresse}
-\input{../configuration/gadgets}
-\input{../configuration/francais}
-\input{../configuration/numerotation}
-\input{../configuration/formules}
-\input{../configuration/encoredesmacros}
-\synctex=1
-\usepackage{stmaryrd}
-\usepackage{graphics}
-\usepackage[usenames,dvipsnames]{xcolor}
-\usepackage{srcltx}
-\usepackage{tikz}
-\usetikzlibrary{matrix}
-\usetikzlibrary{calc}
-
-\title{Théorie de Kummer et Artin-Schreier-Witt}
-
+\documentclass[a4paper,9pt]{amsart}
+\input{../config/preambule}
+\input{../config/macros}
+\title{Théories de Kummer, Artin-Schreier et Artin-Schreier-Witt}
\externaldocument{extensions-algebriques}
\externaldocument{correspondance-galois}
\externaldocument{formes-tordues}
@@ -28,15 +12,8 @@
\externaldocument{corps-finis}
\externaldocument{entiers}
\externaldocument{categories}
-
-%\textwidth16cm
-%\hoffset-1.5cm
-\usepackage[a4paper,left=2cm,right=2cm,marginpar=0.2cm,marginparsep=0.6cm,vmargin=2.4cm]{geometry}
-
\begin{document}
-\begin{center}
-Théories de Kummer, Artin-Schreier et Artin-Schreier-Witt
-\end{center}
+\maketitle
\tableofcontents
\else
\chapter{Théories de Kummer, Artin-Schreier et Artin-Schreier-Witt}
@@ -1819,11 +1796,11 @@ en ensembles $𝐀^𝐍$ lorsque $p>1$ et à $𝐀¹$ lorsque $p=1$.
\begin{remarque2}
Nous verrons ci-après qu'il existe une structure d'anneau sur $W_∞$ vérifiant
les propriétés suivantes : $(1-X)^{-1}$ est l'unité
-de la multiplication (que nous noterons $\varodot$) ;
-l'application $e_p$ est un endomorphisme de \emph{anneau} $(W_∞, ⊕,\varodot)$
+de la multiplication (que nous noterons $⊙$) ;
+l'application $e_p$ est un endomorphisme de \emph{anneau} $(W_∞, ⊕,⊙)$
(restreint aux $𝐙_{(p)}$-algèbres). L'exponentielle de Artin-Hasse
est donc l'idempotent correspondant
-à $e_p$ : $W_∞^{(p)}=W_{∞|𝐙_{(p)}} \varodot E_p ⊆ W_{∞|𝐙_{(p)}}$.
+à $e_p$ : $W_∞^{(p)}=W_{∞|𝐙_{(p)}} ⊙ E_p ⊆ W_{∞|𝐙_{(p)}}$.
\end{remarque2}
\subsubsection{}\label{p-coordonnées de Witt}
@@ -2285,16 +2262,16 @@ de groupe et EG} et du fait que l'on est en caractéristique $p>0$
que l'algèbre $E_{[q]}$ représente le foncteur $A ↦
(A[X]/X^{p^{r+1}})^×$, l'action naturelle de $𝐙/p^{r+1}$
sur $E_{[q]}$ correspondant à la multiplication par $1+X$.
-D'après \ref{structure Un sur Fp}, $E_{[q]}^{\japmath{田}}$
+D'après \ref{structure Un sur Fp}, $E_{[q]}^{田}$
se surjecte sur le foncteur $W_{[q]}$ par \XXX.
Admettons un instant qu'il existe un morphisme
-$B_{[q]}^{\japmath{田}} → W_{[q]}$ faisant commuter
+$B_{[q]}^{田} → W_{[q]}$ faisant commuter
le diagramme ci-dessous.
\begin{center}\begin{tikzpicture}[auto]
\matrix(diag)[matrix of math nodes,column sep=4em,row sep=5ex]
-{ E_{[q]}^{\japmath{田}} \pgfmatrixnextcell W_{[q]} \\ B_{[q]}^{\japmath{田}} \pgfmatrixnextcell W_{[q]}\\};
+{ E_{[q]}^{田} \pgfmatrixnextcell W_{[q]} \\ B_{[q]}^{田} \pgfmatrixnextcell W_{[q]}\\};
\draw[->] (diag-1-1) -- (diag-2-1);
\draw[->] (diag-1-2) -- node{$℘_{W_{[q]}}$} (diag-2-2);
\draw[->>] (diag-1-1) -- (diag-1-2);
@@ -2336,14 +2313,14 @@ canonique) et $℘=F_p \ominus \Id : W_{[q]} → W_{[q]}$.
\subsubsection{}Bien que l'exponentielle d'une série formelle $f ∈ W_∞(A)$ ne
soit pas définie en général — à cause des divisions par $n!$ —, on peut malgré
tout considérer sa dérivée logarithmique On appelle \emph{morphisme fantôme} le morphisme
-\[\japmath{鬼}: W_∞ → \Ga^∞\]
+\[鬼: W_∞ → \Ga^∞\]
\[f ↦ X \frac{f ′}{f}.\]
\begin{proposition2}
morphisme ; injectif si sans $𝐙$-torsion, bijectif si $𝐐$-algèbre. Si
$𝐙_{(p)}$-algèbre $e_p$ « correspond » à $(a₁,a₂, …) ↦ (a_1,0, …,a_p,0,
…,a_{p²}, …)$.
-\[\japmath{鬼}\big(∏(1-α_i t^i)\big)=\big(∑_{d|n} d α_{n/d}\big).\]
+\[鬼\big(∏(1-α_i t^i)\big)=\big(∑_{d|n} d α_{n/d}\big).\]
\end{proposition2}
\subsection{Algèbres simples-centrales de degré $p^r$}