[논문 리뷰] A categorical action on quantized quiver varieties

Ben Webster|arXiv (Cornell University)|2012. 08. 29.

Algebraic structures and combinatorial models참고 문헌 24인용 수 16

한 줄 요약

이 논문은 나카지마 퀼리 변환의 심플렉틱 구조의 변형 양자화를 이용하여, 어떤 대칭 카크-무디 대수의 범주적 작용을 나카지마 퀄리 변환 위의 양자화된 코herent sheaf의 2-category에 수립한다. 이 작용은 히크 대응을 통한 나카지마의 유니버설 에너벨로프 대수의 기하적 구성의 범주화이며, 핵심 결과는 결과적으로 얻어진 이중모듈의 특성 사이클이 원래의 기하 표현론을 복원한다는 것이다.

ABSTRACT

In this paper, we describe a categorical action of any Kac-Moody algebra on a category of quantized coherent sheaves on Nakajima quiver varieties. By "quantized coherent sheaves," we mean a category of sheaves of modules over a deformation quantization of the natural symplectic structure on quiver varieties. This action is a direct categorification of the geometric construction of universal enveloping algebras by Nakajima.

연구 동기 및 목표

• 나카지마 퀄리 변환 위의 양자화된 코herent sheaf의 2-category에 대해 어떤 대칭 카크-무디 대수의 범주적 작용을 수립하기.
• 퀄리 변환의 심플렉틱 구조의 변형 양자화를 이용해 나카지마의 U(g) 기하적 구성의 범주화를 하기.
• 결과적으로 얻어진 이중모듈의 특성 사이클이 원래의 기하 표현론적 구성 ˙U를 복원함을 보이기.
• 작용이 다이어그램적으로 임의적인 것이 아니라, 구체적으로 히크 대응과 같은 기하 데이터로부터 자연스럽게 유도됨을 보여주기.
• 변형 양자화와 구조적 복소계의 관계를 리만-힐베르트 대응을 통해 명확히 하여, 위상적 방법론에서 양자화된 설정이 유리함을 밝히기.

제안 방법

• 변형 양자화에 대한 이중모듈의 범주 Qλ을 정의하며, 하리시-청드라 조건을 만족시킨다.
• 카크-무디 대수의 체바렐 생성자와 관련된 히크 대응—M×M의 모듈러 이론적 부분다양체—를 사용한다.
• 주기의 정수성 조건을 만족시키는 변형 양자화를 사용해 히크 대응을 양자화한다.
• 적절하고 스무스한 사상과 프로젝티브 스페이스의 섬유를 갖는 사상들을 사용해, 양자화된 구조층 위에서의 컨볼루션 함자를 Ei와 Fi로 구성한다.
• 구조적 복소계와 D-모듈 간의 관계를 리만-힐베르트 대응을 통해 연결하고, 카시와라의 정리를 적용해 캐논리컬 층의 푸시포워드를 분석한다.
• 작업의 기하학적 분석을 통해 범주적 세르 관계를 증명한다: 푸시포워드가 대각 D-모듈의 이동합과 일치하며, 계수는 양자 정수 분해와 일치한다.

실험 결과

연구 질문

• RQ1 나카지마 퀄리 변환 위의 양자화된 코herent sheaf의 범주에 대해 대칭 카크-무디 대수의 범주적 작용을 구성할 수 있는가?
• RQ2 결과적으로 얻어진 작용이 특성 사이클을 통해 나카지마의 U(g) 기하적 구성의 범주화를 이루는가?
• RQ3 범주적 작용의 관계는 퀄리 변환의 기하학적 구조, 특히 히크 대응을 통해 자연스럽게 표현되는가?
• RQ4 특정 주기를 갖는 변형 양자화는 분류 과정과 어떻게 상호작용하는가? 어떤 정수성 조건이 필요한가?
• RQ5 이 양자화된 층 위의 작용은 이전의 구조적 복소계나 D-모듈 위의 작용과 어떤 관계가 있는가?

주요 결과

• 모든 대칭 카크-무디 대수의 범주적 작용을 실현하는 2-함자 U에서 Qλ의 2-category인 퀄리 변환 위의 양자화된 코herent sheaf로의 2-함자가 수립된다.
• 함수 Ei와 Fi는 범주적 세르 관계를 만족한다: ⟨αi,ξ⟩≤0 일 때 Fi⋆Ei ≅ Ei⋆Fi ⊕ (q⟨αi,ξ⟩+di + ⋯ + q−⟨αi,ξ⟩−di)·Aξ이며, ⟨αi,ξ⟩≥0 일 때는 쌍대 관계가 성립한다.
• 세르 관계의 동형은 작은 해소를 따른 푸시포워드의 기하학적 분석을 통해 증명되며, 이는 섬유 차원이 양자 정수 계수를 결정함을 보여준다.
• f2(또는 e1)에 따른 캐논리컬 층의 푸시포워드는 D-모듈로 분해되며, 이는 기약 D-모듈 Q와 D∆의 이동합의 합으로 이루어지며, 후자는 계수 (q⟨αi,ξ⟩+vi−1 + ⋯ + q−⟨αi,ξ⟩+1)·D∆를 갖는다.
• 이 결과는 양자화의 주기가 정수성 조건을 만족할 때에만 성립하며, 이는 양자화된 히크 대응의 존재에 필수적이다.
• 제안 3.2와 [BPW, 5.2]에 의해, 퀄리 변환의 방향 전환에 대해 양자화된 선다발 이중모듈을 텐서 곱함으로써 작용이 일관되게 유지됨을 보였다.