[논문 리뷰] Etingof conjecture for quantized quiver varieties II: affine quivers

Ivan Losev|arXiv (Cornell University)|2014. 05. 20.

Algebraic structures and combinatorial models참고 문헌 30인용 수 12

한 줄 요약

이 논문은 국소화 정리, 양측 이상과 $\mathcal{O}$-분류의 분석, 아핀 벽교차 함수와 미세국소층 이론을 활용하여 아핀 쿠이버 다발의 양자화에 대한 에팅호프 추측을 증명한다. 이는 유한차원 기약 표현의 수가 $\mathcal{O}$-분류의 그로텐디크 군의 랭크와 일치함을 확인하며, 기존의 기에제커 모듈리 공간에 대한 결과를 아핀 쿠이버 설정으로 확장한다.

ABSTRACT

We study the representation theory of quantizations of Gieseker moduli spaces. Namely, we prove the localization theorems for these algebras, describe their finite dimensional representations and two-sided ideals as well as their categories O in some special cases. We apply this to prove our conjecture with Bezrukavnikov on the number of finite dimensional irreducible representations of quantized quiver varieties for quivers of affine type.

연구 동기 및 목표

• 아핀 유형의 양자화 쿠이버 다발에 대한 유한차원 표현에 대한 에팅호프 추측을 확장한다.
• 양자화 기에제커 모듈리 공간에 대한 국소화 정리를 수립하고, 그들의 $\mathcal{O}$-분류를 묘사한다.
• 쌍대성과 벽교차 함수를 활용하여 양자 설정에서의 유한차원 표현과 양측 이상을 분류한다.
• 유한차원 기약 표현의 수가 $\mathcal{O}$의 그로텐디크 군의 랭크와 일치함을 증명하여 추측을 확인한다.

제안 방법

• 양자 해밀토니안 축소를 사용하여 기에제커 모듈리 공간 $\mathcal{M}(v,w)$의 양자화 $\mathcal{A}_\lambda(v,w)$를 구성한다.
• 미세국소층 이론과 제약 함수를 적용하여 $\mathcal{M}^\theta(v,w)$ 위의 층의 전역 단면을 양자화 대수와 연결한다.
• 다른 안정 조건 하에서 모듈러 범주의 관계를 맺기 위해 아핀 벽교차 함수 $\mathfrak{WC}_{\theta\to\theta'}$를 활용한다.
• 호모로지적 쌍대성과 리angel 쌍대성을 적용하여 $\mathcal{O}$-범주와 소멸자 다양체의 구조를 분석한다.
• 심플렉틱 잎과 양자 슬라이스 이론을 적용하여 유한차원 표현의 지지부를 제어한다.
• $\dagger$-함수와 토르 계산을 사용하여 $\bar{\mathcal{A}}_\lambda(n,r)$에서의 충실성과 두 양측 이상의 분류를 증명한다.

실험 결과

연구 질문

• RQ1 양자화 아핀 쿠이버 다발 $\mathcal{A}_\lambda(n,r)$의 유한차원 기약 표현의 수는 얼마인가?
• RQ2 아핀 쿠이버에 대해, $\mathcal{O}$-범주와 $\mathcal{A}_\lambda(v,w)$의 두 양측 이상은 벽교차에 의해 어떻게 행동하는가?
• RQ3 기본 모듈리 공간의 심플렉틱 잎과 기약 표현의 소멸자 다양체 사이의 관계는 무엇인가?
• RQ4 양자화 기에제커 공간에 대한 국소화 정리는 아핀 쿠이버 설정으로 어떻게 일반화되는가?
• RQ5 벽교차 함수가 모듈러 범주 간 펄스러운 동치를 얼마나 잘 유도하는가?

주요 결과

• $\mathcal{A}_\lambda(n,r)$의 유한차원 기약 표현의 수는 $\mathcal{O}(\mathcal{A}_\lambda(n,r))$의 그로텐디크 군의 랭크와 일치하며, 아핀 쿠이버에 대한 에팅호프 추측을 확인한다.
• 아핀 벽교차 함수 $\mathfrak{WC}_{\theta\to\theta'}$와 $\mathfrak{WC}_{\theta'\to\theta}$는 범주 $\mathcal{C}_i$와 $\mathcal{C}'_i$의 단순 모듈러 간 역함수를 유도하는 펄스러운 동치이다.
• 벽교차 함수에 의해 단순 모듈러의 소멸자 다양체는 유지되며, 이는 심플렉틱 잎의 구조와의 호환성을 보장한다.
• 슬라이스 대수 $\underline{\mathcal{A}}^\prime = \bar{\mathcal{A}}_{\langle\lambda,\delta\rangle}(n,r)$는 해당 잎이 분할 $\mu$에 대한 $\mathcal{L}(\mu)$이 아닐 경우 유한차원 표현을 가지지 않으며, 이는 $\mathcal{L}^\prime \subset \operatorname{V}(\mathcal{M})$를 의미한다.
• $\underline{\bar{\mathcal{M}}}_p(\underline{v},\underline{w})$는 $v$의 분해에 실근이 포함되어 있을 경우 단일점 심플렉틱 잎을 가지지 않으며, 이는 유한차원 표현의 존재를 배제한다.
• 지정된 필터링 성질을 갖는 두 양측 이상의 체인 $\mathcal{J}_i$와 $\mathcal{J}'_i$의 존재는 $\mathcal{O}$-범주의 구조를 확인하고, 펄스러운 필터링을 통한 단순 모듈러의 수를 세는 데 기여한다.