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

Publisher Copyright:
© 2017 American Mathematical Society.

Funding

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

FundersFunder number
National Security AgencyDMS-1205002, H98230-12-1-0242
U.S. Department of Energy Chinese Academy of Sciences Guangzhou Municipal Science and Technology Project Oak Ridge National Laboratory Extreme Science and Engineering Discovery Environment National Science Foundation National Energy Research Scientific Computing Center National Natural Science Foundation of ChinaDMS-1259142, DMS-1202685, 0932078000

    Keywords

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

    ASJC Scopus subject areas

    • General Mathematics
    • 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