Remark 15.81.21. In [Beauville-Laszlo] it is assumed that $f$ is a nonzerodivisor in $R$ and $R' = R^\wedge $, which gives a glueing pair by Lemma 15.81.7. Even in this setting Theorem 15.81.17 says something new: the results of [Beauville-Laszlo] only apply to modules on which $f$ is a nonzerodivisor (and hence glueable in our sense, see Lemma 15.81.11). Lemma 15.81.20 also provides a slight extension of the results of [Beauville-Laszlo]: not only can we allow $M$ to have nonzero $f$-power torsion, we do not even require it to be glueable.
Post a comment
Your email address will not be published. Required fields are marked.
In your comment you can use Markdown and LaTeX style mathematics (enclose it like
$\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).
All contributions are licensed under the GNU Free Documentation License.