从 Weyl 多边形推导的 Toric Orbifold 的同伦类型

给定一个固定简单系统的约化晶体根系，关联其 Weyl 群 $W$、抛物线子群 $W_K$ 的们及一个多边形 $P$，其为支配权的凸包。商 $P/W_K$ 可识别为一个多边形。多边形 $P$ 与 $P/W_K$ 分别关联 toric variety $X_P$ 与 $X_{P/W_K}$。当考虑根格子或权格子上的实跨时，$X_P/W_K$ 与 $X_{P/W_K}$ 的底层拓扑空间同伦等价。