ScalingStacks

(8.1.7) Hom𝒮⁡(Z¯)⁡(U,U′)\textstyle{\operatorname{Hom}\nolimits_{{\mathcal{S}}(\bar{Z})}(U,U^{\prime})\ignorespaces\ignorespaces\ignorespaces\ignorespaces\ignorespaces\ignorespaces\ignorespaces\ignorespaces}κn\scriptstyle{\kappa_{n}}f#\scriptstyle{f^{\#}}Hom𝒮⁡(Z¯)⁡(U∖(U∩ξ¯~​({−n,…,−1})),U′∖(U′∩ξ¯~​({1,…,n}))CLOSE\textstyle{\operatorname{Hom}\nolimits_{{\mathcal{S}}(\bar{Z})}(U\setminus(U\cap\tilde{\bar{\xi}}(\{-n,\ldots,-1\})),U^{\prime}\setminus(U^{\prime}\cap\tilde{\bar{\xi}}(\{1,\ldots,n\}))\ignorespaces\ignorespaces\ignorespaces\ignorespaces}f#\scriptstyle{f^{\#}}⨁T,T′Hom𝒮⁡(Z)⁡(T,T′)\textstyle{\bigoplus_{T,T^{\prime}}\operatorname{Hom}\nolimits_{{\mathcal{S}}(Z)}(T,T^{\prime})\ignorespaces\ignorespaces\ignorespaces\ignorespaces}κn\scriptstyle{\kappa_{n}}⨁T,T′Hom𝒮⁡(Z)⁡(T̊,T̊′)\textstyle{\bigoplus_{T,T^{\prime}}\operatorname{Hom}\nolimits_{{\mathcal{S}}(Z)}(\mathring{T},\mathring{T}^{\prime})}

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

Andrew Manion, Raphael Rouquier

Original source: arXiv:2009.09627v2