Castelnuovo-Mumford regularity of products of ideals.
The Castelnuovo-Mumford regularity reg(M) is one of the most important invariants of a finitely generated graded module M over a polynomial ring R. For instance, it measures the amount of computational resources that working with M requires. In general one knows that the regularity of a module can be doubly exponential in the degrees of the minimal generators and in the number of the variables. On the other hand, in many situations one has or one conjectures a much better behavior. One may ask,...