Showing 1–19 of 19 results for author: Aberbach, I

Bounds for the Hilbert-Kunz Multiplicity of Singular Rings

Authors: Ian M. Aberbach, Nicholas O Cox-Steib

Abstract: In this paper we prove that the Watanabe-Yoshida conjecture holds up to dimension $7$. Our primary new tool is a function, $\varphi_J\left(R; z^t\right),$ that interpolates between the Hilbert-Kunz multiplicities of a base ring, $R$, and various radical extensions, $R_n$. We prove that this function is concave and show that it's rate of growth is related to the size of $e_{HK}\left(R\right)$. We c… ▽ More In this paper we prove that the Watanabe-Yoshida conjecture holds up to dimension $7$. Our primary new tool is a function, $\varphi_J\left(R; z^t\right),$ that interpolates between the Hilbert-Kunz multiplicities of a base ring, $R$, and various radical extensions, $R_n$. We prove that this function is concave and show that it's rate of growth is related to the size of $e_{HK}\left(R\right)$. We combine several known techniques to get effective lower bounds for $\varphi,$ which translate to improved bounds on the size of Hilbert-Kunz multiplicities of singular rings. The improved inequalities are powerful enough to show that the conjecture of Watanabe and Yoshida holds in dimension $7$. △ Less

Submitted 9 February, 2024; v1 submitted 8 February, 2024; originally announced February 2024.

Comments: 31 pages; accepted for publication in Acta Mathematica Vietnamica

MSC Class: 13A35; 13D40 (Primary) 13B02; 14B05 (Secondary)

On the Equality of Test Ideals

Authors: Ian Aberbach, Craig Huneke, Thomas Polstra

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. 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. △ Less

Submitted 16 January, 2024; v1 submitted 5 January, 2023; originally announced January 2023.

Comments: Comments welcome. arXiv admin note: substantial text overlap with arXiv:1909.11231

Local cohomology bounds and test ideals

Authors: Ian Aberbach, Thomas Polstra

Abstract: We find sufficient conditions which imply equality of the finitistic test ideal and test ideal in rings of prime characteristic. Utilizing recent progress from the prime characteristic minimal model program we equate the notions of $F$-regular and strongly $F$-regular for 4-dimensional rings essentially of finite type over a field of prime characteristic $p>5$. We find sufficient conditions which imply equality of the finitistic test ideal and test ideal in rings of prime characteristic. Utilizing recent progress from the prime characteristic minimal model program we equate the notions of $F$-regular and strongly $F$-regular for 4-dimensional rings essentially of finite type over a field of prime characteristic $p>5$. △ Less

Submitted 13 March, 2021; v1 submitted 24 September, 2019; originally announced September 2019.

Frobenius Betti numbers and syzygies of finite length modules

Authors: Ian M. Aberbach, Parangama Sarkar

Abstract: Let $(R,\mathfrak m)$ be a local (Noetherian) ring of dimension $d$ and $M$ a finite length $R$-module with free resolution $G_\bullet$. De Stefani, Huneke, and Núñez-Betancourt explored two questions about the properties of resolutions of $M$. First, in characteristic $p>0$, what vanishing conditions on the Frobenius Betti numbers,… ▽ More Let $(R,\mathfrak m)$ be a local (Noetherian) ring of dimension $d$ and $M$ a finite length $R$-module with free resolution $G_\bullet$. De Stefani, Huneke, and Núñez-Betancourt explored two questions about the properties of resolutions of $M$. First, in characteristic $p>0$, what vanishing conditions on the Frobenius Betti numbers, $β_i^F(M, R) : = \lim_{e \to \infty} λ(H_i(F^e(G_\bullet)))/p^{ed}$, force pd$_R M < \infty$. Second, if pd$_R M = \infty $, does this force $d+2$nd or higher syzygies of $M$ to have infinite length. For the first question, they showed, under rather restrictive hypotheses, that $d+1$ consecutive vanishing Frobenius Betti numbers forces pd$_R M < \infty$. And when $d=1$ and $R$ is CM then one vanishing Frobenius Betti number suffices. Using properties of stably phantom homology, we show that these results hold in general, i.e., $d+1$ consecutive vanishing Frobenius Betti numbers force pd$_R M < \infty$, and, under the hypothesis that $R$ is CM, $d$ consecutive vanishing Frobenius Betti numbers suffice. For the second question, they obtain very interesting results when $d=1$. In particular, no third syzygy of $M$ can have finite length. Their main tool is, if $d=1$, to show, if the syzygy has a finite length, then it is an alternating sum of lengths of Tors. We are able to prove this fact for rings of arbitrary dimension, which allows us to show that if $d=2$, no third syzygy of $M$ can be finite length! We also are able to show that the question has a positive answer if the dimension of the socle of $H^0_{\mathfrak m}(R)$ is large relative to the rest of the module, generalizing the case of Buchsbaum rings. △ Less

