[논문 리뷰] Mukai implies McKay: the McKay correspondence as an equivalence of derived categories

Tom Bridgeland, Alastair King외 1명|ArXiv.org|1999. 08. 06.

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

한 줄 요약

이 논문은 $ Y $가 몽주어 3차곡면 $ X = M/G $의 캐프란 해소이자 $ M $의 $ G $-등변 코herent sheaf의 유도 범주와 $ Y $의 코herent sheaf의 유도 범주 사이의 동치로 매크케이 대응을 확립한다. 이는 나카무라의 $ G $-힐베르트 스킴이 캐프란 해소임을 증명하고, 유도 동치가 K-이론에 대해 동형을 유도함을 보여준다. 결과적으로, 푸리에–무카이 변환을 사용하여 고차원으로 일반화된 고전적 매크케이 대응을 제시한다.

ABSTRACT

Let G be a finite group of automorphisms of a nonsingular complex threefold M such that the canonical bundle omega_M is locally trivial as a G-sheaf. We prove that the Hilbert scheme Y=GHilb M parametrising G-clusters in M is a crepant resolution of X=M/G and that there is a derived equivalence (Fourier- Mukai transform) between coherent sheaves on Y and coherent G-sheaves on M. This identifies the K theory of Y with the equivariant K theory of M, and thus generalises the classical McKay correspondence. Some higher dimensional extensions are possible.

연구 동기 및 목표

• 유도 범주를 통해 2차원을 초월한 고전적 매크케이 대응을 일반화하는 것.
• 만일 $ M $가 복소수 3차원 비특이 다양체이고 $ G \subset \mathrm{SL}(3,\mathbb{C}) $일 때, $ G $-힐베르트 스킴 $ \operatorname{G-Hilb}(M) $ 가 $ X = M/G $의 캐프란 해소임을 증명하는 것.
• $ Y $가 $ G $-힐베르트 스킴일 때, $ \mathrm{D}(Y) $와 $ \mathrm{D}^G(M) $ 사이의 유도 동치(푸리에–무카이 변환)를 확립하는 것.
• 이 유도 동치가 위상 K-이론에 대해 동형을 유도함을 보여, 오비폴드 오일러 수 추측을 설명하는 것.

제안 방법

• 특이점이 없는 복소수 3차원 다양체 $ M $와 $ G \subset \mathrm{SL}(3,\mathbb{C}) $일 때, $ X = M/G $의 캐프란 해소로 $ Y = \operatorname{G-Hilb}(M) $를 고려하며, 자유 $ G $-오빗을 포함하는 기저 성분에 집중한다.
• 유니버설 $ G $-클러스터 $ \mathcal{Z} \subset Y \times M $를 통해 푸리에–무카이 변환 정의하여 유도 범주 간의 함자를 유도한다.
• 브리지스ແลด의 유도 범주 및 안정성 조건에 관한 기법을 활용하여 유도 범주 간 동치를 증명한다.
• 변환이 동치임은 오직 핵이 K-이론에 대해 동형을 유도하고, 특정 반직교 분해 조건을 만족할 때에만 성립한다는 사실을 응용한다.
• 위상 K-이론과 체른 문자 동형을 적용하여 유도 동치가 오비폴드 오일러 수 추측과 어떻게 연결되는지 분석한다.
• 쿠머 표면의 경우를 검증하여, $ M $ 위의 평탄한 $ G $-선다발이 $ Y $의 $ -2 $-곡선에 지지된 선다발로 대응됨을 보인다.

실험 결과

연구 질문

• RQ1 만일 $ M $가 비특이 3차원 다양체이고 $ G \subset \mathrm{SL}(3,\mathbb{C}) $일 때, $ G $-힐베르트 스킴 $ \operatorname{G-Hilb}(M) $ 는 $ M/G $의 캐프란 해소인가?
• RQ2 $ Y $가 $ M/G $의 해소일 때, $ Y $의 코herent sheaf의 유도 범주와 $ M $의 $ G $-등변 코herent sheaf의 유도 범주 사이에 유도 동치가 존재하는가?
• RQ3 유도 범주와 푸리에–무카이 변환을 사용하여 고전적 매크케이 대응을 고차원으로 일반화할 수 있는가?
• RQ4 이 유도 동치는 위상 K-이론에 대해 동형을 유도하는가? 이는 오비폴드 오일러 수 추측을 설명하는가?
• RQ5 쿠머 표면의 경우, $ M $ 위의 평탄한 $ G $-선다발은 $ Y $의 어떤 선다발과 대응되는가?

주요 결과

• $ G \subset \mathrm{SL}(3,\mathbb{C}) $인 모든 유한부분군에 대해 $ G $-힐베르트 스킴 $ \operatorname{G-Hilb}(M) $ 는 $ X = M/G $의 캐프란 해소이다. 이는 나카무라의 추측을 확인한다.
• $ Y $가 $ G $-힐베르트 스킴일 때, $ \mathrm{D}(Y) $와 $ \mathrm{D}^G(M) $ 사이에 푸리에–무카이 동치가 존재한다. 이는 매크케이 대응을 유도 동치로 확립한다.
• 이 유도 동치는 위상 K-이론 $ \mathcal{K}^*(Y) $와 등변 K-이론 $ \mathcal{K}_G^*(M) $ 사이의 등급 동형을 유도하며, 오비폴드 오일러 수 추측 $ e(M,G) = e(Y) $ 를 확인한다.
• 쿠머 표면의 경우, 아벨 다양체 $ M $ 위의 평탄한 $ G $-선다발은 K3 다양체 $ Y $ 위의 선다발 $ \mathcal{O}_Y(D(\rho)) $ 와 대응되며, 여기서 $ D(\rho) = \frac{1}{2} \sum \rho(x_i) C_i $ 이고 $ C_i $ 는 $ -2 $-곡선이다.
• 유도 범주 접근법은 3차원에서 캐프란 해소의 존재를 사례별 분석 없이 통일적으로 증명한다.
• 모든 $ \mathrm{SL}(3,\mathbb{C}) $ 의 유한부분군에 대해 K-이론의 대응은 동형이다. 이는 아벨 군에 대한 이전 결과를 일반화한다.