[논문 리뷰] Subalgebras of the Fomin-Kirillov algebra

Jonah Blasiak, Ricky Ini Liu외 1명|arXiv (Cornell University)|2013. 10. 15.

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

한 줄 요약

이 논문은 n개의 정점을 가진 그래프 G의 변에 대응하는 생성자들로 생성되는 Fomin-Kirillov 대수 𝒟_n의 부분대수 𝒟_G를 도입하고 연구한다. 𝒟_G가 부분대수 𝒟_H (H ⊆ G) 위에서 자유 모듈러임을 증명하고, 유한차원일 경우 그 힐버트 급수의 계수가 대칭적임을 보인다. 주요 결과는 G가 단순형 데인킨 다이어그램 또는 사이클일 경우의 단항기저와 힐버트 급수를 명시적으로 계산한 것으로, Coxeter 군과 nil-Coxeter 대수와 깊은 유사성을 드러낸다.

ABSTRACT

The Fomin-Kirillov algebra $\mathcal E_n$ is a noncommutative quadratic algebra with a generator for every edge of the complete graph on $n$ vertices. For any graph $G$ on $n$ vertices, we define $\mathcal E_G$ to be the subalgebra of $\mathcal E_n$ generated by the edges of $G$. We show that these algebras have many parallels with Coxeter groups and their nil-Coxeter algebras: for instance, $\mathcal E_G$ is a free $\mathcal E_H$-module for any $H\subseteq G$, and if $\mathcal E_G$ is finite-dimensional, then its Hilbert series has symmetric coefficients. We determine explicit monomial bases and Hilbert series for $\mathcal E_G$ when $G$ is a simply-laced finite Dynkin diagram or a cycle, in particular showing that $\mathcal E_G$ is finite-dimensional in these cases. We also present conjectures for the Hilbert series of $\mathcal E_{ ilde{D}_n}$, $\mathcal E_{ ilde{E}_6}$, and $\mathcal E_{ ilde{E}_7}$, as well as for which graphs $G$ on six vertices $\mathcal E_G$ is finite-dimensional.

연구 동기 및 목표

• G가 n개의 정점을 가진 임의의 그래프일 때 Fomin-Kirillov 대수 𝒟_n의 부분대수 𝒟_G의 구조를 조사하는 것.
• 𝒟_G가 유한차원이 되는 조건을 규명하고, 그 힐버트 급수와 단항기저를 계산하는 것.
• 𝒟_G와 Coxeter 군의 nil-Coxeter 대수 사이의 구조적 유사성 탐구.
• 아핀 데인킨 다이어그램과 6개의 정점을 가진 그래프에 대해 𝒟_G의 유한성 및 힐버트 급수에 대한 추측을 수립하고 검증하는 것.

제안 방법

• G의 각 변 ij에 대응하는 x_ij로 생성되는 𝒟_n의 부분대수로 𝒟_G를 정의한다.
• 𝒟_n에 존재하는 브레이들 호프 대수 구조를 이용해 𝒟_G가 왼쪽 코이델 부분대수임을 보인다.
• 코이델 부분대수 성질을 활용해 임의의 부분그래프 H ⊆ G에 대해 𝒟_G가 𝒟_H-모듈러임을 증명한다.
• 비퇴화된 이차형식을 이용해 유한차원 𝒟_G의 힐버트 급수 계수가 대칭적임을 증명한다.
• G가 단순형 데인킨 다이어그램 또는 사이클일 경우의 명시적 단항기저를 구성한다.
• 텐서곱 분해와 몫 구조를 이용해 사이클의 경우 𝒟_G를 아핀 대칭군의 nil-Coxeter 대수의 몫으로 기술한다.

실험 결과

연구 질문

• RQ1 어떤 그래프 G에 대해 Fomin-Kirillov 부분대수 𝒟_G가 유한차원이 되는가?
• RQ2 단순형 데인킨 다이어그램의 유한형일 경우 𝒟_G의 차원에 대한 통일된 대수적 또는 조합론적 설명은 존재하는가?
• RQ3 서로 보완적인 그래프 G1과 G2에 대해 곱 사상 𝒟_{G1} ⊗ 𝒟_{G2} → 𝒟_n가 동형사상이 되는가?
• RQ4 𝒟_G의 최소 관계에서 𝔛_n-차수는 관계의 지지집합의 자동형사상이어야 하는가?
• RQ5 𝒟_G의 구조적 성질은 다른 유형의 Fomin-Kirillov 대수 또는 더 일반적인 니하르스 대수로 확장될 수 있는가?

주요 결과

• 코이델 부분대수 이론을 통해 임의의 부분그래프 H ⊆ G에 대해 𝒟_G가 𝒟_H-모듈러임이 입증되었다.
• 유한차원일 경우 𝒟_G의 힐버트 급수 계수가 대칭적임이 비퇴화된 이차형식을 통해 확인되었다.
• G가 A_n, D_n, E_6, 또는 E_7 유형의 단순형 데인킨 다이어그램일 경우, 𝒟_G의 차원은 웨일 군의 순서를 연결 지수로 나눈 값과 같다.
• G가 n개의 정점에서 구성된 사이클일 경우(유형 ˜A_{n-1}), 𝒟_G는 아핀 대칭군의 nil-Coxeter 대수의 몫과 동형이며, q=0 근처에서 힐버트 급수는 [2][3]⋯[n]이다.
• 5개 이하의 정점을 가진 모든 연결 그래프에 대해 명시적 단항기저와 힐버트 급수를 계산하였으며, 차원은 최대 8,294,400까지 가능하다.
• 𝒟_{˜D_n}, 𝒟_{˜E_6}, 𝒟_{˜E_7}의 힐버트 급수에 대한 추측과 6개의 정점을 가진 156개의 그래프 중 𝒟_G가 유한차원이 되는 경우를 제안한다.