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...

Let $k$ be a finite extension of ${\mathbb{Q}}_p$, let $k_1$, respectively $k_3$, be the division fields of level $1$, respectively $3$, arising from a Lubin-Tate formal group over $k$, and let $\Gamma =$ Gal($k_3/k_1$). It is known that the valuation ring $k_3$ cannot be free over its associated order $𝔄$ in $K\Gamma$ unless $k={\mathbb{Q}}_p$. We determine explicitly under the hypothesis that the absolute ramification index of $k$ is sufficiently large.