An explicit formula for the Hilbert symbol of a formal group

[Une formule explicite pour le symbole de Hilbert d’un groupe formel]

Tavares Ribeiro, Floric¹ 

¹Université de Franche-Comté Département de Mathématiques 16 route de Gray 25000 Besançon (France)

Annales de l'Institut Fourier, Tome 61 (2011) no. 1, pp. 261-318

Abstract (VO)

A Brückner-Vostokov formula for the Hilbert symbol of a formal group was established by Abrashkin under the assumption that roots of unity belong to the base field. The main motivation of this work is to remove this hypothesis. It is obtained by combining methods of ($\varphi ,\Gamma$)-modules and a cohomological interpretation of Abrashkin’s technique. To do this, we build ($\varphi ,\Gamma$)-modules adapted to the false Tate curve extension and generalize some related tools like the Herr complex with explicit formulas for the cup-product and the Kummer map.

Résumé

Abrashkin a établi une formule de Brueckner-Vostokov pour le symbole de Hilbert d’un groupe formel sous la condition d’appartenance de racines de l’unité au corps de base. La motivation première de ce travail réside en la suppression de cette hypothèse. On l’obtient en combinant des méthodes de ($\varphi ,\Gamma$)-modules et une interprétation cohomologique des techniques d’Abrashkin. Pour cela, on construit des ($\varphi ,\Gamma$)-modules adaptés à l’extension dite de la fausse courbe de Tate et on généralise des outils tels que le complexe de Herr avec des formules explicites pour le cup-produit et l’application de Kummer.

Détail

DOI : 10.5802/aif.2602

Classification : 11F80, 11S25, 14L05, 11S31, 11S23, 14F30
Keywords: $p$-adic representations, ($\phi ,\Gamma $)-modules, formal groups, explicit reciprocity law
Mots-clés : représentations $p$-adiques, ($\phi ,\Gamma $)-modules, groupes formels, loi explicite de réciprocité