A duality theory for finite commutative group schemes over a base that assigns to a finite commutative group scheme G its Cartier dual G^D, typically the group scheme of homomorphisms from G to the multiplicative group scheme, yielding an anti‑equivalence on the category of finite commutative flat group schemes under suitable hypotheses.

Principle

The Cartier dual of a finite commutative group scheme G is defined as the functor Hom(G, G_m) (or an appropriate internal Hom) and carries a canonical group scheme structure; dualizing twice recovers G when finiteness and flatness conditions hold, so duality interchanges étale and multiplicative types, connected and constant parts, and exact sequences reverse under dualization.

Demonstration

Over a base where n is invertible, the Cartier dual of the constant group scheme Z/nZ is the multiplicative group µ_n, and dually µ_n^D ≅ Z/nZ; for a finite local group scheme like α_p in characteristic p, its dual reflects the complementary structure and highlights distinctions between connected and étale pieces in families.

Misapplication

Assuming Cartier duality behaves like Pontryagin duality on topological groups or applying it outside the finite/flat commutative setting (for infinite group schemes, noncommutative cases, or without flatness) can produce incorrect identifications and lose expected exactness properties.

Consequence

Cartier duality yields structural classifications of finite commutative group schemes, clarifies how connected/étale and multiplicative/ additive types pair, and provides tools for dualizing extension problems, computing characters, and describing local‑global dualities in arithmetic geometry.

Reversal

The reversal is intrinsic: taking the Cartier dual of G^D recovers G under the standard finiteness and flatness hypotheses, so phenomena in G (e.g., being multiplicative or étale) correspond to complementary properties in the dual.

Boundary

Applies to finite commutative group schemes that are flat (or at least finite locally free) over the base; outside finite, commutative, and flat hypotheses the construction may fail to produce a representable group scheme or to satisfy the expected duality properties.

Semantic Tension

Often compared with Pontryagin duality for locally compact abelian groups, but Cartier duality is algebro‑geometric and depends on scheme structure and base characteristic, producing different correspondences (e.g., between µ_n and Z/nZ) than analytic dualities do.

Synthesis

Cartier duality is the algebro‑geometric operation Hom(−, G_m) on finite commutative group schemes that pairs étale and multiplicative types and, under finiteness and flatness, yields an involutive anti‑equivalence classifying and relating group schemes via their character homomorphisms.