ScalingStacks

6.1.3. Actions

There is a “left” 22-representation on 𝒰{\mathcal{U}}

Υ−:𝒰→End(𝒰),en↦en⊗−\Upsilon^{-}:{\mathcal{U}}\to\operatorname{End}\nolimits({\mathcal{U}}),\ e^{n}\mapsto e^{n}\otimes-

and a “right” 22-representation on 𝒰{\mathcal{U}}

Υ+:𝒰→∼rev𝒰rev→en↦−⊗enEnd⁡(𝒰).\Upsilon^{+}:{\mathcal{U}}\xrightarrow[\sim]{\mathrm{rev}}{\mathcal{U}}^{\mathrm{rev}}\xrightarrow{e^{n}\mapsto-\otimes e^{n}}\operatorname{End}\nolimits({\mathcal{U}}).

The bimodule 22-representation L±L^{\pm} associated to Υ±\Upsilon^{\pm} is given by

L±​(er,es,en)=δs,r+n​L±​(r,n)L^{\pm}(e^{r},e^{s},e^{n})=\delta_{s,r+n}L^{\pm}(r,n)

and it is left and right finite. Its left dual is isomorphic to the bimodule 22-representation R±R^{\pm} given by

R±​(es,er,en)=δs,r+n​R±​(r,n)R^{\pm}(e^{s},e^{r},e^{n})=\delta_{s,r+n}R^{\pm}(r,n)

while its right dual is isomorphic to R∓​⟨−12​n​(2​r+n−1)⟩R^{\mp}\langle-\frac{1}{2}n(2r+n-1)\rangle (note that the action of 𝒰{\mathcal{U}} on the duals is obtained from the natural action of 𝒰rev​opp{\mathcal{U}}^{\mathrm{rev}{\operatorname{opp}\nolimits}} by applying the isomorphism rev∘opp\mathrm{rev}\circ{\operatorname{opp}\nolimits}).

Original mathematics by the credited authors. Source collection and HTML conversion remain in progress.

Andrew Manion, Raphael Rouquier

Original source: arXiv:2009.09627v2