[논문 리뷰] The representations of cyclotomic BMW algebras

Hebing Rui, Jie Xu|ArXiv.org|2008. 01. 03.

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

한 줄 요약

이 논문은 $\mathscr{B}_{2p+1,n}$가 교환환 $R$ 위에서 세포 대수임을 증명하며, 이는 체 위에서의 기약 모듈의 완전한 분류를 가능하게 하는 세포 구조를 수립한다. 주요 기여는 $\mathbf{u}$-가능 조건 하에서 $\mathbf{u}$-클레슈체프 다중분할로 인덱싱된 기약 표현의 분류이며, 이는 $n$ 이외의 특정 매개변수 $\omega_i$의 존재 여부에 따라 다르게 행동한다.

ABSTRACT

In this paper, we prove that the cyclotomic BMW algebras B2p+1,n are cellular in the sense of [16]. We also classify the irreducible B2p+1,nmodules over a field.

연구 동기 및 목표

• 순환 BMW 대수 $\mathscr{B}_{r,n}$가 $r$ 가 홀수일 때 [16]의 의미에서 세포 대수임을 증명하는 것.
• 체 위에서 서로 비동형인 모든 기약 $\mathscr{B}_{r,n}$-모듈을 $\mathbf{u}$-가능 조건 하에서 분류하는 것.
• $\mathscr{B}_{r,n}$의 분류가 $n$의 기수성과 매개변수 $\omega_i$의 영이 되는지 여부에 어떻게 의존하는지 파악하는 것.
• $\mathscr{B}_{r,n}$에 대한 세포 기저를 제작하는 것 — 이는 몐모듈에서 생성자를 올리고, 준정규 표현을 사용하는 방식으로.

제안 방법

• 순환 나자로프-웬츠 대수에 대해 [3]에서 유사한 유리 함수의 클래스를 구성하여 특정 조건 하에서 준정규 표현을 정의하는 것.
• 세미단순일 경우 $\mathscr{B}_{r,n}$의 랭크에 하한을 제시하기 위해 웨더번-아르틴 정리를 사용하는 것.
• 홀수 $r$ 에 대해 $\mathscr{B}_{r,n}$의 몐모듈을 구성하여 양측 이상의 필터를 유도하는 것.
• 이 몐모듈에서 생성자를 올려 $\mathscr{B}_{r,n}$의 $R$-모듈로서 크기가 $r^n(2n-1)!!$ 인 생성집합 $S$ 를 구성하는 것.
• 구성된 생성자와 몐모듈의 구조를 이용하여 세포 기저의 존재를 검증함으로써 $\mathscr{B}_{r,n}$이 세포 대수임을 증명하는 것.
• 세포 대수의 표현 이론 결과를 적용하여 기약 $\mathscr{B}_{r,n}$-모듈을 아리키-코이케 대수 $\mathscr{H}_{r,n-2f}$의 기약 모듈과 연결하는 것.

실험 결과

연구 질문

• RQ1 순환 BMW 대수 $\mathscr{B}_{r,n}$가 [16]의 의미에서 언제 세포 대수인가?
• RQ2 $\mathscr{B}_{r,n}$의 기약 표현은 매개변수 $\omega_i$와 $n$의 기수성에 따라 어떻게 달라지는가?
• RQ3 순환 BMW 대수 $\mathscr{B}_{r,n}$의 서로 비동형인 기약 $\mathscr{B}_{r,n}$-모듈의 완전한 분류는 $r$ 이 홀수일 때 어떤가?
• RQ4 순환 BMW 대수 $\mathscr{B}_{r,n}$의 준정규 표현 이론은 세포 모듈과 이중선형 형식의 구조와 어떻게 관련되는가?
• RQ5 $\mathbf{u}$-가능 조건이 세포 모듈 위의 비퇴화 이중선형 형식의 존재를 보장하는 데 어떤 역할을 하는가?

주요 결과

• $\mathscr{B}_{2p+1,n}$는 $r=2p+1$ 가 홀수일 때 교환환 $R$ 위에서 세포 대수임이 되며, 몰모듈에서 유도된 두측 이상의 필터를 통해 증명된다.
• $\mathscr{B}_{r,n}$의 랭크는 $R$ 위에서 자유일 경우 정확히 $r^n(2n-1)!!$ 이며, 이는 해당 크기의 생성집합을 구성함으로써 증명된다.
• 기약 $\mathscr{B}_{r,n}$-모듈은 $0 \leq f \leq \lfloor n/2 \rfloor$ 이고 $\lambda$ 가 $n-2f$ 의 $\mathbf{u}$-클레슈체프 다중분할인 쌍 $(f, \lambda)$ 로 인덱싱되며, $\mathbf{u}$-가능 조건 하에서 성립한다.
• 짝수 $n$ 에서, 어떤 $i \leq r-1$ 에 대해 $\omega_i \neq 0$ 이면 모든 $f \leq n/2$ 가 분류에 기여한다; 모든 $\omega_i = 0$ 이면 $f < n/2$ 만 기여한다.
• $\mathscr{B}_{r,n}$의 세포 모듈 $\Delta(f,\lambda)$ 위의 이중선형 형식 $\phi_{f,\lambda}$ 는 비퇴화일 필요충분조건이 $\mathscr{H}_{r,n-2f}$ 의 대응하는 형식 $\phi_\lambda$ 가 비퇴화일 때이지만, $f = n/2$ 인 경우를 제외한다.
• $n$ 이 홀수일 경우, 분류에는 $0$ 에서 $\lfloor n/2 \rfloor$ 까지의 모든 $f$ 가 포함되며, 기약 모듈은 $n-2f$ 의 $\mathbf{u}$-클레슈체프 다중분할과 일대일 대응된다.