[논문 리뷰] Derived McKay correspondence for GL(3,C)

Yūjirō Kawamata|arXiv (Cornell University)|2016. 09. 29.

Algebraic structures and combinatorial models참고 문헌 20인용 수 3

한 줄 요약

이 논문은 $GL(3,\mathbb{C})$의 유한부분군에 대한 파생 매크레이 쌍대성(derived McKay correspondence)을 수립하며, $SL(3,\mathbb{C})$의 경우에 대한 Bridgeland-King-Reid 결과를 일반화한다. 이는 $\mathbb{C}^3/G$의 $G$--equivariant 파생 범주가 특정 스무드 아핀 다양체 $Z_i$ (점, 유리 곡선, 또는 표면)의 파생 범주들과 몫 특이점 $X = \mathbb{C}^3/G$의 최대 $\mathbb{Q}$-팩터리얼 터미널라이제이션 $Y$의 파생 범주로 분해될 수 있음을 보여주며, $Z_i$는 $SL(3,\mathbb{C})$에 포함되지 않는 비자명한 관성 부분군에 의해 매개화된다. 이 쌍대성은 특별선형군이 아닌 경우에도 DK-가설을 확장한다.

ABSTRACT

We prove that the equivariant derived category for a finite subgroup of GL(3,C) has a semi-orthogonal decomposition into the derived category of a certain partial resolution, called a maximal Q-factorial terminalization, of the corresponding quotient singularity and a relative exceptional collection. This is a generalization of a result of Bridgeland, King and Reid.

연구 동기 및 목표

• SL(3,$\mathbb{C}$)에서 GL(3,$\mathbb{C}$)로의 파생 매크레이 쌍대성을 확장하는 것.
• G \not\subset SL(3,\mathbb{C})일 경우 비자명한 캐논리컬 디바이저 불일치로 인해 표준 등차 $D^b([\mathbb{C}^3/G]) \cong D^b(Y)$가 성립하지 않는 문제를 다루는 것.
• 등급분해 $D^b(\text{coh}([\mathbb{C}^3/G]))$가 $Z_i$의 등급분해와 최대 $\mathbb{Q}$-팩터리얼 터미널라이제이션 $Y$를 포함하도록 등급분해를 구성하는 것.
• 성분 $Z_i$가 유리 곡선 또는 표면임을 보장하여 추가로 점과 곡선으로의 등급분해를 보장하는 것.

제안 방법

• $\pi^*(K_X + B) = K_{\mathbb{C}^3}$를 만족하는 $X = \mathbb{C}^3/G$ 위의 $\mathbb{Q}$-다중분포 $B$를 정의한다.
• $SL(3,\mathbb{C})$에 포함되지 않는 비자명한 관성 부분군을 가진 $G$-불변인 $\mathbb{C}^3$의 진부분공간 $V_j \subset \mathbb{C}^3$를 식별하고, 분해군 $D_j$와 몐드 $G_j = D_j/I_j$를 정의한다.
• $(X, B)$에 대한 최대 $\mathbb{Q}$-팩터리얼 터미널라이제이션 $f: Y \to X$를 구성한다. 이는 터미널 몰입 특이점을 가진 프로젝티브 비자명 사상이다.
• DK-가설을 사용하여 로그 캐논리컬 디바이저의 부등식을 토르oidal 비자명 사상의 열차를 따라 등급분해의 등급분해로 연결한다.
• 정리 8을 적용하여 $B_Y$의 기하적 기하구조와 예외적 궤적에 해당하는 등급분해 성분을 잘라내어 $Z_i$ 위의 딜레인-무드 스택에 대한 등급분해를 도출한다.
• 모든 곡선이 유리임을 호크시ลด 호모로지 $HH_1(C) \neq 0$를 사용한 귀류법으로 증명한다. 만약 곡선이 양의 기하학적 종수를 가졌다면, 이는 등급분해의 구조에 위배된다.

실험 결과

연구 질문

• RQ1 G가 특별선형이 아닐 경우, 파생 매크레이 쌍대성을 SL(3,$\mathbb{C}$)에서 GL(3,$\mathbb{C}$)로 확장할 수 있는가?
• RQ2 G \not\subset SL(3,\mathbb{C})일 경우, $Y$의 매끄러운 해석이 파생 등차에서 무엇으로 대체되는가?
• RQ3 캐논리컬 디바이저가 수치적으로 자명하지 않을 경우, $[\mathbb{C}^3/G]$의 등급분해는 어떻게 분해되는가?
• RQ4 등급분해에 나타나는 기하구조 성분 $Z_i$는 무엇이며, 그 차원과 구조는 어떻게 되는가?
• RQ5 등급분해에 나타나는 곡선들은 반드시 유리 곡선인가? 이를 카테고리적으로 어떻게 증명할 수 있는가?

주요 결과

• 등급분해 $D^b(\text{coh}([\mathbb{C}^3/G]))$는 $l$개의 $D^b(\text{coh}(Z_i))$의 완전충실 이미지와 $\tilde{Y}$의 이미지로 분해되며, $\tilde{Y}$는 $(X, B)$의 최대 $\mathbb{Q}$-팩터리얼 터미널라이제이션 $Y$에 대응하는 매끄러운 딜레인-무드 스택이다.
• $Z_i$는 각각 차원 0의 점, 차원 1의 스무드 유리 아핀 곡선, 또는 몰입 표면의 최소 해석(차원 2)이며, 각각 어떤 $j$에 대해 $V_j/G_j$로 사영된다.
• G \subset SL(3,\mathbb{C})일 경우, 결과는 고전적인 Bridgeland-King-Reid 등차 $D^b([\mathbb{C}^3/G]) \cong D^b(\text{coh}(Y))$로 축소되며, $Y$는 매끄럽다.
• 차원 1의 곡선 $Z_i$는 유리 곡선이다. 귀류법으로 증명한다: 만약 어떤 곡선이 양의 기하학적 종수를 가졌다면, 호크시ลด 호모로지 $HH_1(C) \neq 0$가 되어 등급분해의 구조에 위배된다.
• 분해는 유일하지 않다. 최대 $\mathbb{Q}$-팩터리얼 터미널라이제이션은 유일하지 않기 때문이다. 그러나 정리가 어떤 선택된 $Y$에 대해서도 성립한다.
• 성분 $Z_i$는 토르oidal 구조가 에테일 국소적임에도 불구하고, 곡선의 일반점에서의 터미널라이제이션의 유일성 덕분에 $X$ 전체에 걸쳐 전역적으로 정의된다.