BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Craig Huneke

Craig Huneke appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math.ACmath.AGmath.CO

Catalog footprint

What is connected

27works
3topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

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.

Published work

27 published item(s)

preprint2022arXiv

Torsion in Differentials and Berger's Conjecture

Let $(R,\mathfrak{m},\mathbb{k})$ be an equicharacteristic one-dimensional complete local domain over an algebraically closed field $\mathbb{k}$ of characteristic 0. R. Berger conjectured that R is regular if and only if the universally finite module of differentials $Ω_R$ is a torsion-free $R$-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 $S$ of $\operatorname{Hom}_R(\mathfrak{m},\mathfrak{m})$ and constructing enough torsion in $Ω_S$, enabling us to pull back a nontrivial torsion to $Ω_R$.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Asymptotic Lech's inequality

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

0 citations0 reviewsNo code linkedOpen 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 $p$, we show that a similar result holds in equicharacteristic $0$ under the additional hypothesis that the symbolic Rees algebra of $I$ is noetherian.

0 citations0 reviewsNo code linkedOpen 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.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

$D$-modules, Bernstein-Sato polynomials and $F$-invariants of direct summands

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

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Frobenius Betti numbers and modules of finite projective dimension

Let $(R,\mathfrak{m},K)$ be a local ring, and let $M$ be an $R$-module of finite length. We study asymptotic invariants, $β^F_i(M,R),$ defined by twisting with Frobenius the free resolution of $M$. This family of invariants includes the Hilbert-Kunz multiplicity ($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 $β^F_i(M,R)$ implies that $M$ has finite projective dimension. In particular, we give a complete characterization of the vanishing of $β^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.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

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

Let $R$ be a polynomial ring over a field. We prove an upper bound for the multiplicity of $R/I$ when $I$ is a homogeneous ideal of the form $I=J+(F)$, where $J$ is a Cohen-Macaulay ideal and $F\notin J$. The bound is given in terms of two invariants of $R/J$ and the degree of $F$. 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.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Introduction to uniformity in commutative algebra

These notes are based on three lectures given by the first author as part of an introductory workshop at MSRI for the program in Commutative Algebra, 2012-13. The notes follow the talks, but there are extra comments and explanations, as well as a new section on the uniform Artin-Rees theorem. The notes deal with the theme of uniform bounds, both absolute and effective, as well as uniform annihilation of cohomology

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Iterated socles and integral dependence in regular rings

Let $R$ be a formal power series ring over a field, with maximal ideal $\mathfrak m$, and let $I$ be an ideal of $R$ such that $R/I$ is Artinian. We study the iterated socles of $I$, that is the ideals which are defined as the largest ideal $J$ with $J\mathfrak m^s\subset I$ for a fixed positive integer $s$. 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 $I$, with reduction number one, provided $s \leq \text{o}(I_1(φ_d))-1$, where $\text{o}(I_1(φ_d))$ is the order of the ideal of entries of the last map in a minimal free $R$-resolution of $R/I$. In characteristic zero, we also provide formulas for the generators of iterated socles whenever $s\leq \text{o}(I_1(φ_d))$. This result generalizes previous work of Herzog, who gave formulas for the socle generators of any ${\mathfrak m}$-primary homogeneous ideal $I$ in terms of Jacobian determinants of the entries of the matrices in a minimal homogeneous free $R$-resolution of $R/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.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Multiple Structures with Arbitrarily Large Projective Dimension on Linear Subspaces

Let $K$ be an algebraically closed field. There has been much interest in characterizing multiple structures in $¶^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 $(S_1)$ property holds. Specifically, we prove that for any positive integers $h, e \ge 2$ with $(h,e) \neq (2,2)$ and $p \ge 5$ there is a homogeneous ideal $I$ in a polynomial ring over $K$ such that (1) the height of $I$ is $h$, (2) the Hilbert-Samuel multiplicity of $R/I$ is $e$, (3) the projective dimension of $R/I$ is at least $p$ and (4) the ideal $I$ is primary to a linear prime $(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.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Ordinary and symbolic powers are Golod

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

0 citations0 reviewsNo code linkedOpen 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.

0 citations0 reviewsNo code linkedOpen 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.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Three-Standardness of the Maximal Ideal

We study a notion called $n$-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.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Multiplicity bounds in graded rings

The $F$-threshold $c^J(\a)$ of an ideal $\a$ with respect to an ideal $J$ is a positive characteristic invariant obtained by comparing the powers of $\a$ with the Frobenius powers of $J$. 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)$, when $\a$ and $J$ are zero-dimensional ideals and $J$ is generated by a system of parameters. We prove the conjecture when $\a$ and $J$ are generated by homogeneous systems of parameters in a Noetherian graded $k$-algebra. We also prove a similar inequality involving, instead of the $F$-threshold, the jumping number for the generalized parameter test submodules introduced in \cite{ST}.

0 citations0 reviewsNo code linkedOpen 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.

0 citations0 reviewsNo code linkedOpen access