Characteristic-free bounds for the Castelnuovo-Mumford regularity. (English) Zbl 1100.13020
Summary: We study bounds for the Castelnuovo–Mumford regularity of homogeneous ideals in a polynomial ring in terms of the number of variables and the degree of the generators. In particular, our aim is to give a positive answer to a question posed by D. Bayer and D. Mumford [in: Computational Algebraic Geometry and Commutative Algebra, Proc. Conf. Cortona 1991, Press, 1–48 (1993; Zbl 0846.13017)] by showing that the known upper bound in characteristic zero holds true also in positive characteristic. We first analyse Giusti’s proof, which provides the result in characteristic zero, giving some insight into the combinatorial properties needed in that context. For the general case, we provide a new argument which employs the Bayer–Stillman criterion for detecting regularity.
MSC:
13D45 | Local cohomology and commutative rings |
13D07 | Homological functors on modules of commutative rings (Tor, Ext, etc.) |
13P10 | Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) |
13D02 | Syzygies, resolutions, complexes and commutative rings |