English
Related papers

Related papers: A sufficient condition for F-purity

200 papers

Let (R,m) be a local ring that contains a field. We show that, when R has equal characteristic p>0 and when H_m^i(R) has finite length for all i<dimR, then R is F-injective if and only if every ideal generated by a system of parameters is…

Commutative Algebra · Mathematics 2015-09-16 Linquan Ma

This paper shows the existence of ideals whose localizations and completions at prime ideals are parameter test ideals of the localized and completed rings. We do this for Cohen-Macaulay localizations (resp., completions) of non-local…

Commutative Algebra · Mathematics 2017-05-09 Mordechai Katzman , Serena Murru , Juan D. Velez , Wenliang Zhang

We demonstrate that the ring of invariants for the natural action of a subgroup G of GL_n(F_q) on a polynomial ring R=K[X_1,...,X_n] need not be F-pure. In these examples G is the symplectic group over a finite field, and the invariant…

Commutative Algebra · Mathematics 2007-05-23 Anurag K. Singh

Let (R,m) -> (S,n) be a flat local homomorphism of excellent local rings. We investigate the conditions under which the weak or strong F-regularity of R passes to S. We show that is suffices that the closed fiber S/mS be Gorenstein and…

Commutative Algebra · Mathematics 2007-05-23 Ian M. Aberbach

Let (R,m) be a noetherian local ring and let $\mathcal{C}$ be the class of all R-modules M which possess a reflexive submodule U such that M/U is finitely generated. For every R-module $M\in \mathcal{C}$ the canonical embedding $\varphi:…

Commutative Algebra · Mathematics 2014-03-25 Helmut Zöschinger

An element $a$ of a ring $R$ is called \emph{strongly $J$-clean} provided that there exists an idempotent $e\in R$ such that $a-e\in J(R)$ and $ae=ea$. A ring $R$ is \emph{strongly $J$-clean} in case every element in $R$ is strongly…

Rings and Algebras · Mathematics 2016-03-27 Orhan Gurgun , Sait Halıcıoglu , Abdullah Harmanci

Let $(R, {\frak m})$ be a local ring, $I$ a proper ideal of $R$ and $M$ a finitely generated $R$-module of dimension $d$. We discuss the local homology modules of $H^d_I(M)$. When $M$ is Cohen-Macaulay, it is proved that $H^d_{{\frak…

Commutative Algebra · Mathematics 2007-05-23 Zhongming Tang

Let $C \subset {\bf N}^d$ be an affine semigroup, and $R=K[C]$ its semigroup ring. This paper is a collection of various results on "$C$-graded" $R$-modules, especially, monomial ideals. For example, we show the following: If $R$ is normal…

Commutative Algebra · Mathematics 2007-05-23 Kohji Yanagawa

Let $(R, \mathfrak{m})$ be a regular local ring of characteristic $p > 0$. Among all proper ideals $\mathfrak{a}\subseteq R$ with a fixed order of vanishing $\text{ord}_{\mathfrak{m}}(\mathfrak{a})$, we classify the ideals for which the…

Commutative Algebra · Mathematics 2026-01-28 Benjamin Baily

For a reduced F-finite ring R of characteristic p >0 and q=p^e one can write R^{1/q} = R^{a_q} \oplus M_q, where M_q has no free direct summands over R. We investigate the structure of F-finite, F-pure rings R by studying how the numbers…

Commutative Algebra · Mathematics 2007-05-23 Ian M. Aberbach , Florian Enescu

Let R be an n-dimensional Cohen-Macaulay local ring and Q a parameter ideal of R. Suppose that an acyclic complex (F_{\bullet}, \varphi_{\bullet}) of length n of finitely generated free R-modules is given. We put M = Im \varphi_{1}, which…

Commutative Algebra · Mathematics 2013-12-13 Taro Inagawa

Quasi-socle ideals, that is the ideals $I$ of the form $I= Q : \mathfrak{m}^q$ in a Noetherian local ring $(A, \mathfrak{m})$ with the Gorenstein tangent cone $\mathrm{G}(\mathfrak{m}) = \bigoplus_{n \geq…

Commutative Algebra · Mathematics 2008-07-29 Shiro Goto , Satou Kimura , Naoyuki Matsuoka , Tran Thi Phuong

Given a one-dimensional Cohen-Macaulay local ring $(R,\mathfrak{m},k)$, we prove that it is almost Gorenstein if and only if $\mathfrak{m}$ is a canonical module of the ring $\mathfrak{m}:\mathfrak{m}$. Then, we generalize this result by…

Commutative Algebra · Mathematics 2020-04-07 Marco D'Anna , Francesco Strazzanti

Let $(R, {\mathfrak m})$ be a Noetherian local ring and let $I$ be an $R$-ideal. Inspired by the work of H\"ubl and Huneke, we look for conditions that guarantee the Cohen-Macaulayness of the special fiber ring ${\mathcal F}={\mathcal…

Commutative Algebra · Mathematics 2007-05-23 Alberto Corso , Laura Ghezzi , Claudia Polini , Bernd Ulrich

Let $(R,m, \kappa)$ be a local ring. We give a characterization of $R$-modules $M$ whose local cohomology is finite length up to some index in terms of asymptotic vanishing of Koszul cohomology on parameter ideals up to the same index. In…

Commutative Algebra · Mathematics 2018-10-19 Patricia Klein

We give a value for the $F$-pure threshold at the maximal homogeneous ideal $\mathfrak{m}$ of the symmetric determinantal ring over a field of prime characteristic. The answer is characteristic independent, so we immediately get the log…

Commutative Algebra · Mathematics 2025-08-26 Justin Fong

Given a local ring of positive prime characteristic there is a natural Frobenius action on its local cohomology modules with support at its maximal ideal. In this paper we study the local rings for which the local cohomology modules have…

Commutative Algebra · Mathematics 2008-09-12 Florian Enescu , Melvin Hochster

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…

Commutative Algebra · Mathematics 2024-01-18 Ian Aberbach , Craig Huneke , Thomas Polstra

Let R be a local complete ring. For an R-module M the canonical ring map R\to End_R(M) is in general neither injective nor surjective; we show that it is bijective for every local cohomology module M := H^h_I(R) if H^l_I(R) = 0 for every…

Commutative Algebra · Mathematics 2007-05-23 Michael Hellus , Juergen Stueckrad

Let $T$ be a local (Noetherian) ring and let $Q_1$ and $Q_2$ be prime ideals of $T$. We find sufficient conditions for there to exist a quasi-excellent local subring $B$ of $T$ satisfying the following conditions: (1) the completion of $B$…

Commutative Algebra · Mathematics 2024-07-08 Jackson Ehrenworth , S. Loepp