English
Related papers

Related papers: Noncatenary splinters in prime characteristic

200 papers

This paper establishes a second vanishing theorem for formal local cohomology modules over Noetherian local rings. We introduce the \textit{formal dimension} invariant and characterize the vanishing of higher formal local cohomology in…

Commutative Algebra · Mathematics 2025-08-08 Behruz Sadeqi

Bertin (1972) defined regularity for coherent local rings, and Knaf (2004) studied the property for a local ring $A$ essentially finitely presented over a valuation ring $V$. We discuss several properties of this notion of regularity for…

Commutative Algebra · Mathematics 2026-04-01 Shiji Lyu

We prove that, modulo any power of a prime $p$, the absolute integral closure of an excellent noetherian domain is Cohen-Macaulay. A graded analog is also established, yielding variants of Kodaira vanishing "up to finite covers" in mixed…

Algebraic Geometry · Mathematics 2021-10-05 Bhargav Bhatt

In this note, we study the Cohen-Macaulayness of non-Noetherian rings. We show that Hochster's celebrated theorem that a finitely generated normal semigroup ring is Cohen-Macaulay does not extend to non-Noetherian rings. We also show that…

Commutative Algebra · Mathematics 2019-01-14 Youngsu Kim , Andrew Walker

We survey noetherian rings $A$ over which the injective hull of every simple module is locally artinian. Then we give a general construction for algebras $A$ that do not have this property. In characteristic 0, we also complete the…

Rings and Algebras · Mathematics 2011-04-08 Ian M. Musson

We study the "q-commutative" power series ring R:=k_q[[x_1,...,x_n]], defined by the relations x_ix_j = q_{ij}x_j x_i, for multiplicatively antisymmetric scalars q_{ij} in a field k. Our results provide a detailed account of prime ideal…

Rings and Algebras · Mathematics 2010-03-16 Edward S. Letzter , Linhong Wang

An $F$-nilpotent local ring is a local ring $(R, \mathfrak{m})$ of prime characteristic defined by the nilpotence of the Frobenius action on its local cohomology modules $H^i_{\mathfrak{m}}(R)$. A singularity in characteristic zero is said…

Algebraic Geometry · Mathematics 2015-04-13 Vasudevan Srinivas , Shunsuke Takagi

Hironaka's characteristic polyhedron is an important combinatorial object reflecting the local nature of a singularity. We prove that it can be determined without passing to the completion if the local ring is a G-ring and if additionally…

Algebraic Geometry · Mathematics 2020-04-29 Vincent Cossart , Bernd Schober

Let $M$ be a finitely generated module on a local ring $R$ and $\F: M_0\subset M_1\subset...\subset M_t=M$ a filtration of submodules of $M$ such that $ d_o<d_1< ... <d_t=d$, where $d_i=\dim M_i$. This paper is concerned with a non-negative…

Commutative Algebra · Mathematics 2010-03-23 Nguyen Tu Cuong , Doan Trung Cuong , Hoang Le Truong

We prove a versions of amplitude inequalities of Iversen, Foxby and Iyengar, and Frankild and Sather-Wagstaff that replace finite generation conditions with adic finiteness conditions. As an application, we prove that a local ring $R$ of…

Commutative Algebra · Mathematics 2016-02-25 Sean Sather-Wagstaff , Richard Wicklein

Weak proregularity of an ideal in a commutative ring is a subtle generalization of the noetherian property of the ring. Weak proregularity is of special importance for the study of derived completion, and it occurs quite often in…

Commutative Algebra · Mathematics 2024-08-06 Amnon Yekutieli

We present a Lean 4 Mathlib formalization of Nagata's factoriality theorem: if R is a noetherian domain and S <= R is a prime-generated submonoid such that S^{-1}R is a UFD, then R itself is a UFD. The prime-generated hypothesis -- every…

Commutative Algebra · Mathematics 2026-04-08 Arthur F. Ramos , Ruy J. G. B. de Queiroz , Anjolina G. de Oliveira

We say that a commutative ring R satisfies the restricted minimum (RM) condition if for all essential ideals I in R, factor R/I is an Artinian ring. We will focus on Noetherian reduced rings because in this setting known results for RM…

Commutative Algebra · Mathematics 2024-12-16 Dominik Krasula

We consider nonhomogeneous fractional $p$-Laplace equations defined on a bounded nonsmooth domain which goes beyond the Lipschitz category. Under a sufficient flatness assumption on the domain in the sense of Reifenberg, we establish…

Analysis of PDEs · Mathematics 2025-08-19 Sun-Sig Byun , Kyeongbae Kim , Kyeong Song

In this article, we study the behaviour of smooth algebra $R$ over local Noetherian local ring $A$. At first, we observe that for every $f\in R$, $R_f$ has finite length in the category of $D(R,A)$-module if dimension of $A$ is zero. This…

Commutative Algebra · Mathematics 2015-12-16 Rajsekhar Bhattacharyya

We explore the behavior of the sectional genera of certain primary ideals in Noetherian local rings. In this paper, we provide characterizations of a Cohen-Macaulay local ring in terms of the sectional genera, the Cohen-Macaulay type, and…

Commutative Algebra · Mathematics 2022-06-13 Shinya Kumashiro , Hoang Le Truong , Hoang Ngoc Yen

We study mappings satisfying the inverse Poletsky-type inequality in a domain of the Euclidean space. Such inequalities are well known and play an important role in the study of quasiconformal and quasiregular mappings. We consider the case…

Complex Variables · Mathematics 2026-04-08 Zarina Kovba , Evgeny Sevost'yanov

In this note, finite modules locally of finite injective dimension over commutative Noetherian rings are characterized in terms of vanishing of Ext modules.

Commutative Algebra · Mathematics 2007-05-23 Ryo Takahashi

The aim of this article is to prove some results on the existence of an integral extension domain of a complete local Noetherian domain in mixed characteristic $p>0$ having certain distinguished properties with respect to the Frobenius map.…

Commutative Algebra · Mathematics 2017-04-25 Kazuma Shimomoto

Let $(R, \frak m)$ be a local ring of prime characteristic $p$ of dimension $d$ with the embedding dimension $v$. Suppose the Frobenius test exponent for parameter ideals $Fte(R)$ of $R$ is finite, and let $Q = p^{Fte(R)}$. It is shown that…

Commutative Algebra · Mathematics 2019-10-17 Duong Thi Huong , Pham Hung Quy