On the Equality of Test Ideals

Ian Aberbach,Craig Huneke,Thomas Polstra

2024-01-17

Abstract: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 anti-canonical algebra is Noetherian on the punctured spectrum.

Commutative Algebra,Algebraic Geometry

What problem does this paper attempt to address?

On the equality of test ideals

Ian Aberbach,Craig Huneke,Thomas Polstra

DOI: https://doi.org/10.1016/j.aim.2024.109559

IF: 1.675

2024-04-01

Advances in Mathematics

Abstract:We provide a natural criterion that implies equality of the test ideal and big 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 anti-canonical algebra is Noetherian on the punctured spectrum.

mathematics
Test ideals in mixed characteristic: a unified theory up to perturbation

Bhargav Bhatt,Linquan Ma,Zsolt Patakfalvi,Karl Schwede,Kevin Tucker,Joe Waldron,Jakub Witaszek

2024-01-01

Abstract:Let $X$ be an integral scheme of finite type over a complete DVR of mixed characteristic. We provide a definition of a test ideal which agrees with the multiplier ideal after inverting $p$, can be computed from a sufficiently large alteration, agrees with previous mixed characteristic BCM test ideals after localizing and completing at any point of residue characteristic $p$ (up to small perturbation), and which satisfies the full suite of expected properties of a multiplier or test ideal. This object is obtained via the $p$-adic Riemann-Hilbert functor.

Algebraic Geometry,Commutative Algebra
Test elements, excellent rings, and content functions

Neil Epstein

DOI: https://doi.org/10.48550/arXiv.2103.06452

2022-03-04

Abstract:Broadening existing results in the literature to much wider classes of rings, we prove among other things: 1. Reduced quotients of excellent regular rings of characteristic $p$ admit big test elements, 2. The set of F-jumping numbers of a principal ideal in a locally excellent regular ring is a discrete subset of $\mathbb Q$, and 3. If $R$ is a quotient of a locally excellent regular ring of prime characteristic, then there is a uniform upper bound on the Hartshorne-Speiser-Lyubeznik numbers of the injective hulls of the residue fields of $R$. To do so, we develop the parallel theories of Ohm-Rush and intersection flat algebras. We show that both properties can be checked locally in flat maps of Noetherian rings. We show that intersection-flatness admits a content theory parallel to that of Ohm-Rush content for Ohm-Rush algebras. We develop descent results for these properties. Using the descent result for intersection flatness, we obtain a local condition under which a faithfully flat map of Noetherian rings must be intersection-flat. The local condition for intersection-flatness allows us to conclude that finitely generated faithfully flat algebras over a Noetherian ring are intersection-flat. Combining the local condition for intersection flatness with results of Kunz and Radu yields the conclusion that the Frobenius endomorphism associated to a locally excellent regular ring of prime characteristic is intersection-flat, thus answering a question of Sharp. Applications of the latter result include the three enumerated results above. We also get applications to tight closure and parameter test ideals.

Commutative Algebra
When is tight closure determined by the test ideal?

Janet C. Vassilev,Adela N. Vraciu

DOI: https://doi.org/10.48550/arXiv.0809.1891

2008-09-11

Abstract:We characterize the rings in which the equality $(\tau I:\tau)= I^*$ holds for every ideal $I \subset R$. Under certain assumptions, these rings must be either weakly F-regular or one-dimensional.

Commutative Algebra
Ideals and their Fitting ideals

David Eisenbud,Antonino Ficarra,Jürgen Herzog,Somayeh Moradi

2024-01-01

Abstract:For an ideal $I$ in a Noetherian ring $R$, the Fitting ideals $\textrm{Fitt}_j(I)$ are studied. We discuss the question of when $\textrm{Fitt}_j(I)=I$ or $\sqrt{\textrm{Fitt}_j(I)}=\sqrt{I}$ for some $j$. A classical case is the Hilbert-Burch theorem when $j=1$ and $I$ is a perfect ideal of grade $2$ in a local ring.

