Powers of ideals and fibers of morphisms

DOI10.4310/MRL.2010.V17.N2.A6zbMATH Open1226.13012arXiv0807.4243MaRDI QIDQ2275692FDOQ2275692

Authors: David Eisenbud, Joe Harris 

Publication date: 9 August 2011

Published in: Mathematical Research Letters (Search for Journal in Brave)

Abstract: Let Xsubset PP^n be a projective scheme over a field, and let phi:X --> Y be a finite morphism. Our main result is a formula in terms of global data for the maximum of the Castelnuovo-Mumford regularity of the fibers of phi, considered as subschemes of PP^n. From an algebraic point of view, our formula is related to the theorem of Cutkosky-Herzog-Trung and Kodiyalam showing that for any homogeneous ideal I in a standard graded algebra S, the regularity of I^t can be written as dt+epsilon for some non-negative integers d, epsilon, and all large t. In the special case where I contains a power of S_+ and is generated by forms of a single degree, our formula gives an interpretation of epsilon: it is one less than the maximum regularity of a fiber of the morphism associated to I. These formulas have strong consequences for ideals generated by generic forms.

Full work available at URL: https://arxiv.org/abs/0807.4243

Recommendations

• Powers of ideals and the cohomology of stalks and fibers of morphisms
• Fiber invariants of projective morphisms and regularity of powers of ideals
• A remark on the Castelnuovo-Mumford regularity of powers of ideal sheaves
• Asymptotic linearity of regularity and \(a^*\)-invariant of powers of ideals
• Homological invariants of powers of fiber products

zbMATH Keywords

powers of idealslinear projectionfibers of a morphismregularity Castelnuovo-Mumford

Mathematics Subject Classification ID

Syzygies, resolutions, complexes and commutative rings (13D02) Structure of families (Picard-Lefschetz, monodromy, etc.) (14D05) Associated graded rings of ideals (Rees ring, form ring), analytic spread and related topics (13A30)

Cited In (27)

• Ideals of powers and powers of ideals. Intersecting algebra, geometry, and combinatorics
• Linear polynomials for the regularity of powers of edge ideals of very well-covered graphs
• Castelnuovo–Mumford Regularity and Powers
• Homological invariants of powers of fiber products
• Depth and regularity of powers of sums of ideals
• Notes on regularity stabilization
• Powers of the fundamental ideal in the Witt ring
• Regularity of powers of edge ideals of unicyclic graphs
• A study of a family of monomial ideals
• Fiber invariants of projective morphisms and regularity of powers of ideals
• Associated primes of powers of edge ideals and ear decompositions of graphs
• POWERS OF THE MAXIMAL IDEAL AND VANISHING OF (CO)HOMOLOGY
• An upper bound for the regularity of powers of edge ideals
• Powers of sums and their homological invariants
• Powers of ideals and the cohomology of stalks and fibers of morphisms
• Regularity of bicyclic graphs and their powers
• Homology of powers of ideals: Artin-Rees numbers of syzygies and the Golod property
• Regularity of powers of forests and cycles
• Asymptotic linearity of regularity and \(a^*\)-invariant of powers of ideals
• Regularity of powers of cover ideals of bipartite graphs
• Regularity of symbolic powers and arboricity of matroids
• Regularity of powers of cover ideals of unimodular hypergraphs
• Defining equations of blowup algebras
• Title not available (Why is that?)
• Row ideals and fibers of morphisms
• Title not available (Why is that?)
• Powers of ideals in Cohen-Macaulay rings

Uses Software

• Macaulay2

This page was built for publication: Powers of ideals and fibers of morphisms

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2275692)