[논문 리뷰] Lectures on canonical and crystal bases of Hall algebras

Olivier Schiffmann|ArXiv.org|2009. 10. 23.

Algebraic structures and combinatorial models참고 문헌 63인용 수 20

한 줄 요약

이 논문은 표현의 모듈리 공간 위의 함수를 구조적 복소수로 대체함으로써 힐 대수의 기하적 카테고리화를 개발한다. 이는 펄스 펄스 복소수와 Faisceaux-Fonctions 대응을 사용하여 이루어지며, 힐 대수의 조합 부분대수를 기하학적으로 올리기 위한 삼각형 카테고리의 복소수를 구축한다. 이는 나카지마 퀼레 비아리어의 라그랑주 부분다양체의 기약 성분을 통해 균일 기저를 실현한다.

ABSTRACT

These are the notes for a series of lectures given on the theory of canonical and crystal bases for Hall algebras (for a summer school in Grenoble in 2008). It may be viewed as a follow-up to arXiv:math/0611617. It covers the construction, due to Lusztig, of the canonical bases for the Hall algebra of a quiver Q in terms of a certain category of perverse sheaves over the moduli space of representations of Q. It also contains an exposition of Kashiwara and Saito's geometric construction of the crystal graph in terms of irreducible components of Lusztig's lagrangian in the cotangent bundle to the above moduli spaces. The last section deals with the Hall algebras of curves. It contains a few new results and conjectures. Apart from these, the text is purely expositional.

연구 동기 및 목표

• 표현의 모듈리 스택 위의 기하학적 복소수를 통해 힐 대수의 기하적 실현을 제공한다.
• 기하 연산에 대해 닫혀 있는 복소수의 삼각형 카테고리 구축을 통해 힐 대수의 조합 부분대수를 카테고리화한다.
• 기약 성분을 통한 나카지마 퀄레 비아리어의 라그랑주 부분다양체를 통해 기하학적 카테고리와 양자군의 균일 기저를 연결한다.
• 나카지마 퀄레 비아리어를 이용하여 기하 표현 이론과 양자군 표현 이론 간의 연결 고리를 수립한다.
• K-이론과 호모로지를 통한 카테고리화를 통해 퀄레 비아리어가 적분 가능한 모듈러스와 양자군 작용을 어떻게 실현하는지 탐색한다.

제안 방법

• 기하학적 기원을 가진 단순 복소수의 최소 삼각형 부분카테고리로 $\mathcal{Q}_{\vec{Q}}$ 를 정의한다. 이는 $D^b(\underline{\mathcal{M}}_{\vec{Q}})$ 내에 있으며, 기하 승법과 코승법 함수자에 대해 닫혀 있다.
• 확장들을 매개하는 대응 스택 $\underline{\mathcal{E}}^{\alpha,\beta}$ 를 사용하여 기하 승법 함수자 $\underline{m} = p_{2!}p_1^*$ 와 코승법 함수자 $\underline{\Delta} = p_{1!}p_2^*$ 를 구성한다.
• 분해 정리를 사용하여 $\underline{m}$ 이 단순성을 유지함을 보장함으로써, $\mathcal{Q}_{\vec{Q}}$ 가 잘 정의된 카테고리임을 보장한다.
• Faisceaux-Fonctions 대응을 적용하여 복소수의 추적을 원래의 힐 대수 $\mathbf{H}_{\vec{Q}}$ 에서의 함수와 연결함으로써 기하학적 및 대수적 구조 간의 다리를 놓는다.
• 나카지마 퀄레 비아리어 $\mathfrak{M}_{\mathbf{v},\mathbf{w}}$ 의 라그랑주 부분다양체 $\mathfrak{L}_{\mathbf{w}}$ 의 기약 성분을 통해 균일 기저를 실현한다.
• 나카지마의 구성들을 사용하여 등변 K-이론과 호모로지 위에 양자군 작용을 실현함으로써 기하학과 표현 이론을 연결한다.

실험 결과

연구 질문

• RQ1 쿼일레의 대수적 힐 대수는 어떻게 복소수 이론적 구성으로 기하학적으로 카테고리화될 수 있는가?
• RQ2 Faisceaux-Fonctions 대응은 기하학적 및 대수적 힐 대수를 어떻게 연결하는가?
• RQ3 나카지마 퀄레 비아리어의 라그랑주 부분다양체의 기약 성분은 양자군의 균일 기저를 어떻게 실현하는가?
• RQ4 나카지마 퀄레 비아리어는 양자군의 적분 가능한 최고 무게 모듈러스를 어떻게 카테고리화하는가?
• RQ5 복소수 위의 기하 연산은 힐 대수의 대수적 연산과 어떻게 대응하는가?

주요 결과

• 기하학적 힐 카테고리 $\mathcal{Q}_{\vec{Q}}$ 는 기하 승법과 코승법 함수자에 대해 닫혀 있는 단순 복소수의 삼각형 부분카테고리로 구성된다.
• 적절한 및 매끄러운 사상들을 통해 함수자 $\underline{m} = p_{2!}p_1^*$ 와 $\underline{\Delta} = p_{1!}p_2^*$ 가 각각 코결합성과 결합성을 갖는 것으로 밝혀졌다.
• 분해 정리를 통해 기하 승법이 단순성을 유지함을 보장함으로써 $\mathcal{Q}_{\vec{Q}}$ 의 구성이 타당함을 입증하였다.
• Faisceaux-Fonctions 대응 하에서 복소수의 추적은 원래의 힐 대수 $\mathbf{H}_{\vec{Q}}$ 에서의 해당 함수를 복원한다. 이는 기하학적 및 대수적 구조 간의 다리를 확립한다.
• 나카지마 퀄레 비아리어 $\mathfrak{M}_{\mathbf{v},\mathbf{w}}$ 의 라그랑주 부분다양체 $\mathfrak{L}_{\mathbf{w}}$ 의 기약 성분은 상단 보렐-무어 호모로지 군 $H^{top}(\mathfrak{L}_{\mathbf{w}})$ 의 기저를 이룬다. 이는 추측적으로 반단순 기저의 사영과 일치한다.
• 나카지마는 고전적 적분 가능한 최고 무게 모듈러스 $L_{\Lambda_{\mathbf{w}}}$ 를 $H^{top}(\mathfrak{L}_{\mathbf{w}})$ 로 실현하였으며, 컨볼루션과 헤이크 대응을 통해 양자군 작용을 실현하였다.