[논문 리뷰] Categorical construction of A,D,E root systems

Alexander Kirillov, Jaimal Thind|arXiv (Cornell University)|2010. 07. 15.

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

한 줄 요약

이 논문은 단순형 A, D, E 루트 시스템의 표준적이고 방향에 영향을 받지 않는 범주론적 구성법을 제시한다. 이는 영구적 번역 퀼러 $ ilde{\Gamma}$ 와 2주기적 삼각 범주 $\mathcal{C} = D/\langle T^2 \rangle$ 를 사용한다. 루트는 범주 $\mathcal{C}$ 내의 분해 불가능 객체들의 동형류로 표현되며, 오일러 형식을 통해 내적과 루트 격자가 정의된다. 핵심 결과는 전조합 대수의 주기성 성질로, 이는 코xeter 수 $h$ 에 대해 $2h$ 만큼의 이동으로 주어지는 표준적 코xeter 원소를 이끌어낸다.

ABSTRACT

Let Γbe a Dynkin diagram of type A,D,E and let R denote the corresponding root system. In this paper we give a categorical construction of R from Γ. Instead of choosing an orientation of Γand studying representations of the associated quiver, we study representations of a canonical quiver \Gammahat associated to Γ. This construction is very closely related to the preprojective algebra of Γ. In particular, the construction gives a certain periodicity result about the preprojective algebra.

연구 동기 및 목표

• 범주론을 통해 A, D, E 루트 시스템의 표준적이고 방향에 영향을 받지 않는 구성법을 제공하기.
• 기존의 루트 시스템 구성에서 화살표 방향이나 단순 루트의 임의적 선택에 의존하지 않도록 제거하기.
• 루트가 분해 불가능 객체로 대응되는 삼각 범주에서의 범주론적 프레임워크를 구축하고, 내적과 루트 격자에 대한 명시적 구조를 제공하기.
• 다이킨 경우의 전조합 대수의 코시울 복합체에 대한 주기성 결과를 증명하고, 이를 코xeter 수와 연결하기.

제안 방법

• 다이킨 다이어그램 $\Gamma$ 에서 영구적 번역 퀄러 $\tilde{\Gamma} \subset \Gamma \times \mathbb{Z}$ 를 구성하고, 유도 범주 $D(\tilde{\Gamma})$ 의 전체 부분범주로 삼각 범주 $D$ 를 정의한다.
• 범주 $D$ 의 아울러산-레이텐 퀄러를 사용하여 분해 불가능 객체들을 $\tilde{\Gamma}^{\text{op}}$ 의 정점들과 식별하고, 전조합 대수를 통한 메시 범주와 연결한다.
• 전이 함수수 $T$ 를 사용하여 $\mathcal{C} = D / T^2$ 를 정의함으로써 2주기적 삼각 범주를 얻는다.
• 모든 높이 함수 $h$ 에 대해 $\mathcal{C}$ 와 $D^b(\text{Rep}(\Gamma, \Omega_h))/T^2$ 의 유사함을 확립하고, BGP 반사 함수수와의 호환성을 보장한다.
• 전조합 대수의 코시울 복합체의 도식적 묘사를 사용하여, 요소들을 $\tilde{\Gamma}$ 에서의 '점프'가 있는 경로로 표현하고 $\text{RHom}$ 복합체를 계산한다.
• 범주 $\mathcal{C}$ 가 $X \mapsto X(-2)$ 로 주어지는 표준적 코xeter 원소 $C$ 를 갖으며, $C^{2h} = \text{id}$ 임을 증명한다. 이는 코xeter 수 $h$ 를 반영한다.

실험 결과

연구 질문

• RQ1 범주론을 통해 A, D, E 루트 시스템의 표준적이고 방향에 영향을 받지 않는 구성이 가능할 수 있는가?
• RQ2 다이킨 경우에서 전조합 대수의 코시울 복합체는 어떻게 주기성을 나타내는가?
• RQ3 번역 퀄러 $\tilde{\Gamma}$ 와 그 유도 범주가 루트를 분해 불가능 객체로 표현하는 데 어떤 역할을 하는가?
• RQ4 2주기적 몫범주 $\mathcal{C} = D/T^2$ 에서 코xeter 원소는 어떻게 범주론적으로 실현되는가?
• RQ5 그로텐디에크 군에 대한 오일러 형식과 내적은 $\tilde{\Gamma}^{\text{cyc}}$ 상의 경로 대수의 언어로 명시적으로 述할 수 있는가?

주요 결과

• 범주 $\mathcal{C} = D/T^2$ 는 2주기적이며, $T^2 = \text{id}$ 를 만족하고, 모든 객체 $F$ 에 대해 $F(2h) \cong F$ 를 만족한다. 여기서 $h$ 는 코xeter 수이다.
• 범주 $\mathcal{C}$ 의 그로텐디에크 군 $K$ 는 루트 격자와 동형이며, 분해 불가능 클래스의 집합 $\text{Ind} \subset K$ 는 A, D, E 루트 시스템의 루트와 전단사로 대응된다.
• 코xeter 원소 $C$ 는 함자 $X \mapsto X(-2)$ 로 실현되며, 아울러산-레이텐 퀄러 $\tilde{\Gamma}^{\text{cyc}}$ 에서는 전이 $\tau: (i,n) \mapsto (i,n+2)$ 로 작용한다.
• 군 $K$ 상의 내적은 $(X,Y) = \langle X,Y \rangle_C + \langle Y,X \rangle_C$ 로 주어지며, 여기서 $\langle X,Y \rangle_C = \dim \text{RHom}(X,Y)$ 는 오일러 형식이다.
• 범주 $\mathcal{C}$ 는 세르 대칭을 만족한다: $\text{Hom}(X,Y) \cong (\text{Ext}^1(Y,X(-2)))^*$ 이고, $\text{Hom}(X_q,X_{q'}) \cong \text{Path}(q',q)/J$ 이며, 여기서 $J$ 는 명시적으로 述된 아이디얼이다.
• 주기성 결과가 성립한다: $A_{i,j;l}^{\bullet+2} \simeq A_{i,j;l+2h}^{\bullet}$, 이는 $H^k(A_{i,j;l}) \cong H^{k+2}(A_{i,j;l+2h})$ 를 의미한다. 이는 다이킨 경우에서 전조합 대수의 $2h$-주기성을 반영한다.