Un morphisme depuis les groupes de K-théorie algébrique ou la cohomologie motivique d’une variété vers une cible analytique ou cohomologique (par ex. cohomologie de Deligne, cohomologie réelle, ou cohomologie syntomique p-adique) produisant des invariants réels, complexes ou p-adiques ; exemples typiques : le régulateur de Beilinson, le régulateur de Borel pour corps de nombres, et les régulateurs syntomiques.

Principe

Les régulateurs font le lien entre objets algébriques/motifs et réalisations analytiques ou de Hodge en appariant classes K- ou motiviques avec données différentielles ou de période ; ils extraient des invariants numériques ou cohomologiques (périodes, logarithmes, valeurs spéciales) mesurant la complexité arithmético‑géométrique.

Démonstration

Le régulateur de Beilinson envoie K_m(X) (ou la cohomologie motivique H^i_{mot}(X, Q(j))) vers la cohomologie de Deligne H^i_{D}(X, R(j)), produisant des intégrales de périodes ; pour les corps de nombres le régulateur de Borel mappe des K-groupes vers R et apparaît dans les valeurs spéciales des fonctions zêta de Dedekind.

Mauvaise application

S’attendre à ce que l’image d’un régulateur soit entière ou rationnelle sans torsion, confondre différentes réalisations (Deligne vs syntomique vs l‑adique) et leurs cibles, ou traiter les valeurs du régulateur comme des invariants purement algébriques plutôt que comme des nombres transcendants dépendant de choix de comparaisons.

Conséquence

Les régulateurs relient la K‑théorie et les invariants motiviques à quantités analytiques concrètes telles que périodes et valeurs de fonctions L, fournissent appariements de hauteur en géométrie arithmétique, et sont centraux pour les conjectures de Beilinson, Bloch–Kato et l’étude des valeurs spéciales.

Inversion

Une inversion formelle serait un « régulateur inverse » produisant des classes K‑ou motiviques à partir de nombres analytiques ou de données de période ; de telles inverses sont en général conjecturales (relier valeurs spéciales à éléments motiviques) et relèvent de conjectures arithmétiques profondes.

Limite

La cible et l’existence dépendent de la réalisation choisie et des hypothèses sur X (lissité, propriété, coefficients). Différents régulateurs (réels/Deligne, p‑adiques/syntomiques, l‑adiques) ont domaines et codomaines distincts et compatibilités spécifiques ; certaines constructions requièrent des plongements complexes ou des isomorphismes de comparaison p‑adiques.

Tension sémantique

La tension porte entre réalisations différentes du régulateur (Deligne vs syntomique vs Borel), entre attentes d’outputs algébriques ou transcendants, et entre régulateurs numéraux concrets et interprétations motiviques abstraites ; le terme « régulateur » peut cacher la réalisation ou la normalisation visée.

Synthèse

Un régulateur est un pont canonique envoyant classes de K‑théorie ou motiviques vers réalisations analytiques ou cohomologiques, extrayant invariants de type période ou p‑adiques qui relient la géométrie arithmétique aux phénomènes transcendants et aux valeurs spéciales, et qui sous-tendent des conjectures majeures reliant motifs et données analytiques.