[논문 리뷰] Absolutely indecomposable representations and Kac-Moody Lie algebras (with an appendix by Hiraku Nakajima)

William Crawley-Boevey, Michel Van den Bergh|ArXiv.org|2001. 06. 01.

Algebraic structures and combinatorial models참고 문헌 29인용 수 54

한 줄 요약

이 논문은 유한체 위의 퀼(quiver)에 대한 절대적으로 분해 불가능한 표현에 대한 Kac의 추측을 분해 불가능한 차원 벡터에 대해 증명한다: 이러한 표현을 세는 다항식의 계수는 모두 양수이다(추측 A), 그리고 그 상수항은 관련 Kac-Moody 리 대수에서 해당 루트의 중복도와 같다(추측 B). 증명은 전조각형 대수의 안정 표현의 모듈리 공간을 통한 코homological 해석을 사용하며, 하더-나라시마 필터링과 리 대수의 PBW 기저 사이의 관계를 규명한다.

ABSTRACT

A conjecture of Kac states that the polynomial counting the number of absolutely indecomposable representations of a quiver over a finite field with given dimension vector has positive coefficients and furthermore that its constant term is equal to the multiplicity of the corresponding root in the associated Kac-Moody Lie algebra. In this paper we prove these conjectures for indivisible dimension vectors.

연구 동기 및 목표

• 유한체 위의 퀄에 대한 절대적으로 분해 불가능한 표현을 세는 다항식에 관한 Kac의 오랜 추측을 해결하는 것.
• 전조각형 대수의 안정 표현의 모듈리 공간을 통해 이 다항식의 코homological 해석을 수립하는 것.
• 분해 불가능한 차원 벡터에 대해 이 다항식의 상수항이 관련 Kac-Moody 리 대수에서 해당 루트의 중복도와 일치함을 증명하는 것.
• 전조각형 대수 표현의 하더-나라시마 필터링과 리 대수의 PBW 기저 사이의 관계를 연결하는 것.
• 유한체 위의 표현 다양체의 점 수를 결정하는 데 모듈리 공간의 코homology가 기여하는 방식을 보여주는 것.

제안 방법

• 일반적인 $\lambda$에 대해 $\lambda \cdot \alpha = 0$ 조건을 만족하는 $\lambda$-안정 표현의 전조각형 대수 $\Pi^0$의 모듈리 공간 $X_s$ 를 도입한다.
• 코homological 공식 수립: $a_\alpha(q) = \sum_{i=0}^d \dim H^{2d-2i}(X_s, \mathbb{C}) \, q^i$, 여기서 $d = \frac{1}{2} \dim X_s$.
• 표현 공간을 모듈리 공간 $X_s$ 로 변형하는 일련의 매개변수 가중치 가중치를 가진 매끄러운 다양체의 가중치 가중치 $\Xi$ 를 도입하고, 큰 특성수에서 해석적 및 코homological 등가성을 보인다.
• 레프셰츠 고정점 공식과 Weil 추측을 적용하여 유한체 위의 점 수를 코homology 위의 프로베니우스 연산자의 고유값과 연결한다.
• PBW 정리와 하더-나라시마 필터링을 통해 노르말리프터러스의 근의 중복도와 관련된 임의의 구성 요소의 수를 연결한다.
• Nakajima의 주장에 기반하여 이를 정교화하여, 가중치 가중치 $\Xi$ 가 해석적으로 자명함을 보여, $X$ 와 $X_s$ 가 큰 특성수에서 프로베니우스 호환 코homology 동형을 가짐을 보장한다.

실험 결과

연구 질문

• RQ1 유한체 $\mathbb{F}_q$ 위에서 절대적으로 분해 불가능한 표현을 세는 다항식 $a_\alpha(q)$ 는 분해 불가능한 $\alpha$ 에 대해 양수 계수를 가질까?
• RQ2 분해 불가능한 $\alpha$ 에 대해 다항식의 상수항 $a_\alpha(0)$ 은 Kac-Moody 리 대수 $\mathfrak{g}$ 에서 루트 $\alpha$ 의 중복도와 일치하는가?
• RQ3 전조각형 대수 $\Pi^0$-표현의 $\lambda$-안정 표현의 모듈리 공간의 코homology 는 $a_\alpha(q)$ 를 계산하는 데 사용될 수 있는가?
• RQ4 전조각형 대수 표현의 하더-나라시마 필터링은 $U(\mathfrak{g}^+)$ 의 PBW 기저와 어떻게 관련되는가?
• RQ5 $\lambda$-안정 표현을 포함하는 노르말리프터러스 $\Lambda_\alpha$ 의 임의의 구성 요소의 수는 분해 불가능한 $\alpha$ 에 대해 $\dim \mathfrak{g}_\alpha$ 와 같은가?

주요 결과

• 분해 불가능한 $\alpha$ 에 대해 추측 A가 성립한다: 다항식 $a_\alpha(q)$ 는 음이 아닌 정수 계수를 가진다.
• 분해 불가능한 $\alpha$ 에 대해 추측 B가 성립한다: 상수항 $a_\alpha(0)$ 은 Kac-Moody 리 대수 $\mathfrak{g}$ 에서 루트 $\alpha$ 의 중복도와 같다.
• 다항식 $a_\alpha(q)$ 는 차원 벡터 $\alpha$ 를 가진 $\lambda$-안정 $\Pi^0$-표현의 모듈리 공간 $X_s$ 의 Poincaré 다항식으로 주어진다.
• 노르말리프터러스 $\Lambda_\alpha$ 의 임의의 구성 요소 중에서 $\lambda$-안정 표현을 포함하는 것의 수는 $\dim \mathfrak{g}_\alpha$ 와 같다.
• 프로베니우스 작용을 통한 $X_s$ 의 코homology 는 유한체 위의 표현 다양체의 점 수를 결정한다.
• 가중치 가중치 $\Xi$ 는 해석적으로 자명하며, 이는 $X$ 와 $X_s$ 가 큰 특성수에서 동형 코homology 와 호환 프로베니우스 작용을 가짐을 보장한다.