Related papers: Regular rings over valuation rings

Given a local noetherian ring $R$ whose formal completion is integral, we introduce and study the $p$-radical closure $R^\text{prc}$. Roughly speaking, this is the largest purely inseparable $R$-subalgebra inside the formal completion…

Let $R$ be a noetherian ring, $\fa$ an ideal of $R$, and $M$ an $R$--module. We prove that for a finite module $M$, if $\LC^{i}_{\fa}(M)$ is minimax for all $i\geq r\geq 1$, then $\LC^{i}_{\fa}(M)$ is artinian for $i\geq r$. A Local-global…

Let $D$ be a 2-dimensional regular local ring and let $Q(D)$ denote the quadratic tree of 2-dimensional regular local overrings of $D$. We examine the Noetherian rings that are intersections of rings in $Q(D)$. To do so, we describe the…

The Hilbert functions and the regularity of the graded components of local cohomology of a bigraded algebra are considered. Explicit bounds for these invariants are obtained for bigraded hypersurface rings.

We characterize K. Kato's log regularity in terms of vanishing of (co)homology of the logarithmic cotangent complex.

We explore the singularity classes $F$-nilpotent, weakly $F$-nilpotent, and generalized weakly $F$-nilpotent under faithfully flat local ring maps. As an application, we show that the loci of primes in a Noetherian ring of prime…

Let $ R $ be a $ d $-dimensional Cohen-Macaulay (CM) local ring of minimal multiplicity. Set $ S := R/({\bf f}) $, where $ {\bf f} := f_1,\ldots,f_c $ is an $ R $-regular sequence. Suppose $ M $ and $ N $ are maximal CM $ S $-modules. It is…

The authors establish a connection between the Quillen K-theory of certain local fields and the de Rham-Witt complex of their rings of integers with logarithmic poles at the maximal ideal. They consider fields K that are complete discrete…

Let $(R,\mathfrak{m},K)$ be an $F$-finite Noetherian local ring which has a canonical ideal $I \subsetneq R$. We prove that if $R$ is $S_2$ and $H^{d-1}_{\mathfrak{m}}(R/I)$ is a simple $R\{F\}$-module, then $R$ is a strongly $F$-regular…

We establish connections between the concepts of Noetherian, regular coherent, and regular n-coherent categories for Z-linear categories with finitely many objects and the corresponding notions for unital rings. These connections enable us…

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…

The study of rings and modules with homological criteria is a cornerstone of commutative algebra. Let $R$ be a commutative Noetherian ring with identity (not necessarily local) and $\frak a$ a proper ideal of $R$. In this paper, a relative…

The purpose of this article is to provide a new characterization of Cohen-Macaulay local rings. As a consequence we deduce that a local (Noetherian) ring $R$ is Gorenstein if and only if every parameter ideal of $R$ is irreducible.

We prove that if $X \to Y$ is a (geometrically) regular morphism of Noetherian schemes, then from a Nisnevich-local perspective, the Gersten complex for Quillen $K$-theory on $X$ becomes acyclic in degrees beyond the Krull dimension of $Y$.…

Let $R$ be a commutative Noetherian ring and $\fa$ an ideal of $R$. We intend to establish the dual of two Faltings' Theorems for local homology modules of an Artinian module. As a consequence of this, we show that, if $A$ is an Artinian…

Let B be a ring and $A=B[X,Y]/(aX^2+bXY+cY^2-1)$ where $a,b,c\in B$. We study the smoothness of A over B, and the regularity of B when B is a ring of algebraic integers.

We give an 'arithmetic regularity lemma' for groups definable in finite fields, analogous to Tao's 'algebraic regularity lemma' for graphs definable in finite fields. More specifically, we show that, for any $M>0$, any finite field…

We show that for a coconnective ring spectrum satisfying regularity and flatness assumptions, its algebraic K-theory agrees with that of its $\pi_0$. We prove this as a consequence of a more general devissage result for stable infinity…

We prove that the generic quantized coordinate ring $\mathcal{O}_q(G)$ is Auslander-regular, Cohen-Macaulay, and catenary for every connected semisimple Lie group $G$. This answers questions raised by Brown, Lenagan, and the first author.…

This paper illustrates the richness of the concept of regular sets of time bounds and demonstrates its application to problems of computational complexity. There is a universe of bounds whose regular subsets allow to represent several time…