Soient m,n deux entiers ≥1. Pour tout anneau A de caractéristique p, notons mWn(A) le noyau de l’endomorphisme Fm de Wn(A). a) Pour m≥2 et n≥1, le diagramme suivant est commutatif
où les applications V, F sont induites par les homomorphismes de décalage et de Frobenius respectivement, I est l’injection naturelle et R la projection naturelle. b) Pour n≥1 et a=[a0,...,an−1] dans Wn(A), on note a~ l’élément (a0,...,an−1,0,...) de W(A).
Soient a∈mWn(A), b∈nWm(A). On pose alors
⟨a,b⟩=E(ωA(a~)ωA(b~),1)
(cf. p. 57, exerc. 43 pour la notation E, et p. 54, exerc. 40 pour la notation ωA). Prouver que l’application (a,b)↦⟨a,b⟩ de mWn(A)×nWm(A) dans A∗ est Z-bilinéaire. c) Avec les notations de a, on a