[논문 리뷰] Loewy series of Weyl modules and the Poincaré polynomials of quiver varieties

Ryosuke Kodera, Katsuyuki Naoi|arXiv (Cornell University)|2011. 03. 22.

Algebraic structures and combinatorial models참고 문헌 14인용 수 9

한 줄 요약

이 논문은 ADE 유형의 커런트 대수에 대한 와일 모듈이 강성(rigidity)을 가지며, 이는 그들의 루트 계열과 소클 계열이 일치한다는 것을 보여주고, 커런트 대수의 차수에 의한 그레디에이션과 퀼러 다양체로부터 유도된 호모로지 그레디에이션 간의 일치를 증명한다. 주요 결과로서, 수준 0 기본 표현의 결정체 위에서의 에너지 함수를 통해 퀄러 다양체의 피카르 다항식을 표현하는 공식을 유도하며, 이러한 경우에 대해 X=M 추측을 해결한다.

ABSTRACT

We prove that a Weyl module for the current Lie algebra associated with a simple Lie algebra of type $ADE$ is rigid, that is, it has a unique Loewy series. Further we use this result to prove that the grading on a Weyl module defined by the degree of currents coincides with another grading which comes from the degree of the homology group of the quiver variety. As a corollary we obtain a formula for the Poincaré polynomials of quiver varieties of type $ADE$ in terms of the energy functions defined on the crystals for tensor products of level-zero fundamental representations of the corresponding quantum affine algebras.

연구 동기 및 목표

• 커런트 대수의 ADE 유형에 대한 와일 모듈의 루이프(Löewy) 구조를 규명하는 것.
• 커런트 대수의 차수에 의한 그레디에이션과 퀄러 다양체의 호모로지 그레디에이션 간의 동치성을 확립하는 것.
• 결정체의 에너지 함수를 사용하여 퀄러 다양체의 피카르 다항식을 유도하는 것.
• 양자 아핀 대수의 ADE 유형에 속하는 수준 0 기본 표현의 텐서곱에 대해 X=M 추측을 증명하는 것.

제안 방법

• 아핀 리 대수의 와일 모듈과 데무르제 모듈 간의 동형을 이용하여 와일 모듈의 강성을 증명한다.
• 와일 모듈의 그레디에이션 구조와 퀄러 다양체에서 유도된 표준 모듈과의 식별을 통해 그레디에이션을 비교한다.
• 허공 뿌리에 모odulo된 라크슈미바이-세샤드리 경로 결정체 위에서 정의된 차수 함수 D를 사용하여 피카르 다항식을 표현한다.
• 차리-락테브, 프루어-리틀만, 나오이의 일차원 합과 에너지 함수에 관한 결과를 활용하여 그레디에이션 특성 다항식을 연결한다.
• M(λ) ≅ W(λ)의 동형을 이용하여 표준 모듈과 와일 모듈의 그레디에이션 특성 다항식을 동일시한다.
• 루스지그의 추측과 모즈고보이의 변형을 활용하여 페르미온형과 일차원 합의 동등성을 확인한다.

실험 결과

연구 질문

• RQ1 커런트 대수의 ADE 유형에 대한 와일 모듈은 고유한 루이프 계열을 가지는가, 즉 강성을 갖는가?
• RQ2 와일 모듈에서 전류의 차수에 의해 정의된 그레디에이션과 퀄러 다양체의 호모로지에서 유도된 그레디에이션 간 일치가 성립하는가?
• RQ3 퀄러 다양체의 피카르 다항식은 수준 0 기본 표현의 결정체 위에서의 에너지 함수로 표현될 수 있는가?
• RQ4 양자 아핀 대수의 ADE 유형에 속하는 수준 0 기본 표현의 텐서곱에 대해 X=M 추측이 성립하는가?
• RQ5 이러한 표현에 대해 페르미온형 M(λ,μ,t)과 N(λ,μ,t)이 동일한가?

주요 결과

• ADE 유형의 와일 모듈 W(λ)는 강성을 가지며, 이는 그들의 루트 계열과 소클 계열이 일치한다는 것을 의미한다.
• 와일 모듈에서 전류의 차수에 의해 정의된 그레디에이션은 퀄러 다양체의 호모로지에서 유도된 그레디에이션과 일치한다.
• 퀄러 다양체의 피카르 다항식은 ∑α∈Q+∑k=0dα dim Hk(ℒ(α,λ)) t^{dα−k} e^{λ−α} = ∑μ∈P+ M(λ,μ,t−2) ch V(μ)로 주어진다.
• 양자 아핀 대수의 ADE 유형에 속하는 수준 0 기본 표현의 텐서곱에 대해 X=M 추측이 증명된다.
• 등식 X(λ,μ,t) = M(λ,μ,t)가 성립하여, 페르미온형이 일차원 합과 동일하다는 것이 확인된다.
• 유형 A에 대해 공식 ∑k=0dα dim Hk(ℒ(α,λ)) t^k = ∑T∈T(α,λ) t^{2l(T)}는 표준형과 결정체 기반 공식 간의 차수를 유지하는 표준형과 결정체 경로 사이의 전단사 사상에 의해 일치된다.