Submitted 14 January, 2020; v1 submitted 5 October, 2018; originally announced October 2018.

Comments: 15 pages, Final version, to appear in Proc. Amer. Math. Soc

Uniform Artin-Rees Bounds for Syzygies

Authors: Ian M. Aberbach, Aline Hosry, Janet Striuli

Abstract: Let $(R,m)$ be a local Noetherian ring, let $M$ be a finitely generated $R$-module and let $(F_{\bullet},\partial_{\bullet})$ be a free resolution of $M$. We find a uniform bound $h$ such that the Artin-Rees containment $I^n F_i\cap Im \, \partial_{i+1} \subseteq I^{n-h} Im \, \partial_{i+1}$ holds for all integers $i\ge d$, for all integers $n\ge h$, and for all ideals $I$ of $R$. In fact, we sho… ▽ More Let $(R,m)$ be a local Noetherian ring, let $M$ be a finitely generated $R$-module and let $(F_{\bullet},\partial_{\bullet})$ be a free resolution of $M$. We find a uniform bound $h$ such that the Artin-Rees containment $I^n F_i\cap Im \, \partial_{i+1} \subseteq I^{n-h} Im \, \partial_{i+1}$ holds for all integers $i\ge d$, for all integers $n\ge h$, and for all ideals $I$ of $R$. In fact, we show that a considerably stronger statement holds. The uniform bound $h$ holds for all ideals and all resolutions of $d$th syzygy modules. In order to prove our statements, we introduce the concept of Koszul annihilating sequences. △ Less

Submitted 11 June, 2014; originally announced June 2014.

Comments: 14 pages

New estimates of Hilbert-Kunz multiplicities for local rings of fixed dimension

Authors: Ian M. Aberbach, Florian Enescu

Abstract: We present results on the Watanabe-Yoshida conjecture for the Hilbert-Kunz multiplicity of a local ring of positive characteristic. By improving on a "volume estimate" giving a lower bound for Hilbert-Kunz multiplicity, we obtain the conjecture when the ring either has Hilbert-Samuel multiplicity less than or equal to five, or dimension less than or equal to six. For non-regular rings with fixed d… ▽ More We present results on the Watanabe-Yoshida conjecture for the Hilbert-Kunz multiplicity of a local ring of positive characteristic. By improving on a "volume estimate" giving a lower bound for Hilbert-Kunz multiplicity, we obtain the conjecture when the ring either has Hilbert-Samuel multiplicity less than or equal to five, or dimension less than or equal to six. For non-regular rings with fixed dimension, a new lower bound for the Hilbert-Kunz multiplicity is obtained. △ Less

Submitted 5 December, 2012; v1 submitted 26 January, 2011; originally announced January 2011.

Comments: minor corrections, final version, accepted for publication in Nagoya Math Journal

Journal ref: Nagoya Math. J. 212 (2013), 59-85

A Less Restrictive Briançon-Skoda Theorem with Coefficients

Authors: Ian M. Aberbach, Aline Hosry

Abstract: The Briançon-Skoda theorem in its many versions has been studied by algebraists for several decades. In this paper, under some assumptions on an F-rational local ring $(R,\m)$, and an ideal $I$ of $R$ of analytic spread $\ell$ and height $g < \ell$, we improve on two theorems by Aberbach and Huneke. Let $J$ be a reduction of $I$. We first give results on when the integral closure of $I^\ell$ is co… ▽ More The Briançon-Skoda theorem in its many versions has been studied by algebraists for several decades. In this paper, under some assumptions on an F-rational local ring $(R,\m)$, and an ideal $I$ of $R$ of analytic spread $\ell$ and height $g < \ell$, we improve on two theorems by Aberbach and Huneke. Let $J$ be a reduction of $I$. We first give results on when the integral closure of $I^\ell$ is contained in the product $J I_{\ell-1}$, where $I_{\ell-1}$ is the intersection of the primary components of $I$ of height $\leq \ell-1$. In the case that $R$ is also Gorenstein, we give results on when the integral closure of $I^{\ell-1}$ is contained in $J$. △ Less

