Definition 5.16.23AA412055CB86

Definition 5.16.23.AA412055CB86 Given a coherent ideal sheaf $\mathcal{I}$ on $X$ and a closed complex subspace $Y\subseteq X$, the restriction $\operatorname{Res}_ Y\mathcal{I}$ is the coherent ideal sheaf given by

where $\mathcal{I}_ Y$ is the ideal sheaf defining $Y$.