The Stacks Project


Tag 009Z

6.31. Open immersions and (pre)sheaves

Let $X$ be a topological space. Let $j : U \to X$ be the inclusion of an open subset $U$ into $X$. In Section 6.21 we have defined functors $j_*$ and $j^{-1}$ such that $j_*$ is right adjoint to $j^{-1}$. It turns out that for an open immersion there is a left adjoint for $j^{-1}$, which we will denote $j_!$. First we point out that $j^{-1}$ has a particularly simple description in the case of an open immersion.

Lemma 6.31.1. Let $X$ be a topological space. Let $j : U \to X$ be the inclusion of an open subset $U$ into $X$.

  1. Let $\mathcal{G}$ be a presheaf of sets on $X$. The presheaf $j_p\mathcal{G}$ (see Section 6.21) is given by the rule $V \mapsto \mathcal{G}(V)$ for $V \subset U$ open.
  2. Let $\mathcal{G}$ be a sheaf of sets on $X$. The sheaf $j^{-1}\mathcal{G}$ is given by the rule $V \mapsto \mathcal{G}(V)$ for $V \subset U$ open.
  3. For any point $u \in U$ and any sheaf $\mathcal{G}$ on $X$ we have a canonical identification of stalks $$ j^{-1}\mathcal{G}_u = (\mathcal{G}|_U)_u = \mathcal{G}_u. $$
  4. On the category of presheaves of $U$ we have $j_pj_* = \text{id}$.
  5. On the category of sheaves of $U$ we have $j^{-1}j_* = \text{id}$.

The same description holds for (pre)sheaves of abelian groups, (pre)sheaves of algebraic structures, and (pre)sheaves of modules.

Proof. The colimit in the definition of $j_p\mathcal{G}(V)$ is over collection of all $W \subset X$ open such that $V \subset W$ ordered by reverse inclusion. Hence this has a largest element, namely $V$. This proves (1). And (2) follows because the assignment $V \mapsto \mathcal{G}(V)$ for $V \subset U$ open is clearly a sheaf if $\mathcal{G}$ is a sheaf. Assertion (3) follows from (2) since the collection of open neighbourhoods of $u$ which are contained in $U$ is cofinal in the collection of all open neighbourhoods of $u$ in $X$. Parts (4) and (5) follow by computing $j^{-1}j_*\mathcal{F}(V) = j_*\mathcal{F}(V) = \mathcal{F}(V)$.

The exact same arguments work for (pre)sheaves of abelian groups and (pre)sheaves of algebraic structures. $\square$

Definition 6.31.2. Let $X$ be a topological space. Let $j : U \to X$ be the inclusion of an open subset.

  1. Let $\mathcal{G}$ be a presheaf of sets, abelian groups or algebraic structures on $X$. The presheaf $j_p\mathcal{G}$ described in Lemma 6.31.1 is called the restriction of $\mathcal{G}$ to $U$ and denoted $\mathcal{G}|_U$.
  2. Let $\mathcal{G}$ be a sheaf of sets on $X$, abelian groups or algebraic structures on $X$. The sheaf $j^{-1}\mathcal{G}$ is called the restriction of $\mathcal{G}$ to $U$ and denoted $\mathcal{G}|_U$.
  3. If $(X, \mathcal{O})$ is a ringed space, then the pair $(U, \mathcal{O}|_U)$ is called the open subspace of $(X, \mathcal{O})$ associated to $U$.
  4. If $\mathcal{G}$ is a presheaf of $\mathcal{O}$-modules then $\mathcal{G}|_U$ together with the multiplication map $\mathcal{O}|_U \times \mathcal{G}|_U \to \mathcal{G}|_U$ (see Lemma 6.24.6) is called the restriction of $\mathcal{G}$ to $U$.

We leave a definition of the restriction of presheaves of modules to the reader. Ok, so in this section we will discuss a left adjoint to the restriction functor. Here is the definition in the case of (pre)sheaves of sets.

