Differential operators on modular extensions (Q901032)

Une extension \(L/K\) de corps commutatifs est dite simple si \(L=K(\theta)\) \((\theta \in L)\). Supposons \(K\) de caractéristique \(p > 0\), il existe une grande ressemblance entre les extensions simples purement inséparables et les \(p\)-groupes cycliques, mais contrairement aux \(p\)-groupes abéliens, une extensions \(L/K\) purement inséparables finies n'est pas toujours produits d'extensions simples indépendants (c'est-á-dire \(K\)-linéairement disjoints), lorsque il en ai ainsi, l'extension \(L/K\) est dite modulaire, plusieurs caractérisation ont été données des extensions modulaires ([\textit{M. E. Sweedler}, Ann. Math. (2) 87, 401--410 (1968; Zbl 0168.29203)], [\textit{R. Rasala}, Trans. Am. Math. Soc. 162, 411--448 (1972; Zbl 0225.12102)]). Jacobson-Bourbaki théorème ([\textit{N. Jacobson}, Lectures in abstract algebra. III: Theory of fields and Galois theory. 3rd corr. printing. New York: Springer (1980; Zbl 0455.12001)], page 22, Theorem 2) donne une bijection très générale de type Galois entre les corps intermédiaire d'une extension quelconque \(L/K\) et les sous algèbre de l'anneau \(\text{End}_{K}(L)\) des K-endomorphismes de \((L,+)\). Soit \(K'\) un corps intermédiaire de \(L/K\), l'auteur se demande quelle sous algèbre de \(\text{End}_{K}(L)\) correspend à \(L/K'\) modulaire, cette question a déjà été traitée par Jacobson [loc. cit., théorème 19] dans le cas des extensions purement inséparable d'exposant 1, (noter que telle extensions sont nécessairement modulaires) par ailleur une définition (non élémentaire) de l'anneau \(\text{Diff}_{K}(L)\) des opérateurs différentiels relatifs d'une extension \(L/K\) est donné par Grothendieck-Dieudonné dans ([\textit{A. Grothendieck}, Publ. Math., Inst. Hautes Étud. Sci. 32, 1--361 (1967; Zbl 0153.22301)], subsection 16.8), et il est prouvé que \(\text{End}_{K}(L)=\text{Diff}_{K}(L)\), combinant ces résultats avec une remarque de ([\textit{S. Sato}, Proc. Am. Math. Soc. 109, No. 3, 621--626 (1990; Zbl 0705.13003)], théorème 2) sur les coefficients des opérateurs différentiels, l'auteur obtient la réponse suivante à sa question: Notons \(\text{Diff}_{K}^{n}(L)\) le module des opérateurs différentiels de \(L/K\) d'ordre \(\leq n\). Soit \(e\) l'exposant de \(L/K\), pour tout entier \(0 < i \leq e-1\) notons \[ \mathcal{A}_{L/K,i}=\bigl \{D \in \text{Diff }_{K}^{p^i}(L) \mid \forall j \leq i \;D(L^{p^{j}}) \subset L^{p^j} \bigr \} \] alors \(L/K\) est modulaire si et seulement si pour tout \(0 < i \leq e-1\) l'homomorphisme multiplication \[ L \otimes_{L^{p^i}} \mathcal{A}_{L/K,i}\longrightarrow \text{Diff }_{K}^{P^{i}}L \] est surjectif, c'est-à-dire \(\mathcal{A}_{L/K,i}\) engendre \(\text{Diff}_{K}^{P^i}L\) en tant que \(L\)-sous espace vectoriel. Comme corollaire l'auteur obtient au moyen des \(\mathcal{A}_{L/K,i}\) une caractérisation de la plus grande sous extension modulaire \(L/K'\) de \(L/K\).