[논문 리뷰] The special McKay correspondence and exceptional collection

Akira Ishii, Kazushi Ueda|arXiv (Cornell University)|2011. 04. 13.

Advanced Algebra and Geometry참고 문헌 16인용 수 10

한 줄 요약

이 논문은 유한한 소그룹 $G \subset \mathrm{GL}_2(\mathbb{C})$에 대해 몫 스택 $[\mathbb{A}^2/G]$ 위의 코herent sheaf의 도파르 카테고리에 대해 반직교 분해를 수립하며, 이는 전형적인 예외적 집합과 최소 해소의 도파르 카테고리의 합으로 분해됨을 보여준다. 주요 결과는 $\mathrm{SL}_2(\mathbb{C})$를 초월하여 매클레이 대응을 일반화하며, 도파르 매클레이 함수자의 상의 직교 보완부분에 대한 명시적 예외적 집합을 루트 구성과 아벨화 기법을 사용해 구성한다.

ABSTRACT

We show that the derived category of coherent sheaves on the quotient stack of the affine plane by a finite small subgroup of the general linear group is obtained from the derived category of coherent sheaves on the minimal resolution by adding a semiorthogonal summand with a full exceptional collection. The proof is based on an explicit construction in the abelian case, together with the analysis of the behavior of the derived categories of coherent sheaves under root constructions.

연구 동기 및 목표

• 유한한 소그룹 $G \subset \mathrm{GL}_2(\mathbb{C})$에 대해 $\mathrm{SL}_2(\mathbb{C})$의 부분군을 초월한 도파르 매클레이 대응을 확장하는 것.
• $G \subset \mathrm{SL}_2(\mathbb{C})$일 경우 $D^b(\mathrm{coh}[\mathbb{A}^2/G])$에 예외적 대상이 존재하지 않는 점을 해결하기 위해, 예외적 집합과 함께 반직교 분해를 제공하는 것.
• 최소 해소의 도파르 카테고리에서의 완전 충실한 함자에 의한 교환적 비가환적 기술을 제공하는 것.

제안 방법

• 순환군의 아벨 경우를 이용하여 특수 표현의 연속 분수 전개를 통해 $D^b(\mathrm{coh}[\mathbb{A}^2/G])$에 전형적인 예외적 집합을 명시적으로 구성한다.
• 반복 힐버트 스킴과 루트 구성 기법을 사용하여 $\Phi' : D^b(\mathrm{coh} Y) \to D^b(\mathrm{coh}[\mathbb{A}^2/G])$의 완전 충실 함자를 구성한다.
• 단순 정규 교차 분할에 沿한 루트 구성 기법을 사용할 수 있도록 몫 스택의 특이점을 해결하기 위해 표준 스택 구성 기법을 적용한다.
• 안정층의 모듈리 공간 위의 일반 가족을 활용하여 적분 함자 $\Phi'$의 커널을 정의한다.
• $Y_0 = G_0$-Hilb($\mathbb{A}^2$) 및 $A = G/G_0$가 순환군일 때 $D^b(\mathrm{coh}[Y_0/A]) \cong D^b(\mathrm{coh}[\mathbb{A}^2/G])$의 동치관계를 이용하여 일반 경우를 아벨 경우로 환원한다.
• 루트 구성과 표준 스택의 결과를 적용하여 몰입 스택과 최소 해소의 도파르 카테고리 간의 관계를 규명한다.

실험 결과

연구 질문

• RQ1 유한한 소그룹 $\mathrm{GL}_2(\mathbb{C})$에 대해 비크레펜트 해소에 대해 도파르 매클레이 대응을 확장할 수 있는가?
• RQ2 $G \not\subset \mathrm{SL}_2(\mathbb{C})$일 경우 도파르 카테고리 $D^b(\mathrm{coh}[\mathbb{A}^2/G])$에 전형적인 예외적 집합이 존재하는가?
• RQ3 도파르 매클레이 함수자의 상의 반직교 보완부분은 예외적 집합으로 어떻게 묘사될 수 있는가?

주요 결과

• 모든 유한한 소그룹 $G \subset \mathrm{GL}_2(\mathbb{C})$에 대해 도파르 카테고리 $D^b(\mathrm{coh}[\mathbb{A}^2/G])$는 $G$의 비특수 표현의 기약 표현 수와 같은 길이를 갖는 전형적인 예외적 집합과 최소 해소의 도파르 카테고리의 상의 반직교 분해를 갖는다.
• 예외적 집합은 $G \subset \mathrm{SL}_2(\mathbb{C})$이지만 $D^b(\mathrm{coh}[\mathbb{A}^2/G])$에 예외적 대상이 존재하지 않는 경우에도, 등변적 매클레이 대응과 루트 구성 기법을 통해 구성된다.
• 이 구성은 반복 힐버트 스킴 $Y_2 = A$-Hilb($G_0$-Hilb($\mathbb{A}^2$))가 안정층의 모듈리 공간으로서 식별됨에 따라, 완전 충실 함자 $\Phi'$를 가능하게 한다.
• 2차원 가역 다항식 스택의 계수 모듈리 공간과 관련된 표준 스택은 반복적인 루트 구성 기법을 통해 전형적인 예외적 집합을 갖는다.
• 특히 $n=4$일 경우, 2차원 델리니-멈포드 스택이 가역 다항식에 의해 유도될 때, 정리 1.4와 보조정리 10.1의 결과로 전형적인 예외적 집합이 존재한다.
• 증명은 도파르 매클레이 함수자의 상의 반직교 보완부분이, 원래 커널 $\{O_0 \otimes \rho\}$가 예외적이지 않더라도 여전히 예외적 집합에 의해 생성됨을 보여준다.