Processing math: 100%

The Stacks project

Lemma 99.11.7. In Situation 99.11.1 let \sigma : B \to X be a section. If \mathcal{O}_ T \to f_{T, *}\mathcal{O}_{X_ T} is an isomorphism for all T over B, then \mathcal{P}\! \mathit{ic}_{X/B, \sigma } \to (\mathit{Sch}/S)_{fppf} is fibred in setoids with set of isomorphism classes over T given by

\coprod \nolimits _{h : T \to B} \mathop{\mathrm{Ker}}(\sigma _ T^* : \mathop{\mathrm{Pic}}\nolimits (X \times _{B, h} T) \to \mathop{\mathrm{Pic}}\nolimits (T))

Proof. If \xi = (T, h, \mathcal{L}, \alpha ) is an object of \mathcal{P}\! \mathit{ic}_{X/B, \sigma } over T, then an automorphism \varphi of \xi is given by multiplication with an invertible global section u of the structure sheaf of X_ T such that moreover \sigma _ T^*u = 1. Then u = 1 by our assumption that \mathcal{O}_ T \to f_{T, *}\mathcal{O}_{X_ T} is an isomorphism. Hence \mathcal{P}\! \mathit{ic}_{X/B, \sigma } is fibred in setoids over (\mathit{Sch}/S)_{fppf}. Given T and h : T \to B the set of isomorphism classes of pairs (\mathcal{L}, \alpha ) is the same as the set of isomorphism classes of \mathcal{L} with \sigma _ T^*\mathcal{L} \cong \mathcal{O}_ T (isomorphism not specified). This is clear because any two choices of \alpha differ by a global unit on T and this is the same thing as a global unit on X_ T. \square


Comments (0)


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).

Unfortunately JavaScript is disabled in your browser, so the comment preview function will not work.

All contributions are licensed under the GNU Free Documentation License.