BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Source author record

Craig Huneke

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record
math.ACmath.AGmath.CO

Catalog footprint

Research overview

27works
3topics
4close collaborators

Actions

Is this your work?

Log in to claim
Open graphBrowse papers

Published work

27 publications

preprint2022arXiv

Torsion in Differentials and Berger's Conjecture

Let (R,m,k)(R,\mathfrak{m},\mathbb{k}) be an equicharacteristic one-dimensional complete local domain over an algebraically closed field k\mathbb{k} of characteristic 0. R. Berger conjectured that R is regular if and only if the universally finite module of differentials ΩRΩ_R is a torsion-free RR-module. We give new cases of this conjecture by extending works of Güttes (Arch Math 54:499-510, 1990) and Cortiñas et al. (Math Z 228:569-588, 1998).This is obtained by constructing a new subring SS of Hom⁡R(m,m)\operatorname{Hom}_R(\mathfrak{m},\mathfrak{m}) and constructing enough torsion in ΩSΩ_S, enabling us to pull back a nontrivial torsion to ΩRΩ_R.

Open access
preprint2020arXiv

Asymptotic Lech's inequality

We explore the classical Lech's inequality relating the Hilbert--Samuel multiplicity and colength of an m\mathfrak{m}-primary ideal in a Noetherian local ring (R,m)(R,\mathfrak{m}). We prove optimal versions of Lech's inequality for sufficiently deep ideals in characteristic p>0p>0, and we conjecture that they hold in all characteristics. Our main technical result shows that if (R,m)(R,\mathfrak{m}) has characteristic p>0p>0 and R^\widehat{R} is reduced, equidimensional, and has an isolated singularity, then for any sufficiently deep m\mathfrak{m}-primary ideal II, the colength and Hilbert--Kunz multiplicity of II are sufficiently close to each other. More precisely, for all ε>0\varepsilon>0, there exists N≫0N\gg0 such that for any I⊆RI\subseteq R with l(R/I)>Nl(R/I)>N, we have (1−ε)l(R/I)≤eHK(I)≤(1+ε)l(R/I)(1-\varepsilon)l(R/I)\leq e_{HK}(I)\leq(1+\varepsilon)l(R/I).

Open access
preprint2020arXiv

Expected resurgence of ideals defining Gorenstein rings

Building on previous work by the same authors, we show that certain ideals defining Gorenstein rings have expected resurgence, and thus satisfy the stable Harbourne Conjecture. In prime characteristic, we can take any radical ideal defining a Gorenstein ring in a regular ring, provided its symbolic powers are given by saturations with the maximal ideal. While this property is not suitable for reduction to characteristic pp, we show that a similar result holds in equicharacteristic 00 under the additional hypothesis that the symbolic Rees algebra of II is noetherian.

Open access
preprint2020arXiv

Expected resurgences and symbolic powers of ideals

We give explicit criteria that imply the resurgence of a self-radical ideal in a regular ring is strictly smaller than its codimension, which in turn implies that the stable version of Harbourne's conjecture holds for such ideals. This criterion is used to give several explicit families of such ideals, including the defining ideals of space monomial curves. Other results generalize known theorems concerning when the third symbolic power is in the square of an ideal, and a strong resurgence bound for some classes of space monomial curves.

Open access
preprint2016arXiv

DD-modules, Bernstein-Sato polynomials and FF-invariants of direct summands

We study the structure of DD-modules over a ring RR which is a direct summand of a polynomial or a power series ring SS with coefficients over a field. We relate properties of DD-modules over RR to DD-modules over SS. We show that the localization RfR_f and the local cohomology module HIi(R)H^i_I(R) have finite length as DD-modules over RR. Furthermore, we show the existence of the Bernstein-Sato polynomial for elements in RR. In positive characteristic, we use this relation between DD-modules over RR and SS to show that the set of FF-jumping numbers of an ideal I⊆RI\subseteq R is contained in the set of FF-jumping numbers of its extension in SS. As a consequence, the FF-jumping numbers of II in RR form a discrete set of rational numbers. We also relate the Bernstein-Sato polynomial in RR with the FF-thresholds and the FF-jumping numbers in RR.

