Babylonian Tower Theorems on the Punctured Spectrum.
The Castelnuovo-Mumford regularity is one of the most important invariants in studying the minimal free resolution of the defining ideals of the projective varieties. There are some bounds on the Castelnuovo-Mumford regularity of the projective variety in terms of the other basic invariants such as dimension, codimension and degree. This paper studies a bound on the regularity conjectured by Hoa, and shows this bound and extremal examples in the case of divisors on rational normal scrolls.