Авторы:
(1) Вахей Хара;
(2) Юки Хирано.
3.1. Квазисимметричные представления и волшебные окна. В этом разделе вспоминаются фундаментальные свойства производных категорий факторов GIT, возникающих из квазисимметричных представлений, которые установлены в [HSa] и [SV1]. Мы свободно используем обозначения из раздела 1.6.
а затем он связывает стек факторов GIT [Xss(ℓ)/G].
Предложение 3.10 ([HSa, предложение 6.2]). Существует эквивалентность группоидов
Предложение 3.13 ([HSa, предложение 6.5]). Существует эквивалентность
расширяя эквивалентность в предложении 3.10.
(3) Это следует из (2).
Следующее элементарно, но для удобства читателя мы приведем доказательство.
Доказательство. Если W тривиально, результаты очевидны. Итак, предположим, что W ̸= 1
Следующий результат доказывает, что это отображение биективно.
Этот документ доступен на arxiv под лицензией CC0 1.0 DEED.