English
Related papers

Related papers: Formally regular rings and descent of regularity

200 papers

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…

Algebraic Geometry · Mathematics 2017-05-16 Stefan Schröer

We develop a sequential-topological study of rational points of schemes of finite type over local rings typical in higher dimensional number theory and algebraic geometry. These rings are certain types of multidimensional complete fields…

Algebraic Geometry · Mathematics 2012-03-02 Alberto Camara

We study Noether's normalization lemma for finitely generated algebras over a division algebra. In its classical form, the lemma states that if $I$ is a proper ideal of the ring $R=F[t_1,\ldots,t_n]$ of polynomials over a field $F$, then…

Rings and Algebras · Mathematics 2025-07-02 Elad Paran , Thieu N. Vo

Let $R$ be a commutative Noetherian ring, $\fa$ an ideal of $R$ and $\mathcal{D}(R)$ denote the derived category of $R$-modules. We investigate the theory of local homology in conjunction with Gorenstein flat modules. Let $X$ be a…

Commutative Algebra · Mathematics 2012-01-17 Fatemeh Mohammadi Aghjeh Mashhad , Kamran Divaani-Aazar

A noetherian form is an abstract self-dual framework suitable for establishing homomorphism theorems (such as the isomorphism theorems and homological diagram lemmas) for group-like structures. In this paper we identify and carry out an…

Category Theory · Mathematics 2025-01-29 Zurab Janelidze , Francois van Niekerk

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…

Commutative Algebra · Mathematics 2024-01-01 Clay Adams , Francesca Cantor , Anese Gashi , Semir Mujevic , Sejin Park , Austyn Simpson , Jenna Zomback

In this paper, we inspect a relatively unexplored notion of finite generation in semirings, namely semirings in which all congruences are finitely generated. Such semirings are dubbed Congruence Noetherian. After developing sufficient…

Rings and Algebras · Mathematics 2025-11-18 Snehinh Sen

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…

K-Theory and Homology · Mathematics 2023-11-01 Eugenia Ellis , Rafael Parra

We extend classical results of Rado on partition regularity of systems of linear equations with integer coefficients to the case when the coefficient ring is either an arbitrary integral domain or a noetherian ring. In particular, we show…

Combinatorics · Mathematics 2021-03-08 Jakub Byszewski , Elżbieta Krawczyk

We include short and elementary proofs of two theorems characterizing reductive group schemes over a discrete valuation ring, in a slightly more general context.

Number Theory · Mathematics 2007-05-23 Adrian Vasiu

We prove the Bloch-Ogus Theorem for regular local rings geometrically regular over a discrete valuation ring. In particular, we prove the Bloch-Ogus Theorem for regular local rings of mixed characteristic that are essentially smooth over a…

Algebraic Geometry · Mathematics 2026-03-31 Ivan Gaidai-Turlov

We prove two theorems on the vanishing of Ext over commutative Noetherian local rings. Our first theorem shows that there are no Burch ideals which are rigid over non-regular local domains. Our second theorem reformulates a conjecture of…

Commutative Algebra · Mathematics 2023-10-10 Olgur Celikbas , Souvik Dey , Toshinori Kobayashi , Hiroki Matsui , Arash Sadeghi

The aim of this paper is threefold: first, to prove that the endomorphism ring associated to a pure subring of a regular local ring is a noncommutative crepant resolution if it is maximal Cohen-Macaulay; second, to see that in that…

Rings and Algebras · Mathematics 2024-02-27 Takehiko Yasuda

We consider trace ideals in Noetherian rings and focus our attention to one-dimensional analytically irreducible local rings. For such rings we classify those Gorenstein rings which admit only a finite number of trace ideals.

Commutative Algebra · Mathematics 2021-12-09 Jürgen Herzog , Masoomeh Rahimbeigi

We study numerical regularities for complexes over noncommutative noetherian locally finite $\mathbb{N}$-graded algebras $A$ such as CM (cm)-regularity, Tor (tor)-regularity (Ext (ext)-regularity) and Ex (ex)-regularity, which are the…

Rings and Algebras · Mathematics 2025-08-19 Quanshui Wu , Bojuan Yi

We discuss projective equivalence of ideals in Noetherian rings and the existence or failure of existence of projectively full ideals. We describe connections with the Rees valuations and Rees integers of an ideal, and consider the question…

Commutative Algebra · Mathematics 2007-12-11 Catalin Ciuperca , William Heinzer , Jack Ratliff , David Rush

In this paper, the notion of rings with uniformly S-w-Noetherian spectrum is introduced. Several characterizations of rings with uniformly S-w-Noetherian spectrum are given. Actually, we show that a ring R has uniformly S-w-Noetherian…

Commutative Algebra · Mathematics 2025-09-05 Xiaolei Zhang

The purpose of this note is to verify that several basic rings appearing in transchromatic homotopy theory are Noetherian excellent normal domains and thus amenable to standard techniques from commutative algebra. In particular, we show…

Algebraic Topology · Mathematics 2017-11-17 Tobias Barthel , Nathaniel Stapleton

In a formally unmixed Noetherian local ring, if the colength and multiplicity of an integrally closed ideal agree, then $R$ is regular. We deduce this using the relationship between multiplicity and various ideal closure operations.

Commutative Algebra · Mathematics 2023-01-10 Linquan Ma , Pham Hung Quy , Ilya Smirnov

Let \pi : X -> S be a finite type morphism of noetherian schemes. A smooth formal embedding of X (over S) is a bijective closed immersion X -> \frak{X}, where \frak{X} is a noetherian formal scheme, formally smooth over S. An example of…

alg-geom · Mathematics 2008-02-03 Amnon Yekutieli