Related papers: Regular rings over valuation rings
Valuation rings and perfectoid rings are examples of (usually non-noetherian) rings that behave in some sense like regular rings. We give and study an extension of the concept of regular local rings to non-noetherian rings so that it…
The purpose of this work is to investigate various notions of regularity from the perspective of finiteness conditions, with the ultimate goal of identifying broad classes of rings that are $\mathsf{K}_0$-regular. In this direction, we…
It is proved that a noetherian commutative local ring A containing a field is regular if there is a complex M of free A-modules with the following properties: M_i=0 for i not in [0,dim A]; the homology of M has finite length; H_0(M)…
Let $R$ be a commutative noetherian local ring. As analogues of $(*)$-properties introduced by Ghosh, Gupta, and Puthenpurakal, we introduce and study $(\mathrm{A})$-properties, $(\mathrm{B})$-properties, and $(\mathrm{C})$-relations. Using…
Let $(R,\m,k)$ be a local (Noetherian) ring of positive prime characteristic $p$ and dimension $d$. Let $G_\dt$ be a minimal resolution of the residue field $k$, and for each $i\ge 0$, let $\gothic t_i(R) = \lim_{e\to \8}…
Let $R$ be a Noetherian ring and let $C$ be a semidualizing $R$-module. In this paper, by using the classes $ \mathcal{P}_C $ and $ \mathcal{I}_C $, we extend the notions of perfect and coperfect modules introduced by D.Rees \cite{R} and…
We prove a mixed-characteristic analogue of Kunz's theorem in terms of perfectoid towers: a Noetherian local ring of residue characteristic $p$ is regular if and only if it admits a flat map to a Noetherian ring that extends to a perfectoid…
A not necessarily noetherian local ring O is called regular if every finitely generated ideal I of O possesses finite projective dimension. In the article localizations O of a finitely presented, flat algebra A over a Pruefer domain R at a…
We introduce the notion of the Frobenius--Witt cotangent complex, which can be considered as a derived variant of the module of Frobenius--Witt differentials defined by T. Saito. This new object also can be seen as an arithmetic variant of…
We investigate the transfer of regularity between commutative, noetherian, local rings through a class of local homomorphisms which we call basically regular. We give numerical characterizations of these maps, investigate their behavior…
We prove a $p$-adic analog of Kunz's theorem: a $p$-adically complete noetherian ring is regular exactly when it admits a faithfully flat map to a perfectoid ring. This result is deduced from a more precise statement on detecting finiteness…
We examine local cohomology in the setting of valuation rings. The novelty of this investigation stems from the fact that valuation rings are usually non-Noetherian, whereas local cohomology has been extensively developed mostly in a…
We investigate the local properties of Berkovich spaces over Z. Using Weierstrass theorems, we prove that the local rings of those spaces are noetherian, regular in the case of affine spaces and excellent. We also show that the structure…
In this article, we prove a strong version of local Bertini theorem for normality on local rings in mixed characteristic. The main result asserts that a generic hyperplane section of a normal, Cohen-Macaulay, and complete local domain of…
This paper purposes to characterize Noetherian local rings $(R, \mathfrak{m})$ such that the Chern numbers of certain $\mathfrak{m}$-primary ideals in $R$ bounded above or range among only finitely many values. Consequently, we characterize…
Let $(A,\mathfrak{m}, k=A/\mathfrak{m})$ be a noetherian local ring. Then it is equivalent $n = \dim A = \dim_k \mathfrak{m}/\mathfrak{m}^2$ and $\mathrm{Tor}^A_i(k,k) = 0$ for all $i \gg 0$. The article gives a proof with the…
The ring of Witt vectors over a perfect valuation ring of characteristic p, often denoted A_inf, plays a pivotal role in p-adic Hodge theory; for instance, Bhatt, Morrow, and Scholze have recently reinterpreted and refined the crystalline…
Let $R$ be a commutative Noetherian ring, $\fa$ an ideal of $R$, and let $M$ be a finitely generated $R$-module. For a non-negative integer $t$, we prove that $H_{\fa}^t(M)$ is $\fa$-cofinite whenever $H_{\fa}^t(M)$ is Artinian and…
A 2009 paper by Iacob and Iyengar characterizes noetherian regular rings in terms of properties of complexes of projective modules, flat modules, and injective modules. We show that the relevant properties of such complexes are equivalent…
We reinterpret various properties of Noetherian local rings via the existence of some $n$-ary numerical function satisfying certain uniform bounds. We provide such characterizations for seminormality, weak normality, generalized…