[논문 리뷰] A KLR Grading of the Brauer Algebras

Li Ge|arXiv (Cornell University)|2014. 09. 03.

Algebraic structures and combinatorial models참고 문헌 10인용 수 7

한 줄 요약

이 논문은 특성 0인 체 위에서 KLR 유사 관계를 갖는 Z-gradation 대수 $G_n(\delta)$를 구성하고, 이 대수가 브라우어 대수 $B_n(\delta)$와 동형임을 증명한다. 이 동형사상은 $B_n(\delta)$에 비자명한 Z-gradation을 부여하며, 명시적인 동차 셀러스 기저를 제공함으로써 $B_n(\delta)$가 KLR 스타일의 표현을 통해 그레이드 셀러스 대수임을 입증한다.

ABSTRACT

We construct a naturally $\mathbb Z$-graded algebra $\mathscr G_n(δ)$ over $R$ with KLR-like relations and give an explicit isomorphism between $\mathscr G_n(δ)$ and $\mathscr B_n(δ)$, the Brauer algebras over $R$, when $R$ is a field of characteristic 0. This isomorphism allows us to exhibit a non-trivial $\mathbb Z$-grading on the Brauer algebras over a field of characteristic 0. As a byproduct of the proof, we also construct an explicit homogeneous cellular basis for $\mathscr G_n(δ)$.

연구 동기 및 목표

• 특성 0인 체 위에서 순환 쿼버 히크 대수의 관계와 유사한 관계를 갖는 Z-gradation 대수 $G_n(\delta)$를 구성하는 것.
• 이 대수 $G_n(\delta)$와 브라우어 대수 $B_n(\delta)$ 사이의 동형사상을 확립하여, $B_n(\delta)$에 비자명한 Z-gradation을 도입하는 것.
• 명시적인 동차 셀러스 기저를 $G_n(\delta)$에 구성함으로써, $B_n(\delta)$가 그레이드 셀러스 대수임을 증명하는 것.

제안 방법

• $G_n(\delta)$를 $e(i), y_k, \psi_k, \epsilon_k$의 생성자와 A형 KLR 대수와 유사한 관계로 정의한다.
• 상-하향 표에 따라 인덱싱된 동차 원소 $\psi^{st}$의 집합을 구성하며, 이들의 차수는 $\deg \psi^{st} = \deg s + \deg t$를 만족한다. 이는 후보 기저가 된다.
• 셀러스 유사 곱셈 규칙(정리 5.27)을 사용하여 $G_n(\delta)$가 $\{ \psi^{st} \}$에 의해 생성됨을 증명함으로써, $\dim G_n(\delta) \leq (2n-1)!$임을 보인다.
• 표준 생성자에 생성자들을 매핑함으로써 $G_n(\delta) \to B_n(\delta)$의 전사 대수 준동형사를 수립하며, 반정규형과 알려진 관계를 활용한다.
• 기저 $\{ \psi^{st} \}$의 원소 수가 $ (2n-1)!! $임을 보이고, 이는 $\dim B_n(\delta)$와 일치하므로 사상이 단사임을 증명함으로써 동형사상을 확립한다.
• 기저 $\{ \psi^{st} \}$가 동차 셀러스 기저의 공리계를 만족함을 확인하며, 이는 동차성과 $*$-역전사가 포함된다.

실험 결과

연구 질문

• RQ1 특성 0인 체 위에서 브라우어 대수 $B_n(\delta)$에 비자명한 Z-gradation을 도입할 수 있는가?
• RQ2 브라우어 대수에 KLR 유사 표현이 존재하여 이러한 단계를 실현할 수 있는가?
• RQ3 브라우어 대수에 순환 쿼버 히크 대수의 것과 유사한 동차 셀러스 기저가 존재하는가?
• RQ4 기본 기저 구성 방법을 통해 $G_n(\delta)$와 $B_n(\delta)$ 사이의 동형사상을 확립할 수 있는가?

주요 결과

• $G_n(\delta)$는 특성 0인 체 위에서 브라우어 대수 $B_n(\delta)$와 동형임을 정리 B에 의해 증명한다.
• 이 동형사상은 $B_n(\delta)$가 $G_n(\delta)$로부터 유도된 비자명한 Z-gradation을 갖게 함으로써, 그레이드 대수임을 보여준다.
• $\{ \psi^{st} \}$는 $G_n(\delta)$에 대한 동차 셀러스 기저를 이룬다. 따라서 정리 C에 의해 $B_n(\delta)$에 대해서도 동일하게 성립한다.
• $G_n(\delta)$의 차원은 $ (2n-1)!! $ 이하로 유계이며, 이는 $\dim B_n(\delta)$와 일치함을 보여 기저가 생성하고 선형 독립임을 확인한다.
• $\{ \psi^{st} \}$는 셀러스 곱셈 규칙을 만족함(정리 5.27), 이는 기저의 셀러스 구조를 확인한다.
• $E_n(\delta)$가 $\epsilon_k$에 의해 생성된 양측 이상이면, 몫 $G_n(\delta)/E_n(\delta)$는 순환 쿼버 히크 대수 $R^\Lambda_n$과 동형임을 정리 7.79에 의해 보여준다.