Lemma 31.17.3. Let $\pi : X \to Y$ be a finite morphism of schemes. Assume there exists a norm of degree $d$ for $\pi $. For any $\mathcal{O}_ X$-linear map $\varphi : \mathcal{L} \to \mathcal{L}'$ of invertible $\mathcal{O}_ X$-modules there is an $\mathcal{O}_ Y$-linear map

\[ \text{Norm}_\pi (\varphi ) : \text{Norm}_\pi (\mathcal{L}) \longrightarrow \text{Norm}_\pi (\mathcal{L}') \]

with $\text{Norm}_\pi (\mathcal{L})$, $\text{Norm}_\pi (\mathcal{L}')$ as in Lemma 31.17.2. Moreover, for $y \in Y$ the following are equivalent

$\varphi $ is zero at a point of $x \in X$ with $\pi (x) = y$, and

$\text{Norm}_\pi (\varphi )$ is zero at $y$.

**Proof.**
We choose an open covering $Y = \bigcup V_ j$ such that $\mathcal{L}$ and $\mathcal{L}'$ are trivial over the opens $\pi ^{-1}V_ j$. This is possible by Lemma 31.17.1. Choose generating sections $s_ j$ and $s'_ j$ of $\mathcal{L}$ and $\mathcal{L}'$ over the opens $\pi ^{-1}V_ j$. Then $\varphi (s_ j) = f_ js'_ j$ for some $f_ j \in \mathcal{O}_ X(\pi ^{-1}V_ j)$. Define $\text{Norm}_\pi (\varphi )$ to be multiplication by $\text{Norm}_\pi (f_ j)$ on $V_ j$. An simple calculation involving the cocycles used to construct $\text{Norm}_\pi (\mathcal{L})$, $\text{Norm}_\pi (\mathcal{L}')$ in the proof of Lemma 31.17.2 shows that this defines a map as stated in the lemma. The final statement follows from condition (2) in the definition of a norm map of degree $d$. Some details omitted.
$\square$

## Comments (2)

Comment #7168 by Xuande Liu on

Comment #7170 by Johan on

There are also: