[논문 리뷰] The BMW algebras of type Dn

Arjeh M. Cohen, D. A. H. Gijsbers외 1명|arXiv (Cornell University)|2007. 04. 20.

Coding theory and cryptography참고 문헌 13인용 수 8

한 줄 요약

이 논문은 BMW 대수의 Dn형이 Z[δ±1, l±1]/(m(1−δ)−(l−l−1)) 위에서 반단순적이고 자유이며, 차원이 (2n+1)n!! − (2n−1+1)n!임을 증명한다. 이를 위해 재귀적 변환 시스템을 사용하여 차원의 상한을 구한다. 또한 Dn형 브라우어 대수는 Z[δ±1] 위에서 동일한 차원을 가지며 반단순적이고 자유인 BMW 대수의 동형 상추상임을 보이며, 일반화된 템퍼리-라이브 대수의 Dn형은 BMW 대수의 부분대수임을 보인다.

ABSTRACT

Abstract. The Birman-Murakami-Wenzl algebra (BMW algebra) of type Dn is shown to be semisimple and free over Z[δ ±1, l ±1]/(m(1 − δ) − (l − l −1)) of dimension (2 n +1)n!! −(2 n−1 +1)n!, where n!! = 1 ·3···(2n −1). The Brauer algebra of type Dn is a homomorphic ring image and is also semisimple and free of the same dimension, but over the ring Z[δ ±1]. A rewrite system for the Brauer algebra is used in upper bounding the dimension of the BMW algebra. As a consequence of our results, the generalized Temperley-Lieb algebra of type Dn turns out to be a subalgebra of the BMW algebra of the same type.

연구 동기 및 목표

• Dn형 BMW 대수의 구조와 차원을 규명하는 것.
• Dn형 브라우어 대수가 동일한 차원을 가지며 BMW 대수의 반단순적이고 자유인 동형 상추상임을 증명하는 것.
• Dn형 일반화된 템퍼리-라이브 대수가 동일한 유형의 BMW 대수의 부분대수임을 보여주는 것.
• 재귀적 변환 시스템을 사용하여 BMW 대수의 차원에 상한을 구하는 것.
• Z[δ±1, l±1]/(m(1−δ)−(l−l−1)) 및 Z[δ±1]와 같은 특정 환 위에서 이러한 대수의 자유성과 반단순성을 분석하는 것.

제안 방법

• 브라우어 대수의 Dn형에 대한 재귀적 변환 시스템을 구성하여 그 구조를 분석하고 BMW 대수의 차원을 상한으로 제한한다.
• 재귀적 변환 시스템의 축약 규칙과 다이어그램의 조합적 분석을 통해 BMW 대수의 차원을 상한으로 제한한다.
• 탄성의 부재와 기저의 존재를 검증하여 Z[δ±1, l±1]/(m(1−δ)−(l−l−1)) 위에서 대수가 자유임을 증명한다.
• 브라우어 대수를 BMW 대수의 몫으로 간주하고, Z[δ±1] 위에서 그 자유성과 반단순성을 확립한다.
• 도표적 포함관계와 아이디얼 관계를 통해 일반화된 템퍼리-라이브 대수를 BMW 대수의 부분대수로 식별한다.
• 차원 공식 (2n+1)n!! − (2n−1+1)n!은 BMW 대수의 기저 원소의 조합적 수를 통해 유도된다.

실험 결과

연구 질문

• RQ1 Z[δ±1, l±1]/(m(1−δ)−(l−l−1)) 위에서 Dn형 BMW 대수의 정확한 차원은 무엇인가?
• RQ2 Dn형 BMW 대수는 그 계수 환 위에서 반단순적이고 자유인가?
• RQ3 Dn형 브라우어 대수와 BMW 대수 사이의 호모모르피즘과 차원 관계는 어떻게 되는가?
• RQ4 Dn형 일반화된 템퍼리-라이브 대수는 동일한 유형의 BMW 대수 내에 부분대수로 포함될 수 있는가?
• RQ5 재귀적 변환 시스템은 BMW 대수의 차원 상한을 구하는 데 어떤 역할을 하는가?

주요 결과

• Dn형 BMW 대수는 Z[δ±1, l±1]/(m(1−δ)−(l−l−1)) 위에서 반단순적이고 자유이며, 차원이 (2n+1)n!! − (2n−1+1)n!이다.
• Dn형 브라우어 대수는 동일한 차원과 자유성으로 인해 BMW 대수의 반단순적이고 자유인 몫이다. 이는 Z[δ±1] 위에서 성립한다.
• Dn형 일반화된 템퍼리-라이브 대수는 Dn형 BMW 대수의 부분대수이다.
• 브라우어 대수를 위한 재귀적 변환 시스템은 BMW 대수의 차원에 효과적인 상한을 제공한다.
• 차원 공식은 BMW 대수의 기저 원소의 조합적 수를 통해 도출되었으며, 이는 대수의 구조를 확인한다.
• BMW 대수의 대수적 관계는 일반화된 템퍼리-라이브 대수가 부분대수로서 유지됨을 보장한다.