[논문 리뷰] Resolutions of Orbifold Singularities and Flows on the McKay Quiver

Alexander V. Sardo-Infirri|ArXiv.org|1996. 10. 04.

Geometry and complex manifolds참고 문헌 15인용 수 11

한 줄 요약

이 논문은 유한군 Γ에 대한 McKay 사슬을 연결하여, 궤도 특이점 $\mathbb{C}^n/\Gamma$ 의 부분 해소 $X_\zeta$ 가 그에 대응하는 McKay 사슬의 표현들의 모듈리 공간으로서 실현될 수 있음을 밝힌다. 아벨 군 Γ에 대해서는, $X_\zeta$ 가 사슬 위에서 일반화된 운반 문제의 해 다각체로 정의하는 토닉 다양체임을 보이며, 매개수 공간의 챔버로의 분할을 통한 오일러 지표, 특이점, 이레귤러 유형의 명시적 계산을 제공한다.

ABSTRACT

Let $Γ$ be a finite group acting linearly on $\C^n$, freely outside the origin. In previous work a generalisation of Kronheimer's construction of moduli of Hermitian-Yang-Mills bundles with certain invariance properties was given. This produced varieties $X_ζ$ (parameterised by $ζ\in\Q^N$) which are partial resolutions of $\C^n/Γ$. In this article, it is shown the same $X_ζ$ can be described as moduli spaces of representations of the McKay quiver associated to the action of $Γ$. It it shown that, for abelian groups, $X_ζ$ are toric varieties defined by convex polyhedra which are the solution sets for a generalisation of the transportation problem on the McKay quiver. The generalised transportation problem is solved for an arbitrary quiver to give a description of the extreme points, faces, and tangent cones to the solution polyhedra in terms of certain distinguished trees in the quiver. Applied the McKay quiver, this gives an explicit procedure for calculating $X_ζ$, its Euler number, and its singularities for any $ζ$. The $ζ$-parameter-space is thus partitioned into a finite disjoint union of cones inside which the biregular type of $X_ζ$ remains constant. Finally, the example $\C^3/\Z_5$ (weights $1,2,3$) is worked out in detail, and figures of smooth and singular $X_ζ$ and their corresponding flows are drawn. A further example of smooth crepant resolution $X_ζ$ is drawn for the singularity ${1/11}(1,4,6)$.

연구 동기 및 목표

• 부분 해소 $X_\zeta$ 의 기하학적 기술을 $\mathbb{C}^n/\Gamma$ 에 대해 McKay 사슬의 표현 모듈리 공간으로 통합하는 것.
• 아벨 군 Γ에 대해, McKay 사슬 위에서 일반화된 운반 문제의 해 집합을 통해 $X_\zeta$ 가 토닉 다양체로 기술됨을 특성화하는 것.
• 모든 $\zeta \in \mathbb{Q}^N$ 에 대해 $X_\zeta$, 그 오일러 지표, 특이점, 이레귤러 유형을 명시적으로 계산할 수 있는 알고리즘을 제공하는 것.
• 모든 $X_\zeta$ 의 이레귤러 유형이 일정한 유한 개의 콘으로 나누어 $\zeta$-매개수 공간을 분할하는 것.

제안 방법

• McKay 사슬의 표현 모듈리 공간으로서 $X_\zeta$ 를 표현함으로써, Kronheimer 유형의 구성과 연결하는 것.
• 해 다각체가 $X_\zeta$ 를 토닉 다양체로 정의하는 사슬 위에서 일반화된 운반 문제를 도입하는 것.
• 해 다각체의 극단점, 면, 접선 콘을 사슬 내의 특별한 트리들을 통해 특성화하는 것.
• 일반화된 운반 문제 프레임워크를 적용하여 $X_\zeta$ 의 오일러 지표와 특이점 유형을 계산하는 것.
• 사슬 이론적 흐름을 이용해 $X_\zeta$ 의 구조를 분석하고 $\zeta$-공간을 이레귤러 유형이 일정한 챔버로 나누는 것.
• 명시적 조합 기법을 활용하여 불변량을 계산하고, $\mathbb{C}^3/\mathbb{Z}_5$ 및 $\mathbb{C}^3/\mathbb{Z}_{11}$ 와 같은 구체적 예시의 기하적 실현을 도출하는 것.

실험 결과

연구 질문

• RQ1 유한군 Γ에 대해, 궤도 해소 $X_\zeta$ 는 McKay 사슬의 표현들의 모듈리 공간으로 기술될 수 있는가?
• RQ2 McKay 사슬 위에서 일반화된 운반 문제의 해 다각체는 $X_\zeta$ 의 기하학을 어떻게 기술하는가?
• RQ3 $X_\zeta$ 의 이레귤러 유형이 일정한 챔버로 나누어진 $\zeta$-매개수 공간의 구조는 어떠한가?
• RQ4 모든 $\zeta$ 에 대해 $X_\zeta$ 의 오일러 지표와 특이점 유형을 명시적으로 어떻게 계산할 수 있는가?
• RQ5 McKay 사슬 내의 특별한 트리가 해 다각체의 면과 접선 콘을 결정하는 데 어떤 역할을 하는가?

주요 결과

• 아벨 군 Γ에 대해, $X_\zeta$ 는 McKay 사슬 위에서 일반화된 운반 문제의 해 집합으로 정의되는 볼록 다각체로 정의되는 토닉 다양체이다.
• 해 다각체의 극단점, 면, 접선 콘은 모두 McKay 사슬 내의 특별한 트리들로 완전히 특성화된다.
• $\zeta$-매개수 공간은 유한 개의 서로소 라이트 다각형 콘의 합집합으로 분해되며, 각 콘 내에서 $X_\zeta$ 의 이레귤러 유형은 일정하다.
• $X_\zeta$ 의 오일러 지표는 사슬의 조합론과 일반화된 운반 문제를 통해 명시적으로 계산된다.
• $\mathbb{C}^3/\mathbb{Z}_5$ 에서 가중치 $(1,2,3)$ 의 경우, 매끄럽고 특이적인 $X_\zeta$ 와 그에 대응하는 사슬 흐름의 상세한 그림을 제공한다.
• ${1/11}(1,4,6)$ 특이점에 대해 매끄러운 크레패턴트 해소 $X_\zeta$ 를 구성하고 그림으로 제시하여, 이 방법이 비아벨 및 고차원 사례에도 적용 가능함을 확인한다.