On Shilov boundaries, Rees valuations and integral extensions
Authors:
Dimitri Dine
Abstract:
We explore an analogy between, on one hand, the notions of integral closure of ideals and Rees valuations in commutative algebra and, on the other hand, the notions of spectral seminorm and Shilov boundary in nonarchimedean geometry. For any Tate ring $\mathcal{A}$ with a Noetherian ring of definition $\mathcal{A}_{0}$ and pseudo-uniformizer $\varpi\in\mathcal{A}_{0}$, we prove that the Shilov bou…
▽ More
We explore an analogy between, on one hand, the notions of integral closure of ideals and Rees valuations in commutative algebra and, on the other hand, the notions of spectral seminorm and Shilov boundary in nonarchimedean geometry. For any Tate ring $\mathcal{A}$ with a Noetherian ring of definition $\mathcal{A}_{0}$ and pseudo-uniformizer $\varpi\in\mathcal{A}_{0}$, we prove that the Shilov boundary for $\mathcal{A}$ naturally coincides with the set of Rees valuation rings of the principal ideal $(\varpi)_{\mathcal{A}_{0}}$ of $\mathcal{A}_{0}$.
Furthermore, we characterize the Shilov boundary for a wide class of Tate rings by means of minimal open prime ideals in the subring of power-bounded elements. For affinoid algebras, in the sense of Tate, whose underlying rings are integral domains, this recovers a well-known result of Berkovich. Moreover, under some mild assumptions, we prove stability of our characterization of the Shilov boundary under (completed) integral extensions. In particular, for every mixed-characteristic Noetherian domain $R$, we obtain a description of the Shilov boundary for the Tate ring $\widehat{R^{+}}[p^{-1}]$, where $\widehat{R^{+}}$ is the $p$-adic completion of the absolute integral closure of the domain $R$.
△ Less
Submitted 9 July, 2025;
originally announced July 2025.
Tilting and untilting for ideals in perfectoid rings
Authors:
Dimitri Dine,
Ryo Ishizuka
Abstract:
For an (integral) perfectoid ring $R$ of characteristic $0$ with tilt $R^{\flat}$, we introduce and study a tilting map $(-)^{\flat}$ from the set of $p$-adically closed ideals of $R$ to the set of ideals of $R^{\flat}$ and an untilting map $(-)^{\sharp}$ from the set of radical ideals of $R^{\flat}$ to the set of ideals of $R$. The untilting map $(-)^{\sharp}$ is defined purely algebraically and…
▽ More
For an (integral) perfectoid ring $R$ of characteristic $0$ with tilt $R^{\flat}$, we introduce and study a tilting map $(-)^{\flat}$ from the set of $p$-adically closed ideals of $R$ to the set of ideals of $R^{\flat}$ and an untilting map $(-)^{\sharp}$ from the set of radical ideals of $R^{\flat}$ to the set of ideals of $R$. The untilting map $(-)^{\sharp}$ is defined purely algebraically and generalizes the analytically defined untilting map on closed radical ideals of a perfectoid Tate ring of characteristic $p$ introduced by the first author. We prove that these two maps, $(-)^{\flat}$ and $(-)^{\sharp}$, define an inclusion-preserving bijection between the set of ideals $J$ of $R$ such that the quotient $R/J$ is perfectoid and the set of $p^{\flat}$-adically closed radical ideals of $R^{\flat}$, where $p^{\flat}\in R^{\flat}$ corresponds to a compatible system of $p$-power roots of a unit multiple of $p$ in $R$. Furthermore, we prove that the maps send (closed) prime ideals to prime ideals and thus define a homeomorphism between the subspace of the spectrum of $R$ consisting of prime ideals $\mathfrak{p}$ of $R$ such that $R/\mathfrak{p}$ is perfectoid and the subspace of the spectrum of $R^{\flat}$ consisting of $p^{\flat}$-adically closed prime ideals of $R^{\flat}$. In particular, we obtain a generalization and a new proof of the main result of the first author's previous research which concerned prime ideals in perfectoid Tate rings.
△ Less
Submitted 18 August, 2023;
originally announced August 2023.
Topological spectrum and perfectoid Tate rings
Authors:
Dimitri Dine
Abstract:
We study the topological spectrum of a seminormed ring $R$ which we define as the space of prime ideals $\mathfrak{p}$ such that $\mathfrak{p}$ equals the kernel of some bounded power-multiplicative seminorm. For any seminormed ring $R$ we show that the topological spectrum is a quasi-compact sober topological space. When $R$ is a perfectoid Tate ring we construct a natural homeomorphism between t…
▽ More
We study the topological spectrum of a seminormed ring $R$ which we define as the space of prime ideals $\mathfrak{p}$ such that $\mathfrak{p}$ equals the kernel of some bounded power-multiplicative seminorm. For any seminormed ring $R$ we show that the topological spectrum is a quasi-compact sober topological space. When $R$ is a perfectoid Tate ring we construct a natural homeomorphism between the topological spectrum of $R$ and the topological spectrum of its tilt $R^{\flat}$. As an application, we prove that a perfectoid Tate ring $R$ is an integral domain if and only if its tilt is an integral domain.
△ Less
Submitted 1 October, 2022; v1 submitted 3 September, 2020;
originally announced September 2020.