Commutative Algebra
On set theoretically and cohomologically complete intersection ideals

Majid eghbali

DOI: https://doi.org/10.4153/CMB-2014-022-7

2014-04-03

Abstract:Let $(R,\fm)$ be a local ring and $\fa$ be an ideal of $R$. The inequalities $$\begin{array}{ll} \ \Ht(\fa) \leq \cd(\fa,R) \leq \ara(\fa) \leq l(\fa) \leq \mu(\fa) \end{array}$$ are known. It is an interesting and long-standing problem to find out the cases giving equality. Thanks to the formal grade we give conditions in which the above inequalities become equalities.

Commutative Algebra
The lattice of ideals of certain rings

Diana Savin

2024-08-29

Abstract:Let $A$ be a unitary ring and let $(\mathbf{I(A),\subseteq })$ be the lattice of ideals of the ring $A.$ In this article we will study the property of the lattice $(\mathbf{I(A),\subseteq})$ to be Noetherian or not, for various types of rings $A$. In the last section of the article we study certain rings that are not Boolean rings, but all their ideals are idempotent.

Commutative Algebra,Logic,Number Theory
On ideals in quantales -- I

Amartya Goswami

2023-08-06

Abstract:Taking a ring-theoretic perspective as our motivation, the main aim of this series is to establish a comprehensive theory of ideals in commutative quantales with an identity element. This particular article focuses on an examination of several key properties related to ideals in quantale, including prime, semiprime, radical, primary, irreducible, and strongly irreducible ideals. Furthermore, we investigate the primary decomposition problem for quantale ideals. In conclusion, we present a set of future directions for further exploration, serving as a natural continuation of this article.

Rings and Algebras
Purity for Perfectoidness

Tongmu He

2024-05-07

Abstract:There has been a long-standing question about whether being perfectoid for an algebra is local in the analytic topology. We provide affirmative answers for the algebras (e.g., over $\overline{\mathbb{Z}_p}$) whose spectra are inverse limits of semi-stable affine schemes. In fact, we established a valuative criterion for such an algebra being perfectoid, saying that it suffices to check the perfectoidness of the stalks of the associated Riemann-Zariski space. Combining with Gabber-Ramero's computation of differentials of valuation rings, we obtain a differential criterion for perfectoidness. We also establish a purity result for perfectoidness when the limit preserves generic points of the special fibres.

Algebraic Geometry,Number Theory
The ideal theory of intersections of prime divisors dominating a normal Noetherian local domain of dimension two

Bruce Olberding,William Heinzer

2023-06-14

Abstract:Let $R$ be a normal Noetherian local domain of Krull dimension two. We examine intersections of rank one discrete valuation rings that birationally dominate $R$. We restrict to the class of prime divisors that dominate $R$ and show that if a collection of such prime divisors is taken below a certain ``level,'' then the intersection is an almost Dedekind domain having the property that every nonzero ideal can be represented uniquely as an irredundant intersection of powers of maximal ideals.

Commutative Algebra
Eisenstein integers and equilateral ideal triangles

Greg McShane

2024-03-21

Abstract:We discuss the relationship between Penner's $\lambda$-length and the norms of Eisenstein integers. This leads to a geometric proof of the fact, attributed to Fermat, that every prime $p$ of the form $3k + 1$ is the norm of an Eisenstein integer that is can be written as $a^2 - ab + b^2$ for some $a,b \in \mathbb{Z}$.

Geometric Topology
Equality of Ordinary and Symbolic Powers of Some Classes of Monomial Ideals

Kanoy Kumar Das

DOI: https://doi.org/10.1007/s00373-023-02740-x

2024-01-20

Graphs and Combinatorics

