Autores:
(1) Wahei Hara;
(2) Yuki Hirano.
3.1. Representaciones cuasisimétricas y ventanas mágicas. Esta sección recuerda las propiedades fundamentales de las categorías derivadas de cocientes GIT que surgen de representaciones cuasisimétricas, que se establecen en [HSa] y [SV1]. Usamos libremente la notación de la Sección 1.6.
y luego asocia la pila de cocientes GIT [Xss(ℓ)/G].
Proposición 3.10 ([HSa, Proposición 6.2]). Existe una equivalencia de grupoides.
Proposición 3.13 ([HSa, Proposición 6.5]). Hay una equivalencia
ampliando la equivalencia en la Proposición 3.10.
(3) Esto se desprende de (2).
Lo siguiente es elemental, pero damos una prueba para comodidad del lector.
Prueba. Si W es trivial, los resultados son obvios. Por tanto, supongamos que W ̸= 1
El siguiente resultado prueba que este mapa es biyectivo.
Este documento está disponible en arxiv bajo licencia CC0 1.0 DEED.