[논문 리뷰] Irregular connections and Kac-Moody root systems

Philip Boalch|SPIRE - Sciences Po Institutional REpository|2008. 06. 05.

Advanced Algebra and Geometry참고 문헌 26인용 수 54

한 줄 요약

이 논문은 리만 구면 위의 비정칙 유리형 연결의 모듈리 공간과 나카지마 퀘이버 변량 사이의 대응을 수립하며, 이러한 연결이 기저가 되는 퀘이버 구조를 통해 카크-무디 루트 체계를 유도함을 보여준다. 반사 함수를 통한 웨일 군 작용과 퀘이버 쌍대성은 모듈리 공간 간의 위상동형을 유도하며, 편평한 방정식에 대한 기존 결과를 일반화하고, 크로우리-보이의 안정성 결과를 비정칙 설정으로 확장한다.

ABSTRACT

Some moduli spaces of irregular connections on the trivial bundle over the Riemann sphere will be identified with Nakajima quiver varieties. In particular this enables us to associate a Kac-Moody root system to such connections (yielding many isomorphisms between such moduli spaces, via the reflection functors for the corresponding Weyl group). The possibility of 'reading' a quiver in different ways also yields numerous isomorphisms between such moduli spaces, often between spaces of connections on different rank bundles and with different polar divisors. Finally some results of Crawley-Boevey on the existence of stable connections will be extended to this more general context.

연구 동기 및 목표

• 리만 구면 위의 자명한 복합선다발 위의 비정칙 연결의 모듈리 공간과 나카지마 퀘이버 변량 사이의 기하학적 대응을 수립하기 위해.
• 이러한 연결이 기저가 되는 퀘이버 구조를 통해 자연스럽게 카크-무디 루트 체계를 유도함을 보여주기 위해.
• 네 번째 페인레베 방정식과 아핀 $\widehat{A}_2$ 웨일 군 간의 알려진 연결을 더 넓은 범주로 확장하여, 다양한 연결과 퀘이버에 대해 일반화하기 위해.
• 크로우리-보이의 안정 연결에 대한 결과를 비정칙 설정으로 확장하여, 극의 차수 3 이하이면서 정칙형 비정칙 유형을 갖는 연결에 대해 적용하기 위해.

제안 방법

• 형식적 단일 회전과 스토우스 자료를 사용하여 $\mathbb{P}^1$ 위의 자명한 다발 위의 유리형 연결의 모듈리 공간 $\mathcal{M}^*$를 구성한다.
• 기저가 완전한 $k$-분할 그래프 $\Gamma$인 퀘이버 $\mathcal{Q}$에 대해 이러한 모듈리 공간을 나카지마 퀘이버 변량 $\mathcal{N}_{\mathcal{Q}}(\mathbf{d}, \lambda)$ 와 식별한다.
• 비정칙 유형 $\left(\frac{A_0}{z^k} + \cdots + \frac{A_{k-2}}{z^2}\right)dz$ 의 구조를 이용해 안정자 부분군의 내재된 순서 $H_i$ 를 정의하고, 고유공간의 루트 트리로 이어진다.
• 비정칙 유형의 코어지안 궤도 $\mathcal{O}_B$ 를 $r$-분열 연산을 통해 퀘이버 변량으로 표현한다: 노드를 $r$개의 간선으로 연결된 다수의 노드로 대체한다.
• 퀘이버 표현 이론에서의 반사 함수를 적용하여 웨일 군 작용을 생성하고, 서로 다른 연결 모듈리 공간 간의 위상동형을 유도한다.
• 노드에 '다리'(형 $A$ 다인킨 다이어그램)를 부착하여 피우크시안 특이점을 모델링하고, 다수의 정칙 특이점을 갖는 연결으로의 대응을 확장한다.

실험 결과

연구 질문

• RQ1 비정칙 연결의 모듈리 공간은 어떻게 리만 구면 위에서 나카지마 퀘이버 변량과 식별될 수 있는가?
• RQ2 주어진 비정칙 연결에서 유도되는 카크-무디 루트 체계는 무엇이며, 그 웨일 군은 모듈리 공간에 어떻게 작용하는가?
• RQ3 다양한 랭크 다발과 극의 구조를 갖는 연결의 모듈리 공간 간의 위상동형은 퀘이버 구조를 여러 방식으로 읽는 방식(예: '읽기')을 통해 어떻게 유도되는가?
• RQ4 크로우리-보이의 안정 연결 존재 결과는 비정칙 케이스로 확장될 수 있는가? 특히 극의 차수 3 이하이면서 정칙형 비정칙 유형을 갖는 경우에 대해.
• RQ5 고차 극(예: 차수 4 이상)에서 유도되는 퀘이버 구조는 무엇이며, 이를 $r$-분열을 통해 어떻게 노드에 인코딩하는가?

주요 결과

• 극의 차수 3 이하이면서 정칙형 비정칙 유형을 갖는 하나의 극과 유한 개의 피우크시안 특이점을 갖는 비정칙 연결의 모듈리 공간은 완전한 $k$-분할 그래프 $\Gamma$에 대한 나카지마 퀘이버 변량과 위상동형이다.
• 관련된 카크-무디 루트 체계의 웨일 군은 반사 함수를 통해 작용하며, 서로 다른 연결 모듈리 공간 간의 명시적 위상동형을 유도한다.
• 동일한 모듈리 공간은 퀘이버를 다양한 방식으로 읽는 방식에 따라 여러 가지 방식으로 퀘이버 변량으로 표현될 수 있으며, 이는 서로 다른 랭크 다발과 다른 극의 구조를 갖는 연결 공간 간의 위상동형을 유도한다.
• 고차 극(예: 차수 $k \geq 4$)의 경우 퀘이버 구조는 다중 간선을 포함하며, 극의 차수에 따라 간선의 다중성으로 결정되는 $r$-분열을 통해 인코딩된다.
• 비정칙 유형의 코어지안 궤도 $\mathcal{O}_B$ 는 고유공간의 루트 트리 위에서 반복적인 $r$-분열 과정을 통해 퀘이버 변량 $\mathbb{V}(\mathcal{Q})$ 와 위상동형이 되며, 해밀턴 $H$-공간으로서의 동형을 갖는다.
• 랭크 2 다발 위에 차수 4의 극과 정칙형 단순형 $A_0$ 을 갖는 단일 극의 경우, 유도되는 퀘이버는 아핀 $A_1$ 다인킨 다이어그램이 되며, 페인레베 IV 방정식에 대한 기존 결과와 일치한다.