Abstract:In this article, our aim is to extend the class of monomial ideals for which symbolic and ordinary powers coincide. This property has been characterized for the class of edge ideals of simple graphs, and in this article, we study a completely new class of monomial ideals associated to simple graphs, namely the class of generalized edge ideals. We give a complete description of the primary components associated to the minimal associated primes of these ideals. Using this description, and assuming some conditions on the relative weights, we completely characterize the equality of ordinary and symbolic powers of generalized edge ideals. After that, we also characterize generalized edge ideals of the 3-cycle for which this equality holds.

mathematics
Ideals in quantales, II

Amartya Goswami

2023-08-12

Abstract:As a natural extension of the ongoing development of a theory of ideals in commutative quantales with an identity element, this article aims to study into the analysis of certain topological properties exhibited by distinguished classes of ideals. These ideals are equipped with quantale topologies. The primary objectives encompass characterizing quantale spaces exhibiting sobriety, examining several conditions pertaining to quasi-compactness, and demonstrating that quantale spaces comprised of proper ideals adhere to the spectral properties as defined by Hochster. We introduce the notion of a strongly disconnected spaces and show that for a quantale with zero Jacobson radical, strongly disconnected quantale spaces containing all maximal ideals of the quantale imply existence of non-trivial idempotent elements in the quantale. Additionally, a sufficient criterion for establishing the connectedness of a quantale space is presented. Finally, we discuss on continuous maps between quantale spaces.

General Topology
Some inequalities regarding the regularity of powers of monomial ideals

S. A. Seyed Fakhari

2024-01-23

Abstract:We prove some inequalities regarding the Castelnuovo--Mumford regularity of symbolic powers and integral closure of powers of monomial ideals.

Commutative Algebra,Combinatorics
Regular Ideals, Ideal Intersections, and Quotients

Jonathan H. Brown,Adam H. Fuller,David R. Pitts,Sarah A. Reznikoff

DOI: https://doi.org/10.1007/s00020-023-02753-4

2024-01-30

Integral Equations and Operator Theory

Abstract:Let be an inclusion of -algebras. We study the relationship between the regular ideals of B and regular ideals of A . We show that if is a regular -inclusion and there is a faithful invariant conditional expectation from A onto B , then there is an isomorphism between the lattice of regular ideals of A and invariant regular ideals of B . We study properties of inclusions preserved under quotients by regular ideals. This includes showing that if is a Cartan inclusion and J is a regular ideal in A , then is a Cartan subalgebra of A / J . We provide a description of regular ideals in the reduced crossed product of a C -algebra by a discrete group.

mathematics
When are trace ideals finite?

Shinya Kumashiro

2023-07-30

Abstract:In this paper, we study Noetherian local rings $R$ having a finite number of trace ideals. We proved that such rings are of dimension at most two. Furthermore, if the integral closure of $R/H$, where $H$ is the zeroth local cohomology, is equi-dimensional, then the dimension of $R$ is at most one. In the one-dimensional case, we can reduce to the situation that rings are Cohen-Macaulay. Then, we give a necessary condition to have a finite number of trace ideals in terms of the value set obtained by the canonical module. We also gave the correspondence between trace ideals of $R$ and those of the endomorphism algebra of the maximal ideal of $R$ when $R$ has minimal multiplicity.

Commutative Algebra
Tight Hilbert Polynomial and F-rational local rings

Saipriya Dubey,Pham Hung Quy,Jugal Verma

2023-10-07

