A constructive approach to the module of twisted global sections on relative projective spaces

The ideal transform of a graded module $M$ is known to compute the module of twisted global sections of the sheafification of $M$ over a relative projective space. We introduce a second description motivated by the relative BGG-correspondence. However, our approach avoids the full BGG-correspondence by replacing the Tate resolution with the computationally more efficient purely linear saturation and the Castelnuovo-Mumford regularity with the often enough much smaller linear regularity. This paper provides elementary, constructive, and unified proofs that these two descriptions compute the (truncated) modules of twisted global sections. The main argument relies on an established characterization of Gabriel monads.