Verschiebung operator

In mathematics, the Verschiebung or Verschiebung operator V is a homomorphism between affine commutative group schemes over a field of nonzero characteristic p. For finite group schemes it is the Cartier dual of the Frobenius homomorphism. It was introduced by (Witt 1937) as the shift operator on Witt vectors taking (a₀, a₁, a₂, ...) to (0, a₀, a₁, ...). ("Verschiebung" is German for "shift", but the term "Verschiebung" is often used for this operator even in other languages.) The Verschiebung operator V and the Frobenius operator F are related by FV = VF = [p], where [p] is the pth power homomorphism of an abelian group scheme.

Examples

• If G is the discrete group with n elements over the finite field F_p of order p, then the Frobenius homomorphism F is the identity homomorphism and the Verschiebung V is the homomorphism [p] (multiplication by p in the group). Its dual is the group scheme of nth roots of unity, whose Frobenius homomorphism is [p] and whose Verschiebung is the identity homomorphism.
• For Witt vectors the Verschiebung takes (a₀, a₁, a₂, ...) to (0, a₀, a₁, ...).
• On the Hopf algebra of symmetric functions the Verschiebung V_n is the algebra endomorphism that takes the complete symmetric function h_r to h_r/n if n divides r and to 0 otherwise.

See also

• Dieudonné module

References

• Demazure, Michel (1972), Lectures on p-divisible groups, Lecture Notes in Mathematics, 302, Berlin, New York: Springer-Verlag, doi:10.1007/BFb0060741, ISBN 978-3-540-06092-5 
• Witt, Ernst (1937), "Zyklische Körper und Algebren der Characteristik p vom Grad pⁿ. Struktur diskret bewerteter perfekter Körper mit vollkommenem Restklassenkörper der Charakteristik pⁿ" (in German), Journal für die Reine und Angewandte Mathematik 176: 126–140, doi:10.1515/crll.1937.176.126, http://www.digizeitschriften.de/main/dms/img/?IDDOC=504725