[논문 리뷰] Brauer algebras of type C

Arjeh M. Cohen, Shoumin Liu외 1명|arXiv (Cornell University)|2011. 01. 18.

Algebraic structures and combinatorial models참고 문헌 8인용 수 6

한 줄 요약

이 논문은 고전적 브라우어 대수 $\ mathrm{Br}(\mathrm{A}_{2n-1})$의 일반화로, $\ mathrm{C}_n$ 유형의 새로운 브라우어 대수를 생성자와 관계식을 통해 정의한다. 이 대수는 고전적 브라우어 대수 $\ mathrm{Br}(\mathrm{A}_{2n-1})$의 대칭 다이어그램 부분대수와 동형임을 증명하며, 이를 통해 자유성, 셀룰라리티, 그리고 닫힌 형식 공식을 통한 정확한 계수를 확보한다. 이는 $\ mathrm{Br}(\mathrm{C}_n)$를 $\ mathrm{Br}(\mathrm{A}_{2n-1})$의 대칭 부분대수로 자연스럽게 실현하는 결과를 낳는다. 동형사상은 $\ mathrm{Br}(\mathrm{A}_{2n-1})$ 내의 $R_j$와 $E_j$의 곱으로 표현되는 생성자 $r_i$와 $e_i$에 의해 명시적으로 구성된다. 주요 기여는 $\ mathrm{Br}(\mathrm{C}_n)$가 $\ mathbb{Z}[\delta^{\pm 1}]$ 위에서 셀룰라리티를 가지며, 철저한 대수적 및 조합적 특성화를 갖는 것이다. $\ mathrm{Br}(\mathrm{C}_n)$의 계수는 특정 대칭성을 갖는 분할에 대한 합을 포함하는 닫힌 형식 공식으로 주어지며, 이 대수는 $a_n$이 재귀관계를 만족하는 $a_{2n}$의 자유 계수를 갖는다.

ABSTRACT

For each natural number n greater than 1, we define an algebra satisfying many properties that one might expect to hold for a Brauer algebra of type Cn. The monomials of this algebra correspond to scalar multiples of symmetric Brauer diagrams on 2n strands. The algebra is shown to be free of rank the number of such diagrams and cellular, in the sense of Graham and Lehrer.

연구 동기 및 목표

• 코xeter 체계의 $\ mathrm{C}_n$ 유형에 대해 기대되는 브라우어 대수의 성질을 만족하는 새로운 대수적 구조, 즉 $\ mathrm{C}_n$ 유형의 브라우어 대수를 정의하는 것.
• 이 새로운 대수와 고전적 브라우어 대수 $\ mathrm{Br}(\mathrm{A}_{2n-1})$의 대칭 브라우어 다이어그램 부분대수 사이의 정확한 동형사상을 확립하는 것.
• 결과로 얻어진 대수가 $\ mathbb{Z}[\delta^{\pm 1}]$ 위에서 자유이며, 그라함과 루러의 정의에 따라 셀룰라리티를 가지며, 구조적 및 표현론적 성질을 보장하는 것.

제안 방법