Submitted 6 October, 2010; originally announced October 2010.

Comments: 8 pages

Journal ref: Journal of Algebra, 345 (2011), 72-80

The Briançon-Skoda Theorem and Coefficient Ideals for Non m-Primary Ideals

Authors: Ian M. Aberbach, Aline Hosry

Abstract: We generalize a Briançon-Skoda type theorem first studied by Aberbach and Huneke. With some conditions on a regular local ring $(R,\m)$ containing a field, and an ideal $I$ of $R$ with analytic spread $\ell$ and a minimal reduction $J$, we prove that for all $w \geq -1$, $ \bar{I^{\ell+w}} \subseteq J^{w+1} \mathfrak{a} (I,J),$ where $\mathfrak{a}(I,J)$ is the coefficient ideal of $I$ relative to… ▽ More We generalize a Briançon-Skoda type theorem first studied by Aberbach and Huneke. With some conditions on a regular local ring $(R,\m)$ containing a field, and an ideal $I$ of $R$ with analytic spread $\ell$ and a minimal reduction $J$, we prove that for all $w \geq -1$, $ \bar{I^{\ell+w}} \subseteq J^{w+1} \mathfrak{a} (I,J),$ where $\mathfrak{a}(I,J)$ is the coefficient ideal of $I$ relative to $J$, i.e. the largest ideal $\mathfrak{b}$ such that $I\mathfrak{b}=J\mathfrak{b}$. Previously, this result was known only for $\m$-primary ideals. △ Less

Submitted 3 November, 2010; v1 submitted 6 October, 2010; originally announced October 2010.

Comments: 5 pages. To appear in Proc. Amer. Math. Soc

Journal ref: Proc. Amer. Math. Soc., 139 (2011), 3903-3907

Asymptotic vanishing conditions which force regularity in local rings of prime characteristic

Authors: Ian Aberbach, Jinjia Li

Abstract: Let $(R,\m,k)$ be a local (Noetherian) ring of positive prime characteristic $p$ and dimension $d$. Let $G_\dt$ be a minimal resolution of the residue field $k$, and for each $i\ge 0$, let $\gothic t_i(R) = \lim_{e\to \8} {\length(H_i(F^e(G_\dt)))}/{p^{ed}}$. We show that if $\gothic t_i(R) = 0$ for some $i>0$, then $R$ is a regular local ring. Using the same method, we are also able to show tha… ▽ More Let $(R,\m,k)$ be a local (Noetherian) ring of positive prime characteristic $p$ and dimension $d$. Let $G_\dt$ be a minimal resolution of the residue field $k$, and for each $i\ge 0$, let $\gothic t_i(R) = \lim_{e\to \8} {\length(H_i(F^e(G_\dt)))}/{p^{ed}}$. We show that if $\gothic t_i(R) = 0$ for some $i>0$, then $R$ is a regular local ring. Using the same method, we are also able to show that if $R$ is an excellent local domain and $\Tor_i^R(k,R^+) = 0$ for some $i>0$, then $R$ is regular (where $R^+$ is the absolute integral closure of $R$). Both of the two results were previously known only for $i = 1$ or 2 via completely different methods. △ Less

Submitted 22 October, 2007; originally announced October 2007.

Comments: 6 pages

MSC Class: 13A35

Lower bounds for Hilbert-Kunz multiplicities in local rings of fixed dimension

Authors: Ian M. Aberbach, Florian Enescu

Abstract: Let $(R,\m)$ be a formally unmixed local ring of positive prime characteristic and dimension $d$. We examine the implications of having small Hilbert-Kunz multiplicity (i.e., close to 1). In particular, we show that if $R$ is not regular, there exists a lower bound, strictly greater than one, depending only on $d$, for its Hilbert-Kunz multiplicity. Let $(R,\m)$ be a formally unmixed local ring of positive prime characteristic and dimension $d$. We examine the implications of having small Hilbert-Kunz multiplicity (i.e., close to 1). In particular, we show that if $R$ is not regular, there exists a lower bound, strictly greater than one, depending only on $d$, for its Hilbert-Kunz multiplicity. △ Less

