[논문 리뷰] Families of G-constellations over resolutions of quotient singularities

Timothy Logvinenko|ArXiv.org|2003. 05. 14.

Advanced Topics in Algebra참고 문헌 10인용 수 10

한 줄 요약

이 논문은 유한 아벨 군 $G \leq \mathrm{GL}_n(\mathbb{C})$에 대한 몫 특이점 $\mathbb{C}^n/G$의 분해를 통해 파arameter화된, 정규 표현과 동형인 전역 절단을 갖는 $G$-구성체의 가닥을 분류한다. $G$-Weil 체수를 Weil 체수의 일반화로 도입하고, 이러한 가닥의 동형류와 특정 선형 부등식을 만족하는 $G$-Weil 체수의 유한 집합 사이의 일대일 대응을 수립하여 등가류의 유한성을 증명한다.

ABSTRACT

Let G be a finite subgroup of GL_n(C). A study is made of the ways in which resolutions of the quotient space C^n / G can parametrise G-constellations, that is, G-regular finite length sheaves. These generalise G-clusters, which are used in the McKay correspondence to construct resolutions of orbifold singularities. A complete classification theorem is achieved, in which all the natural families of G-constellations are shown to correspond to certain finite sets of G-Weil divisors, which are a special sort of rational Weil divisor, introduced in this paper. Moreover, it is shown that the number of equivalence classes of such families is always finite. Explicit examples are computed throughout using toric geometry.

연구 동기 및 목표

• 주어진 분해 $Y$가 몫 특이점 $\mathbb{C}^n/G$의 어떤 $G$-구성체 가닥을 파arameter화할 수 있는지 이해하는 것.
• 메이케이 대응에서 사용된 $G$-클러스터의 개념을, 길이가 $|G|$인 경우에 국한되지 않고 모든 $G$-구성체를 포함하도록 일반화하는 것.
• $G$-구성체 가닥의 구조를 코딩하는 새로운 유형의 유리수 Weil 체수인 $G$-Weil 체수를 도입하고 연구하는 것.
• 모든 분해 $Y$에서 자연스러운 $G$-구성체 가닥의 완전한 분류를 수립하여, 이들이 특정 부등식을 만족하는 $G$-Weil 체수의 유한 집합과 이분기되어 있음을 보이는 것.
• 이러한 가닥의 등가류 수가 항상 유한함을 증명하여 $G$-구성체의 모듈리 공간에 대한 구조적 제약 조건을 제공하는 것.

제안 방법

• 비영인 $G$-동차 유리 함수의 군인 $K^*_G(\mathbb{C}^n)$의 전역 절단을 통해 $G$-카르티에 체수를 정의한다. 여기서 $K^*_G(\mathbb{C}^n)$는 $\mathbb{C}^n$ 위의 비영인 $G$-동차 유리 함수의 군이며, $\mathcal{O}_Y^*$는 $Y$ 위의 가역 함수의 군이다.
• Valuation 확장을 통해 $K^*_G(\mathbb{C}^n)$에서 유도된 $\mathbb{Q}$-Weil 체수의 부분집합으로서 $G$-Weil 체수를 정의한다. 이는 고전적 Weil 체수를 일반화한다.
• 각각의 $\chi$-Weil 체수 $D_\chi$에 대해 $Y$ 위에서의 직합 $\oplus \mathcal{L}(-D_\chi)$로 구성된 $G$-구성체 가닥을 구성한다.
• 모든 $G$-동차 $f \in \mathbb{C}[x_1,\dots,x_n]$에 대해 선형 부등식 $D_\chi + (f) - D_{\chi\rho(f)} \geq 0$을 도입하여, $R$-모듈러 구조와의 호환성을 확보한다.
• 중복을 제거하고 각 등가류에 대해 유일한 대표자를 고정하기 위해 $D_{\chi_0} = 0$으로 정규화한다.
• 최대 이동 체수 구조인 $M_\chi$를 이용하여 가능한 $D_\chi$의 공간을 유 bounds하고, 분류의 유한성을 증명한다.

실험 결과

연구 질문

• RQ1 어떤 $G$-구성체 가닥이 주어진 분해 $Y$에 의해 파arameter화될 수 있는가?
• RQ2 어떻게 $Y$ 위의 기하학적·대수적 자료를 기반으로 이러한 가닥을 체계적으로 분류할 수 있는가?
• RQ3 $G$-Weil 체수가 $G$-구성체 가닥의 구조를 어떻게 코딩하는가?
• RQ4 이러한 가닥의 등가류 수가 항상 유한한가를 증명할 수 있는가?
• RQ5 모든 $G$-구성체 가닥을 체수 자료를 통해 표준적인 방식으로 파arameter화할 수 있는가?

주요 결과

• 분해 $Y$를 통해 일반적인 $G$-궤도의 변형으로서 나타나는 모든 $G$-구성체 가닥은 $\oplus_{\chi \in G^\vee} \mathcal{L}(-D_\chi)$의 형태를 띤다. 여기서 각 $D_\chi$는 $\chi$-Weil 체수이다.
• 모든 이러한 가닥의 집합은 모든 $G$-동차 $f \in R$에 대해 부등식 $D_\chi + (f) - D_{\chi\rho(f)} \geq 0$을 만족하는 $G$-Weil 체수의 유한 집합과 이분기되어 있다.
• 각 등가류는 $D_{\chi_0} = 0$을 만족하는 유일한 대표자를 가지며, 이는 표준 정규화를 제공한다.
• 체수 집합 $\{D_\chi\}$는 $M_\chi \geq D_\chi \geq -M_{\chi^{-1}}$로 유 bounds되며, 여기서 $M_\chi$는 $G$와 $Y$에만 의존하는 고정된 체수이다. 이는 분류의 유한성을 보장한다.
• 등가류의 수는 항상 유한하며, 이는 $M_\chi$의 합의 유한성으로 인해 정규화된 재조정 집합의 유한성 때문이므로 유한하다.