ScalingStacks

We define

(5.3.1) λ:E1∨​E2→∙η1E1∨​E2​E1​E1∨→E1∨​σ​E1∨E1∨​E1​E2​E1∨→ε1∙E2​E1∨.\lambda:E_{1}^{\vee}E_{2}\xrightarrow{\bullet\eta_{1}}E_{1}^{\vee}E_{2}E_{1}E_{1}^{\vee}\xrightarrow{E_{1}^{\vee}\sigma E_{1}^{\vee}}E_{1}^{\vee}E_{1}E_{2}E_{1}^{\vee}\xrightarrow{\varepsilon_{1}\bullet}E_{2}E_{1}^{\vee}.

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

Andrew Manion, Raphael Rouquier

Original source: arXiv:2009.09627v2