Submitted 4 April, 2008; v1 submitted 3 August, 2007; originally announced August 2007.

Comments: 14 pages, to appear in Michigan Math Journal; a number of corrections were performed according to the referee's comments, including a weakening of Corollary 3.10 which led to a small change in the lower bound in Theorem 4.12

MSC Class: 13A35

When does the F-signature exist?

Authors: Ian M. Aberbach, Florian Enescu

Abstract: We show that the F-signature of an F-finite local ring R of characteristic p >0 exists when R is either the localization of an $\mathbf{N}$-graded ring at its irrelevant ideal or $\mathbf{Q}$-Gorenstein on its punctured spectrum. This extends results by Huneke, Leuschke, Yao and Singh and proves the existence of the F-signature in the cases where weak F-regularity is known to be equivalent to st… ▽ More We show that the F-signature of an F-finite local ring R of characteristic p >0 exists when R is either the localization of an $\mathbf{N}$-graded ring at its irrelevant ideal or $\mathbf{Q}$-Gorenstein on its punctured spectrum. This extends results by Huneke, Leuschke, Yao and Singh and proves the existence of the F-signature in the cases where weak F-regularity is known to be equivalent to strong F-regularity. △ Less

Submitted 16 February, 2005; originally announced February 2005.

Comments: 6 pages, to appear in Ann. Fac. Sci. Toulouse Math. (6)

MSC Class: 13A35

Homology multipliers and the relation type of parameter ideals

Authors: Ian M. Aberbach, Laura Ghezzi, Huy Tai Ha

Abstract: We study the relation type question, raised by C. Huneke, which asks whether for a complete equidimensional local ring R there exists a uniform bound for the relation type of parameter ideals. Wang gave a positive answer to this question when the non-Cohen-Macaulay locus of R, denoted by NCM(R), has dimension zero. We first present an example, due to the first author, which gives a negative answ… ▽ More We study the relation type question, raised by C. Huneke, which asks whether for a complete equidimensional local ring R there exists a uniform bound for the relation type of parameter ideals. Wang gave a positive answer to this question when the non-Cohen-Macaulay locus of R, denoted by NCM(R), has dimension zero. We first present an example, due to the first author, which gives a negative answer to the question when dim NCM(R) is at least 2. The major part of our work then is to investigate the remaining case, i.e., when dim NCM(R) = 1. We introduce the notion of homology multipliers and show that the question has a positive answer when R/A(R) is a domain, where A(R) is the ideal generated by all homology multipliers in R. In a more general context, we also discuss many interesting properties of homology multipliers. △ Less

Submitted 26 January, 2005; originally announced January 2005.

Comments: To appear in Pacific J. Math. 35 pages

MSC Class: 13A30; 13E15; 13H10

The Structure of F-Pure Rings

Authors: Ian M. Aberbach, Florian Enescu

Abstract: 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 a_q grow with respect to q. This growth is quantified by the splitting dimension and the splitting ratios of R which we study in detail. We also prove the exist… ▽ More 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 a_q grow with respect to q. This growth is quantified by the splitting dimension and the splitting ratios of R which we study in detail. We also prove the existence of a special prime ideal P(R) of R, called the splitting prime, that has the property that R/P(R) is strongly F-regular. We show that this ideal captures significant information with regard to the F-purity of R. △ Less

Submitted 15 October, 2003; originally announced October 2003.

Comments: 15 pages

MSC Class: 13A35

The vanishing of Tor_1^R(R^+,k) implies that R is regular

Authors: Ian M. Aberbach

Abstract: Let (R,m,k) be an excellent local ring of positive prime characteristic. We show that if Tor_1^R(R^+,k) = 0 then R is regular. This improves a result of Schoutens, in which the additional hypothesis that R was an isolated singularity was required for the proof. Let (R,m,k) be an excellent local ring of positive prime characteristic. We show that if Tor_1^R(R^+,k) = 0 then R is regular. This improves a result of Schoutens, in which the additional hypothesis that R was an isolated singularity was required for the proof. △ Less

Submitted 16 September, 2003; originally announced September 2003.

Comments: 3 pages, to appear in Proceedings of the AMS

MSC Class: 13A35; 13H05

