Stacked Pseudo-Convergent Sequences and Polynomial Dedekind Domains

Abstract

Let $p\in \mathbb{Z}$ be a prime, $\overline{{\mathbb{Q}}_p}$ a fixed algebraic closure of the field of $p$-adic numbers and $\overline{{\mathbb{Z}}_p}$ the absolute integral closure of the ring of $p$-adic integers. Given a residually algebraic torsion extension $W$ of ${\mathbb{Z}}_{(p)}$ to $\mathbb{Q}(X)$, by Kaplansky's characterization of immediate extensions of valued fields, there exists a pseudo-convergent sequence of transcendental type $E=\{s_n{\}}_{n\in \mathbb{N}}\subset \overline{{\mathbb{Q}}_p}$ such that $W={\mathbb{Z}}_{(p),E}=\{\ddot{I}•\in \mathbb{Q}(X)\mid \ddot{I}•(s_n)\in \overline{{\mathbb{Z}}_p},\text{ for all sufficiently large }n\in \mathbb{N}\}$. We show here that we may assume that $E$ is stacked, in the sense that, for each $n\in \mathbb{N}$, the residue field (the value group, respectively) of $\overline{{\mathbb{Z}}_p}\cap {\mathbb{Q}}_p(s_n)$ is contained in the residue field (the value group, respectively) of $\overline{{\mathbb{Z}}_p}\cap {\mathbb{Q}}_p(s_{n+1})$; this property of $E$ allows us to describe the residue field and value group of $W$. In particular, if $W$ is a DVR, then there exists $\hat{I}\pm$ in the completion ${\mathbb{C}}_p$ of $\overline{{\mathbb{Q}}_p}$, $\hat{I}\pm$ transcendental over $\mathbb{Q}$, such that $W={\mathbb{Z}}_{(p),\hat{I}\pm }=\{\ddot{I}•\in \mathbb{Q}(X)\mid \ddot{I}•(\hat{I}\pm )\in O_p\}$, where $O_p$ is the unique local ring of ${\mathbb{C}}_p$; $\hat{I}\pm$ belongs to $\overline{{\mathbb{Q}}_p}$ if and only if the residue field extension $W/M\supseteq \mathbb{Z}/p\mathbb{Z}$ is finite. As an application, we provide a full characterization of the Dedekind domains between $\mathbb{Z}[X]$ and $\mathbb{Q}[X]$.

to appear in Algebra & Number Theory (2025), any comment is welcome!