相关论文: Regular rings and perfectoid towers

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)…

A commutative Noetherian ring $R$ is said to be Tor-persistent if, for any finitely generated $R$-module $M$, the vanishing of $\operatorname{Tor}_i^R(M,M)$ for $i\gg 0$ implies $M$ has finite projective dimension. An open question of…

We prove some results on the structure of ind-pro completions of Noetherian rings along flags of prime ideals. In particular, we compute the Krull dimension and deduce the criterion on semilocality in the case of essentially of finite type…

We provide a natural criterion which implies equality of the finitistic test ideal and test ideal in local rings of prime characteristic. Most notably, we show that the criterion is met by every local weakly $F$-regular ring whose…

Let $\mathcal{P}$ be the class of rings for which every indecomposable right module is pure-projective or pure-injective. When $R$ is a Noetherian local commutative ring of maximal ideal $P$, it is proven that $R\in\mathcal{P}$ if and only…

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…

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…

Let $R$ be a commutative Noetherian local ring with residue field $k$. We show that if a finite direct sum of syzygy modules of $k$ surjects onto `a semidualizing module' or `a non-zero maximal Cohen-Macaulay module of finite injective…

We say an excellent local domain $(S,n)$ satisfies the vanishing conditions for maps of Tor, if for every $A\to R\to S$ with $A$ regular and $A\to R$ module-finite torsion-free extension, and every $A$-module $M$, the map $Tor^A_i(M, R)\to…

We present a unified construction of perfectoid towers from specific prisms which covers all the previous constructions of (p-torsion-free) perfectoid towers. By virtue of the construction, perfectoid towers can be systematically…

We prove that a local domain $R$, essentially of finite type over a field, is regular if and only if for every regular alteration $\pi : X \to Spec R$, we have that $R \pi_* \mathcal{O}_X$ has finite (equivalently zero in characteristic…

In this note, we provide several characterizations of regular local rings in positive characteristics, in terms of the Hilbert-Kunz multiplicity and its higher $\tor$ counterparts $\i t_i=\underset{n \to \infty}{\lim} \l(\tor_i(k,{}^{f^n}…

Let p be a prime ideal in a commutative noetherian ring R and denote by k(p) the residue field of the local ring R_p. We prove that if an R-module M satisfies Ext_R^n(k(p),M) = 0 for some n >= dim R, then Ext_R^i(k(p),M) = 0 holds for all i…

We show that for a Noetherian ring $A$ that is $I$-adically complete for an ideal $I$, if $A/I$ admits a dualizing complex, so does $A$. This gives an alternative proof of the fact that a Noetherian complete local ring admits a dualizing…

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…

Using perfectoid algebras, we introduce a mixed characteristic analog of the multiplier ideal, respectively test ideal, from characteristic zero, respectively $p > 0$, in the case of a regular ambient ring. We prove several properties about…

The primary goal of this paper is to investigate the structure of irreducible monomorphisms to and irreducible epimorphisms from finitely generated free modules over a noetherian local ring. Then we show that over such a ring,…

Let M be a filtered module. Some properties of elements of M are "generic" in the following sense: (being open/stable) if an element z of M has a property P then any approximation of z has P; (being dense) any element of M is approximated…

We introduce a certain class of so-called perfectoid rings and spaces, which give a natural framework for Faltings' almost purity theorem, and for which there is a natural tilting operation which exchanges characteristic 0 and…

In this paper, sufficient conditions for finitely generated modules over a commutative noetherian ring to be projective are given in terms of vanishing of Ext modules. One of the main results of this paper asserts that the Auslander--Reiten…