%% This is a LaTeX document.  Hey, Emacs, -*- latex -*- , get it?
\ifx\danslelivre\undefined
\documentclass[9pt]{article}
\usepackage[francais,english]{babel}
\usepackage[utf8x]{inputenc}
\usepackage[T1]{fontenc}
\usepackage{graphics}
\usepackage[usenames,dvipsnames]{xcolor}
% A tribute to the worthy AMS:
\usepackage{amsmath}
\usepackage{amsfonts}
\usepackage{amssymb}
\usepackage{amsthm}
\usepackage{mathrsfs}
\usepackage{bm}
%
\input{../configuration/formules}
\input{../configuration/ucs_manquants}
\input{../configuration/encoredesmacros}
%

\synctex=1

\begin{document}
%\DeclareUnicodeCharacter{00A0}{~}
\fi
\begin{center}
Plan et avancement
\end{center}
\vskip1cm

\begin{enumerate}


\item Spectre et idéaux premiers (appendice). \texttt{spectre.tex} [Spec] (F)
\begin{enumerate}
\item ✓ Spectre, spectre maximal.
\item ✓ Lemme chinois.
\item ✓ Nilradical.
\item ✓ Idempotents.
\end{enumerate}

\item ✓ Algèbres finies sur un corps, extensions algébriques. \texttt{extensions-algebriques.tex} [Alg] (F).
\begin{enumerate}
\item Conséquences du lemme chinois.
\item Structures des algèbres de dimension finie sur un corps.
\item Algèbres diagonalisables.
\item Extensions composées (corps de rupture, de décomposition, clôtures algébrique et séparable, corps parfait).
\item Trace et norme. Discriminant ? \XXX
\item Algèbres étales.
\item Théorème de l'élément primitif.
\end{enumerate}

\item Corps finis.  \texttt{corps-finis.tex} [Fin] (D).
\begin{enumerate}
\item ✓ Existence et unicité.
\item ✓ Cyclicité du groupe multiplicatif.
\item Sommes de Jacobi/Gauß ; hypersurfaces diagonales.
\end{enumerate}

\item ✓ Algorithmiques des corps finis. \texttt{algo-corps-finis.tex} [ACF] (D).
\begin{enumerate}
\item Dénombrement des polynômes irréductibles, critères d'irréductibilité.
\item Algorithme(s) de factorisation.
\end{enumerate}

\item ✓ Corps $C₁$. \texttt{corps-c1.tex} [C1] (D).
\begin{enumerate}
\item Définitions.
\item Chevalley-Warning et application aux coniques.
\item Tsen.
\end{enumerate}

\item Correspondance de Galois. \texttt{correspondance-galois.tex} [CG] (F).
\begin{enumerate}
\item ✓ Conjugués d'un élément, extensions normales, galoisiennes.
\item (en cours) ¶ Extension galoisiennes d'anneaux
\item ✓ Groupe de Galois d'un polynôme.  Réduction modulo $p$ (facile).
\item ✓ Correspondance de Galois : le cas fini classique.
\item ✓ Fonctorialité.
\item ✓ $\mathbb{C}$ est algébriquement clos.  Groupe de Galois de $\mathbb{C}/\mathbb{R}$. (F).
\item $\Gal(𝐐(\zeta_n)\bo 𝐐)=(𝐙/n)^×$ via théorème de spécialisation.
\end{enumerate}

\item Calculs de groupes de Galois : exemples. \texttt{exemples-galois.tex} [ExG] (D).
\begin{enumerate}
\item ✓ premiers exemples : équations explicites de petits degré. (D)
\item ✓ Polynômes en $t^2$. (D)
\item Groupe simple à 168 éléments etc. (D)
\end{enumerate}

\item Formes tordues. \texttt{formes-tordues.tex} [formes] (F).
\begin{enumerate}
\item (réécriture en cours) Galois-Grothendieck.
\item ✓ Formes et cohomologie galoisienne.
\item ✓ Hilbert 90.
\item Torseurs.
\end{enumerate}

\item ✓ Algèbres d'Azumaya et groupe de Brauer. \texttt{brauer.tex} [Azu] (F). 
\begin{enumerate}
\item Skolem-Nœther.
\item $\Azu_n=H¹(K\bo k,\PGL_n)$.
\item $\Br=H²$.
\item Théorème de densité de Jacobson ; corps gauches.
\item Norme et trace réduites.
\item Algèbres de quaternions.
\item $\Br(C₁)=0$ ; théorème de Wedderburn : tout corps fini est commutatif.
\end{enumerate}

