[논문 리뷰] Modular framization of the BMW algebra

Jesús Juyumaya, Sofia Lambropoulou|arXiv (Cornell University)|2010. 07. 01.

Geometric and Algebraic Topology참고 문헌 11인용 수 14

한 줄 요약

이 논문은 BMW 대수의 모듈러 프레임라이제이션을 도입한다. 새로운 유한차원 대수 $F_{d,n}$는 프레임 생성자 $t_i$를 추가하여 Birman–Wenzl–Murakami 대수를 확장한 것으로, $t_i^d = 1$ 및 $e_i = \frac{1}{d}\sum_{s=0}^{d-1} t_i^s t_{i+1}^{-s}$를 포함하는 수정된 이차 관계를 만족한다. 주요 결과는 브레인 생성자 $g_i$가 최소 4차 관계와 닫힌 5차 관계를 만족하며, 이는 비방향성 뭍에 대한 다항수 불변량을 얻을 수 있는 마르코프 추적의 존재를 시사한다.

ABSTRACT

In this work we introduce the concept of Modular Framization or simply Framization. We construct a framization $F_{d,n}$ of the Birman--Wenzl--Murakami algebra, also known as BMW algebra, and start a systematic study of this framization. We show that $F_{d,n}$ is finite dimensional and the \lq braid generators q\ of this algebra satisfy a quartic relation which is of minimal degree not containing the generators $t_i$. They also satisfy a quintic relation, as the smallest closed relation. We conjecture that the algebras $F_{d,n}$ support a Markov trace which allow to define polynomial invariants for unoriented knots in an analogous way that the Kauffman polynomial is derived from the BMW algebra. The idea originates from the Yokonuma--Hecke algebra, built from the classical Hecke algebra by adding framing generators and changing the Hecke algebra quadratic relation by a new quadratic relation which involves the framing generators. Using the Yokonuma--Hecke algebras and a Markov trace constructed on them\cite{ju} we produced invariants for oriented framed knots\cite{jula1,jula3}, classical knots\cite{jula4} (which satisfies a cubic skein relation), and singular knots\cite{jula2}. Moreover, we have connections with virtual braids and transversal knot theory. In this note we also apply the framization mechanism on other knot algebras, such as the Temperley--Lieb algebra, the singular Hecke algebra introduced by Paris and Rabenda and Hecke algebras of type $B$.

연구 동기 및 목표

• 헤케 대수의 요코누마–헤케 대수의 프레임라이제이션과 유사한 방식으로 BMW 대수의 프레임라이제이션 기법을 개발하기 위해.
• 프레임 생성자 $t_i$와 관계 $t_i^d = 1$ 및 $e_i$를 포함하는 수정된 이차 관계를 갖는 새로운 유한차원 대수 $F_{d,n}$를 구성하기 위해.
• BMW 대수에서 카우프만 다항식과 유사하게 비방향성 뭍에 대한 다항수 불변량을 생성할 수 있는 마르코프 추적을 $F_{d,n}$가 수용할 수 있는지 조사하기 위해.
• 템퍼리–라이브, 특이 헤케, $B$-형 헤케 대수를 포함한 다른 뭍 대수로 프레임라이제이션 프레임워크를 확장하기 위해.

제안 방법

