[논문 리뷰] On a series of Gorenstein cyclic quotient singularities admitting a unique projective crepant resolution

Dimitrios I. Dais, Martin Henk|ArXiv.org|1998. 03. 20.

Algebraic Geometry and Number Theory참고 문헌 35인용 수 4

한 줄 요약

이 논문은 $l \geq r \geq 2$ 인 Gorenstein 순환 몫 특이점 $\frac{1}{l}(1,\dots,1,l-(r-1))$ 가 고유한 토러스-등변 프로젝티브 크립탄 해소를 갖는다는 것을 증명하며, 이 해소가 유일하고, $l \equiv 0$ 또는 $1 \pmod{r-1}$ 일 때에만 '완전한' 해소가 된다. 예외적 분해는 $\lfloor l/(r-1) \rfloor$ 개의 소수 다발로 이루어지며, 그 중 $\lfloor l/(r-1) \rfloor - 1$ 개는 $\mathbb{P}^{r-2}$ 위의 $\mathbb{P}^1$-_bundle의 전체 공간이며, 이 해소는 명시적으로 계산 가능한 교차수를 갖는 정규화된 블로우업의 조합으로 얻어진다.

ABSTRACT

In this paper we prove that the Gorenstein cyclic quotient singularities of type \frac 1l (1,..., 1,l-(r-1)) with $l\geq r\geq 2$, have a extit{unique}torus-equivariant projective, crepant, partial resolution, which is ``full'' iff either $l\equiv 0$ mod $% (r-1) $ or $l\equiv 1$ mod $(r-1) $. As it turns out, if one of these two conditions is fulfilled, then the exceptional locus of the full desingularization consists of $\lfloor \frac{l}{r-1} floor$ prime divisors, $\lfloor \frac{l}{r-1} floor - 1$ of which are isomorphic to the total spaces of $\Bbb{P}_{\Bbb{C}}^1$-bundles over $\Bbb{P}_{\Bbb{C}%}^{r-2}$. Moreover, it is shown that intersection numbers are computable explicitly and that the resolution morphism can be viewed as a composite of successive (normalized) blow-ups. Obviously, the monoparametrized singularity-series of the above type contains (as its ``first member'') the well-known Gorenstein singularity defined by the origin of the affine cone which lies over the $r$-tuple Veronese embedding of $\Bbb{P}_{\Bbb{C}}^{r-1}$.

연구 동기 및 목표

• Gorenstein 순환 몫 특이점이 고유한 프로젝티브 크립탄 해소를 갖는 조건을 규명하는 것.
• 그러한 해소에서 예외적 분해의 구조를 특징짓는 것, 특히 소수 다발의 수와 유형을 규명하는 것.
• 해소 사상이 정규화된 블로우업의 조합으로 표현될 수 있음을 보이는 것.
• 해소 성분들 사이의 교차수를 명시적으로 계산하는 것.
• 해소가 '완전한' 것으로 간주되는 조건, 즉 모든 특이점을 최대한으로 해소하는 조건을 규명하는 것.

제안 방법

• 저자들은 토릭 기하학과 토러스-등변 해소 이론을 활용하여 특이점 유형 $\frac{1}{l}(1,\dots,1,l-(r-1))$ 를 분석한다.
• 유일하고 프로젝티브인 해소를 구성하기 위해 연속적인 정규화된 블로우업 방법을 적용한다.
• 관련 다각형 분해에 대한 조합론적 및 대수적 기법을 통해 예외적 분해의 구조를 규명한다.
• $\mathbb{P}^{r-2}$ 위의 $\mathbb{P}^1$-_bundle 기하학을 이용하여 예외적 다발 간의 교차수를 명시적으로 계산한다.
• 해소가 '완전한'지 여부의 조건은 $l$ 이 $r-1$ 모듈로에서의 합동 조건에서 유도되며, 특히 $l \equiv 0$ 또는 $1 \pmod{r-1}$ 이다.
• 구성은 토러스 작용과 호환되어 등변성과 유일성을 보장한다.

실험 결과

연구 질문

• RQ1 Gorenstein 순환 몫 특이점 $\frac{1}{l}(1,\dots,1,l-(r-1))$ 가 고유한 프로젝티브 크립탄 해소를 갖는 조건은 무엇인가?
• RQ2 그러한 해소에서 예외적 분해의 구조는 어떠한가, 특히 기약 성분의 수와 유형은 무엇인가?
• RQ3 해소 사상은 어떤 식으로 정규화된 블로우업과 같은 기본적인 연산의 열로 분해될 수 있는가?
• RQ4 해소에서 예외적 다발 간의 명시적 교차수는 무엇인가?
• RQ5 '완전한' 해소로 간주되는 조건은 언제이며, 이는 $l$ 이 $r-1$ 모듈로에서의 산술과 어떻게 관련되는가?

주요 결과

• Gorenstein 순환 몫 특이점 $\frac{1}{l}(1,\dots,1,l-(r-1))$ 는 $l \geq r \geq 2$ 일 때 고유한 토러스-등변 프로젝티브 크립탄 해소를 갖는다.
• 해소가 '완전한' 것은 $l \equiv 0$ 또는 $1 \pmod{r-1}$ 일 때에만 성립하며, 이는 모든 특이점을 최대한으로 해소한다는 의미이다.
• 예외적 분해는 $\lfloor l/(r-1) \rfloor$ 개의 소수 다발로 이루어지며, 그 중 $\lfloor l/(r-1) \rfloor - 1$ 개는 $\mathbb{P}^{r-2}$ 위의 $\mathbb{P}^1$-bundle의 전체 공간이다.
• 예외적 다발 간의 교차수는 명시적으로 계산 가능하며, 이는 번들 구조와 $l$ 의 값에 따라 달라진다.
• 해소 사상은 연속적인 정규화된 블로우업의 복합체로 표현되며, 이는 구성적이고 기하학적으로 명확한 기술을 제공한다.
• 이 특이점 시리즈의 첫 번째 성분은 $\mathbb{P}^{r-1}$ 의 $r$-중 베론제 임bedding의 아핀 콘으로서 잘 알려진 Gorenstein 특이점이다.