[논문 리뷰] Erratum to "The Homogeneous Coordinate Ring of a Toric Variety", along with the original paper

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

Commutative Algebra and Its Applications참고 문헌 2인용 수 29

한 줄 요약

이 논문은 Cox의 1995년 논문에서 토릭 다양체의 동차 좌표환에 대한 Proposition 4.3의 원래 증명에서 심각한 오류를 수정한다. 수정된 결과로, 완전한 토릭 다양체의 Cox 환 $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.

연구 동기 및 목표

• 토릭 다양체의 동차 좌표환의 계수 자동형사상군에 관해 Cox의 1995년 논문에서 Proposition 4.3의 근본적인 오류를 수정하는 것.
• Cox 환 $S$의 계수 자동형사상군 $Γ_{g}(S)$가 연결된 아핀 대수적 군임을 입증하며, 이는 $Γ_{g}(S)$가 $\mathbb{C}$-대수였다는 이전 잘못된 가정을 수정하는 것.
• $Γ_{g}(S)$가 유니포텐트 근 $R_u$와 리덕티브 부분군 $G_s$의 반직근합 $R_u \rtimes G_s$와 동형임을 증명하는 것.
• $Γ_{g}(S)$, $R_u$, $G_s$의 차원 공식을 검증하고, $(\mathbb{C}^*)^{\Delta(1)}$ 가 $Γ_{g}(S)$ 내부의 최대 토리스임을 확인하는 것.

제안 방법

• 원래의 $Γ_{g}(S)$가 $\mathbb{C}$-대수라고 가정한 오류를 수정하기 위해, 선형 대수적 모노이드로의 정확한 구조로 Proposition 4.3의 증명을 재구성하는 것.
• 표준 분해 $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''$ 를 만족하는 조건에서 유도되며, $C_i$의 항목과 $j \neq i$인 $A_j, B_j$ 간의 관계를 연결하는 방정식을 유도한다.
• 행렬 조합 법칙 (e4)을 사용하여, $\phi \in \u0393_{g}(S)$가 가역임과 동시에 모든 $i$에 대해 $A_i$와 $C_i$가 가역임과 동치임을 증명하는 것.
• 항등행렬이 $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 완전한 토릭 다양체의 Cox 환 $S$의 계수 자동형사상군 $\u0393_{g}(S)$의 정확한 대수적 구조는 무엇인가요?
• RQ2 왜 원래의 Proposition 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)$ 의 군 구조에 어떤 함의를 갖는가?

주요 결과

• $Γ_{g}(S)$ 는 Cox 환 $S$의 계수 자동형사상군으로서 연결된 아핀 대수적 군임을 정정하며, 이는 $Γ_{g}(S)$ 가 $\mathbb{C}$-대수였다는 이전 잘못된 주장의 수정이다.
• $Γ_{g}(S)$ 의 유니포텐트 근 $R_u$ 는 아핀 공간과 동형이며, 차원은 $\sum_{i=1}^s |\Delta_i|(\mathrm{dim}_{\mathbb{C}} S_{\alpha_i} - |\Delta_i|)$ 이다.
• $Γ_{g}(S)$ 내부의 리덕티브 부분군 $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$ 는 리만 부분군이다.
• 정확한 수열 $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}$ 이며, 원래의 주장과 일치하지만, 이제는 정확히 유도된 것이다.