[논문 리뷰] The GL(2) McKay Correspondence

Michael Wemyss|arXiv (Cornell University)|2008. 09. 11.

Algebraic structures and combinatorial models참고 문헌 8인용 수 5

한 줄 요약

이 논문은 임의의 아핀 완전 유리 표면 특이점의 최소 해소의 이중 그래프에서 조합적으로 재구성할 수 있는 복소수 특수 코hen-맥컬레이 모듈의 내적환의 끝점에서 유도된 재구성 대수의 퀘일을 통해 GL(2, C) 매크레이 대응을 수립한다. 핵심 결과는 퀘일의 구조와 해소의 이중 그래프 및 자기교차수 사이의 일대일 대응이며, 이는 이전에 SL(2, C)에만 적용 가능했던 매크레이의 고전적 대응을 GL(2, C)의 모든 유한부분군으로까지 확장한다.

ABSTRACT

In this paper we show that for any affine complete rational surface singularity there is a correspondence between the dual graph of the minimal resolution and the quiver of the endomorphism ring of the special CM modules. We thus call such an algebra the reconstruction algebra. As a consequence the derived category of the minimal resolution is equivalent to the derived category of an algebra whose quiver is determined by the dual graph. Also, for any finite subgroup G of GL(2,C), it means that the endomorphism ring of the special CM C[[x,y]]^G modules can be used to build the dual graph of the minimal resolution of C^2/G, extending McKay's observation for finite subgroups of SL(2,C) to all finite subgroups of GL(2,C).

연구 동기 및 목표

• . 이 논문은 비골레르스타인 표면 몫 특이점에 대한 비틀린 군환의 기하학적 모호성을 제거하기 위해 더 작고 더 정보가 풍부한 대수를 도입하고자 한다.
• 유한부분군 GL(2, C)의 표현론으로부터 기하학적 자료—특히 최소 해소의 이중 그래프—를 추출하는 문제에 대응한다.
• 매크레이의 고전적 대응을 원래 SL(2, C)의 유한부분군에만 적용 가능했던 것을 GL(2, C)의 모든 유한부분군으로 일반화하고자 한다.
• 최소 해소와 그 해소의 이중 그래프로 결정되는 유한차원 대수의 유도 범주와의 유도 동치를 확립하고자 한다.
• 재구성 대수의 호모로지적 구조, 특히 그 전반적 차원과 단순 모듈의 프로젝티브 차원을 명확히 하고자 한다.

제안 방법

• . 리만-로흐와 세르 다이얼로지의 응용을 통해 Ext 군을 계산함으로써, 퀘일과 관계의 구조를 기하학적으로 증명한다.
• 특수 코헨-맥컬레이 모듈의 원리에 따라, 유리 표면 특이점에서의 불가약한 특수 CM 모듈의 합의 내적환으로 재구성 대수를 정의한다.
• 최소 해소의 이중 그래프에서 조합적으로 퀘일을 재구성하며, 유리 특이점의 연속 분수 전개와 자기교차수를 기반으로 구성한다.
• 각 유형의 유리 특이점(A, D, E, T, O, I)에 대해, 연속 분수 계수에 따라 정점 추가 및 화살표 다중도를 결정하는 명시적 규칙을 제공한다.
• 브리지랜드와 반 데른 베르크의 비가환 해소 및 유도 범주 이론을 활용하여, 최소 해소의 유도 범주가 재구성 대수의 유도 범주와 동치임을 보인다.
• 호모로지 대수학을 통해 재구성 대수의 전반적 차원을 계산하며, 골레르스타인 및 비골레르스타인 케이스를 구분한다.

실험 결과

연구 질문

• RQ1 . 아핀 완전 유리 표면 특이점의 최소 해소의 이중 그래프에서 재구성 대수의 퀘일을 순수하게 조합적으로 결정할 수 있는가?
• RQ2 GL(2,C)의 유한소부분군 G에 대해, C[[x,y]]^G에서의 특수 CM 모듈의 내적환은 C^2/G의 최소 해소의 이중 그래프를 재구성하는가?
• RQ3 재구성 대수의 전반적 차원은 무엇이며, 특이점의 골레르스타인 성질에 따라 어떻게 달라지는가?
• RQ4 재구성 대수의 단순 모듈의 프로젝티브 차원은 비골레르스타인 특이점의 기하학적 성질을 어떻게 반영하는가?
• RQ5 최소 해소의 유도 범주는 G의 표현론으로부터 구성된 유한차원 대수의 유도 범주로 표현될 수 있는가?

주요 결과

• . 재구성 대수의 퀘일은 임의의 아핀 완전 유리 표면 특이점의 최소 해소의 이중 그래프에서 자기교차수로 표기된 조합적으로 계산할 수 있다.
• GL(2,C)의 유한소부분군 G에 대해, 특수 표현을 통해 G의 표현 ρ에 대해 C[[x,y]]^G의 합 ⊕ρ special(ρ⊗C[[x,y]])^G의 내적환 퀘일은 C^2/G의 최소 해소의 이중 그래프를 재구성하며, 이때 정수 표현 정점은 제거된다.
• 재구성 대수의 전반적 차원은 특이점이 골레르스타인일 경우 2이며, 아닐 경우 3이다.
• 비골레르스타인 케이스에서 특수 정점 ⋆에 대응하는 단순 모듈의 프로젝티브 차원은 3이며, 나머지 모든 모듈은 프로젝티브 차원 2를 가진다; 이 비대칭성은 호모로지 동차 성질을 깨뜨린다.
• 최소 해소 ˆX의 유도 범주는 재구성 대수 A의 유도 범주와 동치이다.
• 각 유리 특이점 유형(A, D, T, O, I)에 대해, 특이점의 연속 분수 전개로부터 퀘일을 구성하는 명시적 조합적 규칙을 제공하며, 화살표 다중도는 계수 αi > 2 또는 >3에 의해 결정된다.