Cote n° 49 · pages 2–8
· 17 displayed formulas · Picard des schémas abéliens : notes manuscrites (s.d.).
Inventory dating : s.d.
Édition de démonstration
\[\varphi_{s} : A \longrightarrow A'\struck{^{0}} = \mathrm{Pic}^{\tau}_{X/S}\]
LaTeX source
\[
\varphi_{s} : A \longrightarrow A'\struck{^{0}} = \mathrm{Pic}^{\tau}_{X/S}
\]\[\varphi_{s}(t) = \text{classe de } \tau_{t}^{*}(L)\, L^{-1}\]
LaTeX source
\[
\varphi_{s}(t) = \text{classe de } \tau_{t}^{*}(L)\, L^{-1}
\]\[\dim A'_{0} \;\leqslant\; \dim H^{1}(A_{0}, \mathcal{O}_{A_{0}})
\;\leqslant\; \dim A_{0}\]
LaTeX source
\[
\dim A'_{0} \;\leqslant\; \dim H^{1}(A_{0}, \mathcal{O}_{A_{0}})
\;\leqslant\; \dim A_{0}
\]\[\dim H^{1}(A_{0}, \mathcal{O}_{A_{0}}) = n ,\]
LaTeX source
\[
\dim H^{1}(A_{0}, \mathcal{O}_{A_{0}}) = n ,
\]\[R^{*}f_{*}(\mathcal{O}_{A}) \;\simeq\;
\Lambda^{*}\!\left(R^{1}f_{*}(\mathcal{O}_{A})\right)\]
LaTeX source
\[
R^{*}f_{*}(\mathcal{O}_{A}) \;\simeq\;
\Lambda^{*}\!\left(R^{1}f_{*}(\mathcal{O}_{A})\right)
\]\[R^{1}f_{*}(\mathcal{O}_{A}) \;=\;
\mathrm{Hom}\!\left(\struck{\varepsilon^{*}(\Omega^{1}_{A/S})}\;
\Omega^{1}_{\varepsilon},\; \mathcal{O}_{S}\right)\]
LaTeX source
\[
R^{1}f_{*}(\mathcal{O}_{A}) \;=\;
\mathrm{Hom}\!\left(\struck{\varepsilon^{*}(\Omega^{1}_{A/S})}\;
\Omega^{1}_{\varepsilon},\; \mathcal{O}_{S}\right)
\]\[R^{*}f_{*}(\mathcal{O}_{A})_{y} \longrightarrow H^{*}(X_{y}, \mathcal{O}_{X_{y}})\]
LaTeX source
\[
R^{*}f_{*}(\mathcal{O}_{A})_{y} \longrightarrow H^{*}(X_{y}, \mathcal{O}_{X_{y}})
\]\[(*) \qquad \mathrm{Pic}_{A/S} \longrightarrow \mathrm{Hom}_{S\text{-gr}}(A, A')\]
LaTeX source
\[
(*) \qquad \mathrm{Pic}_{A/S} \longrightarrow \mathrm{Hom}_{S\text{-gr}}(A, A')
\]\[(**) \qquad \mathrm{Pic}_{A/S} \times_{S} A \longrightarrow A'\]
LaTeX source
\[
(**) \qquad \mathrm{Pic}_{A/S} \times_{S} A \longrightarrow A'
\]\[(\xi, t) \;\rightsquigarrow\; t_{*}(\xi) - \xi .\]
LaTeX source
\[
(\xi, t) \;\rightsquigarrow\; t_{*}(\xi) - \xi .
\]\[\pi^{*}(\xi) \;=\; \mathrm{pr}_{1}^{*}(\xi) + \mathrm{pr}_{2}^{*}(\xi)\]
LaTeX source
\[
\pi^{*}(\xi) \;=\; \mathrm{pr}_{1}^{*}(\xi) + \mathrm{pr}_{2}^{*}(\xi)
\]\[\text{Nér-Sév}_{A/S} \longrightarrow
\mathrm{Hom}_{S\text{-gr}}(A, A')\]
LaTeX source
\[
\text{Nér-Sév}_{A/S} \longrightarrow
\mathrm{Hom}_{S\text{-gr}}(A, A')
\]\[\text{Nér-Sév}_{A/S} \longrightarrow
\mathrm{Hom}_{S\text{-gr}}(A, A')\]
LaTeX source
\[
\text{Nér-Sév}_{A/S} \longrightarrow
\mathrm{Hom}_{S\text{-gr}}(A, A')
\]\[\varphi_{\xi} = 0 \quad \text{ssi} \quad
\pi^{*}(\xi) - \mathrm{pr}_{1}^{*}(\xi) - \mathrm{pr}_{2}^{*}(\xi) = 0 .\]
LaTeX source
\[
\varphi_{\xi} = 0 \quad \text{ssi} \quad
\pi^{*}(\xi) - \mathrm{pr}_{1}^{*}(\xi) - \mathrm{pr}_{2}^{*}(\xi) = 0 .
\]\[t_{1}^{*}(\xi_{1}) = \xi_{1} \qquad (\text{ici } \xi_{1} = \xi \times_{S} S_{1}) .\]
LaTeX source
\[
t_{1}^{*}(\xi_{1}) = \xi_{1} \qquad (\text{ici } \xi_{1} = \xi \times_{S} S_{1}) .
\]\[t_{1}^{*}\!\left(\mathrm{pr}_{2}^{*}(L)\right) =
\left(\mathrm{pr}_{2} \circ \mathrm{transl}(t_{1})\right)^{*}(L)\]
LaTeX source
\[
t_{1}^{*}\!\left(\mathrm{pr}_{2}^{*}(L)\right) =
\left(\mathrm{pr}_{2} \circ \mathrm{transl}(t_{1})\right)^{*}(L)
\]\[i_{1}^{*}(\cdots) = (\pi i_{1})^{*}(L) - (\mathrm{pr}_{1} i_{1})^{*}(L)
- (\mathrm{pr}_{2} i_{1})^{*}(L) \;=\; 0\]
LaTeX source
\[
i_{1}^{*}(\cdots) = (\pi i_{1})^{*}(L) - (\mathrm{pr}_{1} i_{1})^{*}(L)
- (\mathrm{pr}_{2} i_{1})^{*}(L) \;=\; 0
\]