[논문 리뷰] McKay correspondence and equivariant sheaves on $P^1$

Alexander Kirillov|ArXiv.org|2006. 03. 14.

Algebraic structures and combinatorial models참고 문헌 13인용 수 4

한 줄 요약

이 논문은 $G$--equivariant sheaf의 유도 범주 $\mathbb{P}^1$에서의 짝수 부분($\mathrm{Coh}_G(\mathbb{P}^1)_0$)과 유한부분군 $G \subset \mathrm{SU}(2)$의 아핀 다인킨 다이어그램에 관련된 쿼버 $Q_h$의 표현의 유도 범주 사이에 명시적인 동치를 수립한다. 주요 기여는 방향성에 의존하지 않는 캐논리컬한 아핀 루트 시스템의 구성으로, 코x터 원소는 $\mathcal{O}(-2)$와의 텐서 곱으로 표현되며, 다이어그램의 정점과 루트 시스템 내의 $C$-오빗 사이의 전단사 사상이 존재한다.

ABSTRACT

Let $G$ be a finite subgroup in SU(2), and $Q$ the corresponding affine Dynkin diagram. In this paper, we review the relation between the categories of $G$-equivariant sheaves on $P^1$ and $Rep Q_h$, where $h$ is an orientation of $Q$, constructing an explicit equivalence of corresponding derived categories.

연구 동기 및 목표

• Ocneanu의 $\widehat{Q} = Q \times \mathbb{Z}/h\mathbb{Z}$ 상의 본질적 경로의 조합론적 구성법을 $\mathbb{P}^1$ 상의 $G$-equivariant sheaf를 이용한 범주론적 해석을 제공하는 것.
• 다이어그램 $Q$의 각 허용 가능한 방향성 $h$에 대해, $D^b(\mathrm{Coh}_G(\mathbb{P}^1)_0) \simeq D^b(\mathrm{Rep}\,Q_h)$의 명시적 유도 범주 동치를 구성하는 것.
• 유도 범주 $\mathcal{C}$의 그로텐디크 군 $K(\mathcal{C})$가 아핀 루트 격자임을 보이며, 불가약 객체들이 실루트와 허수 루트에 대응됨을 보여주는 것.
• 코x터 원소가 $\mathcal{O}(-2)$와의 텐서 곱으로 작용함을 보이며, 이는 아울라우젠–라이텐 변환 $\tau$의 기하적 실현을 제공하는 것.

제안 방법

• $\mathcal{C} = \mathrm{Coh}_G(\mathbb{P}^1)_0$를 정의한다. 이는 $\mathbb{P}^1$ 상의 $G$-equivariant $\mathcal{O}$-모듈의 짝수 부분으로, $\mathbb{Z}_2$-grading을 지닌다.
• 다이어그램 $Q$의 각 방향성 $h$에 대해, $D^b(\mathcal{C}) \xrightarrow{\sim} D^b(\mathrm{Rep}\,Q_h)$의 삼각 동치를 구성한다.
• 코x터 원소 $C$를 $D^b(\mathcal{C})$ 상에서 $[\mathcal{F} \mapsto \mathcal{F} \otimes \mathcal{O}(-2)]$로 표현하며, 아울라우젠–라이텐 번역 $\tau$와 일치시킨다.
• $\mathcal{C}$ 내의 불가약 객체들을 $\mathcal{O}(n) \otimes X_i$ (국소적으로 자유로운, 실루트에 대응)와 $G$-오빗에 기반한 토션 sheaf (허수 루트에 대응)로 식별한다.
• 높이 함수 $h$를 사용하여 코x터 원소 $C = \left(\prod_{i\text{ odd}} s_i\right)\left(\prod_{i\text{ even}} s_i\right)$를 정의하고, $C(e_i) = e_{i\pm 2} \mp \frac{2}{n}\delta$를 통해 루트에 대한 작용을 계산한다.
• $\alpha = e_i - e_j + a\delta$에 대해 $C^{n/2}(\alpha) = \alpha - (\alpha, \varepsilon)\delta$임을 검증하며, $\varepsilon = \sum_{i\text{ even}} e_i - \sum_{i\text{ odd}} e_i$이다.

실험 결과

연구 질문

• RQ1 Ocneanu의 $\widehat{Q} = Q \times \mathbb{Z}/h\mathbb{Z}$ 상의 본질적 경로의 조합론적 구성법은 어떻게 범주론적으로 해석될 수 있는가?
• RQ2 유도 범주 $D^b(\mathrm{Coh}_G(\mathbb{P}^1)_0)$와 쿼버 표현의 유도 범주 $\mathrm{Rep}\,Q_h$ 사이에 캐논리컬하고 방향성에 의존하지 않는 동치를 구성할 수 있는가?
• RQ3 유도 범주 $\mathrm{Coh}_G(\mathbb{P}^1)$ 상에서 코x터 원소의 기하학적 의미는 무엇인가?
• RQ4 $\mathrm{Coh}_G(\mathbb{P}^1)$ 내의 불가약 객체들은 아핀 리 대칭 $\widehat{\mathfrak{sl}}_2$의 실루트와 허수 루트에 어떻게 대응되는가?
• RQ5 아핀 다이어그램 $Q$의 정점들과 루트 시스템 $\Delta$ 내의 $C$-오빗 사이에 자연스러운 전단사 사상이 존재하는가?

주요 결과

• 모든 방향성 $h$에 대해, $D^b(\mathcal{C})$와 $D^b(\mathrm{Rep}\,Q_h)$ 사이의 유도 범주 동치가 존재하며, 반사 함수자에 의해 일致함을 보인다.
• 그로텐디크 군 $K(\mathcal{C})$는 아핀 루트 격자와 동형이며, 불가약 객체의 동치류 집합 $\Delta$는 아핀 루트 시스템을 이룬다.
• 코x터 원소 $C$는 $\mathcal{O}(-2)$와의 텐서 곱으로 작용하며, $\alpha = e_i - e_j + a\delta$에 대해 $C^{n/2}(\alpha) = \alpha - (\alpha, \varepsilon)\delta$이다. 여기서 $\varepsilon = \sum_{i\text{ even}} e_i - \sum_{i\text{ odd}} e_i$이다.
• $\Delta_0$는 결함이 0인 객체들(정규 표현에 대응)로, $i \equiv j \mod 2$를 만족하며, $C$는 $\Delta_0$ 위에서 유한 오빗을 가진다.
• $\Delta_+$는 양의 루트의 집합이며, $C$-오빗과 전단사로 대응되며, $\Delta_+ / C$는 자연스럽게 $Q$의 정점과 대응된다.
• $G = \mathbb{Z}_n$, $n = 2k$일 때, 루트 시스템 $\Delta(Q)$는 $\{e_i - e_j + a\delta \mid i \neq j, a \in \frac{j-i}{n} + \mathbb{Z}\}$로 기술되며, 단순 루트는 $\alpha_i = e_i - e_{i+1} + \frac{1}{n}\delta$이다.