Cartier duality


In mathematics,
Cartier duality is an analogue of Pontryagin duality for commutative group schemes. It was introduced by.

Definition using characters

Given any finite flat commutative group scheme G over S, its Cartier dual is the group of characters, defined as the functor that takes any S-scheme T to the abelian group of group scheme homomorphisms from the base change to and any map of S-schemes to the canonical map of character groups. This functor is representable by a finite flat S-group scheme, and Cartier duality forms an additive involutive antiequivalence from the category of finite flat commutative S-group schemes to itself. If G is a constant commutative group scheme, then its Cartier dual is the diagonalizable group D, and vice versa. If S is affine, then the duality functor is given by the duality of the Hopf algebras of functions.

Definition using Hopf algebras

A finite commutative group scheme over a field corresponds to a finite dimensional commutative cocommutative Hopf algebra. Cartier duality corresponds to taking the dual of the Hopf algebra, exchanging the multiplication and comultipication.

More general cases of Cartier duality

The definition of Cartier dual extends usefully to much more general situations where the resulting functor on schemes is no longer represented as a group scheme. Common cases include fppf sheaves of commutative groups over S, and complexes thereof. These more general geometric objects can be useful when one wants to work with categories that have good limit behavior. There are cases of intermediate abstraction, such as commutative algebraic groups over a field, where Cartier duality gives an antiequivalence with commutative affine formal groups, so if G is the additive group, then its Cartier dual is the multiplicative formal group, and if G is a torus, then its Cartier dual is étale and torsion-free. For loop groups of tori, Cartier duality defines the tame symbol in local geometric class field theory. Gérard Laumon introduced a sheaf-theoretic Fourier transform for quasi-coherent modules over 1-motives that specializes to many of these equivalences.

Examples