\item Équations verselles et petits degrés. \texttt{verselles.tex} [versel] (F).
\begin{enumerate}
\item ✓ Extensions de groupe $\mathbf{Z}/2$.
\item ✓ Extensions de groupe $\mathbf{Z}/3$.  Extensions de degré $3$.
\item ✓ Extensions de groupe $V_4$.
\item ✓ Extensions de groupe $\mathbf{Z}/4$.
\item Extensions quaternioniques.
\item ✓ Théorème de la base normale et $G$-algèbre galoisienne verselle
\end{enumerate}

\item Algorithmes de calculs. \texttt{calculs-galois.tex} [calculs] (D).
\begin{enumerate}
\item Résolvantes.
\end{enumerate}

\item Notions sur les groupes de permutations. \texttt{groupes-permutations.tex} [permutations] (D).
\begin{enumerate}
\item O'Nan-Scott.
\item Un théorème de Jordan (cf. exponentielle tronquée)
\end{enumerate}

\item Théorie de Galois infinie. \texttt{krull.tex} [Krull] (F).
\begin{enumerate}
\item ✓ Généralités.
\item Équivalence de catégories entre $\mathrm{Rep}_{\mathbb{F}_p}(G_k)$ et $\varphi$-modules étales
si $k$ est un corps de caractéristique $p>0$.
\end{enumerate}

\item Théorie de Kummer et Artin-Schreier-Witt. \texttt{KASW.tex} [KAS]
\begin{enumerate}
\item ✓ Irréductibilité des $X^n-a$. Kummer. (F)
\item ✓ Artin-Schreier. (F)
\item ✓ Vecteurs de Witt. (F)
\item Artin-Schreier-Witt. (F)
\item Facultatif : construction d'anneaux de Fontaine. (F)
\end{enumerate}

\item Résolubilité par radicaux, calculs explicites. \texttt{radicaux.tex} [Cons] [Titre à améliorer]
\begin{enumerate}
\item Résolubilité par radicaux.
\item Calculs explicites en degré $3$. (Y compris \textit{casus
irreductibilis}. (D) [cf. partiel 2006 Rosso])
\item Calculs explicites en degré $4$.
\item Constructions à la règle et au compas.
\item Cyclotomie (réduction modulo $p$ des polynômes cyclotomiques, exemple du calcul de $\cos\frac{2\pi}{17}$ (D), etc.).
\item Facultatif : théorème de Lindemann (énoncer Schanuel), lunules. (D) 
\end{enumerate}


\item $\Omega^1$ \texttt{omega.tex} [Om]
\begin{enumerate}
\item Différentielles de Kähler, construction de $\Omega^1$.
\item Caractérisation différentielle de la lissité.
\end{enumerate}

\item Extensions radicielles et transcendantes. [RT]
\begin{enumerate}
\item Degré de transcendance.
\item Extensions radicielles.  $p$-bases.
\item $p$-algèbres de Lie et théorie de Galois-Jacobson.
\item Algèbres et extensions séparables.  (Critère de MacLane...)
% A_K réduite pour toute K/k. Équivaut à A ⊗ B réd. si B l'est.
\item Extensions régulières, linéairement disjointes.
\item Théorème de Lüroth.  (Version constructive par Schinzel ?)
\end{enumerate}

\item Notions d'algèbre commutative. \texttt{AC.tex} [AC] (F.)
\begin{enumerate}
\item topologie sur $\Spec(A)$
\item foncteur $A↦T(A)$ ; th. de constructibilité de Chevalley. ([Olivier 1978], « Anneau absolument plat universel etc. ».)
\item ✓ Éléments entiers sur un anneau.
\item ✓ Relèvement des idéaux premiers (Cohen-Seidenberg).
\item ✓ Anneaux d'invariants sous un groupe fini.
\item (en cours) Spécialisation du groupe de Galois.
\item Normalisation dans une extension séparable. (Donner un contre-exemple non japonais)
\item théorie de la dimension
\item Lemme de normalisation de Noether.
\item Nullstellensatz, anneaux de Jacobson
\item Complétion ; lemme de Hensel.
\item fonction $\zeta$ d'une algèbre de type fini sur $𝐅_p$ ; sur $\mathbb{Z}$.
\item Conjectures de Weil. Exemple des hypersurfaces diagonales (sur $𝐅_p$)
\item Anneaux (et modules) noethériens et artiniens
\item Fibrations.
\item Applications : connexité de $A(𝐂)$ pour $A$ $𝐂$-algèbre intègre de type fini
et densité des poins algébriques séparables dans un schéma lisse sur un corps.
\end{enumerate}

