[论文解读] Equivariant Primary Decomposition and Toric Sheaves

Markus Perling, Guenther Trautmann|arXiv (Cornell University)|Feb 2, 2008

Algebraic Geometry and Number Theory参考文献 10被引用 5

一句话总结

本文建立了在具有连通代数群作用的概形上，相干层的等变初等分解的存在性，特别是在 торic 代数簇和齐次坐标环的背景下。研究证明，当群作用自由时，齐次坐标环上模的分次初等分解可诱导出相应层的等变初等分解，从而在 toric 几何中建立了模论与层论初等分解之间的桥梁。

ABSTRACT

We study global primary decompositions in the category of sheaves on a scheme which are equivariant under the action of an algebraic group. We show that equivariant primary decompositions exist if the group is connected. As main application we consider the case of varieties which are quotients of a quasi-affine variety by the action of a diagonalizable group and thus admit a homogeneous coordinate ring, such as toric varieties. Comparing these decompositions with primary decompositions of graded modules over the homogeneous coordinate ring, we show that these are equivalent if the action of the diagonalizable group is free. We give some specific examples for the case of toric varieties.

研究动机与目标

• 建立在具有连通代数群作用的概形上，相干层的等变初等分解的存在性。
• 研究齐次坐标环上分次模的初等分解与相应商代数簇上层的初等分解之间的关系。
• 阐明何时一个模的分次初等分解可诱导出关联层的恰当初等分解，特别是在 toric 代数簇的背景下。
• 通过显式例子证明，这种下降性质仅在群作用自由时成立，并展示非自由情形下的失败情况。
• 为 toric 代数簇上的 Zariski 微分层提供等变初等分解的显式构造。

提出的方法

• 利用代数群作用下等变准相干层及其线性化结构的框架，特别关注对角化群。
• 在等变设定下应用局部上同调与间隙层的结果，分析层的支集与深度性质。
• 建立总空间 $Z$ 上的 $G$-等变初等分解与商空间 $X = Z//H$ 上的 $G/H$-等变分解之间的对应关系。
• 使用层化函子 $F \mapsto \widetilde{F}$ 将分次 $S$-模与 $X$ 上的准相干层联系起来，尤其在 toric 背景下。
• 利用 Ishida 复形与对偶理论分析 Kähler 微分层 $\widetilde{\Omega}^1_X$ 及其初等分解。
• 通过分析局部截面的等变分量与精细分次结构，验证初等分解通过核交集实现。

实验结果

研究问题

• RQ1 在何种条件下，齐次坐标环上模的分次初等分解可诱导出商代数簇上关联层的初等分解？
• RQ2 当存在群作用时，分次模的层化是否保持初等分解结构？
• RQ3 在 toric 代数簇与商堆栈的背景下，层的等变结构如何与初等分解相关联？
• RQ4 toric 代数簇的奇异点集与 Kähler 微分层的支集之间的确切关系是什么？
• RQ5 为何当群作用非自由时，某些分次模分解无法下降为层分解？

主要发现

• 在具有连通代数群作用的概形上，相干层存在等变初等分解。
• 当对角化群 $H$ 的作用自由时，齐次坐标环 $S$ 上模 $F$ 的分次初等分解若且唯若诱导出层 $\widetilde{F}$ 的恰当初等分解。
• 在 toric 代数簇上，Kähler 微分层 $\widetilde{\Omega}^1_X$ 存在由所有射线 $\rho \in \Delta(1)$ 上的核交集 $\mathcal{F}_\rho = \ker(M \otimes \mathcal{O}_X \to \mathcal{O}_{D_\rho})$ 给出的等变初等分解。
• Ishida 复形的余核 $\mathcal{C}$ 的支集为奇异点集 $S'(X)$，其余维数至少为 3，且 $\widetilde{\Omega}^1_X$ 在 $S'(X)$ 外为最大 Cohen–Macaulay 层。
• 例 7.14 与 7.15 表明，当群作用非自由时，分次模分解并不总能下降为层分解，特别是在 $k^2$ 上的 $\mathbb{Z}/2\mathbb{Z}$-作用或具有挠模的 $\mathbb{Z}$-分次环情形下。
• 通过子空间 $V(\rho)$ 的交集描述了 $\widetilde{\Omega}^1_X$ 局部截面的等变分量，从而在分次分量层面确认了初等分解。