Iterated socles and integral dependence in regular rings

Alberto Corso, Shiro Goto, Craig Huneke, Claudia Polini, Bernd Ulrich

Research output: Contribution to journalArticlepeer-review

3 Scopus citations

Abstract

Let R be a formal power series ring over a field, with maximal ideal m, and let I be an ideal of R. We study iterated socles of I, that is, ideals of the form I:R ms for positive integers s. We are interested in iterated socles in connection with the notion of integral dependence of ideals. In this article we show that iterated socles are integral over I, with reduction number at most one, provided s ≤ o(I1d)) − 1, where o(I1d)) 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 ≤ o(I1d)). This result generalizes previous work of Herzog, who gave formulas for the socle generators of any 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. The generators of these socles are suitable determinants obtained from the Hilbert-Burch matrix.

Original languageEnglish
Pages (from-to)53-72
Number of pages20
JournalTransactions of the American Mathematical Society
Volume370
Issue number1
DOIs
StatePublished - Jan 2018

Bibliographical note

Funding Information:
Received by the editors March 27, 2015, and, in revised form, January 22, 2016. 2010 Mathematics Subject Classification. Primary 13B22, 13D02, 13N15; Secondary 13C40, 13D07. Key words and phrases. Socle of a local ring, Jacobian ideals, integral dependence of ideals, free resolutions, determinantal ideals. The third author was partially supported by NSF grant DMS-1259142. The fourth author was partially supported by NSF grant DMS-1202685 and NSA grant H98230-12-1-0242. The fifth author was partially supported by NSF grant DMS-1205002 and as a Simons Fellow.

Funding Information:
Part of this work was done at the Mathematical Sciences Research Institute (MSRI) in Berkeley, where the authors spent time in connection with the 2012-13 thematic year on Commutative Algebra, supported by NSF grant 0932078000. The authors would like to thank MSRI for its hospitality and partial support. The authors would also like to thank David Eisenbud for helpful discussions about the material of this paper.

Publisher Copyright:
© 2017 American Mathematical Society.

Keywords

  • Determinantal ideals
  • Free resolutions
  • Integral dependence of ideals
  • Jacobian ideals
  • Socle of a local ring

ASJC Scopus subject areas

  • Mathematics (all)
  • Applied Mathematics

Fingerprint

Dive into the research topics of 'Iterated socles and integral dependence in regular rings'. Together they form a unique fingerprint.

Cite this