Let $G$ be a finite group acting on a variety $X$, and $F$ an equivariant coherent sheaf on $X$. I have seen the notation $F\otimes\rho$, where $\rho$ is a representation of $G$. What does it stand for? (It is supposed to be another equivariant coherent sheaf.)
2026-03-31 15:50:28.1774972228
Notation for equivariant sheaves
83 Views Asked by Bumbble Comm https://math.techqa.club/user/bumbble-comm/detail At
1
You can think of $\rho$ as of an equivariant sheaf on the point $Spec(k)$. Then, if $f \colon X \to Spec(k)$ is the structure morphism then $$ F \otimes \rho = F \otimes f^*(\rho). $$