logo IMB
Retour

Séminaire de Théorie des Nombres

Les SIC, les groupes de Heisenberg et les unités de Stark dans la $p^\infty$-tour sur un corps quadratique réel

David Solomon

( (University College London) )

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 Cd{\mathbb C}^d, d>3d>3. 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 H(Z/dZ){\mathcal{H}}({\mathbb Z}/d{\mathbb Z}), l'ensemble des matrices unipotentes 3×33\times 3 modulo dd, 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 k=Q((d3)(d+1))k={\mathbb Q}(\sqrt{(d-3)(d+1)}).
Ces derniers sont des célèbres unités spéciales dans les extensions abéliennes de kk, dont l'existence, conjecturée par Harold Stark en 1976, mènerait à une solution du 12-ième problème sur kk 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 d=pnd=p^n, pour un nombre premier pp décomposé dans kk, et en faisant nn\rightarrow \infty on arrive à une théorie pp-adique mettant en évidence une action de H(Zp){\mathcal{H}}({\mathbb Z}_p) sur les mesures pp-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 Aut(H(Zp)){\rm Aut}({\mathcal{H}}({{\mathbb Z}}_p)) et certaines intégrales pp-adiques.