Remark 59.75.1 (Alternative description of sp). Let $S$, $\overline{s}$, and $\overline{t}$ be as above. Another way to describe the specialization map is to use that

$\mathcal{F}_{\overline{s}} = \Gamma (\mathop{\mathrm{Spec}}(\mathcal{O}^{sh}_{S, \overline{s}}), p^{-1}\mathcal{F}) \quad \text{and}\quad \mathcal{F}_{\overline{t}} = \Gamma (\overline{t}, \overline{t}^{-1}p^{-1}\mathcal{F})$

The first equality follows from Theorem 59.53.1 applied to $\text{id}_ S : S \to S$ and the second equality follows from Lemma 59.36.2. Then we can think of $sp$ as the map

$sp : \mathcal{F}_{\overline{s}} = \Gamma (\mathop{\mathrm{Spec}}(\mathcal{O}^{sh}_{S, \overline{s}}), p^{-1}\mathcal{F}) \xrightarrow {\text{pullback by }\overline{t}} \Gamma (\overline{t}, \overline{t}^{-1}p^{-1}\mathcal{F}) = \mathcal{F}_{\overline{t}}$

There are also:

• 2 comment(s) on Section 59.75: Specializations and étale sheaves

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