Search arXiv⌕ Search

arXiv · 2610.32577

Noetherian local rings without perfectoid towers

Abstract

Let $k$ be a perfect field of characteristic $p>0$. We prove that if a $p$-torsionfree ring $R$, defined by homogeneous equations over $W(k)$, admits a perfectoid tower arising from $(R,(p))$, then its special fiber is $F$-liftable. We also give explicit examples admitting no such tower, including examples with $F$-liftable special fibers.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Tatsuki Yamaguchi. 2026-10-23. Noetherian local rings without perfectoid towers. https://arxiv.org/abs/2610.32577

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Decomposition Theorem for Perfectoid Rings along General Ideals

Using André's lemma and the excision square for perfectoidization coming from $p$-complete arc descent, we prove new structural results about perfectoid rings and perfectoidization. The main result is a tameness theorem for torsion in perfectoid rings: if $R$ is a perfectoid ring and $I\subset R$ is an ideal, then the $I$-torsion in $R$ is $I_{\mathrm{perfd}}$-almost zero. This yields an excision-type decomposition of $R$ along its $I$-torsion part. We also study (semi)perfectoid rings and perfectoid ideals and take the opportunity to make some structural remarks about them.

math.AC↗

On Perfectoidization of Finite Algebras over a Perfectoid Ring

We study general properties of the perfectoidization of finite algebras over a perfectoid ring, which helps to understand some precise and explicit descriptions. For example, we prove that if $A=R[t]/(m(t))$ where $m(t)$ is monic, $R$ is perfectoid and the discriminant $d$ of $m(t)$ is a non-zero divisor of $R$ satisfying a bounded torsion condition, then $dA_{\mathrm{pfd}}\subset A$. We also prove a density criterion reducing the construction of the perfectoidization to adjoining suitable $p$-power roots modulo $p$. In the second part of the paper, we compute perfectoidizations in several families of examples, including Kummer-type extensions and split finite algebras.

math.AC↗

Admissible bases and generic lattice ideals

Let $L\subseteq\mathbb Z^4$ be a rank-three lattice possessing an admissible basis, and let $S=K[x_1,\ldots,x_4]$ be the polynomial ring over a field $K$. We show that the associated lattice ideal $I_L \subset S$ is generic and that $S/I_L$ is a Cohen--Macaulay ring. We also identify the neighbors of the origin in $L$ and the indispensable binomials of $I_L$. Moreover, we prove that the Betti numbers of $S/I_L$ are $β_0(S/I_L)=1$, $β_1(S/I_L)=7$, $β_2(S/I_L)=12$, and $β_3(S/I_L)=6$. In addition, we show that $I_L$ is a set-theoretic complete intersection over an arbitrary field.

math.AC↗