On the additive structure of algebraic valuations of polynomial semirings II

Abstract

For $α\in \mathbb{C}$, let $\mathbb{N}_0[α]$ be the subsemiring of~$\mathbb{C}$ obtained as a homomorphic image of the $α$-evaluation map $\mathbb{N}_0[x] \to \mathbb{C}$ defined as $p(x) \mapsto p(α)$ for each polynomial $p(x) \in \mathbb{N}_0[x]$. Fundamental arithmetic and atomic aspects of the additive structure of $\mathbb{N}_0[α]$ were first studied by the second author and Correa-Morris (2022). In this paper, we continue the investigation, now from the valuation-theoretic perspective. We show that for any algebraic number $α$, the additive monoid of $\mathbb{N}_0[α]$ contains no additive irreducibles if and only if it is isomorphic to the direct product of finitely many isomorphic valuation monoids (monoids whose principal ideals form a chain under inclusion). For any algebraic number $α\in (0,1)$, these valuation monoids are precisely those where $α^{-1}$ is a Perron number having no positive conjugates other than itself. In addition, we offer a description of the algebraic parameters $α$ for which the additive structure of $\mathbb{N}_0[α]$ is a valuation monoid. Finally, we argue that the subset of $(0,1)$ consisting of all algebraic parameters $α$ such that the additive structure of $\mathbb{N}_0[α]$ is a valuation monoid is dense in $(0,1)$.