[논문 리뷰] Lectures on Nakajima's Quiver Varieties

Victor Ginzburg|ArXiv.org|2009. 05. 05.

Advanced Combinatorial Mathematics참고 문헌 38인용 수 85

한 줄 요약

이 논문은 프레임된 퀼러 표현의 해밀턴 축소를 통해 구성된 기하적 대상인 나카지마의 퀄러 다양체에 대한 종합적인 서술을 제공한다. 이러한 다양체는 카크-무디 리 대수와 그 적분 가능 표현을 실현하는 것으로, 핵심 기여는 이전의 링겔과 루슈티그의 작업이 양의 부분만을 다루는 데 비해, 전체 유니버설 환영 대수 $U(\frak{g})$와 그 단순 모듈러의 기하적 구축을 가능하게 한다.

ABSTRACT

This is an expanded version of lectures given at a Summer School "Geometric methods in Representation Theory" (Grenoble, 2008).

연구 동기 및 목표

• 나카지마의 퀄러 다양체를 카크-무디 리 대수와 그 표현의 기하적 실현으로서 체계적으로 소개하는 것.
• 프레임된 퀄러 표현의 코탄제이트 벡터 장의 해밀턴 축소가 부드러운 심플렉틱 다양체를 만들어내며 풍부한 대수적 구조를 지닌다는 것을 설명하는 것.
• 이 다양체의 코homology와 유니버설 환영 대수 $U(\frak{g})$ 및 그 적분 가능 최고무게 모듈러 사이의 대응관계를 확립하는 것.
• 등변 K-이론을 활용하여 Borel-Moore 호몰로지 대신 양자화된 설정으로의 확장을 다루는 것, 특히 수정된 양자 환영 대수 $\widetilde{U}_q(\widehat{\frak{g}})$를 포함한다.

제안 방법

• 프레임된 퀄러 표현을 구조 $Q^\heartsuit$를 사용하여 구성하며, 그 표현 공간은 $\mathrm{Rep}(Q^\heartsuit)$이다.
• 코탄제이트 벡터 장 $T^*(\mathrm{Rep}(Q^\heartsuit)) = \mathrm{Rep}(\overline{Q^\heartsuit})$에 해밀턴 축소를 적용하여 나카지마의 퀄러 다양체 $\mathcal{M}_{\lambda,\theta}(\mathbf{v},\mathbf{w})$를 정의한다.
• 스테인베르크 다양체 $Z(\mathbf{w})$와 그 기저 성분을 사용하여 호몰로지 위에 작용하는 컨볼루션 대수를 정의한다.
• 유니버설 환영 대수 $U(\frak{g}_Q)$의 생성자를 호몰로지 내의 기본 클래스와 스테인베르크 다양체의 성분들의 선형 조합으로 실현한다.
• Borel-Moore 호몰로지 대신 등변 $K$-이론을 사용하여 양자 설정으로의 구축을 승격시킨다.
• $\mathbb{C}^\times$-작용을 다양체에 적용하여 심플렉틱 해소 성질과 코homology의 순수성 보장을 한다.

실험 결과

연구 질문

• RQ1 프레임된 퀄러 표현의 코탄제이트 벡터 장의 해밀턴 축소로서 나카지마의 퀄러 다양체는 어떻게 기하적으로 구성될 수 있는가?
• RQ2 이 다양체의 코homology 또는 $K$-이론은 어떻게 카크-무디 리 대수의 유니버설 환영 대수 $U(\frak{g})$를 실현하는가?
• RQ3 $U(\frak{g})$의 작용이 중심 다이어그램 위의 섬유 호몰로지 위에 어떻게 기하학적으로 해석될 수 있는가?
• RQ4 등변 $K$-이론을 통해 양자 설정으로의 확장은 어떻게 이루어지며, 특히 $\widetilde{U}_q(\widehat{\frak{g}})$의 경우는 어떠한가?
• RQ5 나카지마의 다양체의 위상수학적 및 호지 이론적 성질은 무엇이며, 특히 중심 섬유와 심플렉틱 해소 구조에 대해 어떻게 설명되는가?

주요 결과

• 나카지마의 퀄러 다양체는 이전의 링겔과 루슈티그의 작업이 양의 부분만을 다루는 데 비해, 카크-무디 리 대수의 전체 유니버설 환영 대수 $U(\frak{g})$를 기하적으로 실현한다.
• 다양체 $\mathcal{M}(\mathbf{v},\mathbf{w})$의 Borel-Moore 호몰로지는 $\widetilde{U}(\frak{g}_Q)$의 작용을 지니며, 수정된 유니버설 환영 대수의 모듈러로 기능한다.
• 중심 섬유 $\mathcal{M}_0^\circ(\mathbf{v}',\mathbf{w})$ 위의 점 $x$에 대한 섬유 $\mathcal{M}(\mathbf{v},\mathbf{w})_x$는 등차원적이며, 최고무게 $\sum_i (w_i \cdot \varpi_i - v'_i \cdot \alpha_i)$를 가진 적분 가능 단순 $\widetilde{U}(\frak{g}_Q)$-모듈러를 지닌다.
• 형 $A_{n-1}$의 다이녹빈 퀄러의 경우, 이 구축은 부분 플라그 다양체를 통한 이전의 $\widetilde{U}_q(\widehat{\frak{sl}}_n)$ 연구 결과를 복원한다.
• 특이 심플렉틱 포아송 다양체 $X$의 심플렉틱 해소 $\pi: \widetilde{X} \to X$는 중심 섬유 $\pi^{-1}(o)$가 $\widetilde{X}$의 호모토피 수축이며, 동일한 코homology를 가진다.
• 섬유의 코homology는 순수 호지 구조 $(k,k)$를 지니며, 모든 홀수 코homology는 존재하지 않으며, 이는 심플렉틱 해소의 강성에 기인한다.