A note on $p$-adic higher Mahler measures

Yu Katagiri
2024-08-11
Abstract:Kurokawa, Lal\'ın and Ochiai introduced and studied the higher Mahler measures, which are generalization of the classical Mahler measure. In this article, we introduce $p$-adic higher Mahler measures and prove $p$-adic analogues of Akatsuka's results.
Number Theory
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to introduce and study \(p\)-adic higher Mahler measures, and prove the properties of these measures, especially the \(p\)-adic analogue of Akatsuka's result. Specifically, the paper mainly focuses on the following aspects: 1. **Introducing \(p\)-adic higher Mahler measures**: - The author defines the \(p\)-adic \(k\)-higher Mahler measure \(m_{p,k}(f)\), which is a generalization of the classical higher Mahler measure in the \(p\)-adic context. - The formula is: \[ m_{p,k}(f)\coloneqq\lim_{N \to \infty, (N,p)=1} \frac{1}{N^n} \sum_{\zeta \in \mu_N^n} \log_p^k f(\zeta_1,\dots,\zeta_n) \] where \(\mu_N\) is the set of \(N\)-th roots of unity in \(\mathbb{C}_p\), and \(\log_p\) is the normalized \(p\)-adic logarithm function. 2. **Proving \(p\)-adic analogue results**: - The author proves the relationship between \(p\)-adic higher Mahler measures and some special functions (such as generalized hypergeometric functions). For example, for the specific polynomial \(f(t)=t^2 - ct + 1\), we have: \[ Z_p(s,f)=\langle\alpha\rangle^s {}_2F_1(-s,-s;1;\beta/\alpha) \] where \(\alpha\) and \(\beta\) are the roots of \(f(t) = 0\), and satisfy \(0 < |\beta| < 1 < |\alpha|\). 3. **Verifying convergence and properties**: - The author verifies that the \(p\)-adic zeta Mahler measure \(Z_p(X,f)\) converges on the closed unit disk under certain conditions, and proves some key theorems, such as Theorem 1.6 and Theorem 1.7, which are the \(p\)-adic analogues of the classical results. 4. **Discussing limitations and assumptions**: - The paper also discusses why, when using the limit definition of \(p\)-adic higher Mahler measures, assumptions need to be made on the absolute values of the polynomial coefficients. This is because if the Laurent polynomial has zeros at points with \(p\)-adic absolute value equal to 1, then the above limit may not exist. In summary, this paper aims to generalize the classical higher Mahler measure to the \(p\)-adic context and study its properties and applications, especially its connections in special functions and dynamical systems.