Lemma 17.21.3. Let $f : (X, \mathcal{O}_ X) \to (Y, \mathcal{O}_ Y)$ be a morphism of ringed spaces. Let $\mathcal{F}$ be a sheaf of $\mathcal{O}_ Y$-modules. Then $f^*\text{T}(\mathcal{F}) = \text{T}(f^*\mathcal{F})$, and similarly for the exterior and symmetric algebras associated to $\mathcal{F}$.

Proof. Omitted. $\square$

There are also:

• 3 comment(s) on Section 17.21: Symmetric and exterior powers

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