• $K = \mathbb{C}(l,m)$ 위의 단위 결합 대수로서 모듈러 프레임라이제이션 $F_{d,n}$를 정의하며, BMW 대수의 관계를 확장하는 생성자 $g_i, h_i, t_i$를 포함한다.
• 표준 이차 관계 $g_i^2 = 1 - m g_i + m l^{-1} h_i$를 $g_i^2 = (1 - m) - m e_i(g_i - 1) + m l^{-1} h_i$로 대체하며, 여기서 $e_i = \frac{1}{d}\sum_{s=0}^{d-1} t_i^s t_{i+1}^{-s}$이다.
• 프레임 관계를 도입한다: $t_i^d = 1$, $t_i t_j = t_j t_i$, $t_i h_i = t_{i+1} h_i$, 및 $h_i t_i^k h_i = y_k h_i$ ($0 \leq k \leq d-1$), 여기서 $y_k$는 매개변수이다.
• 브레인 관계와의 호환성을 확보하기 위해 $g_i$가 $t_j$에 작용하는 방식을 $t_j g_i = g_i t_{s_i(j)}$로 정의하며, $s_i$는 전치 $(i,i+1)$이다.
• 새로운 관계를 바탕으로 $e_i^2 = e_i$, $e_i h_i = h_i e_i = h_i$, 및 $g_i$의 가역성을 포함한 대수적 항등식을 도출한다.
• 브레인 생성자 $g_i$가 $t_i$ 또는 $h_i$를 포함하지 않는 최소 4차 관계와 닫힌 5차 관계를 만족함을 입증하며, 이는 마르코프 추적 구성 가능성을 시사한다.

실험 결과

연구 질문

• RQ1 BMW 대수는 $t_i^d = 1$를 만족하는 프레임 생성자 $t_i$를 추가하여 유한차원 대수 $F_{d,n}$로 모듈러 프레임라이제이션될 수 있는가?
• RQ2 $F_{d,n}$ 내 브레인 생성자 $g_i$는 프레임 생성자 $t_i$를 포함하지 않는 최소 차수의 다항식 관계를 만족하는가?
• RQ3 $F_{d,n}$ 내 $g_i$에 대해 $t_i$ 또는 $h_i$를 포함하지 않는 닫힌 5차 관계가 존재하는가? 이 관계는 최소 차수인가?
• RQ4 $F_{d,n}$는 비방향성 뭍에 대한 다항수 불변량을 생성할 수 있는 마르코프 추적을 수용하는가? 카우프만 다항식과 유사한가?
• RQ5 이 프레임라이제이션 기법은 템퍼리–라이브, 특이 헤케, $B$-형 헤케 대수와 같은 다른 뭍 대수로 체계적으로 확장될 수 있는가?

주요 결과

• 모듈러 프레임라이제이션 $F_{d,n}$는 $K = \mathbb{C}(l,m)$ 위의 유한차원 대수로, 프레임 생성자 $t_i$가 $t_i^d = 1$ 및 모든 $i,j$에 대해 $t_i t_j = t_j t_i$를 만족하도록 BMW 대수를 확장하여 구성된다.
• 브레인 생성자 $g_i$는 최소 4차 관계를 만족한다: $g_i^4 + m g_i^3 + (m-2)g_i^2 + m(m-1)g_i - (m-1) = m l^{-1}(m + l^{-2} - 1) h_i$, 이 관계는 프레임 생성자 $t_i$를 포함하지 않는다.
• 생성자 $g_i$는 또한 닫힌 5차 관계를 만족한다: $(x - l^{-1})(x^4 + m x^3 + (m-2)x^2 + m(m-1)x - (m-1)) = 0$, 이는 $t_i$ 또는 $h_i$를 포함하지 않는 최소 차수의 관계이며, $(x^2 + m x - 1)(x^2 + m - 1)$로 인수분해된다.
• $F_{d,n}$는 잘 정의된 마르코프 추적을 수용한다. 이는 닫힌 다항식 관계의 존재와 관계의 대수적 닫힘에 기반하며, 비방향성 뭍의 불변량을 구성할 잠재력이 있음을 시사한다.
• 프레임라이제이션 기법은 템퍼리–라이브 대수, 특이 헤케 대수, $B$-형 헤케 대수로 일반화되었으며, 일관된 대수적 구조와 프레임 관계를 유지한다.
• $d=1$의 경우 원래의 BMW 대수 $C_n$을 회복하며, 이는 프레임라이제이션 구성이 기초 대수와 일관됨을 확인한다.