P-adic logarithmic forms and group varieties I
Let \(\alpha_{1},\ldots,\alpha_{n}\) be non zero algebraic numbers in a number field \(K\) of degree \(d\). In the ring \({\mathcal O}_{K}\) of integers of \(K\), let \({\mathfrak p}\) be a prime ideal above a prime number \(p\). Denote by \(f_{\mathfrak p}\) the residue class degree of \({\mathfrak p}\). For \(\alpha\in K\), \(\alpha\not=0\), denote by \(\text{ord}_{\mathfrak p}(\alpha)\) the exponent to which \({\mathfrak p}\) divides the principal fractional ideal \((\alpha)\). Further denote by \(h(\alpha)\) the absolute logarithmic height of \(\alpha\), namely \[ h(\alpha)=\delta{\mathfrak p}{-1}\left(\log a_0+ \sum_{i=1}{\mathfrak p}{\delta} \log\max\{1,| \alpha^{(i)}| \}\right), \] where the minimal polynomial of \(\alpha\) over \(\mathbb Z\) is \(a_{0}X{\mathfrak p}{\delta}+\cdots+a_{\delta}= a_{0}\prod_{i=1}^{\delta} (X-\alpha{\mathfrak p}{(i)})\). Define \(h_{1},\ldots,h_{n}\) by \(h_{j}=\max\{h(\alpha_{j}),\log p\}\) \((1\leq j\leq n)\). Let \(b_{1},\ldots,b_{n}\) be rational integers such that the number \(\Xi=\alpha_{1}{\mathfrak p}{b_{1}}\cdots\alpha_{n}^{b_{n}} -1\) does not vanish. Let \(B\geq 3\) be a positive integer such that \(| b_{i}| \leq B\) for \(1\leq i\leq n\). A simple special case of the author's main result is \[ \text{ord}_{\mathfrak p}(\Xi)<C(n,d,{\mathfrak p})h_{1}\cdots h_{n}\log B, \] where \[ C(n,d,{\mathfrak p})=12\left({6(n+1)d\over \sqrt{\log p}}\right) {\mathfrak p}{2(n+1)}\bigl(p{\mathfrak p}{f_{\mathfrak p}}-1\bigr) \log(e^{5}nd). \] This is a \(p\)-adic analog of a result of \textit{A. Baker} and \textit{G. Wüstholz} [J. Reine Angew. Math. 442, 19-62 (1993; Zbl 0788.11026)]. Among the previous measures of linear independence for \(p\)-adic logarithms of algebraic numbers, the only one which is not included in the author's main result is the estimate of \textit{Y. Bugeaud} and \textit{M. Laurent}, which deals with only two logarithms [J. Number Theory 61, No. 2, 311-342 (1996; Zbl 0870.11045)]. In a forthcoming paper [\textit{K. Yu}, \(p\)-adic logarithmic forms and group varieties. II, Acta Arith. (to appear)], the author improves his estimate (at least in some cases, among the most important ones for applications) by including an idea of \textit{E. M. Matveev}'s [Explicit lower estimates for rational homogeneous linear forms in logarithms of algebraic numbers, Izv. Akad. Nauk SSSR, Ser. Mat. 62, No. 4, 81-136 (1998) (English translation in Izv. Math. 62, No. 4, 723-772 (1998)].
- p-adic interpolation of logarithmic derivatives associated to certain Lubin-Tate formal groups
- On the \(abc\) conjecture. II.
- Logarithmic differential forms on \(p\)-adic symmetric spaces.
- Study of the rational case of the theory of linear forms in logarithms
- Life and Mathematics of Alfred Jacobus van der Poorten (1942–2010)
- Explicit form of Cassels' p-adic embedding theorem for number fields
- scientific article; zbMATH DE number 3842004 (Why is no real title available?)
- Локальные оценки в проблеме Лемра
- Linear forms in p-adic logarithms
- \(p\)-adic logarithmic forms and a problem of Erdős
- p-adic logarithmic forms and group varieties II
- scientific article; zbMATH DE number 1981143 (Why is no real title available?)
- On The Greatest Prime Factor of ax m +by n , II
- The size function h°for a pure cubic field
- scientific article; zbMATH DE number 815984 (Why is no real title available?)
- Relative norms of prime ideals in small regions
- Relative Bogomolov extensions
- P-adic logarithmic forms and group varieties III
- A p-adic lower bound for a linear form in logarithms
- On the abcabc conjecture in algebraic number fields
- A note on logarithmic equidistribution
- Effective \(S\)-unit equations beyond three terms: Newman's conjecture
- Lower bounds for linear forms in two p-adic logarithms
- Perfect powers in the summatory function of the power tower
- Logarithms of algebraic numbers
- A note on the paper by Bugeaud and Laurent ``Minoration effective de la distance \(p\)-adique entre puissances de nombres algébriques
This page was built for publication: P-adic logarithmic forms and group varieties I
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4215756)
