G] = \reg_X \otimes (\chi^0\oplus\cdots\oplus\chi^{m-1})$ is a relative tilting sheaf for $\Db_G(X)$ over $\Dperf(Y)$.

If $L\in\Pic(Y)\subset\Dperf(Y)$ is an ample line bundle, then so is $\pi^*(L)$. Hence, $\Db(X)$ has a generator of the form $E \coloneqq \pi^*(\reg_Y\oplus L\oplus\cdots\oplus L^{\otimes k})$ for some $k\gg0$; see [@Orlov_gen].

In particular, $E$ is a spanning class of $\Db(X)$. Using the adjunction $\Res\dashv \Ind\dashv\Res$, it follows that $\Ind(E) \cong E\oplus E\otimes \chi \oplus \dots\oplus E\otimes \chi^{m-1}$ is a spanning class of $\Db_G(X)$. Hence, $V=\Ind\reg_X$ is a relative spanning class of $\Db_G(X)$ over $\Dperf(Y)$.

Since $V$ is a vector bundle, so is $\sHom(V,V) = V\dual \otimes V$. The map $\pi$ is finite, hence $\pi_*$ is exact (does not need to be derived). Finally, taking $G$-invariants is exact because we work in characteristic 0. Altogether, $\pi_*^G\sHom(V,V)$ is a sheaf concentrated in degree 0.

\[Psilinear\] The functors $\Phi$ and $\Psi$, and for all $\alpha,\beta\in\IZ$ the subcategories $$\begin{aligned}
  \Xi_\alpha(\Db(S)) &= a_*(\Db(S)) \otimes \chi^\alpha \subset \Db_G(X) 
   \quad\text{and}\\
  \Theta_\beta(\Db(S)) &= i_*\nu^*\Db(S) \otimes \reg_\wY(\beta) \subset \Db(\wY)\end{aligned}$$ are $Y$-linear for $\pi^*\triv\colon \Dperf(Y)\to \Db_G(X)$ and $\rho^*\colon \Dperf(Y)\to \Db(\wY)$, respectively.

We
G ] = \reg_X \otimes (\chi^0\oplus\cdots\oplus\chi^{m-1})$ is a relative tilting sheaf for $ \Db_G(X)$ over $ \Dperf(Y)$. 

 If $ L\in\Pic(Y)\subset\Dperf(Y)$ is an ample line bundle, then therefore is $ \pi^*(L)$. therefore, $ \Db(X)$ has a generator of the form $ east \coloneqq \pi^*(\reg_Y\oplus L\oplus\cdots\oplus L^{\otimes k})$ for some $ k\gg0 $; witness [ @Orlov_gen ]. 

 In particular, $ E$ is a spanning course of $ \Db(X)$. Using the adjunction $ \Res\dashv \Ind\dashv\Res$, it follows that $ \Ind(E) \cong E\oplus E\otimes \chi \oplus \dots\oplus E\otimes \chi^{m-1}$ is a cross course of $ \Db_G(X)$. Hence, $ V=\Ind\reg_X$ is a relative cross class of $ \Db_G(X)$ over $ \Dperf(Y)$. 

 Since $ V$ is a vector bundle, then is $ \sHom(V, five) = V\dual \otimes V$. The map $ \pi$ is finite, hence $ \pi_*$ is exact (does not need to be derived). ultimately, taking $ G$-invariants is exact because we work in characteristic 0. all in all, $ \pi_*^G\sHom(V, V)$ is a sheaf concentrated in degree 0. 

 \[Psilinear\ ] The functors $ \Phi$ and $ \Psi$, and for all $ \alpha,\beta\in\IZ$ the subcategories $ $ \begin{aligned } 
   \Xi_\alpha(\Db(S) ) & = a_*(\Db(S) ) \otimes \chi^\alpha \subset \Db_G(X) 
    \quad\text{and}\\ 
   \Theta_\beta(\Db(S) ) & = i_*\nu^*\Db(S) \otimes \reg_\wY(\beta) \subset \Db(\wY)\end{aligned}$$ are $ Y$-linear for $ \pi^*\triv\colon \Dperf(Y)\to \Db_G(X)$ and $ \rho^*\colon \Dperf(Y)\to \Db(\wY)$, respectively. 

 We
G] = \geg_X \otimes (\chi^0\oplus\cdotr\oplus\chi^{m-1})$ is a relatite tiltjng sheaw for $\Db_G(X)$ over $\Dperf(Y)$.

If $L\in\'ic(Y)\wubseu\Bperf(Y)$ is an ample lkne bundlv, then so is $\ki^*(L)$. Hence, $\Db(X)$ has a generator or the horm $E \coloneqq \pi^*(\reg_Y\oplgs L\oplus\cdots\mpuud L^{\otimes k})$ for some $k\gg0$; see [@Orlov_gqn].

In pattlcular, $E$ is a fpanmyng dlass of $\Db(X)$. Using the adjunction $\Des\dashn \Ind\dashv\Res$, it gollows that $\Ind(E) \cong E\oppus F\otimes \chi \oplus \fots\oplus E\itimqw \chi^{m-1}$ is a rpanning class of $\Db_G(X)$. Hence, $V=\Ind\reg_X$ is a relative soanniug class of $\Dv_G(X)$ mver $\Dperf(Y)$.

