Lat $A$ be a set and $\underline{A}$ the associated constant Zariski sheaf on the category $Sm/S$ of schemes which are smooth over $S$ for a fixed base scheme $S$. Is $\underline{A}$ already a (constant) sheaf for the Nisnevich topology on $Sm/S$?


I ask this because constant Zariski sheaves are easier to describe, which only depend on connected components.



Is any constant Zariski sheaf already a Nisnevich sheaf?
Yes. This is fine for every topology in which covers are collections of morphism that are open for the Zariski topology and surjective on points. 


To see this, because $\underline{A}$ satisfies the sheaf condition for disjoint unions, it suffices to show for $f: Y \to X$ open and surjective on points, $\underline{A}(X) \to \underline{A}(Y) \substack{ \to \\ \to} \underline{A}( Y\times\_X Y)$ is a pullback square.


To do this, it is helpful to note that $\underline{A}(X)$ is the set of disjoint $A$-indexed open covers of $X$.


Given a disjoint $A$-indexed open cover $(F\_a)\_{a \in A}$ of $Y$ in $\underline{A}(Y)$, look at the image $f(F\_a)$ of each set in $X$. This gives an $A$-indexed open cover of $Y$. We must check that if $(F\_a)\_{a \in A}$ satisfies the gluing condition, the cover of $X$ is disjoint.


In other words we must check that if $x \in X$, $y\_1,y\_2$ lie in the fiber of $Y$ over $X$, and $y\_1 \in F\_{a\_1}$, $y\_2 \in F\_{a\_2}$, then $a\_1=a\_2$. This follows from the existence of a point in $Y \times\_X Y$ that maps to $y\_1$ and $y\_2$, which follows from the fact that $\operatorname{Spec} \kappa(y\_1) \times\_{ \operatorname{Spec} \kappa(x)} \operatorname{Spec} \kappa(y\_2)$ is nonempty, where $\kappa(x)$ denotes the residue field at $x$.


