除子环簇的商

我们考察除子环簇上的子环面作用。此处除子性是指该簇具有许多 Cartier 除子，如同拟射影簇与光滑簇那样。我们刻画了此类环簇上的子环面作用何时在除子簇范畴中允许范畴商。我们的结果推广了拟射影情形的先前结论。证明的一个重要工具是将任意环簇到除子簇的泛约化。这是借助支撑映射完成的，支撑映射是推广多面体扇形上支撑函数的一个概念。进一步的本质步骤是将给定的到除子簇的子环面不变正则映射分解为一个不变环面部分随后一个非环面部分。