Wince $V$ is a vector bundla, so is $\sHom(V,V) = V\dual \otmmes V$. The map $\pi$ is finive, hence $\pi_*$ is exact (does not nzed to be derived). Finqloy, taning $G$-inxqrixnta ms sxact heceuse we wori in characreristic 0. Altogethet, $\[p_*^B\sHom(V,V)$ is a sheaf cjncentrated in degree 0.

\[Psilinear\] The funbtora $\Phi$ and $\Psi$, and for aol $\alpha,\beta\in\IZ$ the dubcategowies $$\begin{aligned}
  \Xi_\alpha(\Db(S)) &= a_*(\Db(S)) \otimes \chi^\alpva \suusdt \Bn_N(X) 
   \qkad\text{and}\\
  \Theta_\beta(\Db(S)) &= i_*\nu^*\Db(S) \otimes \reg_\wY(\fsts) \xubset \Db(\wY)\end{cligned}$$ are $Y$-linrag gjr $\pi^*\triv\colov \Dpery(G)\tk \Db_G(X)$ and $\rho^*\coloj \Dperf(I)\to \Db(\qY)$, respecuivelu.

We
G] = \reg_X \otimes (\chi^0\oplus\cdots\oplus\chi^{m-1})$ is a sheaf $\Db_G(X)$ over If $L\in\Pic(Y)\subset\Dperf(Y)$ is so $\pi^*(L)$. Hence, $\Db(X)$ a generator of form $E \coloneqq \pi^*(\reg_Y\oplus L\oplus\cdots\oplus L^{\otimes for some $k\gg0$; see [@Orlov_gen]. In particular, $E$ is a spanning class of Using the adjunction $\Res\dashv \Ind\dashv\Res$, it follows that $\Ind(E) \cong E\oplus E\otimes \chi \dots\oplus \chi^{m-1}$ a class of $\Db_G(X)$. Hence, $V=\Ind\reg_X$ is a relative spanning class of $\Db_G(X)$ over $\Dperf(Y)$. Since $V$ a vector bundle, so is $\sHom(V,V) = V\dual V$. The map $\pi$ finite, hence $\pi_*$ is exact not to be Finally, $G$-invariants exact because we in characteristic 0. Altogether, $\pi_*^G\sHom(V,V)$ is a sheaf concentrated in degree 0. \[Psilinear\] The functors $\Phi$ and and for the subcategories \Xi_\alpha(\Db(S)) a_*(\Db(S)) \chi^\alpha \subset \Db_G(X) &= i_*\nu^*\Db(S) \otimes \reg_\wY(\beta) \subset \Db(\wY)\end{aligned}$$ $\pi^*\triv\colon \Dperf(Y)\to \Db_G(X)$ and $\rho^*\colon \Dperf(Y)\to \Db(\wY)$, respectively.
G] = \reg_X \otimes (\chi^0\oplus\cdots\oPlus\chi^{m-1})$ is A relaTivE tiLtIng sHeaf For $\Db_G(X)$ over $\DpeRF(Y)$.

If $l\in\Pic(Y)\subset\Dperf(Y)$ is aN amplE lINe buNDlE, then So is $\pi^*(L)$. hEnCE, $\db(X)$ HaS a GenErAToR of thE foRm $E \coloNeqq \pi^*(\reg_Y\OplUs l\oplus\cdots\oPLuS L^{\otimes k})$ fOr sOme $k\gg0$; see [@OrlOv_gEn].

In paRtIcuLAr, $E$ is A spAnninG class OF $\Db(X)$. UsIng the adjUnCTion $\ReS\Dashv \InD\DAsHv\ReS$, it follows that $\Ind(e) \CoNG E\oplus E\otimes \Chi \oplUs \DOtS\OPluS E\oTimes \chi^{m-1}$ iS a SpannINg class OF $\DB_g(x)$. henCE, $V=\Ind\reg_X$ is a rElative spanNIng Class oF $\DB_G(X)$ OVer $\DpeRf(Y)$.

SiNcE $v$ is A vector bundLe, so Is $\sHom(V,V) = V\Dual \otIMes V$. The MAp $\pi$ is fInite, hEncE $\pi_*$ Is exACt (DoEs nOt NEed TO bE deRIveD). Finally, TaKiNg $G$-inVariANTS Is exAct BecaUse we Work in charactEriStic 0. aLtoGetheR, $\pi_*^G\shom(V,v)$ iS a sheAf concEntraTeD in degree 0.

\[PsilinEar\] THe functorS $\PhI$ aNd $\PSi$, And foR All $\alpHa,\bEta\In\IZ$ the SubcateGOriEs $$\BEGIn{Aligned}
  \Xi_\alpha(\Db(S)) &= a_*(\db(s)) \OTiMes \chi^\alPha \subSEt \db_g(x) 
   \quad\texT{aNd}\\
  \THeta_\BETa(\Db(S)) &= I_*\nu^*\DB(s) \oTimes \reg_\WY(\beta) \SUbSeT \Db(\wY)\enD{aLigned}$$ ArE $Y$-lIneAr for $\PI^*\triV\colon \dperf(Y)\to \db_G(X)$ aND $\rho^*\colon \Dperf(y)\To \Db(\wY)$, respectIVeLY.

we
G] = \reg_X \otimes (\chi^ 0\oplus\cd ots\o plu s\c hi ^{m- 1})$  is a relative tilt ing sheaf for $\Db_G(X )$ ov er $\Dp e rf (Y)$. 

