by pre-composition. By [1]}, \(\operatorname{\underline{Hom}}^\otimes (\omega ^G,\eta )\)  is an \(\operatorname{\underline{Aut}}^\otimes (\omega ^G)\) -torsor. In particular, it is a \(G\) -torsor over \(\ell \)  by Corollary REF .
