[논문 리뷰] On the multiplicities of the irreducible highest weight modules over Kac-Moody algebras

Sergey Mozgovoy|ArXiv.org|2006. 09. 13.

Algebraic structures and combinatorial models참고 문헌 17인용 수 3

한 줄 요약

이 논문은 쿠아-무디 대수에서의 적분 가능한 최고 무게 모듈의 가중치 다중도수와 관련된 확대된 쿠아-무디 대수의 근 다중도수 사이의 정확한 대응을 확립한다. 퀘이버 다양체, 카크 다항식, 그리고 비약분근에 대한 카크 추측을 이용하여, 모듈 $ L(\overline{\nu}) $ 내의 가중치의 다중도수가 $ \mathfrak{g}(\Gamma_*) $ 내의 특정 근의 근 다중도수와 같음을 증명한다. 이는 퀘이버 다양체의 피카르 다항식에 대한 명시적 공식을 이끌어내며, 허젤의 결과와 일치한다.

ABSTRACT

We prove that the weight multiplicities of the integrable irreducible highest weight module over the Kac-Moody algebra associated to a quiver are equal to the root multiplicities of the Kac-Moody algebra associated to some enlarged quiver. To do this, we use the Kac conjecture for indivisible roots and a relation between the Poincare polynomials of quiver varieties and the Kac polynomials, counting the number of absolutely irreducible representations of the quiver over finite fields. As a corollary of this relation, we get an explicit formula for the Poincare polynomials of quiver varieties, which is equivalent to the formula of Hausel.

연구 동기 및 목표

• 쿠아-무디 대수에서의 적분 가능한 최고 무게 모듈의 가중치 다중도수를 더 큰 쿠아-무디 대수의 근 다중도수와 연결하는 것.
• 퀘이버 다양체와 유한체 위에서의 절대적으로 기약 표현을 세는 카크 다항식 사이의 연결 고리를 설정하는 것.
• 카크 다항식과 카크 추측을 이용하여 퀘이버 다양체의 피카르 다항식에 대한 명시적 공식을 유도하는 것.
• $ \Gamma_* $가 확대된 퀘이버인 경우, $ L(\overline{\nu}) $ 내의 가중치의 다중도수가 $ \mathfrak{g}(\Gamma_*) $ 내의 근 공간의 차원과 같음을 증명하는 것.

제안 방법

• 각 정점 $ i \in I $ 에서 $ \nu_i $ 개의 화살표를 갖는 새로운 정점 $ * $ 를 추가하여 확대된 퀘이버 $ \Gamma_* $ 를 정의한다.
• 이중 퀘이버 $ \overline{\Gamma}_* $ 의 표현의 모듈라이 공간으로서 퀘이버 다양체 $ \mathcal{M}(\alpha, \nu) $ 를 사용하며, 차원은 $ 2d $ 이고, 여기서 $ d = 1 - T_*(\alpha, 1) $ 이다.
• 컴act 지원 코homology $ h^{2i}_c(\mathcal{M}) $ 와 카크 다항식 $ a_{(\alpha,1)}(\Gamma_*, q) $ 사이의 항등식 $ \sum_i h^{2i}_c(\mathcal{M}) q^i = q^d a_{(\alpha,1)}(\Gamma_*, q) $ 를 통해 관계를 설정한다.
• 비약분근에 대한 카크 추측(즉, $ a_\alpha(\Gamma, 0) = \dim \mathfrak{g}(\Gamma)_\alpha $) 을 적용하여 가중치 다중도수와 근 다중도수를 동일시한다.
• $ \lambda $-환 구조와 아담스 작용소를 이용하여 카크 다항식 $ a(\Gamma, q) $ 와 함수 $ r_\alpha(\Gamma, q) $ 의 생성함수를 연결하며, 공식 $ a(\Gamma, q) = (q-1)\operatorname{Log}(r(\Gamma, q)) $ 를 도출한다.
• 정리 3을 유도한다: $ \sum_\alpha q^{-d(\alpha,\nu)} p(\mathcal{M}, q) x^\alpha = (q-1) \frac{r_{(\alpha,1)}(\Gamma_*, q)}{r(\Gamma, q)} $, 이는 피카르 다항식의 직접 계산을 가능하게 한다.

실험 결과

연구 질문

• RQ1 쿠아-무디 대수에서의 적분 가능한 최고 무게 모듈의 가중치 다중도수와 더 큰 쿠아-무디 대수의 근 다중도수 사이의 관계는 무엇인가요?
• RQ2 카크 다항식과 표현론적 불변량을 이용하여 퀘이버 다양체의 피카르 다항식을 명시적으로 계산할 수 있는가요?
• RQ3 퀘이버 다양체의 코homology 와 유한체 위에서의 절대적으로 기약 표현의 수 사이의 정확한 관계는 무엇인가요?
• RQ4 비약분근에 대한 카크 추측은 최고 무게 모듈의 다중도수 공식을 이끌어내는 데 기여하는가요?
• RQ5 퀘이버 다양체의 피카르 다항식의 생성함수는 $ r $-함수와 카크 다항식을 통해 표현될 수 있는가요?

주요 결과

• 가중치 다중도수 $ \dim L(\overline{\nu})_{\overline{\nu}-\alpha} $ 는 근 다중도수 $ \dim \mathfrak{g}(\Gamma_*)_{(\alpha,1)} $ 와 같으며, 이는 확대된 대수 내의 모듈 가중치와 근 공간 사이의 직접적인 대응을 확립한다.
• 퀘이버 다양체 $ \mathcal{M}(\alpha, \nu) $ 의 피카르 다항식은 $ p(\mathcal{M}, t^2) = \sum_i h^{2i}_c(\mathcal{M}) t^{2i} $ 로 주어지며, 그 생성함수는 $ \sum_i h^{2i}_c(\mathcal{M}) q^i = q^d a_{(\alpha,1)}(\Gamma_*, q) $ 를 만족한다.
• 피카르 다항식의 공식은 허젤의 결과와 일치한다: $ \sum_\alpha q^{-d(\alpha,\nu)} p(\mathcal{M}, q) x^\alpha = (q-1) \frac{r_{(\alpha,1)}(\Gamma_*, q)}{r(\Gamma, q)} $.
• 코homology $ h^{2i}_c(\mathcal{M}) $ 는 홀수 차수에서 0이며, $ h^{2d}_c(\mathcal{M}) = q^{-d} p(\mathcal{M}, q) \big|_{q=0} $ 이다. 이는 다중도수를 다항식의 상수항과 연결한다.
• 비약분근에 대한 카크 추측은 $ a_{\alpha}(\Gamma, 0) = \dim \mathfrak{g}(\Gamma)_\alpha $ 를 의미하며, 이를 통해 가중치 다중도수와 근 다중도수를 동일시한다.
• $ r_{\alpha}(\Gamma, q) $ 의 생성함수는 명시적으로 $ \sum_{|\lambda|=\alpha} \frac{q^{-T(\lambda)}}{\prod_i \varphi_{\lambda^i}(q^{-1})} $ 로 주어지며, 여기서 $ \varphi_n(q) = (1-q)\cdots(1-q^n) $ 이다.