[论文解读] Erratum to "The Homogeneous Coordinate Ring of a Toric Variety", along with the original paper

David A. Cox|arXiv (Cornell University)|Oct 22, 1992

Commutative Algebra and Its Applications参考文献 2被引用 29

一句话总结

本文修正了科克斯（Cox）1995年关于 торической 变体的齐次坐标环论文中命题4.3原始证明中的一个关键错误。该更正确立了完整 торической 变体的考克斯环 $S$ 的分次自同构群 $Γ_{g}(S)$ 是一个连通仿射代数群，同构于一个幂零根与一个半单子群的半直积，具有精确的维数公式和极大环面结构。

ABSTRACT

This submission consists of two papers: 1) an erratum that corrects an error in the proof of Proposition 4.3 in my paper "The Homogeneous Coordinate Ring of a Toric Variety", and 2) the original (unchanged) version of the paper, published in 1995. The original paper introduced the homogeneous coordinate ring of a toric variety (now called the total coordinate ring or Cox ring) and gave a quotient construction. The paper also studied sheaves on a toric variety, and in Section 4 described its automorphism group. The error in the proof of Proposition 4.3 resulted from the faulty assumption that a certain set of graded endomorphisms forms a ring; rather, it is a monoid under composition. The erratum notes this error and gives a correct proof of the proposition.

研究动机与目标

• 修正科克斯1995年论文中关于 торической 变体的齐次坐标环的分次自同构群的命题4.3的原始证明中的根本性错误。
• 确立 $Γ_{g}(S)$，即考克斯环 $S$ 的分次自同构群，为一个连通仿射代数群，纠正了早期错误地认为 $Γ_{g}(S)$ 是 $\mathbb{C}$-代数的假设。
• 证明 $Γ_{g}(S)$ 同构于半直积 $R_u \rtimes G_s$，其中 $R_u$ 为幂零根，$G_s$ 为半单子群。
• 验证 $Γ_{g}(S)$、$R_u$ 和 $G_s$ 的维数公式，并确认 $(\mathbb{C}^*)^{\Delta(1)}$ 是 $Γ_{g}(S)$ 中的一个极大环面。

提出的方法

• 使用修正后的代数框架重构命题4.3的证明，将原始错误假设 $Γ_{g}(S)$ 是 $\mathbb{C}$-代数的设定，替换为作为线性代数幺半群的正确结构。
• 利用典范分解 $S_i = S_i' \oplus S_i''$，将 $Γ_{g}(S)$ 的元素表示为分块矩阵 $\begin{pmatrix} A_i & 0 \\ B_i & C_i \end{pmatrix}$，其中 $A_i$ 作用于 $S_i'$，$B_i$ 作用于 $S_i'$，$C_i$ 作用于 $S_i''$。
• 确立 $Γ_{g}(S)$ 由 $\prod_{i=1}^s \mathrm{End}_{\mathbb{C}}(S_i)$ 中的多项式方程定义，这些方程源于要求 $\phi(x^D) \in S_i''$ 对于 $x^D \in S_i''$ 的单项式，从而将 $C_i$ 的条目与 $j \neq i$ 的 $A_j, B_j$ 联系起来。
• 证明 $\phi \in \u0393_{g}(S)$ 可逆当且仅当对所有 $i$，$A_i$ 和 $C_i$ 均可逆，利用方程 (e4) 的矩阵复合规则。
• 通过定义矩阵中 $A_i$ 和 $C_i$ 为单位矩阵的子群 $1 + \mathcal{N}$，并证明在总次数序下 $C_i$ 为下三角矩阵且主对角线元素为1，从而证明其为幂零元。
• 构造正合列 $1 \to 1 + \mathcal{N} \to \u0393_{g}(S) \to \prod_{i=1}^s \mathrm{GL}(S_i') \to 1$，证明 $1 + \mathcal{N}$ 是正规子群，且 $\u0393_{g}(S)$ 通过截面 $s^*$ 构成半直积。

实验结果

研究问题

• RQ1 考克斯环 $S$ 的分次自同构群 $\u0393_{g}(S)$ 的正确代数结构是什么？
• RQ2 原始命题4.3的证明为何无效？应如何正确建立 $\u0393_{g}(S)$ 为代数群？
• RQ3 如何刻画 $\u0393_{g}(S)$ 的幂零根 $R_u$？其作为仿射簇的维数是多少？
• RQ4 $\u0393_{g}(S)$ 中的半单子群 $G_s \cong \prod_{i=1}^s \mathrm{GL}(S_i')$ 是否为闭子群？其与极大环面 $(\mathbb{C}^*)^{\Delta(1)}$ 的关系如何？
• RQ5 正合列 $1 \to 1 + \mathcal{N} \to \u0393_{g}(S) \to \prod_{i=1}^s \mathrm{GL}(S_i') \to 1$ 是否成立？它对 $\u0393_{g}(S)$ 的群结构意味着什么？

主要发现

• 分次自同构群 $\u0393_{g}(S)$ 是一个连通仿射代数群，纠正了早期错误地认为 $\u0393_{g}(S)$ 是 $\mathbb{C}$-代数的主张。
• 幂零根 $R_u$ 作为簇同构于维数为 $\sum_{i=1}^s |\Delta_i|(\mathrm{dim}_{\mathbb{C}} S_{\alpha_i} - |\Delta_i|)$ 的仿射空间。
• 半子群 $G_s \subset \u0393_{g}(S)$ 同构于 $\prod_{i=1}^s \mathrm{GL}(S_{\alpha_i}')$，维数为 $\sum_{i=1}^s |\Delta_i|^2$，且 $(\mathbb{C}^*)^{\Delta(1)} \subset G_s$。
• 自同构群 $\u0393_{g}(S)$ 同构于半直积 $R_u \rtimes G_s$，其中 $R_u$ 正规，$G_s$ 为 Levi 子群。
• 正合列 $1 \to 1 + \mathcal{N} \to \u0393_{g}(S) \to \prod_{i=1}^s \mathrm{GL}(S_i') \to 1$ 成立，其中 $1 + \mathcal{N}$ 为幂零群，作为簇同构于 $\mathcal{N}$。
• 群 $\u0393_{g}(S)$ 的维数为 $\sum_{i=1}^s |\Delta_i| \cdot \mathrm{dim}_{\mathbb{C}} S_{\alpha_i}$，与原始主张一致，但现已正确推导。