The depth of the associated graded ring of ideals with any reduction number

Authors: Ian Aberbach, Laura Ghezzi, Huy Tai Ha

Abstract: Let R be a local Cohen-Macaulay ring, let I be an R-ideal, and let G be the associated graded ring of I. We give an estimate for the depth of G when G is not necessarily Cohen-Macaulay. We assume that I is either equimultiple, or has analytic deviation one, but we do not have any restriction on the reduction number. We also give a general estimate for the depth of G involving the first r+l power… ▽ More Let R be a local Cohen-Macaulay ring, let I be an R-ideal, and let G be the associated graded ring of I. We give an estimate for the depth of G when G is not necessarily Cohen-Macaulay. We assume that I is either equimultiple, or has analytic deviation one, but we do not have any restriction on the reduction number. We also give a general estimate for the depth of G involving the first r+l powers of I, where r denotes the Castelnuovo regularity of G and l denotes the analytic spread of I. △ Less

Submitted 9 December, 2002; originally announced December 2002.

Comments: 13 pages

MSC Class: 13A30; 13C15; 14J26

F-rational rings and the integral closures of ideals

Authors: Ian M. Aberbach, Craig Huneke

Abstract: We show in this paper that the Briancon-Skoda theorem holds for all ideals in F-rational rings of positive prime characteristic, and also in rings with rational singularities which are of finite type over a field of characteristic 0. Moreover, in Gorenstein F-rational rings of characteristic p we show that in many cases the bound given in the Briancon-Skoda theorem may be improved by at least… ▽ More We show in this paper that the Briancon-Skoda theorem holds for all ideals in F-rational rings of positive prime characteristic, and also in rings with rational singularities which are of finite type over a field of characteristic 0. Moreover, in Gorenstein F-rational rings of characteristic p we show that in many cases the bound given in the Briancon-Skoda theorem may be improved by at least one. △ Less

Submitted 20 November, 2002; originally announced November 2002.

Comments: This is a pre-galleys version of the paper, but theorem numbers should be the same. 9 pages

MSC Class: 13A35

Journal ref: Michigan Math. J., vol 49 (2001), pp. 3-11

Test ideals and flat base change problems in tight closure theory

Authors: Ian M. Aberbach, Florian Enescu

Abstract: Test ideals are an important concept in tight closure theory and their behavior via flat base change can be very difficult to understand. Our paper presents results regarding this behavior under flat maps with reasonably nice (but far from smooth) fibers. This involves analyzing, in depth, a special type of ideal of test elements, called the CS test ideal. Besides providing new results, the pape… ▽ More Test ideals are an important concept in tight closure theory and their behavior via flat base change can be very difficult to understand. Our paper presents results regarding this behavior under flat maps with reasonably nice (but far from smooth) fibers. This involves analyzing, in depth, a special type of ideal of test elements, called the CS test ideal. Besides providing new results, the paper also contains extensions of a theorem by G. Lyubeznik and K. E. Smith on the completely stable test ideal and of theorems by F. Enescu and, independently, M. Hashimoto on the behavior of F-rationality under flat base change. △ Less

Submitted 17 October, 2002; originally announced October 2002.

Comments: 18 pages, to appear in Trans. Amer. Math. Soc

MSC Class: 13A35

Extension of weakly and strongly F-regular rings by flat maps

Authors: Ian M. Aberbach

Abstract: 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 either F-finite (if R and S have a common test element), or F-rational (otherwise). 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 either F-finite (if R and S have a common test element), or F-rational (otherwise). △ Less

Submitted 19 September, 2002; originally announced September 2002.

MSC Class: 13A35

Journal ref: J. Algebra 241 (2001), no. 2, 799--807

The F-signature and strong F-regularity

Authors: Ian M. Aberbach, Graham J. Leuschke

Abstract: We show that the F-signature of a local ring of characteristic p, defined by Huneke and Leuschke, is positive if and only if the ring is strongly F-regular. We show that the F-signature of a local ring of characteristic p, defined by Huneke and Leuschke, is positive if and only if the ring is strongly F-regular. △ Less

Submitted 25 November, 2002; v1 submitted 8 August, 2002; originally announced August 2002.

Comments: revised version, incorporating referee's comments. 6 pages

Report number: formerly math.RA/0208067 MSC Class: 13A35 (Primary); 13C14; 13D40 (Secondary)