[논문 리뷰] Cyclotomic Birman--Wenzl--Murakami algebras, II: Admissibility Relations and Freeness

Frederick M. Goodman, Holly Hauschild Mosley|ArXiv.org|2006. 12. 02.

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

한 줄 요약

이 논문은 적절한 정수환 위에서 순환 BMW 대수들이 자유 모듈로서의 계수 $ r^n(2n-1)!! $ 를 가지며, 순환 Kauffman 끈 대수와 동형임을 증명한다. 핵심 결과는 적절성 조건, 표현 이론, 그리고 재귀적 추적 공식을 통해 자유성과 동형성을 입증한 것으로, ${\mathbb{Z}}_r$-Brauer 대수를 조합론적 프레임워크로 사용하여 차원과 추적의 비퇴화성을 확립한다.

ABSTRACT

The cyclotomic Birman-Wenzl-Murakami algebras are quotients of the affine BMW algebras in which the affine generator satisfies a polynomial relation. We study admissibility conditions on the ground ring for these algebras, and show that the algebras defined over an admissible integral ground ring $S$ are free $S$--modules and isomorphic to cyclotomic Kauffman tangle algebras. We also determine the representation theory in the generic semisimple case, obtain a recursive formula for the weights of the Markov trace, and give a sufficient condition for semisimplicity.

연구 동기 및 목표

• 기초 환에 대한 적절성 조건을 규명하여 순환 BMW 대수가 순환 Kauffman 끈 대수와 자유성과 동형성을 보장하도록 하는 것.
• 일반적인 단순성의 경우 순환 BMW 대수의 표현 이론을 수립하는 것.
• 이 대수들 위에서 마코프 추적의 가중치에 대한 재귀 공식을 유도하는 것.
• 순환 BMW 대수의 단순성에 대한 충분 조건을 제시하는 것.
• 순환 BMW 대수가 적절한 정수환 위에서 차수 $ r^n(2n-1)!! $ 의 기저를 가진 자유 모듈임을 증명하는 것.

제안 방법

• 기본 생성자 $ x_1 $ 에 대한 단항 다항식 관계를 통해 애매한 BMW 대수의 몫으로 순환 BMW 대수를 정의하며, 이는 끈 모델에서의 순환 스케인 관계에 대응한다.
• 다항식이 분해되고 매개변수가 필요한 대수적 제약 조건을 만족시키도록 보장하는 적절한 정수환 $ S $ 의 개념을 도입한다.
• ${\mathbb{Z}}_r$-Brauer 대수를 조합론적 모델로 사용하여 차원을 계산하고 조건부 기대를 통한 추적 분석을 수행한다.
• ${\mathbb{Z}}_r$-Brauer 대수 위에 추적 $ \varepsilon $ 를 구성하고, 기저가 $ \vartheta_j $ 인 유리 함수 체 위에서의 비퇴화성을 증명함으로써 단순성 논증을 가능하게 한다.
• Wenzl의 방법을 적용하여 ${\mathbb{Z}}_r$-Brauer 대수의 분지 다이어그램이 순환 BMW 대수와 일치함을 보여, 표현 이론이 동형임을 유도한다.
• 일반 순환 Kauffman 끈 대수의 자유성과 일반 적절한 환 $ \overline{R}_+ $ 위에서의 기저 존재성을 이용하여, 임의의 적절한 도메인 $ S $ 에서도 자유성과 기저 존재성을 유도한다.

실험 결과

연구 질문

• RQ1 기초 환 $ S $ 가 어떤 조건을 만족할 경우 순환 BMW 대수 $ W_{n,S,r} $ 가 자유 $ S $-모듈이 되는가?
• RQ2 일반적인 단순성의 경우 순환 BMW 대수의 표현 이론은 어떻게 행동하는가?
• RQ3 마코프 추적의 가중치에 대한 재귀 공식은 무엇이며, 이는 대수의 구조와 어떻게 관련되는가?
• RQ4 체 $ F $ 위에서 $ W_{n,F,r} $ 의 차원은 얼마이며, 이는 ${\mathbb{Z}}_r$-Brauer 대수를 통해 어떻게 계산되는가?
• RQ5 자연 포함 사상 $ \iota: W_{n,S,r} \to W_{n+1,S,r} $ 는 단사인가? 그리고 추적을 보존하는 조건부 기대가 존재하는가?

주요 결과

• 적절한 정수환 $ S $ 에서 순환 BMW 대수 $ W_{n,S,r} $ 는 계수 $ r^n(2n-1)!! $ 의 자유 $ S $-모듈이다.
• $ S $ 가 적절한 정수환일 경우 대수 $ W_{n,S,r} $ 는 순환 Kauffman 끈 대수 $ KT_{n,S,r} $ 와 동형이다.
• 체 $ F $ 위에서 $ W_{n,F,r} $ 의 차원은 $ r^n(2n-1)!! $ 이며, 이는 ${\mathbb{Z}}_r$-Brauer 대수의 표현 이론을 통해 계산된다.
• 마코프 추적의 가중치에 대한 재귀 공식이 유도되었으며, 이는 ${\mathbb{Z}}_r$-Brauer 대수 위의 추적의 구조에 기반한다.
• ${\mathbb{Z}}_r$-Brauer 대수 위의 추적 $ \varepsilon $ 는 $ \vartheta_j $ 의 유리 함수 체 위에서 비퇴화적이며, 이는 일반적인 경우의 단순성에 의해 유도된다.
• 추적을 보존하는 조건부 기대 $ \varepsilon_n: W_{n+1,S,r} \to W_{n,S,r} $ 가 존재하며, 포함 사상 $ \iota: W_{n,S,r} \to W_{n+1,S,r} $ 는 단사적이다.