Definition 59.64.1. Let $X$ be a scheme. Let $\mathcal{F}$ be a sheaf of sets on $X_{\acute{e}tale}$.

Let $E$ be a set. We say $\mathcal{F}$ is the

*constant sheaf with value $E$*if $\mathcal{F}$ is the sheafification of the presheaf $U \mapsto E$. Notation: $\underline{E}_ X$ or $\underline{E}$.We say $\mathcal{F}$ is a

*constant sheaf*if it is isomorphic to a sheaf as in (1).We say $\mathcal{F}$ is

*locally constant*if there exists a covering $\{ U_ i \to X\} $ such that $\mathcal{F}|_{U_ i}$ is a constant sheaf.We say that $\mathcal{F}$ is

*finite locally constant*if it is locally constant and the values are finite sets.

Let $\mathcal{F}$ be a sheaf of abelian groups on $X_{\acute{e}tale}$.

Let $A$ be an abelian group. We say $\mathcal{F}$ is the

*constant sheaf with value $A$*if $\mathcal{F}$ is the sheafification of the presheaf $U \mapsto A$. Notation: $\underline{A}_ X$ or $\underline{A}$.We say $\mathcal{F}$ is a

*constant sheaf*if it is isomorphic as an abelian sheaf to a sheaf as in (1).We say $\mathcal{F}$ is

*locally constant*if there exists a covering $\{ U_ i \to X\} $ such that $\mathcal{F}|_{U_ i}$ is a constant sheaf.We say that $\mathcal{F}$ is

*finite locally constant*if it is locally constant and the values are finite abelian groups.

Let $\Lambda $ be a ring. Let $\mathcal{F}$ be a sheaf of $\Lambda $-modules on $X_{\acute{e}tale}$.

Let $M$ be a $\Lambda $-module. We say $\mathcal{F}$ is the

*constant sheaf with value $M$*if $\mathcal{F}$ is the sheafification of the presheaf $U \mapsto M$. Notation: $\underline{M}_ X$ or $\underline{M}$.We say $\mathcal{F}$ is a

*constant sheaf*if it is isomorphic as a sheaf of $\Lambda $-modules to a sheaf as in (1).We say $\mathcal{F}$ is

*locally constant*if there exists a covering $\{ U_ i \to X\} $ such that $\mathcal{F}|_{U_ i}$ is a constant sheaf.

## Comments (0)