Open access
preprint2015arXiv

Frobenius Betti numbers and modules of finite projective dimension

Let (R,m,K)(R,\mathfrak{m},K) be a local ring, and let MM be an RR-module of finite length. We study asymptotic invariants, βiF(M,R),β^F_i(M,R), defined by twisting with Frobenius the free resolution of MM. This family of invariants includes the Hilbert-Kunz multiplicity (eHK(m,R)=β0F(K,R)e_{HK}(\mathfrak{m},R)=β^F_0(K,R)). We discuss several properties of these numbers that resemble the behavior of the Hilbert-Kunz multiplicity. Furthermore, we study when the vanishing of βiF(M,R)β^F_i(M,R) implies that MM has finite projective dimension. In particular, we give a complete characterization of the vanishing of βiF(M,R)β^F_i(M,R) for one-dimensional rings. As a consequence of our methods, we give conditions for the non-existence of syzygies of finite length.

Open access
preprint2014arXiv

A multiplicity bound for graded rings and a criterion for the Cohen-Macaulay property

Let RR be a polynomial ring over a field. We prove an upper bound for the multiplicity of R/IR/I when II is a homogeneous ideal of the form I=J+(F)I=J+(F), where JJ is a Cohen-Macaulay ideal and F∉JF\notin J. The bound is given in terms of two invariants of R/JR/J and the degree of FF. We show that ideals achieving this upper bound have high depth, and provide a purely numerical criterion for the Cohen-Macaulay property. Applications to quasi-Gorenstein rings and almost complete intersections are given.

Open access
preprint2014arXiv

Iterated socles and integral dependence in regular rings

Let RR be a formal power series ring over a field, with maximal ideal m\mathfrak m, and let II be an ideal of RR such that R/IR/I is Artinian. We study the iterated socles of II, that is the ideals which are defined as the largest ideal JJ with Jms⊂IJ\mathfrak m^s\subset I for a fixed positive integer ss. We are interested in these ideals in connection with the notion of integral dependence of ideals. In this article we show that the iterated socles are integral over II, with reduction number one, provided s≤o(I1(φd))−1s \leq \text{o}(I_1(φ_d))-1, where o(I1(φd))\text{o}(I_1(φ_d)) is the order of the ideal of entries of the last map in a minimal free RR-resolution of R/IR/I. In characteristic zero, we also provide formulas for the generators of iterated socles whenever s≤o(I1(φd))s\leq \text{o}(I_1(φ_d)). This result generalizes previous work of Herzog, who gave formulas for the socle generators of any m{\mathfrak m}-primary homogeneous ideal II in terms of Jacobian determinants of the entries of the matrices in a minimal homogeneous free RR-resolution of R/IR/I. Applications are given to iterated socles of determinantal ideals with generic height. In particular, we give surprisingly simple formulas for iterated socles of height two ideals in a power series ring in two variables. These generators are suitable determinants obtained from the Hilbert-Burch matrix.

Open access
preprint2013arXiv

Multiple Structures with Arbitrarily Large Projective Dimension on Linear Subspaces

Let KK be an algebraically closed field. There has been much interest in characterizing multiple structures in Kn¶^n_K defined on a linear subspace of small codimension under additional assumptions (e.g. Cohen-Macaulay). We show that no such finite characterization of multiple structures is possible if one only assumes Serre's (S1)(S_1) property holds. Specifically, we prove that for any positive integers h,e≥2h, e \ge 2 with (h,e)≠(2,2)(h,e) \neq (2,2) and p≥5p \ge 5 there is a homogeneous ideal II in a polynomial ring over KK such that (1) the height of II is hh, (2) the Hilbert-Samuel multiplicity of R/IR/I is ee, (3) the projective dimension of R/IR/I is at least pp and (4) the ideal II is primary to a linear prime (x1,...,xh)(x_1,..., x_h). This result is in stark contrast to Manolache's characterization of Cohen-Macaulay multiple structures in codimension 2 and multiplicity at most 4 and also to Engheta's characterization of unmixed ideals of height 2 and multiplicity 2.