• 형상도 $\ mathrm{C}_n$에 따라 결정되는 관계식을 갖는 생성자 $r_0, \dots, r_{n-1}$ (역치)와 $e_0, \dots, e_{n-1}$ (준등幂원)를 통해 $\ mathrm{Br}(\mathrm{C}_n)$를 정의한다.
• 생성자에 대해 $\ mathrm{Br}(\mathrm{C}_n)$에서 $\ mathrm{SBr}(\mathrm{A}_{2n-1})$로의 명시적 $\ mathbb{Z}[\delta^{\pm 1}]$-대수 동형사상 $\phi: \mathrm{Br}(\mathrm{C}_n) \to \mathrm{SBr}(\mathrm{A}_{2n-1})$를 구성하며, $i > 0$일 때 $r_i$는 $R_{n-i}R_{n+i}$로, $e_i$는 $E_{n-i}E_{n+i}$로 매핑된다. $r_0$는 $R_n$, $e_0$는 $E_n$으로 매핑된다.
• 유도된 근 집합과 단항식 정규형 이론을 활용하여, 특히 수직 근 집합 위에서의 단항식 모노이드 작용 하에서 $\ mathrm{Br}(\mathrm{C}_n)$ 내 단항식의 구조를 분석한다.
• Coxeter 다이어그램 자동형사상에 의해 유도되는 대칭성을 분석함으로써, $\ phi$의 상이 정확히 대칭 다이어그램 부분대수 $\ mathrm{SBr}(\mathrm{A}_{2n-1})$임을 증명한다.
• 재귀적 분해와 단항식 정규형을 이용해 셀룰라리티의 셀 데이터 $(\Lambda, T, C, *)$를 구성하고, 셀룰라리티의 세 가지 공리(axioms)를 검증함으로써 $\ mathrm{Br}(\mathrm{C}_n)$의 셀룰라리티를 증명한다.
• 계수에 대한 닫힌 형식 공식을 유도한다: $\sum_{i=0}^{n} \left( \sum_{p+2q=i} \frac{n!}{p!q!(n-i)!} \right)^2 2^{n-i} (n-i)!$, 그리고 $a_0 = a_1 = 1$인 재귀관계 $a_n = a_{n-1} + 2(n-1)a_{n-2}$를 통해 이를 검증한다.

실험 결과

연구 질문

• RQ1 고전적 브라우어 대수 $\ mathrm{A}_{2n-1}$의 일반화로서, $\ mathrm{C}_n$ 유형의 자연스러운 대수적 구조가 존재하는가?
• RQ2 고전적 브라우어 대수 $\ mathrm{Br}(\mathrm{A}_{2n-1})$의 대칭 다이어그램 부분대수는 $\ mathrm{C}_n$ 유형의 생성자와 관계식으로 정의된 새로운 대수와 동형인가?
• RQ3 결과로 얻어진 대수가 자유이며 셀룰라리티를 가지며, 유리한 구조적 및 표현론적 성질을 보장하는가?
• RQ4 브라우어 대수 $\ mathrm{C}_n$의 정확한 계수는 무엇이며, 이를 닫힌 형식으로 표현할 수 있는가?

주요 결과

• 브라우어 대수 $\ mathrm{C}_n$는 $\ mathrm{SBr}(\mathrm{A}_{2n-1})$와 명시적 동형사상 $\phi$에 의해 동형임을 보이며, 이는 생성자에 대해 정의된다.
• $\ mathrm{Br}(\mathrm{C}_n)$는 $\ mathbb{Z}[\delta^{\pm 1}]$ 위에서 자유이며, 계수는 $a_{2n}$이며, $a_n$은 재귀관계 $a_n = a_{n-1} + 2(n-1)a_{n-2}$를 만족하고 $a_0 = a_1 = 1$이다. 계수는 닫힌 형식 공식 $\sum_{i=0}^{n} \left( \sum_{p+2q=i} \frac{n!}{p!q!(n-i)!} \right)^2 2^{n-i} (n-i)!$로 주어진다.
• $\ mathrm{Br}(\mathrm{C}_n)$는 그라함과 루러의 정의에 따라 셀룰라리티를 가지며, 재귀적 분해와 단항식 정규형을 통해 잘 정의된 셀 데이터를 구성한다.
• 코xeter 군 $\ mathrm{C}_n$의 군 대수는 $\ mathrm{Br}(\mathrm{C}_n)$에서 모든 $e_i$로 생성되는 아이디얼을 몫으로 취함으로써 얻어지며, $e_i$로 생성되는 부분대수는 $\ mathrm{B}_n$ 유형의 템퍼리-라이블 대수와 동형이다.
• $\ mathrm{Br}(\mathrm{C}_n)$의 파라보릭 부분대수는 다이어그램의 노드 부분집합 $J$에 대해 $\{r_j, e_j\}_{j \in J}$로 생성되며, $J$의 연결 성분에 해당하는 유형의 브라우어 대수와 동형이 되어 제약 조건 하에서의 양호한 행동을 확인한다.
• $\ mathrm{Br}(\mathrm{C}_2)$의 차원은 25이며, 이는 첸이 $\ mathrm{I}_2(4)$ 유형에 대해 정의한 24차원 대수를 초월한다. 이는 본 논문의 구성이 별개이자 더 큰 대수임을 시사한다.