Différentielle de Kähler

En mathématiques, les différentielles de Kähler fournissent un analogue des formes différentielles aux anneaux et schémas commutatifs arbitraires. La notion a été introduite par Erich Kähler dans les années 1930. Elle fut ensuite adopté en algèbre commutative et en géométrie algébrique, une fois qu'il fallut d'adapter les méthodes du calcul différentiel et de la géométrie complexe aux contextes où de telles méthodes n'existaient pas.

Définition

Soient R et S des anneaux commutatifs et φ : R → S un morphisme en anneau. Un cas fréquent est R un corps et S une algèbre sur R (comme l'anneau de coordonnées d'une variété affine). Les différentielles de Kähler formalisent le fait que les dérivées de polynômes sont à nouveau des polynômiales. En ce sens, la différenciation est une notion qui peut s’exprimer en termes purement algébriques. On peut définir ces différentielles de manières différentes mais équivalentes.

Ω S / R = I / I 2 , {\displaystyle \Omega _{S/R}=I/I^{2},}

À l'aide de dérivation

Une dérivation R-linéaire sur S est un morphisme de R-modules d : S → M {\displaystyle d:S\to M} satisfaisant la règle de Leibniz d ( f g ) = f d g + g d f {\displaystyle d(fg)=f\,dg+g\,df} (il résulte de cette définition que l'image de R est dans le noyau de d[1]). Le module des différentielles de Kähler de S {\displaystyle S} relativement à R est le S-module Ω S / R {\displaystyle \Omega _{S/R}} pour lequel il existe une dérivation universelle d : S → Ω S / R {\displaystyle d:S\to \Omega _{S/R}} et satisfait la propriété universelle suivante : pour tout S-module M, on a un isomorphisme de S-modules

Hom S ⁡ ( Ω S / R , M ) → ≅ Der R ⁡ ( S , M ) . {\displaystyle \operatorname {Hom} _{S}(\Omega _{S/R},M){\xrightarrow {\cong }}\operatorname {Der} _{R}(S,M).}

On décrit ΩS/R et d en prenant un S-module libre généré par les symboles ds pour chaque s dans S, et en imposant les relations

  • dr = 0,
  • d(s + t) = ds + dt,
  • d(st) = s dt + t ds,

pour tout r dans R et tous s et t dans S. La dérivation universelle envoie s sur ds. Les relations impliquent que la dérivation universelle est un morphisme de R-modules.

À l'aide de l’idéal d’augmentation

On peut voir les différentielles de Kähler différemment. Soit I l'idéal du produit tensoriel S ⊗ R S {\displaystyle S\otimes _{R}S} défini comme le noyau du morphisme

{ S ⊗ R S → S ∑ s i ⊗ t i ↦ ∑ s i ⋅ t i {\displaystyle {\begin{cases}S\otimes _{R}S\to S\\\sum s_{i}\otimes t_{i}\mapsto \sum s_{i}\cdot t_{i}\end{cases}}}

Alors le module des différentielles de Kähler peut être défini de manière équivalente par

et la dérivation universelle est le morphisme d défini par

d s = 1 ⊗ s − s ⊗ 1. {\displaystyle ds=1\otimes s-s\otimes 1.}

Cette construction est équivalente à la précédente car I s'identifie au noyau de la projection

{ S ⊗ R S → S ⊗ R R ∑ s i ⊗ t i ↦ ∑ s i ⋅ t i ⊗ 1 {\displaystyle {\begin{cases}S\otimes _{R}S\to S\otimes _{R}R\\\sum s_{i}\otimes t_{i}\mapsto \sum s_{i}\cdot t_{i}\otimes 1\end{cases}}}

Ainsi :

S ⊗ R S ≡ I ⊕ S ⊗ R R . {\displaystyle S\otimes _{R}S\equiv I\oplus S\otimes _{R}R.}

Et S ⊗ R S / S ⊗ R R {\displaystyle S\otimes _{R}S/S\otimes _{R}R} peut être identifié à I par l'application induite

∑ s i ⊗ t i ↦ ∑ s i ⊗ t i − ∑ s i ⋅ t i ⊗ 1. {\displaystyle \sum s_{i}\otimes t_{i}\mapsto \sum s_{i}\otimes t_{i}-\sum s_{i}\cdot t_{i}\otimes 1.}

Ceci identifie I avec le S-module généré par les générateurs formels ds pour s dans S, à condition que d soit un morphisme de R-modules qui est nul sur R. Prendre le quotient par I2 impose la règle de Leibniz.

Propriétés et exemples

Pour tout anneau commutatif R, le module des différentielles de Kähler de l'anneau polynomial S = R [ t 1 , … , t n ] {\displaystyle S=R[t_{1},\dots ,t_{n}]} est un S -module libre de rang n généré par les différentielles des variables :

Ω R [ t 1 , … , t n ] / R 1 = ⨁ i = 1 n R [ t 1 , … t n ] d t i . {\displaystyle \Omega _{R[t_{1},\dots ,t_{n}]/R}^{1}=\bigoplus _{i=1}^{n}R[t_{1},\dots t_{n}]\,dt_{i}.}

Les différentielles de Kähler sont compatibles à l'extension des scalaires, dans le sens où pour une R-algèbre R′ et S ′ = R ′ ⊗ R S {\displaystyle S'=R'\otimes _{R}S} , il existe un isomorphisme

Ω S / R ⊗ S S ′ ≅ Ω S ′ / R ′ . {\displaystyle \Omega _{S/R}\otimes _{S}S'\cong \Omega _{S'/R'}.}

Par conséquent, les différentielles de Kähler sont compatibles à la localisation : si W est un ensemble multiplicatif de S, alors il existe un isomorphisme

W − 1 Ω S / R ≅ Ω W − 1 S / R . {\displaystyle W^{-1}\Omega _{S/R}\cong \Omega _{W^{-1}S/R}.}

Étant donné deux homomorphismes d'anneaux R → S → T {\displaystyle R\to S\to T} , il existe une suite exacte courte de T-modules

Ω S / R ⊗ S T → Ω T / R → Ω T / S → 0. {\displaystyle \Omega _{S/R}\otimes _{S}T\to \Omega _{T/R}\to \Omega _{T/S}\to 0.}

Si T = S / I {\displaystyle T=S/I} avec I un idéal, le terme Ω T / S {\displaystyle \Omega _{T/S}} s'annule et la suite peut être prolongée à gauche comme suit :

I / I 2 → [ f ] ↦ d f ⊗ 1 Ω S / R ⊗ S T → Ω T / R → 0. {\displaystyle I/I^{2}{\xrightarrow {[f]\mapsto df\otimes 1}}\Omega _{S/R}\otimes _{S}T\to \Omega _{T/R}\to 0.}

Une généralisation de ces suites exactes est fournie par le complexe cotangent.

Cette dernière suite et le calcul ci-dessus dans le cas d'un anneau polynomial permettent le calcul des différentielles de Kähler des R-algèbres de type fini T = R [ t 1 , … , t n ] / ( f 1 , … , f m ) {\displaystyle T=R[t_{1},\ldots ,t_{n}]/(f_{1},\ldots ,f_{m})} . Par exemple, pour un polynôme en un variable,

Ω ( R [ t ] / ( f ) ) / R ≅ ( R [ t ] d t ⊗ R [ t ] / ( f ) ) / ( d f ) ≅ R [ t ] / ( f , d f / d t ) d t . {\displaystyle \Omega _{(R[t]/(f))/R}\cong (R[t]\,dt\otimes R[t]/(f))/(df)\cong R[t]/(f,df/dt)\,dt.}

Différentielles de Kähler de schémas

Les différentielles de Kähler étant sont compatibles à la localisation, elles peuvent être construits sur un schéma via l'une ou l'autre des deux définitions ci-dessus sur les sous-schémas ouverts affines et recollement. Cependant, la deuxième définition a une interprétation géométrique plus claire. Dans cette interprétation, I représente l'idéal définissant la diagonale dans le produit fibré de Spec(S) avec lui-même sur Spec(S) → Spec(R). De plus, elle s’étend à un morphisme général des schémas f : X → Y {\displaystyle f:X\to Y} en définissant I {\displaystyle {\mathcal {I}}} l'idéal diagonal dans le produit fibré X × Y X {\displaystyle X\times _{Y}X} . Le faisceau cotangent Ω X / Y = I / I 2 {\displaystyle \Omega _{X/Y}={\mathcal {I}}/{\mathcal {I}}^{2}} , muni de la dérivation d : O X → Ω X / Y {\displaystyle d:{\mathcal {O}}_{X}\to \Omega _{X/Y}} défini de manière analogue, est vérifie la propriété universelle sur les f − 1 O Y {\displaystyle f^{-1}{\mathcal {O}}_{Y}} -dérivations linéaires de O X {\displaystyle {\mathcal {O}}_{X}} -modules. Si U est un ouvert affine de X dont l'image dans Y est contenue dans un ouvert affine V, alors le faisceau cotangent se restreint à un faisceau sur U qui est également universel. Il s'agit donc du faisceau associé au module de différentiels de Kähler pour les anneaux sous-jacents à U et V.

Les suites exactes courtes se généralisent aux morphismes de schémas. Soient f : X → Y {\displaystyle f:X\to Y} et g : Y → Z {\displaystyle g:Y\to Z} deux morphismes de schémas, on a la suite exacte de faisceaux sur X {\displaystyle X}

f ∗ Ω Y / Z → Ω X / Z → Ω X / Y → 0 {\displaystyle f^{*}\Omega _{Y/Z}\to \Omega _{X/Z}\to \Omega _{X/Y}\to 0}

Si X ⊂ Y {\displaystyle X\subset Y} est un sous-schéma fermé donné par le faisceau d'idéaux I {\displaystyle {\mathcal {I}}} , alors Ω X / Y = 0 {\displaystyle \Omega _{X/Y}=0} et on a la suite exacte :

I / I 2 → Ω Y / Z | X → Ω X / Z → 0 {\displaystyle {\mathcal {I}}/{\mathcal {I}}^{2}\to \Omega _{Y/Z}|_{X}\to \Omega _{X/Z}\to 0}

Le complexe de Rham – Witt est, en termes très grossiers, une amélioration du complexe de Rham pour l'anneau des vecteurs de Witt.

Bibliographie

  • (en) Denis-Charles Cisinski et Frédéric Déglise, « Mixed Weil cohomologies », Advances in Mathematics, vol. 230, no 1,‎ , p. 55–130 (DOI 10.1016/j.aim.2011.10.021 Accès libre, arXiv 0712.3291)
  • (en) Alexander Grothendieck, « On the de Rham cohomology of algebraic varieties », Publications mathématiques de l'IHÉS, vol. 29, no 29,‎ 1966a, p. 95–103 (ISSN 0073-8301, DOI 10.1007/BF02684807, MR 0199194, S2CID 123434721, lire en ligne) (letter to Michael Atiyah, October 14, 1963)
  • (en) Alexander Grothendieck, « Letter to John Tate », 1966b
  • (en) Alexander Grothendieck, Dix Exposés sur la Cohomologie des Schémas, vol. 3, Amsterdam, North-Holland, coll. « Advanced studies in pure mathematics », , 306–358 p. (MR 0269663, lire en ligne), « Crystals and the de Rham cohomology of schemes »
  • (en) James Johnson, « Kähler differentials and differential algebra », Annals of Mathematics, vol. 89, no 1,‎ , p. 92–98 (DOI 10.2307/1970810, JSTOR 1970810, zbMATH 0179.34302)
  • (en) Robin Hartshorne, Algebraic Geometry, vol. 52, New York, Springer-Verlag, coll. « Graduate Texts in Mathematics », (ISBN 978-0-387-90244-9, MR 0463157)
  • (en) Hideyuki Matsumura, Commutative ring theory, Cambridge University Press,
  • (en) Jürgen Neukirch, Algebraic Number Theory, vol. 322, Berlin, Springer-Verlag, (ISBN 978-3-540-65399-8, MR 1697859, zbMATH 0956.11021)
  • (en) M. Rosenlicht, « On Liouville's theory of elementary functions », Pacific Journal of Mathematics, vol. 65, no 2,‎ , p. 485–492 (DOI 10.2140/pjm.1976.65.485 Accès libre, zbMATH 0318.12107, lire en ligne)
  • (en) Guofeng Fu, Miroslav Halás et Ziming Li, « Some remarks on Kähler differentials and ordinary differentials in nonlinear control systems », Systems and Control Letters, vol. 60,‎ , p. 699–703 (DOI 10.1016/j.sysconle.2011.05.006)

Notes et références

  • (en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Kähler differential » (voir la liste des auteurs).
  1. ↑ « Stacks Project » (consulté le )
  • icône décorative Portail des mathématiques