ScalingStacks

The convolution of two cycles α∈CHdj−nG​(Zi,j)ℚ\alpha\in\operatorname{CH}^{G}_{d_{j}-n}(Z_{i,j})_{\mathbb{Q}} and β∈CHdk−mG​(Zj,k)ℚ\beta\in\operatorname{CH}^{G}_{d_{k}-m}(Z_{j,k})_{\mathbb{Q}} is given by the formula

(4.1) α⋆β=p∗δ!(α×β)∈CHdk−n−mG(Zi,k)ℚ\displaystyle\alpha\star\beta=p_{*}\delta^{!}(\alpha\times\beta)\in\operatorname{CH}^{G}_{d_{k}-n-m}(Z_{i,k})_{\mathbb{Q}}

where α×β\alpha\times\beta is the exterior product and

δ\displaystyle\delta :𝒩~i×𝒩𝒩~j×𝒩𝒩~k→𝒩~i×𝒩𝒩~j×𝒩~j×𝒩𝒩~k=Zi,j×Zj,k and\displaystyle:\widetilde{\mathcal{N}}_{i}\times_{\mathcal{N}}\widetilde{\mathcal{N}}_{j}\times_{\mathcal{N}}\widetilde{\mathcal{N}}_{k}\to\widetilde{\mathcal{N}}_{i}\times_{\mathcal{N}}\widetilde{\mathcal{N}}_{j}\times\widetilde{\mathcal{N}}_{j}\times_{\mathcal{N}}\widetilde{\mathcal{N}}_{k}=Z_{i,j}\times Z_{j,k}\text{ and}
p\displaystyle p :𝒩~i×𝒩𝒩~j×𝒩𝒩~k→𝒩~i×𝒩𝒩~k=Zi,k\displaystyle:\widetilde{\mathcal{N}}_{i}\times_{\mathcal{N}}\widetilde{\mathcal{N}}_{j}\times_{\mathcal{N}}\widetilde{\mathcal{N}}_{k}\to\widetilde{\mathcal{N}}_{i}\times_{\mathcal{N}}\widetilde{\mathcal{N}}_{k}=Z_{i,k}

are the diagonal and projection maps.

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

Jens Niklas Eberhardt, Catharina Stroppel

Original source: arXiv:2109.00305v2