×

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

Citations:

Zbl 0846.13017