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