ScalingStacks

0MYR

Definition 4.3. The motivic extension algebra EE is the โ„ค\mathbb{Z}-graded locally unital algebra

E=EndDMGโก(๐’ฉ,โ„š)โˆ™โก(๐’ฏSโ€‹pโ€‹r)E=\operatorname{End}^{\bullet}_{\operatorname{DM}_{G}(\mathcal{N},\mathbb{Q})}(\mathcal{T}^{Spr})

which has a grading induced by the autoequivalence โŸจ1โŸฉ=(1)โ€‹[2],\langle 1\rangle=(1)[2], see (2.3). More explicitly, for nโˆˆโ„คn\in\mathbb{Z} the nn-th graded part of EE is

En=โจi,jHomDMGโก(๐’ฉ,โ„š)(ฮผi,!(โ„š๐’ฉ~i),ฮผj,!(โ„š๐’ฉ~j)(n)[2n]).E^{n}=\bigoplus_{i,j}\operatorname{Hom}_{\operatorname{DM}_{G}(\mathcal{N},\mathbb{Q})}(\mu_{i,!}(\mathbb{Q}_{\widetilde{\mathcal{N}}_{i}}),\mu_{j,!}(\mathbb{Q}_{\widetilde{\mathcal{N}}_{j}})(n)[2n]).

For every prime โ„“โ‰ 0\ell\neq 0 we define the โ„“\ell-adic extension algebra Eโ„“eยดโ€‹tE^{\acute{e}t}_{\ell} in the same way, replacing DMGโก(๐’ฉ,โ„š)\operatorname{DM}_{G}(\mathcal{N},\mathbb{Q}) by DGโก(๐’ฉ,โ„šโ„“).\operatorname{D}_{G}(\mathcal{N},\mathbb{Q}_{\ell}).

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

Jens Niklas Eberhardt, Catharina Stroppel

Original source: arXiv:2109.00305v2