If $L \ in \ P ic( Y) \s ubs et \ Dp erf(Y )$is an a mple linebun dl e, then so i s  $ \pi^*(L)$.  He nce, $\Db(X) $ h as a g en era t or of  th e for m $E \ c oloneq q \pi^*(\ re g _Y\opl u s L\opl u s \c dots \oplus L^{\otimes k} ) $ for some $k\ gg0$;se e  [ @ O rlo v_g en].

In p ar ticul a r, $E$i sa s pan n ing class of$\Db(X)$. U s ing  the a dj unc t ion $\ Res\d as h v \ Ind\dashv\R es$,  it follo ws tha t  $\Ind( E ) \cong  E\opl usE\o time s  \ ch i \ op l us\ do ts\ o plu s E\otim es  \ chi^{ m-1} $ i s  a s pan ning  clas s of $\Db_G(X )$.  Hen c e,$V=\I nd\re g_X$  i s a r elativ e spa nn ing class of $\ Db_G (X)$ over  $\ Dp erf (Y )$.
S ince $ V$isa vecto r bundl e , s oi s $\ sHom(V,V) = V\dual  \ o t im es V$. T he map $\ pi $  is fini te , h ence $ \pi_* $ is ex act (doe s notn ee dto be d er ived).  F ina lly , tak i ng $ G$-inv ariantsis ex a ct because wew ork in charac t er i s ti c  0.Alt ogether, $\ pi_* ^ G\sH om(V , V) $ i s  a sh eaf c on c en t rated in degree 0.
\ [Psili near\ ] The functor s $\Phi$ a n d $\Psi$,andf or all $\alpha,\b eta\i n\IZ$ thes ubcatego ries$$\begin {aligned}  \Xi_\al pha (\D b(S ))& =  a _*(\Db(S)) \o t i mes\c hi^\alp ha\subset  \D b_G (X)  
 \quad\tex t{and}\\ 
 \ Th et a_\ beta( \ Db(S)) & =i_* \n u^* \Db(S )  \otim es \r eg_\ wY (\ b eta ) \subs e t\ D b(\w Y) \e nd{a lig ne d}$$are$ Y$- linearfor $\pi^ *\t r iv\c ol on  \Dperf (Y)\to \Db_G( X) $ and $\rh o^ *\c olon \ D p erf(Y)\t o \Db(\wY)$, respective l y.

We
G] =_\reg_X \otimes_(\chi^0\oplus\cdots\oplus\chi^{m-1})$ is a relative_tilting sheaf_for_$\Db_G(X)$ over_$\Dperf(Y)$.

If_$L\in\Pic(Y)\subset\Dperf(Y)$ is an_ample line bundle,_then so is $\pi^*(L)$._Hence, $\Db(X)$ has_a_generator of the form $E \coloneqq \pi^*(\reg_Y\oplus L\oplus\cdots\oplus L^{\otimes k})$ for some $k\gg0$; see_[@Orlov_gen].

In_particular, $E$_is_a_spanning class of $\Db(X)$. Using_the adjunction $\Res\dashv \Ind\dashv\Res$, it_follows that_$\Ind(E) \cong E\oplus E\otimes \chi \oplus \dots\oplus E\otimes_\chi^{m-1}$_is a spanning_class of $\Db_G(X)$. Hence, $V=\Ind\reg_X$ is a relative spanning_class of $\Db_G(X)$ over $\Dperf(Y)$.

Since $V$_is a vector_bundle,_so_is $\sHom(V,V) = V\dual_\otimes V$. The map $\pi$ is_finite, hence $\pi_*$ is exact (does_not need to be derived). Finally, taking_$G$-invariants is exact because we work_in characteristic 0. Altogether, $\pi_*^G\sHom(V,V)$_is a_sheaf concentrated in degree 0.

\[Psilinear\]_The functors $\Phi$_and $\Psi$,_and for all_$\alpha,\beta\in\IZ$ the subcategories $$\begin{aligned}
  \Xi_\alpha(\Db(S))_&= a_*(\Db(S)) \otimes_\chi^\alpha \subset \Db_G(X) 
  _\quad\text{and}\\
_ \Theta_\beta(\Db(S)) &=_i_*\nu^*\Db(S)_\otimes_\reg_\wY(\beta) \subset_\Db(\wY)\end{aligned}$$ are $Y$-linear_for_$\pi^*\triv\colon \Dperf(Y)\to_\Db_G(X)$_and $\rho^*\colon \Dperf(Y)\to \Db(\wY)$, respectively.

We