[논문 리뷰] Birman-Murakami-Wenzl type algebras for arbitrary Coxeter systems

Zhi Chen|arXiv (Cornell University)|2017. 08. 16.

Advanced Combinatorial Mathematics참고 문헌 14인용 수 3

한 줄 요약

이 논문은 임의의 이면체 코xeter 계열 $I_{2}(k)$에 대해 Birman-Murakami-Wenzl (BMW) 유형 대수 $B_{I_{2}(k)}(m,l)$를 구성한다. 이는 원래의 BMW 대수를 단순 연결형 타입을 초월해 일반화한 것이다. 이 대수는 준가역성, 셀러리티, 아르틴 군 생성자에 대한 3차 소멸 다항식을 보장하며, Marin의 일반화된 단형 수렴 표현과 추측적으로 일치하는 $k$차원의 Lawrence-Krammer 유형 표현을 확인한다.

ABSTRACT

In this paper we first present a Birman-Murakami-Wenzl type algebra for every Coxeter system of rank 2 (corresponding to dihedral groups). We prove they have semisimple for generic parameters, and having natural cellular structures. And classcify their irreducible representations. Among them there is one serving as a generalization of the Lawrence-Krammer representation with quite neat shape and the "correct" dimension. We conjecture they are isomorphic to the generalized Lawrence-Krammer representaions defined by I.Marin as monodromy of certain KZ connections. We prove these representations are irreducible for generic parameters, and find a quite neat invariant bilinear form on them. Based on above constructions for rank 2, we introduce a Birman-Murakami-Wenzl type algebra for an arbitrary Coxeter system. For every Coxeter system, the introduced algebra is a quotient of group algebra of the Artin group (associated with this Coxeter system), having the corresponding Hecke algebra as a quotient. The simple generators of the Artin group have degree 3 annihiating polynomials in this algebra.

연구 동기 및 목표

• 비단순 연결형 코xeter 계열, 특히 이면체 타입 $I_{2}(k)$에 대해 Birman-Murakami-Wenzl 대수의 일반화를 구성하는 것.
• 이전에 ADE 타입을 초월해 일반화를 방해했던 다중 간선(비단순 연결형 관계)을 BMW 유형 대수에 통합하는 데 도전하는 것.
• 아르틴-티츠 군 $A_{I_{2}(k)}$의 Lawrence-Krammer 유형 표현을 암시적이고 간결한 행렬 형태로 지원하는 대수를 정의하는 것.
• 이 표현이 평면 연결의 단형 수렴을 통해 정의된 Marin의 일반화된 단형 수렴 표현과 동형일 것이라는 추측을 제기하는 것.
• 평면 연결의 적분을 직접 수행하지 않고도, 셀러리티와 호환성 등의 대수적 제약 조건을 활용해 대수의 구조 상수를 체계적으로 결정하는 방법을 제공하는 것.

제안 방법

• 브라우어 유형 대수와 변형 제약 조건에서 유도된 생성자와 관계를 사용해 이면체 코xeter 계열 $I_{2}(k)$에 대해 새로운 BMW 유형 대수 $B_{I_{2}(k)}(m,l)$를 정의한다.
• 대수적 테스트와 대칭성 고려를 통해 정의 관계의 구조 상수를 추측하며, 특히 호환성과 셀러리티를 보장하기 위해 포함형 사상의 존재를 중점적으로 고려한다.
• 아르틴-티츠 군 $A_{I_{2}(k)}$에 대한 $B_{I_{2}(k)}(m,l)$ 내부의 $k$차원 표현을 구성하며, 간결한 행렬 형태와 불변 이항형을 갖는다.
• 대수가 준가역성, 셀러리티, 자연스러운 포함형 사상의 존재라는 핵심 대수적 성질을 만족함을 증명한다.
• 아르틴 군 생성자가 대수에서 3차 소멸 다항식을 만족하며, 대수가 해당 히드라 대수 $H_{I_{2}(k)}(v)$ 위로 자연스럽게 사영됨을 보여준다.
• 기저 위에서 $X_0X_1$의 반복 작용에 대한 연산자 이론적 분석을 통해 핵심 브레이드 유사 관계를 검증하며, 중심 원소 $ riangle$ 가 스칼라 곱으로 작용함을 보여준다.

실험 결과

연구 질문

• RQ1 임의의 코xeter 계열, 특히 $k \neq 3$인 비단순 연결형 이면체 타입 $I_{2}(k)$에 대해 Birman-Murakami-Wenzl 유형 대수를 구성할 수 있는가?
• RQ2 준가역성, 셀러리티, 아르틴 군 작용과의 호환성을 보장하는 데 적합한 구조 상수는 무엇인가?
• RQ3 해당 대수는 아르틴-티츠 군 $A_{I_{2}(k)}$의 Lawrence-Krammer 유형 표현을 간결한 행렬 형태로 지원하는가?
• RQ4 이 표현은 평면 연결의 단형 수렴을 통해 정의된 Marin의 일반화된 Lawrence-Krammer 표현과 동형인가?
• RQ5 평면 연결의 단형을 직접 적분하지 않고도, 적절한 대수적 구조를 유도함으로써 Marin의 평면 연결의 단형을 대수적으로 계산할 수 있는가?

주요 결과

• 대수 $B_{I_{2}(k)}(m,l)$는 준가역적이며 셀러리티를 갖는다. 이는 원래 BMW 대수의 핵심 대수적 조건을 만족한다.
• 이 대수는 아르틴-티츠 군 $A_{I_{2}(k)}$의 $k$차원 기약 표현을 간결한 행렬 형태와 불변 이항형을 갖는다.
• 홀수 $k = 2n+1$일 경우 표현은 $2n+1$차원이며, 짝수 $k = 2n$일 경우 두 개의 $n$차원 기약 표현이 존재한다.
• 대수 내 아르틴 군 생성자는 3차 소멸 다항식을 만족하며, 이는 BMW 유형 대수의 특징이다.
• 대수 $H_{I_{2}(k)}(v)$의 해당 히드라 대수 위로 자연스럽게 사영되며, $bQ[m,l^{ imes}]A_{I_{2}(k)}$의 군 대수의 몫이다.
• 중심 원소 $ riangle$ 는 표현 공간에서 스칼라 곱 $l_0 v_0^{-1}$ 로 작용함을 확인하여 브레이드 군 관계와의 일관성을 입증한다.