arXiv++ Combinatorics

Let $p$ be a prime number. We introduce a sparseness condition on the supports of $p$-adic Hahn series, and prove that this condition implies transcendence over $\breve{\mathbf Q}_p$, the completed maximal unramified extension of $\mathbf{Q}_p$. As an application, we prove the order-type conjecture of $\mathbf{Q}_p$-algebraic $p$-adic Hahn series with bounded support under the condition that the support has only finitely many accumulation points. All results in this paper have been fully formalized in the Lean theorem prover (v 4.31.0), building over Mathlib.

Fix an odd prime $p$. In this article, we provide a $\mathrm{mod}\ p$ harmonic number identity, which appears naturally in the canonical expansion of a root $ζ_{p^n}$ of the $p^n$-th cyclotomic polynomial $Φ_{p^n}(T)$ in the $p$-adic Mal'cev-Neumann field $\mathbb{L}_p$. We establish a $\frac{2}{(p-1)p^{n-2}}$-truncated expansion of $ζ_{p^n}$ via a variant of the transfinite Newton algorithm, which gives the first $\aleph_0^2$ terms of the canonical expansion of $ζ_{p^n}$. The harmonic number identity simplifies the expression of this expansion.

Let $p\geq 3$ be a prime number. In this article, we study the canonical expansion of the primitive $p^n$-th root of unity $ζ_{p^n}$ in $p$-adic Mal'cev-Neumann field $\mathbb{L}_p$ for $n\geq 1$. More precisely, we give the explicit formula for the first $\aleph_0$ terms of the expansion of $ζ_{p^n}$ and as an application, we use it to construct a uniformizer of $K_{2,m}=\mathbb{Q}_p\left(ζ_{p^2},p^{1/p^m}\right)$ with $m\geq 1$.