A certain property of the Hilbert pairing
type: Item
instance of: scholarly article
title: A certain property of the Hilbert pairing
zbMATH Open document ID: 0692.14030
DOI: 10.1007/BF01138846
author: I. B. Fesenko
author: S. V. Vostokov
published in: Mathematical Notes
publication date: 1988-01-01T00:00:00Z
review text: Let \(k_ 0\) be a local field of characteristic zero, i.e. a finite algebraic extension of the field \(\mathbb Q_ p\) of \(p\)-adic integers, \({\mathfrak O}\) its ring of integers and \(\pi\) its uniformizing element. Let \(F\) be a Lubin-Tate one-dimensional formal group over \({\mathfrak O}\) attached to \(\pi\) [\textit{J. Lubin} and \textit{J. Tate}, Ann. Math. (2) 81, 380--387 (1965; Zbl 0128.26501)]. Let \(n\) be a positive integer, \(\kappa_ n\) the kernel of the endomorphism \([\pi]^ n\) of \(F\) and \(k_ n=k_ 0(\kappa_ n)\) the field of definition of \(\kappa_ n\) (ibid.). We write \({\mathfrak m}\) for the maximal ideal of the ring of integers of \(k_ n\). One may view \({\mathfrak m}\) as a commutative group \(F({\mathfrak m})\) with respect to the group law of \(F\). The following result of the paper under review proves the non-existence of non-trivial generalized Hilbert symbols for all Lubin-Tate groups [cf. \textit{S. Lang}, ``Cyclotomic fields.'' New York etc.: Springer-Verlag (1978; Zbl 0395.12005); chapter 8]. Theorem. Let us assume that for all Lubin-Tate groups there is a pairing \(c_ F: k_ n\times F({\mathfrak m})\to \kappa_ n\) enjoying the following properties: (1) functoriality: if a formal series \(\phi(X)\) defines an isomorphism of Lubin-Tate groups \(F\) and \(G\) then \(\phi c_ F(a,b)=c_ G(a,\phi (b));\) (2) Hilbert symbol fundamental property: \(c_ F(a,-a)=0\) for all \(a\) from \({\mathfrak m}.\) Then \(c_ F=0\).
Mathematics Subject Classification ID: 14L05
Mathematics Subject Classification ID: 11S31
zbMATH DE Number: 4132345
zbMATH Keywords: Hilbert norm residue symbol
zbMATH Keywords: Lubin-Tate one-dimensional formal group
MaRDI profile type: Publication
cites work: Q3680935
cites work: Introduction to Algebraic K-Theory. (AM-72)
cites work: Formal groups
cites work: Q3941531
cites work: The Hilbert symbol for Lubin-Tate formal groups. I
cites work: The Hilbert symbol for Lubin-Tate formal groups. II
full work available at URL: https://doi.org/10.1007/bf01138846
OpenAlex ID: W1998924846
Recommended article: Q5752661
Recommended article: Formal modules for generalized Lubin-Tate groups
Recommended article: Q3476919
Recommended article: Degeneration of the Hilbert pairing in formal groups over local fields
Recommended article: Q3734521
Recommended article: On explicit reciprocity laws for the local Carlitz-Kummer symbols
Recommended article: Formal modules for relative formal Lubin-Tate groups
Recommended article: The Hilbert symbol for Lubin-Tate formal groups. II
Recommended article: Q4523453
Recommended article: An explicit form of the Hilbert pairing for the relative formal Lubin-Tate groups.
description: scientific article; zbMATH DE number 4132345