On Perfectoidizaiton of Finite Algebras over a Perfectoid Ring

Summary · qwen2.5:32b

The study explores properties of perfectoidization for finite algebras over a perfectoid ring, proving that if $A=R[t]/(m(t))$ with $R$ being perfectoid and the discriminant $d$ of $m(t)$ a non-zero divisor meeting a bounded torsion condition, then $dA_{\mathrm{pfd}}\subset A$. This work aids in providing explicit descriptions of algebraic structures under perfectoid conditions.

Suggested post angle

Discovering properties of perfectoidization in finite algebras over a perfectoid ring.

Excerpt

arXiv:2606.12229v2 Announce Type: replace Abstract: 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.