[논문 리뷰] Geometrical McKay Correspondence for Isolated Singularities

Anda Degeratu|ArXiv.org|2003. 02. 06.

Advanced Algebra and Geometry참고 문헌 23인용 수 7

한 줄 요약

이 논문은 $\mathbb{C}^3/G$의 삼차원 고립 특이점에 대해 기하학적 McKay 대응을 수립한다. $\mathbb{C}^3/G$의 $G$-Hilbert 스킴 해석에서 코herent sheaf의 그로텐디크 군은 $G$의 표현 군에 동형이며, 이는 코homological ring을 체른 특성 쌍대성과 수정된 표현 기저를 통해 기록하는 쌍대 기저를 포함한다. 이 기저는 오일러 특성 쌍대성과 호환된다.

ABSTRACT

A Calabi-Yau orbifold is locally modeled on C^n/G where G is a finite subgroup of SL(n, C). In dimension n=3 a crepant resolution is given by Nakamura's G-Hilbert scheme. This crepant resolution has a description as a GIT/symplectic quotient. We use tools from global analysis to give a geometrical generalization of the McKay Correspondence to this case.

연구 동기 및 목표

• 표면 특이점 ($\mathbb{C}^2/G$)에서의 고전적 McKay 대응을 $\mathbb{C}^3/G$의 3차원 다양체로 확장하여, 등각 해석을 사용한다.
• 유한부분군 $G \subset SL(3,\mathbb{C})$에 대해 $\mathbb{C}^3/G$의 등각 해석의 코homological 및 $K$-이론적 구조를 이해한다.
• 등각 해석의 $K$-이론과 $G$의 표현 군 사이의 이중성 관계를 수립하며, 오일러 쌍대성과 호환된다.
• 푸리에-무카이 변환과 표현 이론적 수정을 통해 $K_c(X)$ 기저에 쌍대되는 $K(X)$ 기저를 구성한다.

제안 방법

• 등각 해석으로서 나카무라의 $G$-Hilbert 스킴을 사용하여 $\pi: X \to \mathbb{C}^3/G$를 정의한다.
• sheaf $\mathcal{R}_k$를 $R_k \otimes \mathcal{O}_{\mathbb{C}^3}$로 매핑하는 푸리에-무카이 변환 $\Phi: K(X) \to K^G(\mathbb{C}^3)$과 $\mathcal{S}_k$를 $R_k \otimes \mathcal{O}_0$로 매핑하는 $\Phi_c: K_c(X) \to K_c^G(\mathbb{C}^3)$를 적용한다.
• $K_c(X)$ 기저와의 이중성을 확보하기 위해 $R(G)$ 내에서 수정된 기저 $\{R_k - \dim(R_k) R_0\}$를 도입한다.
• 코homology와 $K$-이론을 연결하기 위해 체른 특성 쌍대성 $\langle \mathrm{ch}_c(\mathcal{S}_k), \mathrm{ch}(\mathcal{R}_l) \rangle = \int_X \mathrm{ch}_c(\mathcal{S}_k) \cup \mathrm{ch}(\mathcal{R}_l) \hat{A}(X)$를 사용한다.
• 곱셈 $\lambda = -Q + \Lambda^2 Q$에 의한 $\kappa: R(G) \to R(G)$의 동형사상 $\kappa = \begin{bmatrix} 0 & 0 \\ 0 & C \end{bmatrix}$의 행렬 표현을 이용한다.
• 수정된 $K(X)$ 기저가 $\{\mathcal{S}_k\}$와 여전히 쌍대성을 유지하며, 쌍대성 구조를 유지함을 증명한다.

실험 결과

연구 질문

• RQ1 어떻게 $K$-이론과 코homology의 관점에서 $\mathbb{C}^2/G$에서 $\mathbb{C}^3/G$로 McKay 대응을 일반화할 수 있는가?
• RQ2 등각 해석에 대해 $\mathbb{C}^3/G$의 $K$-이론 군 $K(X)$와 $K_c(X)$ 사이의 정확한 이중성 관계는 무엇인가?
• RQ3 오일러 쌍대성과의 호환성을 확보하기 위해 표현 군 $R(G)$는 어떻게 수정되어야 하는가?
• RQ4 푸리에-무카이 변환은 $K(X)$와 $K^G(\mathbb{C}^3)$ 사이의 동형사상을 어떻게 실현하는가?
• RQ5 체른 특성 쌍대성은 해석에서 코homology의 대수적 구조를 어떻게 기록하는가?

주요 결과

• $G$-Hilbert 스킴은 $SL(3,\mathbb{C})$의 유한부분군 $G$에 대해 $\pi: X \to \mathbb{C}^3/G$의 등각 해석을 제공한다.
• sheaf $\{\mathcal{R}_0, \ldots, \mathcal{R}_r\}$는 $K(X)$의 기저를 이루며, $\{\mathcal{S}_0, \ldots, \mathcal{S}_r\}$는 $K_c(X)$의 쌍대 기저를 이룬다.
• 푸리에-무카이 변환은 $\Phi: K(X) \to K^G(\mathbb{C}^3)$와 $\Phi_c: K_c(X) \to K_c^G(\mathbb{C}^3)$를 유도하며, 둘 다 $R(G)$와 동형이다.
• 곱셈 $\lambda = -Q + \Lambda^2 Q$에 의해 유도된 $\kappa: R(G) \to R(G)$의 행렬은 블록 대각형이며, 우하단 블록으로서 $C$를 포함한다.
• 수정된 기저 $\{R_k - \dim(R_k) R_0\}$는 $K$-이론의 쌍대성과 $R(G)$의 자연스러운 쌍대성 간의 일致를 보장한다.
• 체른 특성 쌍대성 $\int_X \mathrm{ch}_c(\mathcal{S}_k) \cup \mathrm{ch}(\mathcal{R}_l) \hat{A}(X)$는 표현 이론적 이중성과 호환된다.