Abstract:Let $(R,\mathfrak{m})$ be a Noetherian local ring of prime characteristic $p$ and $Q$ be an $\mathfrak{m}$-primary parameter ideal. We give criteria for F-rationality of $R$ using the tight Hilbert function $H^*_Q(n)=\ell(R/(Q^n)^*$ and the coefficient $e_1^*(Q)$ of the tight Hilbert polynomial $P^*_Q(n)=\sum_{i=0}^d(-1)^ie_i^*(Q)\binom{n+d-1-i}{d-i}.$ We obtain a lower bound for the tight Hilbert function of $Q$ for equidimensional excellent local rings that generalises a result of Goto and Nakamura. We show that if $\dim R=2 $, the Hochster-Huneke graph of $R$ is connected and this lower bound is achieved then $R$ is F-rational. Craig Huneke asked if the $F$-rationality of unmixed local rings may be characterized by the vanishing of $e_1^*(Q).$ We construct examples to show that without additional conditions, this is not possible. Let $R$ be an excellent, reduced, equidimensional Noetherian local ring and $Q$ be generated by parameter test elements. We find formulas for $e_1^*(Q), e_2^*(Q), \ldots, e_d^*(Q)$ in terms of Hilbert coefficients of $Q$, lengths of local cohomology modules of $R,$ and the length of the tight closure of the zero submodule of $H^d_{\mathfrak{m}}(R).$ Using these we prove: $R$ is F-rational $\Leftrightarrow e_1^*(Q)=e_1(Q) \Leftrightarrow$ depth $R\geq 2$ and $e_1^*(Q)=0.$

Commutative Algebra
Commutative rings with every non-maximal ideal finitely generated

Souvik Dey

DOI: https://doi.org/10.48550/arXiv.1806.03735

2018-07-09

Abstract:In commutative ring theory, there is a theorem of Cohen which states that if in a commutative ring all prime ideals are finitely generated then every ideal is finitely generated. However, it is known that having only maximal ideals finitely generated doesn't imply all ideals be finitely generated. In his article we ask the question that what happens if we assume all non-maximal ideals are finitely generated, and we answer the question by showing that indeed then all maximal ideals are also finitely generated i.e. the ring becomes Noetherian.

Commutative Algebra
Asymptotic colengths for families of ideals: an analytic approach

Sudipta Das,Cheng Meng

2024-10-16

Abstract:This article focuses on the existence of asymptotic colengths for families of $\fm_{R}$-primary ideals in a Noetherian local ring $(R,\fm)$. In any characteristic, we generalize graded families to weakly graded families of ideals, and in prime characteristic, we explore various families such as weakly $p$-families and weakly inverse $p$-families. The main contribution of this paper is providing a unified analytic method to prove the existence of limits. Additionally, we establish Brunn-Minkowski type inequalities, positivity results, and volume = multiplicity formulas for these families of ideals.

Commutative Algebra
Some properties of ideals in Cohen-Macaulay local rings

Richard F. Bartels

2024-10-15

Abstract:For a Cohen-Macaulay local ring $(R,\mathfrak{m})$ with canonical module, we study how relations between $\text{index}(R)$ and $\text{g}\ell\ell(R)$ and between $\text{index}(R)$ and $e(R)$ are preserved when factoring out regular sequences and localizing at prime ideals. We then give conditions for when ideals in a one-dimensional Cohen-Macaulay local ring are Elias and Burch, and use these conditions to study the relationship between Elias, Burch, and Ulrich ideals.

Commutative Algebra

On the Equality of Test Ideals

On the equality of test ideals

Test ideals in mixed characteristic: a unified theory up to perturbation

Test elements, excellent rings, and content functions

When is tight closure determined by the test ideal?

Ideals and their Fitting ideals

On set theoretically and cohomologically complete intersection ideals

The lattice of ideals of certain rings

On ideals in quantales -- I

Purity for Perfectoidness

The ideal theory of intersections of prime divisors dominating a normal Noetherian local domain of dimension two

Eisenstein integers and equilateral ideal triangles

Equality of Ordinary and Symbolic Powers of Some Classes of Monomial Ideals

Ideals in quantales, II

Some inequalities regarding the regularity of powers of monomial ideals

Regular Ideals, Ideal Intersections, and Quotients

When are trace ideals finite?

Tight Hilbert Polynomial and F-rational local rings

Commutative rings with every non-maximal ideal finitely generated

Asymptotic colengths for families of ideals: an analytic approach

Some properties of ideals in Cohen-Macaulay local rings