Cartier duality

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

Given any finite flat commutative

${\displaystyle G_{T}}$ to ${\displaystyle \mathbf {G'} _{m,T}}$ 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(G), and vice versa. If S is affine, then the duality functor is given by the duality of the Hopf algebras of functions.

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 comultiplication.

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

, so if G is the additive group ${\displaystyle \mathbf {G'} _{a}}$, then its Cartier dual is the multiplicative formal group ${\displaystyle {\widehat {\mathbf {G} }}_{m}}$, 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

Examples

• The Cartier dual of the cyclic group ${\displaystyle \mathbb {Z} /n\mathbb {Z} }$ of order n is the n-th
  roots of unity
  ${\displaystyle \mu _{n}}$.
• Over a field of characteristic p the group scheme ${\displaystyle \alpha _{p}}$ (the kernel of the endomorphism of the additive group induced by taking pth powers) is its own Cartier dual.

• MR 0148665
• MR 0213365