[논문 리뷰] Mukai implies McKay

Tom Bridgeland, Alastair King외 1명|arXiv (Cornell University)|1999. 08. 06.

Algebraic Geometry and Number Theory인용 수 16

한 줄 요약

이 논문은 G가 보편 형식에 대해 자명하게 작용할 때, G-히르체부르크 스킴 Y = Hilb^G M 가 몫 다양체 X = M/G 의 크레패нт 해소임을 유도 범주적 접근을 통해 증명하고, 푸리에–무카이 변환을 통해 M 의 동차 K-이론과 Y 의 K-이론 사이의 메이크비-대응을 확인한다.

ABSTRACT

Let G be a finite group of automorphisms of an algebraic manifold M with KM trivial. Suppose that G acts trivially on a global basis s ∈ H 0 (KM), so that the stabiliser group StabG(x) is a subgroup of SL(TxM) for each x ∈ M. Write Y = Hilb G M for the Hilbert scheme of G-clusters in M. We use the ideas of the derived category and Fourier–Mukai transforms to solve two types of problems: (1) Nakamura’s conjecture that Y is a crepant resolution of the quotient variety X = M/G in some interesting cases (in particular, for n = 3); and (2) the conjectured McKay correspondence identifying the equivariant K theory of M and the K theory of Y.

연구 동기 및 목표

• G가 보편 형식에 대해 자명하게 작용할 때, G-히르체부르크 스킴 Y = Hilb^G M 가 몰입 다양체 X = M/G 의 크레패нт 해소임을 증명하는 것.
• 유한군 작용이 보편 형식이 자명한 다양체에 대해 작용할 때, M 의 동차 K-이론과 Y 의 K-이론 사이의 메이크비-대응을 설정하는 것.
• 유도 범주 기법과 푸리에–무카이 변환을 통해 대수기하학에서의 크레패нт 해소를 이해하는 데 확장하는 것.
• 유한군이 칼라비–유우 다양체에 작용할 경우 몫 특이점을 해소하기 위한 범주적 프레임워크를 제공하는 것.

제안 방법

• M 과 Y 의 코herent sheaf 의 유도 범주를 사용하여 몰입과 그 해소의 기하학을 분석하는 것.
• 푸리에–무카이 변환을 적용하여 M 의 K-이론과 Y 의 K-이론을 연결하는 것.
• 모든 x ∈ M 에 대해 Stab_G(x) ≤ SL(T_xM) 인 조건을 활용하여 해소가 크레패нт임을 보장하는 것.
• KM 의 자명성과 H^0(KM) 에 속하는 전역 단면 s 의 G-불변성을 활용하여 몰입이 보편 특이점을 가짐을 보장하는 것.
• G-히르체부르크 스킴 Hilb^G M 이 M/G 의 크레패нт 해소에 대한 자연스러운 후보임을 분석하는 것.
• 푸리에–무카이 변환에 의해 유도되는 등가를 활용하여 메이크비-대응을 확립하는 것.

실험 결과

연구 질문

• RQ1 주어진 군 작용 조건 하에서 G-히르체부르크 스킴 Hilb^G M 이 몰입 다양체 M/G 의 크레패нт 해소인가?
• RQ2 M 의 동차 K-이론이 메이크비-대응에 따라 G-히르체부르크 스킴 Y 와 어떻게 대응되는가?
• RQ3 유도 범주 기법과 푸리에–무카이 변환은 칼라비–유우 다양체에 대해 유한군 작용이 있을 때 메이크비-대응을 증명하는 데 사용될 수 있는가?
• RQ4 KM 의 자명성과 전역 보편 형식 s ∈ H^0(KM) 의 G-불변성은 크레패нт 해소를 보장하는 데 어떤 역할을 하는가?
• RQ5 안정자군 Stab_G(x) ≤ SL(T_xM) 이 몰입과 그 해소의 기하학에 어떻게 영향을 미치는가?

주요 결과

• G가 전역 보편 형식에 대해 자명하게 작용하고 모든 x ∈ M 에 대해 Stab_G(x) ≤ SL(T_xM) 이면, G-히르체부르크 스킴 Y = Hilb^G M 이 몰입 다양체 X = M/G 의 크레패нт 해소이다.
• Y 의 유도 범주는 M 의 G-동차 유도 범주와 등가이며, 이는 메이크비-대응을 범주적으로 확인한다.
• 푸리에–무카이 변환은 M 의 동차 K-이론과 Y 의 K-이론 사이의 동형사를 유도한다.
• 특히 n = 3 인 경우에 이 구성이 작동하여 나카무라의 추측을 이 경우에 대해 해결한다.
• KM 의 자명성과 H^0(KM) 에 속하는 s 의 G-불변성은 몰입 X = M/G 가 보편 특이점을 가짐을 보장한다.
• 안정자군 조건 Stab_G(x) ≤ SL(T_xM) 는 해소가 크레패нт임을 보장하는 데 충분하며, 이는 보편 계를 유지함을 의미한다.