Open access
preprint2012arXiv

Ordinary and symbolic powers are Golod

Let SS be a positively graded polynomial ring over a field of characteristic 0, and I⊂SI\subset S a proper graded ideal. In this note it is shown that S/IS/I is Golod if ∂(I)2⊂I\partial(I)^2\subset I. Here ∂(I)\partial(I) denotes the ideal generated by all the partial derivatives of elements of II. We apply this result to find large classes of Golod ideals, including powers, symbolic powers, and saturations of ideals.

Open access
preprint2011arXiv

Are symbolic powers highly evolved?

Searching for structural reasons behind old results and conjectures of Chudnovksy regarding the least degree of a nonzero form in an ideal of fat points in projective N-space, we make conjectures which explain them, and we prove the conjectures in certain cases, including the case of general points in the projective plane. Our conjectures were also partly motivated by the Eisenbud-Mazur Conjecture on evolutions, which concerns symbolic squares of prime ideals in local rings, but in contrast we consider higher symbolic powers of homogeneous ideals in polynomial rings.

Open access
preprint2011arXiv

Bounds on the regularity and projective dimension of ideals associated to graphs

In this paper we give new upper bounds on the regularity of edge ideals whose resolutions are k-steps linear; surprisingly, the bounds are logarithmic in the number of variables. We also give various bounds for the projective dimension of such ideals, generalizing other recent results. By Alexander duality, our results also apply to unmixed square-free monomial ideals of codimension two. We also discuss and connect these results to more classical topics in commutative algebra.

Open access
preprint2011arXiv

Three-Standardness of the Maximal Ideal

We study a notion called nn-standardness (defined by M. E. Rossi and extended in this paper) of ideals primary to the maximal ideal in a Cohen-Macaulay local ring and some of its consequences. We further study conditions under which the maximal ideal is three-standard, first proving results when the residue field has prime characteristic and then using the method of reduction to prime characteristic to extend the results to the equicharacteristic zero case. As an application, we extend a result due to T. Puthenpurakal and show that a certain length associated to a minimal reduction of the maximal ideal does not depend on the minimal reduction chosen.

Open access
preprint2010arXiv

Multiplicity bounds in graded rings

The FF-threshold $c^J(\a)$ of an ideal $\a$ with respect to an ideal JJ is a positive characteristic invariant obtained by comparing the powers of $\a$ with the Frobenius powers of JJ. We study a conjecture formulated in an earlier paper \cite{HMTW} by the same authors together with M. Mustaţă, which bounds $c^J(\a)$ in terms of the multiplicities $e(\a)$ and e(J)e(J), when $\a$ and JJ are zero-dimensional ideals and JJ is generated by a system of parameters. We prove the conjecture when $\a$ and JJ are generated by homogeneous systems of parameters in a Noetherian graded kk-algebra. We also prove a similar inequality involving, instead of the FF-threshold, the jumping number for the generalized parameter test submodules introduced in \cite{ST}.

Open access
preprint2006arXiv

Absolute integral closure in positive characteristic

Let R be a local Noetherian domain of positive characteristic. A theorem of Hochster and Huneke (1992) states that if R is excellent, then the absolute integral closure of R is a big Cohen-Macaulay algebra. We prove that if R is the homomorphic image of a Gorenstein local ring, then all the local cohomology (below the dimension) of such a ring maps to zero in a finite extension of the ring. There results an extension of the original result of Hochster and Huneke to the case in which R is a homomorphic image of a Gorenstein local ring, and a considerably simpler proof of this result in the cases where the assumptions overlap, e.g., for complete Noetherian local domains.

Open access

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.