ScalingStacks

0P9X

Remark 7.3.10. Consider Πo​(Z)\Pi_{o}(Z) the category with objects the points of ZZ and arrows the oriented homotopy classes of paths, a subcategory of Π⁡(Z)\Pi(Z). We define a 𝐙≥0{\mathbf{Z}}_{\geq 0}-filtration on Πo​(Z)\Pi_{o}(Z) by defining a class ζ\zeta to have degree ≤d\leq d if it is the product of d+1d+1 admissible homotopy classes of paths. The category 𝒮∙​(Z,1){\mathcal{S}}^{\bullet}(Z,1) is isomorphic to the degree 00 part of gr⁡Πo​(Z){\operatorname{gr}\nolimits}\Pi_{o}(Z).

Note finally that if ZZ is non-singular, then 𝒮∙​(Z,1){\mathcal{S}}^{\bullet}(Z,1) is the pointed category associated to Πo​(Z)\Pi_{o}(Z).

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

Andrew Manion, Raphael Rouquier

Original source: arXiv:2009.09627v2