Good elements and metric invariants in \(B_{dR}^+\)
type: Item
instance of: scholarly article
title: Good elements and metric invariants in \(B_{dR}^+\)
zbMATH Open document ID: 1128.12300
author: V. Alexandru
author: N. Popescu
author: Alexandru Zaharescu
published in: Journal of Mathematics of Kyoto University
publication date: 2004-12-29T00:00:00Z
review text: For any prime number \(p\), let \({\mathbb Q}_ p\) denote the field of \(p\)-adic numbers, \(\overline{ {\mathbb Q}_ p}\) an algebraic closure of \({\mathbb Q} _ p\) and \({\mathbb C}_ p\) the \(p\)-adic field of complex numbers. Let \(B ^ + _ {dR}\) be the ring of \(p\)-adic periods of algebraic varieties defined over \(p\)-adic fields as considered by \textit{J.-M. Fontaine} in [Ann. Math. (2) 115, 529--577 (1982; Zbl 0544.14016)], \(B ^ + _ {dR}\) is a topological local ring with maximal ideal \(I\) and residue field \({\mathbb C}_ p\) and it is endowed with a canonical, continuous action of \(G:=\text{ Gal}({\overline{{\mathbb Q}_ p}}/{\mathbb Q} _ p)\). Then \(B ^ + _ {dR}\) and \(B _ n := B ^ + _ {dR}/I ^ n\), \(n\geq 1\), are canonically \({\overline{{\mathbb Q}_ p}}\)-algebras with \({\overline{{\mathbb Q}_ p}}\) dense in \(B ^ + _ {dR}\) and \(B _ n\) in the natural topology, which is finer than the valuation ring topology. For each \(n\), let \(w_ n\) be the canonical valuation defined on \({\overline{{\mathbb Q}_ p}}\) as considered by \textit{A. Iovita} and \textit{A. Zaharescu} in [Compos. Math. 117, No. 1, 1--31 (1999; Zbl 0943.11054)], \(w _ n\) induces the canonical topology in \(B_ n\). An element \(\alpha \in {\overline{{\mathbb Q}_ p^ \ast}}\) is called ``good'' at level \(n\) if \(w_ n(\alpha)=v(\alpha)\), where \(v\) is the canonical \(p\)-adic valuation on \({\overline{{\mathbb Q}_ p}}\). Let \({\mathcal G} _ n\) be the subgroup of good elements at level \(n\). Then \({\mathcal G}_ n \supseteq {\mathcal G}_ {n+1}\) for all \(n\). Define \({\mathcal H}_ n := {\overline{{\mathbb Q}_ p ^ \ast}}/ {\mathcal G}_ n\). Then \({\mathcal H} _ 1 \cong {\mathbb Q}/{\mathbb Z}\). The main results in this paper are: (1) for any \(n\geq 1\), \({\mathcal H}_ n\) is a torsion group; (2) \({\mathcal G}_ 1/{\mathcal G}_ n\) is a \(p\)-group; (3) for any \(Z\in B_ {dR}^ +\) whose projection in \({\mathbb C}_ p\) is transcendental over \({\mathbb Q}_ p\), the seque…
Mathematics Subject Classification ID: 12J10
Mathematics Subject Classification ID: 11S20
Mathematics Subject Classification ID: 11S99
zbMATH DE Number: 2124031
zbMATH Keywords: \(p\)-adic fields
zbMATH Keywords: \(p\)-adic periods
zbMATH Keywords: valuation fields.
reviewed by: Gabriel D. Villa Salvador
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1215/kjm/1250283743
OpenAlex ID: W1600717595
DOI: 10.1215/KJM/1250283743
description: scientific article; zbMATH DE number 2124031