ScalingStacks

0P96

Definition 7.2.1. We define a curve to be a 11-dimensional space ZZ endowed with

  • •

    an open subset ZoZ_{o} containing Ze​x​cZ_{exc}

  • •

    an orientation of Zo−Ze​x​cZ_{o}-Z_{exc} and

  • •

    a fixed-point free involution ι\iota of CZ​(z)C_{Z}(z) for every z∈Ze​x​cz\in Z_{exc}

satisfying the following conditions:

  • •

    ∂Z=∅\partial Z=\emptyset

  • •

    Z−ZoZ-Z_{o} has finitely many connected components, none of which are points

  • •

    given z∈Ze​x​cz\in Z_{exc}, given UU a small open neighbourhood of zz in ZoZ_{o}, and given L∈π0​(U−{z})L\in\pi_{0}(U-\{z\}), then L∪ι⁡(L)∪{z}L\cup\iota(L)\cup\{z\} has an orientation extending the given orientations on LL and ι⁡(L)\iota(L).

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

Andrew Manion, Raphael Rouquier

Original source: arXiv:2009.09627v2