[논문 리뷰] McKay correspondence

Miles Reid|arXiv (Cornell University)|1997. 02. 25.

Homotopy and Cohomology in Algebraic Topology인용 수 76

한 줄 요약

이 논문은 유한부분군 $G \subset \operatorname{SL}(n,\mathbb{C})$의 기약표현과 몰입해선의 해석적 호모로지 클래스 사이의 자연스러운 전단사 사상으로서 McKay 대응을 공식화하며, 표현 이론과代수기하학 사이의 깊은 연결 고리를 확립한다. 주요 기여는 예시들과 Nakamura의 $G$-Hilbert 스킴에 기반한 추측적 타우토로지적 프레임워크를 통해, 특히 3차원에서 토릭 기하학과 스트링이론적 불변량을 이용하여 이 대응을 실현하는 것이다.

ABSTRACT

This is a rough write-up of my lecture at Kinosaki and two lectures at RIMS workshops in Dec 1996, on work in progress that has not yet reached any really worthwhile conclusion, but contains lots of fun calculations. History of Vafa's formula, how the McKay correspondence for finite subgroups of SL(n,C) relates to mirror symmetry. The main aim is to give numerical examples of how the 2 McKay correspondences (1) representations of G cohomology of resolution (2) conjugacy classes of G homology must work, and to restate my 1992 Conjecture as a tautology, like cohomology or K-theory of projective space. Another aim is to give an introduction to Nakamura's results on the Hilbert scheme of G-clusters, following his preprints and his many helpful explanations. This is partly based on joint work with Y. Ito, and has benefited from encouragement and invaluable suggestions of S. Mukai.

연구 동기 및 목표

• 유한군 $G \subset \operatorname{SL}(n,\mathbb{C})$의 기약표현과 몰입해선의 해석적 호모로지 클래스 사이의 자연스러운 대응을 수립한다.
• 특히 $n=3$인 고차원에서, 기존의 2차원 경우에 국한되지 않은 McKay 대응의 기하학적 및 코homological 기초를 제공한다.
• Vafa의 스트링이론적 오일러 특성수와 $e_{\text{string}}(M,G) = e(Y)$라는 추측을 통해 McKay 대응을 미러 대칭 및 초현실론 이론과 연결한다.
• McKay 대응이 $\mathbb{P}^n$의 구조와 유사한, 코homology 또는 K-이론에서의 타우토로지적 진술로 유도될 수 있음을 제안한다.
• 특히 3차원에서 Nakamura의 $G$-Hilbert 스킴이 특별한 몰입해선 해석적 해석으로서의 역할을 하며, 이를 토릭 다양체로 실현하는 방식을 탐색한다.

제안 방법

• 표현 이론과 $Y$의 코homology 사이의 관계를 분석하기 위한 핵심 도구로 GSp–V 층(타우토로지적 층)를 사용한다.
• 특히 $n=3$에서, 비유일적인 최소 모델 문제를 해결하기 위해 Nakamura의 $G$-Hilbert 스킴 구축을 응용하여 표준적인 몰입해선 해석적 해석 $Y = G\text{-Hilb}$를 정의한다.
• 토릭 기하학과 저니어 심플렉스의 삼등분을 활용하여, $Y$를 명시적인 팬 구조를 지닌 토릭 다양체로 묘사한다.
• 뉴턴 다각형과 격자점 분석을 활용하여 $G$-클러스터를 분류하고, 트라이언트의 조합적 조각짓기 방식으로 해석의 기하학을 기술한다.
• 위상수학적 불변량과 군의 특성 이론 사이의 연결을 위해 공식 $e_{\text{string}}(M,G) = \sum_{H \subset G} e(X_H) \cdot \#\{\text{연합류 클래스 in } H\}$을 적용한다.
• McKay 쿼버와 그 기본 영역을 구성하여 $Y$의 호모로지적 구조를 코딩하고, 국소 차트에서의 $G$-클러스터에 대한 명시적 방정식을 제시한다.

실험 결과

연구 질문

• RQ1 McKay 대응은 $G$의 표현 이론과 몰입해선 해석적 호모로지 사이의 타우토로지적 동치로 공식화될 수 있는가?
• RQ2 Nakamura의 $G$-Hilbert 스킴은 $n=3$ 차원에서 비유일적인 최소 모델 문제를 해결하는 표준적인 몰입해선 해석적 해석을 제공하는가?
• RQ3 스트링이론적 오일러 특성수 $e_{\text{string}}(M,G)$는 몰입해선 해석적 해석 $Y$의 오일러 특성수와 어떻게 관련이 있는가?
• RQ4 토릭 기하학적 묘사에서의 두 가지 다른 조각짓기 규칙(‘위’와 ‘아래’ 삼중조합)의 기하학적 의미는 무엇인가?
• RQ5 Calabi–Yau 기하학의 0차원 극한에서, $G$-미러 대칭과 같은 더 깊은 원리로부터 McKay 대응을 도출할 수 있는가?

주요 결과

• McKay 대응은 $G$의 기약표현과 $H^*(Y,\mathbb{Z})$의 기저 사이의 타우토로지적 동치로 추측되며, Cup 곱과 쌍대성과의 호환성도 유지된다.
• $n=3$인 경우, [IR]에서 공액류 집합 대응의 약한 형태(2)가 증명되었으며, 이는 전체 일반화로의 길을 열어준다.
• $G$-Hilbert 스킴은 $\mathbb{C}^3/G$의 특별한 몰입해선 해석적 해석을 제공하며, 3차원에서의 최소 모델의 비유일성 문제를 해결한다.
• $Y = G\text{-Hilb}$는 저니어 심플렉스의 삼등분을 통해 토릭 다양체로 실현되며, 기하학적 구조를 명시적인 팬 구조로 코딩한다.
• $G$-클러스터의 기하학은 뉴턴 다각형(트라이포드)로 표현되며, 두 가지 다른 조각짓기 규칙은 $\uparrow$ 및 $\downarrow$ 구성과 관련이 있으며, 层 벗기기 연산으로 연결된다.
• $\frac{1}{37}(1,5,31)$의 McKay 쿼버 기본 영역은 $x^4 = \lambda y^2 z$, $y^4 = \mu x z^3$, $z^5 = \nu x^2 y$와 같은 명시적 방정식을 유도하여, 해석의 국소적 구조를 기술한다.