Les SIC, les groupes de Heisenberg et les unités de Stark dans la $p^\infty$-tour sur un corps quadratique réel
Salle de conférences
le 16 février 2024 à 14:00
Les SIC, ou SIC-POVM, sont des systèmes maximaux de droites dites équiangulaires dans
,
. Objets d'intérêt de la physique quantique et du "Design Theory" depuis les années 1970, on a constaté heuristiqument:
a) que tous, sauf un, admettent une action unitaire du groupe de Heisenberg
, l'ensemble des matrices unipotentes
modulo
, et plus récemment,
b) qu'ils ont les angles déterminés par des unités de Stark sur le corps quadratique réel
.
Ces derniers sont des célèbres unités spéciales dans les extensions abéliennes de
, dont l'existence, conjecturée par Harold Stark en 1976, mènerait à une solution du 12-ième problème sur
de Hilbert, le "Jugendtraum" de Kronecker).
Après avoir examiné ces phenomènes, encore assez mystérieux, d'un peu plus près, j'esquisserai des travaux en cours: en prenant
, pour un nombre premier
décomposé dans
, et en faisant
on arrive à une théorie
-adique mettant en évidence une action de
sur les mesures
-adiques ainsi que les séries formelles de Coleman. On cherche ainsi à étudier l'action de Galois sur les unités de Stark à travers le groupe d'automorphismes
et certaines intégrales
-adiques.