通过 Demazure 算子构造泛中心化子的坐标环

我们给出了与单连通半单群相关联的泛中心化子坐标环的简单描述。为此，我们证明了关于 Cartan 子代数 $\mathfrak{t}$ 上仿射概形 $X$ 的 Weil 限制的一个一般性结果，该概形配备了 Weyl 群 $W$ 的相容作用。具体而言，我们证明了概形 $\mathrm{Res}^W(X)$（即 $X$ 到范畴商 $\mathfrak{t}//W$ 的 Weil 限制的 $W$-不动点）的坐标环，当且仅当概形 $\mathrm{Res}^W(X)$ 是整概形时，可以通过对 $X$ 的坐标环应用 Demazure 算子来获得。