[논문 리뷰] The Cox Ring of a Del Pezzo Surface Has Rational Singularities

О. Н. Попов|ArXiv.org|2004. 02. 10.

Algebraic Geometry and Number Theory참고 문헌 9인용 수 13

한 줄 요약

이 논문은 특성 0에서 $X_r$ (즉, $ℚ^2$의 일반 위치에 있는 $r \leq 8$개의 점을 블로잉업하여 얻어진 매끄러운 델 페초 표면)의 코크스 링이 고르스팅인 것과 그 스펙트럼 $ℝ(X_r)$가 유리 특이점을 가진다는 것을 증명한다. 이 결과는 단일군의 작용에 대한 불변식으로서 코크스 링을 기술함으로써 확립되며, 정규성, 인수성 및 코homological 소멸을 활용하여 유리 특이점과 고르스팅 성질을 도출한다.

ABSTRACT

For a smooth Del Pezzo surface the direct sum of global sections of all isomorphism classes of invertible sheaves on it can be almost canonically endowed with a ring structure, called the Cox ring. We show that in characteristic 0 this ring is Gorenstein and its spectrum has rational singularities. Also a gap in math.AG/0309111 is pointed out.

연구 동기 및 목표

• 특성 0에서 델 페초 표면의 코크스 링 스펙트럼이 유리 특이점을 가짐을 입증하는 것.
• 특성 0에서 매끄러운 델 페초 표면의 차수 $9 - r$, $r \leq 8$에 대해 코크스 링이 고르스팅이자 따라서 코hen-맥컬레이임을 증명하는 것.
• 이전 연구에서의 격차를 메우기 위해, 불변식 이론적 및 코homological 기법을 사용하여 고르스팅 성질과 유리 특이점 성질을 완전히 증명하는 것.

제안 방법

• 코크스 링 $\operatorname{Cox}(X_r)$가 단일군 작용의 불변식으로서 표현되어 정규성과 인수성을 보장한다.
• $\mathbb{A}(X_r) = \operatorname{Spec} \operatorname{Cox}(X_r)$는 $X_r$ 위의 유일한 토서로서의 구조를 분석하며, $T$-작용이 $\mathbb{G}_m$-작용을 통해 인식된다.
• 모든 $n \geq 0$에 대해 $H^i(\mathbb{P}(X_r), \mathcal{O}(n))$의 고차 코homology 군의 소멸을 이용하여 유리 특이점을 확립한다.
• $\mathbb{P}(X_r)$의 반표준 클래스는 기저 표면에서의 채르 클래스의 당김을 사용하여 $\operatorname{Pic}(\mathbb{P}(X_r))$의 약한 생성자에 대해 $9 - r$ 배로 계산된다.
• $r \leq 7$일 때 $\mathbb{P}(X_{r+1})$가 $\mathbb{A}(X_r)$와 동형인 차트들로 덮임을 이용하여 $r$에 대한 귀납법을 적용한다. 이는 $\mathbb{P}(X_{r+1})$의 특이점과 $\mathbb{A}(X_r)$의 특이점 사이의 연결을 제공한다.
• 표준적인 교환대수 이론을 통해, 코hen-맥컬레이, 유한 생성된 대수와 캐논리컬 모듈러스를 가진 대수들이 고르스팅임을 유도한다.

실험 결과

연구 질문

• RQ1 특성 0에서 델 페초 표면의 코크스 링 스펙트럼이 유리 특이점을 가지는가?
• RQ2 특성 0에서 델 페초 표면의 코크스 링이 고르스팅이자 코hen-맥컬레이인가?
• RQ3 $\mathbb{P}(X_r)$의 반표준 클래스는 무엇이며, 표면의 차수와 어떻게 관련되는가?
• RQ4 코크스 링 $\operatorname{Cox}(X_r)$의 고르스팅 성질과 유리 특이점 성질은 불변식 이론과 코homological 방법으로 증명될 수 있는가?
• RQ5 $r=8$일 때 [B-P]에서 제시된 코크스 링이 예외적 곡선의 절단과 반표준 선다발의 절단에 의해 생성된다는 주장은 완전히 정당화되었는가?

주요 결과

• 특성 0에서 델 페초 표면의 코크스 링 스펙트럼 $\mathbb{A}(X_r)$는 유리 특이점을 가진다.
• 특성 0에서 코크스 링 $\operatorname{Cox}(X_r)$는 고르스팅이며, 따라서 코hen-맥컬레이이다.
• $\mathbb{P}(X_r)$의 반표준 클래스는 $\operatorname{Pic}(\mathbb{P}(X_r))$의 약한 생성자에 대해 $9 - r$ 배이며, 이는 $\mathbb{Z}$와 동형이다.
• $r \leq 8$일 때 $\mathbb{P}(X_r)$는 귀납법과 코homological 소멸을 통해 유리 고르스팅 특이점을 가진다.
• 코크스 링은 단일군 작용의 불변식으로서 유래하므로 인수성과 정규성을 가진다.
• [B-P]의 명제 3.4에 대한 증명에서 격차가 확인되었다: $\operatorname{Cox}(X_8)$가 예외적 곡선의 절단에 의해 생성된다는 주장은 완전히 정당화되어 있지 않으며, 여전히 미해결 상태이다.