SearcharxivSearch

arXiv subjects

Ian M. Aberbach

Publications and source records attributed to Ian M. Aberbach.

15 recordsLinked to original sources

Bounds for the Hilbert-Kunz Multiplicity of Singular Rings

In this paper we prove that the Watanabe-Yoshida conjecture holds up to dimension $7$. Our primary new tool is a function, $φ_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 $φ,$ 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$.

math.AC

Frobenius Betti numbers and syzygies of finite length modules

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.

math.AC

Uniform Artin-Rees Bounds for Syzygies

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.

math.AC

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

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.

math.AC

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

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.

math.AC

A Less Restrictive Briançon-Skoda Theorem with Coefficients

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$.

math.AC

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

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.

math.AC

When does the F-signature exist?

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.

math.AC

Homology multipliers and the relation type of parameter ideals

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.

math.AC

The Structure of F-Pure Rings

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.

math.AC

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

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.

math.AC

The F-signature and strong F-regularity

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.

math.AC

F-rational rings and the integral closures of ideals

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.

math.AC

Test ideals and flat base change problems in tight closure theory

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.

math.AC

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

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).

math.AC