
Under certain finiteness conditions, the derived stack \(\mathrm {Res}_fZ\)  will be algebraic, see [1]}, [2]}. In terms of higher derived stacks, the algebraicity of \(\mathrm {Res}_fZ\)  is controlled by the algebraicity of \(Z \rightarrow X\)  and the Tor-amplitude of \(X \rightarrow Y\) . Instead of giving a general statement, we will indicate the algebraicity of the Weil restriction in particular cases when relevant.

При определенных условиях конечности, производный стек \(\mathrm{Res}_fZ\) будет алгебраическим, см. [1] и [2]. С точки зрения более высоких производных стеков, алгебраичность \(\mathrm{Res}_fZ\) контролируется алгебраичностью \(Z \rightarrow X\) и тор-амплитудой \(X \rightarrow Y\). Вместо того чтобы давать общее утверждение, мы укажем алгебраичность вейловского ограничения в конкретных случаях, когда это актуально.