Jan 01, 1970
作者:
(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
下面的结果证明该映射是双射的。