Definition 6.31.3. Let $X$ be a topological space. Let $j : U \to X$ be the inclusion of an open subset.

  1. Let $\mathcal{F}$ be a presheaf of sets on $U$. We define the extension of $\mathcal{F}$ by the empty set $j_{p!}\mathcal{F}$ to be the presheaf of sets on $X$ defined by the rule $$ j_{p!}\mathcal{F}(V) = \left\{ \begin{matrix} \emptyset & \text{if} & V \not \subset U \\ \mathcal{F}(V) & \text{if} & V \subset U \end{matrix} \right. $$ with obvious restriction mappings.
  2. Let $\mathcal{F}$ be a sheaf of sets on $U$. We define the extension of $\mathcal{F}$ by the empty set $j_!\mathcal{F}$ to be the sheafification of the presheaf $j_{p!}\mathcal{F}$.

Lemma 6.31.4. Let $X$ be a topological space. Let $j : U \to X$ be the inclusion of an open subset.

  1. The functor $j_{p!}$ is a left adjoint to the restriction functor $j_p$ (see Lemma 6.31.1).
  2. The functor $j_!$ is a left adjoint to restriction, in a formula $$ \mathop{\rm Mor}\nolimits_{\mathop{\textit{Sh}}\nolimits(X)}(j_!\mathcal{F}, \mathcal{G}) = \mathop{\rm Mor}\nolimits_{\mathop{\textit{Sh}}\nolimits(U)}(\mathcal{F}, j^{-1}\mathcal{G}) = \mathop{\rm Mor}\nolimits_{\mathop{\textit{Sh}}\nolimits(U)}(\mathcal{F}, \mathcal{G}|_U) $$ bifunctorially in $\mathcal{F}$ and $\mathcal{G}$.
  3. Let $\mathcal{F}$ be a sheaf of sets on $U$. The stalks of the sheaf $j_!\mathcal{F}$ are described as follows $$ j_{!}\mathcal{F}_x = \left\{ \begin{matrix} \emptyset & \text{if} & x \not \in U \\ \mathcal{F}_x & \text{if} & x \in U \end{matrix} \right. $$
  4. On the category of presheaves of $U$ we have $j_pj_{p!} = \text{id}$.
  5. On the category of sheaves of $U$ we have $j^{-1}j_! = \text{id}$.

Proof. To map $j_{p!}\mathcal{F}$ into $\mathcal{G}$ it is enough to map $\mathcal{F}(V) \to \mathcal{G}(V)$ whenever $V \subset U$ compatibly with restriction mappings. And by Lemma 6.31.1 the same description holds for maps $\mathcal{F} \to \mathcal{G}|_U$. The adjointness of $j_!$ and restriction follows from this and the properties of sheafification. The identification of stalks is obvious from the definition of the extension by the empty set and the definition of a stalk. Statements (4) and (5) follow by computing the value of the sheaf on any open of $U$. $\square$

Note that if $\mathcal{F}$ is a sheaf of abelian groups on $U$, then in general $j_!\mathcal{F}$ as defined above, is not a sheaf of abelian groups, for example because some of its stalks are empty (hence not abelian groups for sure). Thus we need to modify the definition of $j_!$ depending on the type of sheaves we consider. The reason for choosing the empty set in the definition of the extension by the empty set, is that it is the initial object in the category of sets. Thus in the case of abelian groups we use $0$ (and more generally for sheaves with values in any abelian category).

Definition 6.31.5. Let $X$ be a topological space. Let $j : U \to X$ be the inclusion of an open subset.

  1. Let $\mathcal{F}$ be an abelian presheaf on $U$. We define the extension $j_{p!}\mathcal{F}$ of $\mathcal{F}$ by $0$ to be the abelian presheaf on $X$ defined by the rule $$ j_{p!}\mathcal{F}(V) = \left\{ \begin{matrix} 0 & \text{if} & V \not \subset U \\ \mathcal{F}(V) & \text{if} & V \subset U \end{matrix} \right. $$ with obvious restriction mappings.
  2. Let $\mathcal{F}$ be an abelian sheaf on $U$. We define the extension $j_!\mathcal{F}$ of $\mathcal{F}$ by $0$ to be the sheafification of the abelian presheaf $j_{p!}\mathcal{F}$.
  3. Let $\mathcal{C}$ be a category having an initial object $e$. Let $\mathcal{F}$ be a presheaf on $U$ with values in $\mathcal{C}$. We define the extension $j_{p!}\mathcal{F}$ of $\mathcal{F}$ by $e$ to be the presheaf on $X$ with values in $\mathcal{C}$ defined by the rule $$ j_{p!}\mathcal{F}(V) = \left\{ \begin{matrix} e & \text{if} & V \not \subset U \\ \mathcal{F}(V) & \text{if} & V \subset U \end{matrix} \right. $$ with obvious restriction mappings.
  4. Let $(\mathcal{C}, F)$ be a type of algebraic structure such that $\mathcal{C}$ has an initial object $e$. Let $\mathcal{F}$ be a sheaf of algebraic structures on $U$ (of the give type). We define the extension $j_!\mathcal{F}$ of $\mathcal{F}$ by $e$ to be the sheafification of the presheaf $j_{p!}\mathcal{F}$ defined above.
  5. Let $\mathcal{O}$ be a presheaf of rings on $X$. Let $\mathcal{F}$ be a presheaf of $\mathcal{O}|_U$-modules. In this case we define the extension by $0$ to be the presheaf of $\mathcal{O}$-modules which is equal to $j_{p!}\mathcal{F}$ as an abelian presheaf endowed with the multiplication map $\mathcal{O} \times j_{p!}\mathcal{F} \to j_{p!}\mathcal{F}$.
  6. Let $\mathcal{O}$ be a sheaf of rings on $X$. Let $\mathcal{F}$ be a sheaf of $\mathcal{O}|_U$-modules. In this case we define the extension by $0$ to be the $\mathcal{O}$-module which is equal to $j_!\mathcal{F}$ as an abelian sheaf endowed with the multiplication map $\mathcal{O} \times j_!\mathcal{F} \to j_!\mathcal{F}$.

It is true that one can define $j_!$ in the setting of sheaves of algebraic structures (see below). However, it depends on the type of algebraic structures involved what the resulting object is. For example, if $\mathcal{O}$ is a sheaf of rings on $U$, then $j_{!, rings}\mathcal{O} \not = j_{!, abelian}\mathcal{O}$ since the initial object in the category of rings is $\mathbf{Z}$ and the initial object in the category of abelian groups is $0$. In particular the functor $j_!$ does not commute with taking underlying sheaves of sets, in contrast to what we have seen so far! We separate out the case of (pre)sheaves of abelian groups, (pre)sheaves of algebraic structures and (pre)sheaves of modules as usual.

Lemma 6.31.6. Let $X$ be a topological space. Let $j : U \to X$ be the inclusion of an open subset. Consider the functors of restriction and extension by $0$ for abelian (pre)sheaves.

  1. The functor $j_{p!}$ is a left adjoint to the restriction functor $j_p$ (see Lemma 6.31.1).
  2. The functor $j_!$ is a left adjoint to restriction, in a formula $$ \mathop{\rm Mor}\nolimits_{\textit{Ab}(X)}(j_!\mathcal{F}, \mathcal{G}) = \mathop{\rm Mor}\nolimits_{\textit{Ab}(U)}(\mathcal{F}, j^{-1}\mathcal{G}) = \mathop{\rm Mor}\nolimits_{\textit{Ab}(U)}(\mathcal{F}, \mathcal{G}|_U) $$ bifunctorially in $\mathcal{F}$ and $\mathcal{G}$.
  3. Let $\mathcal{F}$ be an abelian sheaf on $U$. The stalks of the sheaf $j_!\mathcal{F}$ are described as follows $$ j_{!}\mathcal{F}_x = \left\{ \begin{matrix} 0 & \text{if} & x \not \in U \\ \mathcal{F}_x & \text{if} & x \in U \end{matrix} \right. $$
  4. On the category of abelian presheaves of $U$ we have $j_pj_{p!} = \text{id}$.
  5. On the category of abelian sheaves of $U$ we have $j^{-1}j_! = \text{id}$.

Proof. Omitted. $\square$

Lemma 6.31.7. Let $X$ be a topological space. Let $j : U \to X$ be the inclusion of an open subset. Let $(\mathcal{C}, F)$ be a type of algebraic structure such that $\mathcal{C}$ has an initial object $e$. Consider the functors of restriction and extension by $e$ for (pre)sheaves of algebraic structure defined above.

  1. The functor $j_{p!}$ is a left adjoint to the restriction functor $j_p$ (see Lemma 6.31.1).
  2. The functor $j_!$ is a left adjoint to restriction, in a formula $$ \mathop{\rm Mor}\nolimits_{\mathop{\textit{Sh}}\nolimits(X, \mathcal{C})}(j_!\mathcal{F}, \mathcal{G}) = \mathop{\rm Mor}\nolimits_{\mathop{\textit{Sh}}\nolimits(U, \mathcal{C})}(\mathcal{F}, j^{-1}\mathcal{G}) = \mathop{\rm Mor}\nolimits_{\mathop{\textit{Sh}}\nolimits(U, \mathcal{C})}(\mathcal{F}, \mathcal{G}|_U) $$ bifunctorially in $\mathcal{F}$ and $\mathcal{G}$.
  3. Let $\mathcal{F}$ be a sheaf on $U$. The stalks of the sheaf $j_!\mathcal{F}$ are described as follows $$ j_{!}\mathcal{F}_x = \left\{ \begin{matrix} e & \text{if} & x \not \in U \\ \mathcal{F}_x & \text{if} & x \in U \end{matrix} \right. $$
  4. On the category of presheaves of algebraic structures on $U$ we have $j_pj_{p!} = \text{id}$.
  5. On the category of sheaves of algebraic structures on $U$ we have $j^{-1}j_! = \text{id}$.

Proof. Omitted. $\square$

Lemma 6.31.8. Let $(X, \mathcal{O})$ be a ringed space. Let $j : (U, \mathcal{O}|_U) \to (X, \mathcal{O})$ be an open subspace. Consider the functors of restriction and extension by $0$ for (pre)sheaves of modules defined above.

  1. The functor $j_{p!}$ is a left adjoint to restriction, in a formula $$ \mathop{\rm Mor}\nolimits_{\textit{PMod}(\mathcal{O})}(j_{p!}\mathcal{F}, \mathcal{G}) = \mathop{\rm Mor}\nolimits_{\textit{PMod}(\mathcal{O}|_U)}(\mathcal{F}, \mathcal{G}|_U) $$ bifunctorially in $\mathcal{F}$ and $\mathcal{G}$.
  2. The functor $j_!$ is a left adjoint to restriction, in a formula $$ \mathop{\rm Mor}\nolimits_{\textit{Mod}(\mathcal{O})}(j_!\mathcal{F}, \mathcal{G}) = \mathop{\rm Mor}\nolimits_{\textit{Mod}(\mathcal{O}|_U)}(\mathcal{F}, \mathcal{G}|_U) $$ bifunctorially in $\mathcal{F}$ and $\mathcal{G}$.
  3. Let $\mathcal{F}$ be a sheaf of $\mathcal{O}$-modules on $U$. The stalks of the sheaf $j_!\mathcal{F}$ are described as follows $$ j_{!}\mathcal{F}_x = \left\{ \begin{matrix} 0 & \text{if} & x \not \in U \\ \mathcal{F}_x & \text{if} & x \in U \end{matrix} \right. $$
  4. On the category of sheaves of $\mathcal{O}|_U$-modules on $U$ we have $j^{-1}j_! = \text{id}$.

Proof. Omitted. $\square$

Note that by the lemmas above, both the functors $j_*$ and $j_!$ are fully faithful embeddings of the category of sheaves on $U$ into the category of sheaves on $X$. It is only true for the functor $j_!$ that one can easily describe the essential image of this functor.

Lemma 6.31.9. Let $X$ be a topological space. Let $j : U \to X$ be the inclusion of an open subset. The functor $$ j_! : \mathop{\textit{Sh}}\nolimits(U) \longrightarrow \mathop{\textit{Sh}}\nolimits(X) $$ is fully faithful. Its essential image consists exactly of those sheaves $\mathcal{G}$ such that $\mathcal{G}_x = \emptyset$ for all $x \in X \setminus U$.

Proof. Fully faithfulness follows formally from $j^{-1} j_! = \text{id}$. We have seen that any sheaf in the image of the functor has the property on the stalks mentioned in the lemma. Conversely, suppose that $\mathcal{G}$ has the indicated property. Then it is easy to check that $$ j_! j^{-1} \mathcal{G} \to \mathcal{G} $$ is an isomorphism on all stalks and hence an isomorphism. $\square$

Lemma 6.31.10. Let $X$ be a topological space. Let $j : U \to X$ be the inclusion of an open subset. The functor $$ j_! : \textit{Ab}(U) \longrightarrow \textit{Ab}(X) $$ is fully faithful. Its essential image consists exactly of those sheaves $\mathcal{G}$ such that $\mathcal{G}_x = 0$ for all $x \in X \setminus U$.

Proof. Omitted. $\square$

Lemma 6.31.11. Let $X$ be a topological space. Let $j : U \to X$ be the inclusion of an open subset. Let $(\mathcal{C}, F)$ be a type of algebraic structure such that $\mathcal{C}$ has an initial object $e$. The functor $$ j_! : \mathop{\textit{Sh}}\nolimits(U, \mathcal{C}) \longrightarrow \mathop{\textit{Sh}}\nolimits(X, \mathcal{C}) $$ is fully faithful. Its essential image consists exactly of those sheaves $\mathcal{G}$ such that $\mathcal{G}_x = e$ for all $x \in X \setminus U$.

Proof. Omitted. $\square$

Lemma 6.31.12. Let $(X, \mathcal{O})$ be a ringed space. Let $j : (U, \mathcal{O}|_U) \to (X, \mathcal{O})$ be an open subspace. The functor $$ j_! : \textit{Mod}(\mathcal{O}|_U) \longrightarrow \textit{Mod}(\mathcal{O}) $$ is fully faithful. Its essential image consists exactly of those sheaves $\mathcal{G}$ such that $\mathcal{G}_x = 0$ for all $x \in X \setminus U$.

Proof. Omitted. $\square$

Remark 6.31.13. Let $j : U \to X$ be an open immersion of topological spaces as above. Let $x \in X$, $x \not \in U$. Let $\mathcal{F}$ be a sheaf of sets on $U$. Then $j_!\mathcal{F}_x = \emptyset$ by Lemma 6.31.4. Hence $j_!$ does not transform a final object of $\mathop{\textit{Sh}}\nolimits(U)$ into a final object of $\mathop{\textit{Sh}}\nolimits(X)$ unless $U = X$. According to our conventions in Categories, Section 4.23 this means that the functor $j_!$ is not left exact as a functor between the categories of sheaves of sets. It will be shown later that $j_!$ on abelian sheaves is exact, see Modules, Lemma 17.3.4.

    The code snippet corresponding to this tag is a part of the file sheaves.tex and is located in lines 4367–4852 (see updates for more information).

    \section{Open immersions and (pre)sheaves}
    \label{section-open-immersions}
    
    \noindent
    Let $X$ be a topological space.
    Let $j : U \to X$ be the inclusion of an open subset $U$ into $X$.
    In Section \ref{section-presheaves-functorial} we have defined
    functors $j_*$ and $j^{-1}$ such that $j_*$ is right adjoint to
    $j^{-1}$. It turns out that for an open immersion there is a left adjoint
    for $j^{-1}$, which we will denote $j_!$. First we point out that
    $j^{-1}$ has a particularly simple description in the case of
    an open immersion.
    
    \begin{lemma}
    \label{lemma-j-pullback}
    Let $X$ be a topological space.
    Let $j : U \to X$ be the inclusion of an open subset $U$ into $X$.
    \begin{enumerate}
    \item Let $\mathcal{G}$ be a presheaf of sets on $X$.
    The presheaf $j_p\mathcal{G}$
    (see Section \ref{section-presheaves-functorial}) is given by the rule
    $V \mapsto \mathcal{G}(V)$ for $V \subset U$ open.
    \item Let $\mathcal{G}$ be a sheaf of sets on $X$.
    The sheaf $j^{-1}\mathcal{G}$ is given by the rule
    $V \mapsto \mathcal{G}(V)$ for $V \subset U$ open.
    \item For any point $u \in U$ and any sheaf $\mathcal{G}$ on $X$
    we have a canonical identification of stalks
    $$
    j^{-1}\mathcal{G}_u = (\mathcal{G}|_U)_u = \mathcal{G}_u.
    $$
    \item On the category of presheaves of $U$ we have $j_pj_* = \text{id}$.
    \item On the category of sheaves of $U$ we have $j^{-1}j_* = \text{id}$.
    \end{enumerate}
    The same description holds for (pre)sheaves of abelian groups,
    (pre)sheaves of algebraic structures, and (pre)sheaves of modules.
    \end{lemma}
    
    \begin{proof}
    The colimit in the definition of $j_p\mathcal{G}(V)$
    is over collection of all $W \subset X$ open such that $V \subset W$
    ordered by reverse inclusion.
    Hence this has a largest element, namely $V$. This proves (1).
    And (2) follows because the assignment $V \mapsto \mathcal{G}(V)$
    for $V \subset U$ open is clearly a sheaf if $\mathcal{G}$ is a
    sheaf. Assertion (3) follows from (2) since the collection
    of open neighbourhoods of $u$ which are contained in $U$ is cofinal
    in the collection of all open neighbourhoods of $u$ in $X$.
    Parts (4) and (5) follow by computing
    $j^{-1}j_*\mathcal{F}(V) = j_*\mathcal{F}(V) = \mathcal{F}(V)$.
    
    \medskip\noindent
    The exact same arguments work for (pre)sheaves of abelian groups
    and (pre)sheaves of algebraic structures.
    \end{proof}
    
    \begin{definition}
    \label{definition-restriction}
    Let $X$ be a topological space.
    Let $j : U \to X$ be the inclusion of an open subset.
    \begin{enumerate}
    \item Let $\mathcal{G}$ be a presheaf of sets, abelian groups or
    algebraic structures on $X$. The presheaf $j_p\mathcal{G}$ described
    in Lemma \ref{lemma-j-pullback} is called
    the {\it restriction of $\mathcal{G}$ to $U$} and denoted $\mathcal{G}|_U$.
    \item Let $\mathcal{G}$ be a sheaf of sets on $X$, abelian groups or
    algebraic structures on $X$. The sheaf $j^{-1}\mathcal{G}$ is called
    the {\it restriction of $\mathcal{G}$ to $U$} and denoted $\mathcal{G}|_U$.
    \item If $(X, \mathcal{O})$ is a ringed space, then the pair
    $(U, \mathcal{O}|_U)$ is called the
    {\it open subspace of $(X, \mathcal{O})$ associated to $U$}.
    \item If $\mathcal{G}$ is a presheaf of $\mathcal{O}$-modules
    then $\mathcal{G}|_U$ together with the multiplication map
    $\mathcal{O}|_U \times \mathcal{G}|_U \to \mathcal{G}|_U$
    (see Lemma \ref{lemma-pullback-module})
    is called the {\it restriction of $\mathcal{G}$ to $U$}.
    \end{enumerate}
    \end{definition}
    
    \noindent
    We leave a definition of the restriction of presheaves
    of modules to the reader. Ok, so in this section we will
    discuss a left adjoint to the restriction functor.
    Here is the definition in the case of (pre)sheaves
    of sets.
    
    \begin{definition}
    \label{definition-j-shriek}
    Let $X$ be a topological space.
    Let $j : U \to X$ be the inclusion of an open subset.
    \begin{enumerate}
    \item Let $\mathcal{F}$ be a presheaf of sets on $U$. We define
    the {\it extension of $\mathcal{F}$ by the empty set $j_{p!}\mathcal{F}$}
    to be the presheaf of sets on $X$ defined by the rule
    $$
    j_{p!}\mathcal{F}(V) =
    \left\{
    \begin{matrix}
    \emptyset & \text{if} & V \not \subset U \\
    \mathcal{F}(V) & \text{if} & V \subset U
    \end{matrix}
    \right.
    $$
    with obvious restriction mappings.
    \item Let $\mathcal{F}$ be a sheaf of sets on $U$. We define
    the {\it extension of $\mathcal{F}$ by the empty set $j_!\mathcal{F}$}
    to be the sheafification of the presheaf $j_{p!}\mathcal{F}$.
    \end{enumerate}
    \end{definition}
    
    \begin{lemma}
    \label{lemma-j-shriek}
    Let $X$ be a topological space.
    Let $j : U \to X$ be the inclusion of an open subset.
    \begin{enumerate}
    \item The functor $j_{p!}$ is a left adjoint to the
    restriction functor $j_p$ (see Lemma \ref{lemma-j-pullback}).
    \item The functor $j_!$ is a left adjoint to restriction,
    in a formula
    $$
    \Mor_{\Sh(X)}(j_!\mathcal{F}, \mathcal{G})
    =
    \Mor_{\Sh(U)}(\mathcal{F}, j^{-1}\mathcal{G})
    =
    \Mor_{\Sh(U)}(\mathcal{F}, \mathcal{G}|_U)
    $$
    bifunctorially in $\mathcal{F}$ and $\mathcal{G}$.
    \item Let $\mathcal{F}$ be a sheaf of sets on $U$.
    The stalks of the sheaf $j_!\mathcal{F}$ are described
    as follows
    $$
    j_{!}\mathcal{F}_x =
    \left\{
    \begin{matrix}
    \emptyset & \text{if} & x \not \in U \\
    \mathcal{F}_x & \text{if} & x \in U
    \end{matrix}
    \right.
    $$
    \item On the category of presheaves of $U$ we have $j_pj_{p!} = \text{id}$.
    \item On the category of sheaves of $U$ we have $j^{-1}j_! = \text{id}$.
    \end{enumerate}
    \end{lemma}
    
    \begin{proof}
    To map $j_{p!}\mathcal{F}$ into $\mathcal{G}$
    it is enough to map $\mathcal{F}(V) \to \mathcal{G}(V)$
    whenever $V \subset U$ compatibly with restriction
    mappings. And by Lemma \ref{lemma-j-pullback}
    the same description holds for maps
    $\mathcal{F} \to \mathcal{G}|_U$.
    The adjointness of $j_!$ and restriction follows
    from this and the properties of sheafification.
    The identification of stalks is obvious from the
    definition of the extension by the empty set
    and the definition of a stalk.
    Statements (4) and (5) follow by computing the
    value of the sheaf on any open of $U$.
    \end{proof}
    
    \noindent
    Note that if $\mathcal{F}$ is a sheaf
    of abelian groups on $U$, then in general $j_!\mathcal{F}$ as
    defined above, is not a sheaf of abelian groups, for example
    because some of its stalks are empty (hence not abelian groups
    for sure). Thus we need to modify the definition of
    $j_!$ depending on the type of sheaves we consider.
    The reason for choosing the empty set in the definition of the
    extension by the empty set, is that it is the initial object
    in the category of sets. Thus in the case of abelian groups
    we use $0$ (and more generally for sheaves with values in
    any abelian category).
    
    \begin{definition}
    \label{definition-j-shriek-structures}
    Let $X$ be a topological space.
    Let $j : U \to X$ be the inclusion of an open subset.
    \begin{enumerate}
    \item Let $\mathcal{F}$ be an abelian presheaf on $U$.
    We define the {\it extension $j_{p!}\mathcal{F}$ of $\mathcal{F}$ by $0$}
    to be the abelian presheaf on $X$ defined by the rule
    $$
    j_{p!}\mathcal{F}(V) =
    \left\{
    \begin{matrix}
    0 & \text{if} & V \not \subset U \\
    \mathcal{F}(V) & \text{if} & V \subset U
    \end{matrix}
    \right.
    $$
    with obvious restriction mappings.
    \item Let $\mathcal{F}$ be an abelian sheaf on $U$. We define
    the {\it extension $j_!\mathcal{F}$ of $\mathcal{F}$ by $0$}
    to be the sheafification of the abelian presheaf $j_{p!}\mathcal{F}$.
    \item Let $\mathcal{C}$ be a category having an initial object $e$.
    Let $\mathcal{F}$ be a presheaf on $U$ with values in $\mathcal{C}$.
    We define the {\it extension $j_{p!}\mathcal{F}$ of $\mathcal{F}$ by $e$}
    to be the presheaf on $X$ with values in $\mathcal{C}$ defined by the
    rule
    $$
    j_{p!}\mathcal{F}(V) =
    \left\{
    \begin{matrix}
    e & \text{if} & V \not \subset U \\
    \mathcal{F}(V) & \text{if} & V \subset U
    \end{matrix}
    \right.
    $$
    with obvious restriction mappings.
    \item Let $(\mathcal{C}, F)$ be a type of algebraic structure
    such that $\mathcal{C}$ has an initial object $e$.
    Let $\mathcal{F}$ be a sheaf of algebraic structures on $U$
    (of the give type). We define the
    {\it extension $j_!\mathcal{F}$ of $\mathcal{F}$ by $e$}
    to be the sheafification of the presheaf $j_{p!}\mathcal{F}$
    defined above.
    \item Let $\mathcal{O}$ be a presheaf of rings on $X$.
    Let $\mathcal{F}$ be a presheaf of $\mathcal{O}|_U$-modules.
    In this case we define the {\it extension by $0$}
    to be the presheaf of $\mathcal{O}$-modules which is equal to
    $j_{p!}\mathcal{F}$ as an abelian presheaf endowed with
    the multiplication map
    $\mathcal{O} \times j_{p!}\mathcal{F} \to j_{p!}\mathcal{F}$.
    \item Let $\mathcal{O}$ be a sheaf of rings on $X$.
    Let $\mathcal{F}$ be a sheaf of $\mathcal{O}|_U$-modules.
    In this case we define the {\it extension by $0$}
    to be the $\mathcal{O}$-module which is equal to
    $j_!\mathcal{F}$ as an abelian sheaf endowed with
    the multiplication map $\mathcal{O} \times j_!\mathcal{F} \to j_!\mathcal{F}$.
    \end{enumerate}
    \end{definition}
    
    \noindent
    It is true that one can define $j_!$ in the setting of sheaves
    of algebraic structures (see below). However, it depends on the
    type of algebraic structures involved what the resulting
    object is. For example, if $\mathcal{O}$ is a sheaf of rings
    on $U$, then $j_{!, rings}\mathcal{O} \not = j_{!, abelian}\mathcal{O}$
    since the initial object in the category of rings
    is $\mathbf{Z}$ and the initial object in the category
    of abelian groups is $0$. In particular the functor $j_!$
    {\it does not commute with taking underlying sheaves of sets},
    in contrast to what we have seen so far! We separate out the case
    of (pre)sheaves of abelian groups, (pre)sheaves of algebraic structures
    and (pre)sheaves of modules as usual.
    
    \begin{lemma}
    \label{lemma-j-shriek-abelian}
    Let $X$ be a topological space.
    Let $j : U \to X$ be the inclusion of an open subset.
    Consider the functors of restriction and extension
    by $0$ for abelian (pre)sheaves.
    \begin{enumerate}
    \item The functor $j_{p!}$ is a left adjoint to the
    restriction functor $j_p$ (see Lemma \ref{lemma-j-pullback}).
    \item The functor $j_!$ is a left adjoint to restriction,
    in a formula
    $$
    \Mor_{\textit{Ab}(X)}(j_!\mathcal{F}, \mathcal{G})
    =
    \Mor_{\textit{Ab}(U)}(\mathcal{F}, j^{-1}\mathcal{G})
    =
    \Mor_{\textit{Ab}(U)}(\mathcal{F}, \mathcal{G}|_U)
    $$
    bifunctorially in $\mathcal{F}$ and $\mathcal{G}$.
    \item Let $\mathcal{F}$ be an abelian sheaf on $U$.
    The stalks of the sheaf $j_!\mathcal{F}$ are described
    as follows
    $$
    j_{!}\mathcal{F}_x =
    \left\{
    \begin{matrix}
    0 & \text{if} & x \not \in U \\
    \mathcal{F}_x & \text{if} & x \in U
    \end{matrix}
    \right.
    $$
    \item On the category of abelian presheaves of $U$
    we have $j_pj_{p!} = \text{id}$.
    \item On the category of abelian sheaves of $U$
    we have $j^{-1}j_! = \text{id}$.
    \end{enumerate}
    \end{lemma}
    
    \begin{proof}
    Omitted.
    \end{proof}
    
    \begin{lemma}
    \label{lemma-j-shriek-structures}
    Let $X$ be a topological space.
    Let $j : U \to X$ be the inclusion of an open subset.
    Let $(\mathcal{C}, F)$ be a type of algebraic structure
    such that $\mathcal{C}$ has an initial object $e$.
    Consider the functors of restriction and extension
    by $e$ for (pre)sheaves of algebraic structure defined above.
    \begin{enumerate}
    \item The functor $j_{p!}$ is a left adjoint to the
    restriction functor $j_p$ (see Lemma \ref{lemma-j-pullback}).
    \item The functor $j_!$ is a left adjoint to restriction,
    in a formula
    $$
    \Mor_{\Sh(X, \mathcal{C})}(j_!\mathcal{F}, \mathcal{G})
    =
    \Mor_{\Sh(U, \mathcal{C})}(\mathcal{F}, j^{-1}\mathcal{G})
    =
    \Mor_{\Sh(U, \mathcal{C})}(\mathcal{F}, \mathcal{G}|_U)
    $$
    bifunctorially in $\mathcal{F}$ and $\mathcal{G}$.
    \item Let $\mathcal{F}$ be a sheaf on $U$.
    The stalks of the sheaf $j_!\mathcal{F}$ are described
    as follows
    $$
    j_{!}\mathcal{F}_x =
    \left\{
    \begin{matrix}
    e & \text{if} & x \not \in U \\
    \mathcal{F}_x & \text{if} & x \in U
    \end{matrix}
    \right.
    $$
    \item On the category of presheaves of algebraic structures on $U$
    we have $j_pj_{p!} = \text{id}$.
    \item On the category of sheaves of algebraic structures on $U$
    we have $j^{-1}j_! = \text{id}$.
    \end{enumerate}
    \end{lemma}
    
    \begin{proof}
    Omitted.
    \end{proof}
    
    \begin{lemma}
    \label{lemma-j-shriek-modules}
    Let $(X, \mathcal{O})$ be a ringed space.
    Let $j : (U, \mathcal{O}|_U) \to (X, \mathcal{O})$
    be an open subspace.
    Consider the functors of restriction and extension
    by $0$ for (pre)sheaves of modules defined above.
    \begin{enumerate}
    \item The functor $j_{p!}$ is a left adjoint to restriction,
    in a formula
    $$
    \Mor_{\textit{PMod}(\mathcal{O})}(j_{p!}\mathcal{F}, \mathcal{G})
    =
    \Mor_{\textit{PMod}(\mathcal{O}|_U)}(\mathcal{F}, \mathcal{G}|_U)
    $$
    bifunctorially in $\mathcal{F}$ and $\mathcal{G}$.
    \item The functor $j_!$ is a left adjoint to restriction,
    in a formula
    $$
    \Mor_{\textit{Mod}(\mathcal{O})}(j_!\mathcal{F}, \mathcal{G})
    =
    \Mor_{\textit{Mod}(\mathcal{O}|_U)}(\mathcal{F}, \mathcal{G}|_U)
    $$
    bifunctorially in $\mathcal{F}$ and $\mathcal{G}$.
    \item Let $\mathcal{F}$ be a sheaf of $\mathcal{O}$-modules on $U$.
    The stalks of the sheaf $j_!\mathcal{F}$ are described
    as follows
    $$
    j_{!}\mathcal{F}_x =
    \left\{
    \begin{matrix}
    0 & \text{if} & x \not \in U \\
    \mathcal{F}_x & \text{if} & x \in U
    \end{matrix}
    \right.
    $$
    \item On the category of sheaves of $\mathcal{O}|_U$-modules on $U$
    we have $j^{-1}j_! = \text{id}$.
    \end{enumerate}
    \end{lemma}
    
    \begin{proof}
    Omitted.
    \end{proof}
    
    \noindent
    Note that by the lemmas above, both the functors
    $j_*$ and $j_!$ are fully faithful embeddings of
    the category of sheaves on $U$ into the category
    of sheaves on $X$. It is only true for the functor
    $j_!$ that one can easily describe the essential
    image of this functor.
    
    \begin{lemma}
    \label{lemma-equivalence-categories-open}
    Let $X$ be a topological space.
    Let $j : U \to X$ be the inclusion of an open subset.
    The functor
    $$
    j_! : \Sh(U) \longrightarrow \Sh(X)
    $$
    is fully faithful. Its essential image consists exactly
    of those sheaves $\mathcal{G}$ such that
    $\mathcal{G}_x = \emptyset$ for all $x \in X \setminus U$.
    \end{lemma}
    
    \begin{proof}
    Fully faithfulness follows formally from $j^{-1} j_! = \text{id}$.
    We have seen that any sheaf in the image of the functor has
    the property on the stalks mentioned in the lemma. Conversely, suppose
    that $\mathcal{G}$ has the indicated property.
    Then it is easy to check that
    $$
    j_! j^{-1} \mathcal{G} \to \mathcal{G}
    $$
    is an isomorphism on all stalks and hence an isomorphism.
    \end{proof}
    
    \begin{lemma}
    \label{lemma-equivalence-categories-open-abelian}
    Let $X$ be a topological space.
    Let $j : U \to X$ be the inclusion of an open subset.
    The functor
    $$
    j_! : \textit{Ab}(U) \longrightarrow \textit{Ab}(X)
    $$
    is fully faithful. Its essential image consists exactly
    of those sheaves $\mathcal{G}$ such that
    $\mathcal{G}_x = 0$ for all $x \in X \setminus U$.
    \end{lemma}
    
    \begin{proof}
    Omitted.
    \end{proof}
    
    \begin{lemma}
    \label{lemma-equivalence-categories-open-structures}
    Let $X$ be a topological space.
    Let $j : U \to X$ be the inclusion of an open subset.
    Let $(\mathcal{C}, F)$ be a type of algebraic structure
    such that $\mathcal{C}$ has an initial object $e$.
    The functor
    $$
    j_! : \Sh(U, \mathcal{C}) \longrightarrow \Sh(X, \mathcal{C})
    $$
    is fully faithful. Its essential image consists exactly
    of those sheaves $\mathcal{G}$ such that
    $\mathcal{G}_x = e$ for all $x \in X \setminus U$.
    \end{lemma}
    
    \begin{proof}
    Omitted.
    \end{proof}
    
    
    \begin{lemma}
    \label{lemma-equivalence-categories-open-modules}
    Let $(X, \mathcal{O})$ be a ringed space.
    Let $j : (U, \mathcal{O}|_U) \to (X, \mathcal{O})$
    be an open subspace.
    The functor
    $$
    j_! : \textit{Mod}(\mathcal{O}|_U) \longrightarrow \textit{Mod}(\mathcal{O})
    $$
    is fully faithful. Its essential image consists exactly
    of those sheaves $\mathcal{G}$ such that
    $\mathcal{G}_x = 0$ for all $x \in X \setminus U$.
    \end{lemma}
    
    \begin{proof}
    Omitted.
    \end{proof}
    
    \begin{remark}
    \label{remark-j-shriek-not-exact}
    Let $j : U \to X$ be an open immersion of topological spaces as above.
    Let $x \in X$, $x \not \in U$. Let $\mathcal{F}$ be a sheaf of sets
    on $U$. Then $j_!\mathcal{F}_x = \emptyset$ by Lemma \ref{lemma-j-shriek}.
    Hence $j_!$ does not transform a final object of $\Sh(U)$
    into a final object of $\Sh(X)$ unless $U = X$.
    According to our conventions in
    Categories, Section \ref{categories-section-exact-functor}
    this means that the functor $j_!$ is not left exact
    as a functor between the categories of sheaves of sets.
    It will be shown later that $j_!$ on abelian sheaves is exact,
    see Modules, Lemma \ref{modules-lemma-j-shriek-exact}.
    \end{remark}

    Comments (2)

    Comment #2513 by Ilya on April 20, 2017 a 5:50 am UTC

    In the last remark (6.31.13) should be $j_!\mathcal{F}_x$ instead of $\mathcal{F}_x$.

    Comment #2556 by Johan (site) on May 25, 2017 a 5:58 pm UTC

    Dear Ilya. This typo makes the whole thing just very confusing:) Thanks very much. The fix is here.

    Add a comment on tag 009Z

    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 lower-right corner).

    All contributions are licensed under the GNU Free Documentation License.




    In order to prevent bots from posting comments, we would like you to prove that you are human. You can do this by filling in the name of the current tag in the following box. So in case this where tag 0321 you just have to write 0321. Beware of the difference between the letter 'O' and the digit 0.

    This captcha seems more appropriate than the usual illegible gibberish, right?