Una teoría de dualidad para esquemas en grupos conmutativos finitos sobre una base que asigna a un esquema en grupos conmutativo finito G su dual de Cartier G^D, típicamente el esquema en grupos de homomorfismos de G al grupo multiplicativo, proporcionando una antiequivalencia en la categoría de esquemas en grupos finitos conmutativos y planos bajo hipótesis adecuadas.

Principio

El dual de Cartier de un esquema en grupos finito G se define como el funtor Hom(G, G_m) (o un Hom interno apropiado) y tiene una estructura canónica de esquema en grupos; dualizar dos veces recupera G cuando se cumplen condiciones de finitud y planitud, de modo que la dualidad intercambia tipos étale y multiplicativos, partes conexas y constantes, y revierte sucesiones exactas.

Demostración

Sobre una base donde n es invertible, el dual de Cartier del esquema constante Z/nZ es el grupo multiplicativo µ_n, y recíprocamente µ_n^D ≅ Z/nZ; para un esquema en grupos local finito como α_p en característica p, su dual refleja la estructura complementaria y pone de manifiesto la distinción entre partes conexas y étale en familias.

Aplicación incorrecta

Suponer que la dualidad de Cartier se comporta como la dualidad de Pontryagin en grupos topológicos o aplicarla fuera del marco finito/ plano/ conmutativo (para esquemas en grupos infinitos, casos no conmutativos o sin planitud) puede producir identificaciones incorrectas y perder propiedades de exactitud esperadas.

Consecuencia

La dualidad de Cartier proporciona clasificaciones estructurales de esquemas en grupos conmutativos finitos, aclara cómo se emparejan los tipos conexos/étale y multiplicativos/aditivos, y ofrece herramientas para dualizar problemas de extensiones, calcular caracteres y describir dualidades local‑global en geometría aritmética.

Inversión

La inversión es intrínseca: tomar el dual de Cartier de G^D recupera G bajo las hipótesis habituales de finitud y planitud, de modo que fenómenos en G (por ejemplo ser multiplicativo o étale) corresponden a propiedades complementarias en el dual.

Límite

Se aplica a esquemas en grupos conmutativos finitos que son planos (o al menos localmente libres de tipo finito) sobre la base; fuera de las hipótesis de finitud, conmutatividad y planitud la construcción puede dejar de ser representable o de verificar las propiedades de dualidad esperadas.

Tensión semántica

A menudo se compara con la dualidad de Pontryagin para grupos abelianos localmente compactos, pero la dualidad de Cartier es algebro‑geométrica y depende de la estructura de esquema y de la característica de la base, produciendo correspondencias distintas (por ejemplo entre µ_n y Z/nZ) que las dualidades analíticas.

Síntesis

La dualidad de Cartier es la operación algebro‑geométrica Hom(−, G_m) sobre esquemas en grupos conmutativos finitos que empareja tipos étale y multiplicativos y que, bajo finitud y planitud, define una antiequivalencia involutiva que clasifica y relaciona los esquemas en grupos mediante sus caracteres.