\item Anneaux de valuation discrète, anneaux de Dedekind \texttt{AVD-Dedekind.tex} [A(V)D]
\begin{enumerate}
\item définition et caractérisation
\item nombres $p$-adiques ; séries formelles
\item valuation, complétion
\item prolongement, indices de ramification ($e,f ; ef=n$), définition extension modérées etc., différente (+ lien avec $Ω¹$)
\item structure des complets (Witt)
\item polygone de Newton ; Eisenstein (application à un résultat de finitude)
\item Puiseux (théorème et séries de), structure de l'inertie modérée
\item Krasner ; complétude $𝐂_p$.
\item Sous-groupes de ramification ; interprétation « géométrique »
\item Groupe de Galois de l'exponentielle tronquée (dont postulat de Bertrand).
\item Automorphismes de $\mathbb{Q}_p$ sur $\mathbb{Q}$.
\item Corps $p$-adiquement clos.
\item Anneaux de Dedekind : généralités
\item Différente, discriminant et ramification
\end{enumerate}

% Montrer que dans ℤ[X]/(π_x)=ℤ[x], dans le lieu étale (càd ℤ[Δ^-1][x]), on a une description simple et explicite des
% idéaux premiers au-dessus de p. (Via π_x modulo p.)

\item Corps locaux, corps globaux. \texttt{locaux-globaux.tex} [LG]
\begin{enumerate}
\item [esquisse ✓] définition, caractérisation
\item [esquisse ✓] Analyse harmonique locale
\item [esquisse ✓] Adèles et idèles ; lien avec le groupe de Picard etc.
\item théorie géométrique des nombres : théorème des unités, théorème de Minkowski, calculs de volumes
\item finitude du groupe de Picard ; formule dans le cas quadratique
\item [esquisse ✓] Analyse harmonique globale : formule de Poisson-Riemann-Roch
\item ✓ Théorème de Riemann-Roch pour les courbes
\item Équations fonctionnelles pour fonctions $L$ de Hecke : la méthode de Iwasawa-Tate.
\item Fonction $\zeta$ de Dedekind ; pôle en $1$.
\item Simple connexité de $\mathrm{Spec}(\mathbb{Z})$. Application : groupe de Galois de $X^n - X - 1$.
\item ¶ Hypothèse de Riemann pour les courbes : méthode de Bombieri.
\item fonction $\zeta$ sur $\mathbb{Z}$ de $x^3+y^3+z^3$.
\end{enumerate}

\item Rationalité de la fonction $\zeta$ (Dwork)

\item Frobenius, \v{C}ebotarev. \texttt{Cebotarev.tex} [modp]
\begin{enumerate}
\item Rappels sur la réduction modulo $p$ ; th. de van der Waerden
\item Théorème de Frobenius : énoncé et démonstration
\item Applications
\item Exemples
\end{enumerate}

\item Irréductibilité de Hilbert.
\begin{enumerate}
\item Démonstration à la Puiseux.
\item Démonstration par réduction modulo $p$ [méthode Ekedahl]
\end{enumerate}

\item Platitude et descente \texttt{descente.tex} [descente]
\begin{enumerate}
\item Platitude
\item Descente fidèlement plate : Hilbert 90 à la
Grothendieck et cas radiciel (cf. LNM 389).
\end{enumerate}

\item Actions de groupes et corps d'invariants.
\begin{enumerate}
\item Si $\mathbb{A}^n/G$ est rationnel, alors...
\item Théorème de Fischer.
\item Théorème de Saltman (cf. « Generic polynomials … », 2.6)
\end{enumerate}

\item Corps ordonnés, réel-clos.
\begin{enumerate}
\item Corps ordonnables, ordonnés...
\item Groupes de Galois absolus finis (Artin-Schreier).
\item Automorphismes de $\mathbb{R}$ sur $\mathbb{Q}$.
\end{enumerate}

\item Constructions « exotiques » de corps.
\begin{enumerate}
\item Ultraproduits.
\item Séries de Hahn/Mal'cev-Neumann.
\item Séries automatiques, Kedlaya ?
\item Jeux et corps de Conway.
\end{enumerate}

\item Catégories (appendice). \texttt{categories.tex} [Cat] (D).
\begin{enumerate}
\item ✓ Catégories, foncteurs, transformations naturelles. (Exemples, dont
ensembles simpliciaux et nerf d'une catégorie)
\item ✓ Limites, colimites.
\item ✓ Foncteurs représentables, lemme de Yoneda.  (Objets compacts ?)
\item ✓? Adjonctions de foncteurs.
\end{enumerate}

\item Produit tensoriel (appendice). \texttt{produit-tensoriel.tex} [Tens] (D).
\begin{enumerate}
\item ✓ Produit tensoriel de modules.
\item Produit tensoriel d'algèbres. [dont produit tensoriel infini]
\end{enumerate}

\item Ensembles simpliciaux et cohomologie des groupes
(appendice). \texttt{cohomologie-groupes.tex} [Coho] (F).
\begin{enumerate}
\item Ensembles simpliciaux.
\item Cohomologie des groupes finis.
\item Cohomologie continue d'un groupe profini.
\end{enumerate}

\end{enumerate}
\ifx\danslelivre\undefined
\end{document}
\fi