[논문 리뷰] Representation theory and an isomorphism theorem for the Framisation of the Temperley-Lieb algebra

Maria Chlouveraki, Guillaume Pouchin|arXiv (Cornell University)|2015. 03. 11.

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

한 줄 요약

이 논문은 템퍼리-라이브 대수의 프레임라이제이션에 대해 완전한 이somorphism 정리를 수립하며, 이는 고전적 템퍼리-라이브 및 헤이크 대수의 텐서곱 위의 행렬 대수들의 직합과 동형임을 증명한다. 저자들은 그들의 기약 표현을 분류하고, 카탈란 수를 포함하는 차원 공식을 유도하며, 복소계수 $\mathbb{C}[q,q^{-1}]$ 위에서 표현 이론과 대수적 분해 기법을 사용하여 명시적인 기저를 구성한다.

ABSTRACT

In this paper, we describe the irreducible representations and give a dimension formula for the Framisation of the Temperley-Lieb algebra. We then prove that the Framisation of the Temperley-Lieb algebra is isomorphic to a direct sum of matrix algebras over tensor products of classical Temperley-Lieb algebras. This allows us to construct a basis for it. We also study in a similar way the Complex Reflection Temperley-Lieb algebra.

연구 동기 및 목표

• 템퍼리-라이브 대수의 프레임라이제이션의 기약 표현을 완전히 분류하는 것.
• 표현 이론적 기법을 사용하여 프레임라이제이션 대수의 차원을 계산하는 것.
• 템퍼리-라이브 및 헤이크 대수의 고전적 형태에 대한 행렬 대수들의 직합과 프레임라이제이션 대수 간의 대수적 이somorphism을 확립하는 것.
• 복소 반사 템퍼리-라이브 대수로 이 결과를 확장하고, 그에 대한 기저를 구성하는 것.
• 이전 문헌에서 알려진 바보다 더 작은 환 위에서 이 이somorphism을 정교화하여 이전 결과를 향상시키는 것.

제안 방법

• 요코누마-헤이크 대수의 표현 이론을 활용하여, 어떤 기약 표현이 프레임라이제이션 몫으로 내림내릴 수 있는지 식별하는 것.
• 요코누마-헤이크 대수가 Iwahori-헤이크 대수들의 직합으로서의 알려진 구조를 활용하여 프레임라이제이션 대수를 분해하는 것.
• 투영 사상과 대수 준동형사상을 사용하여, 프레임라이제이션 대수에서 $\mathrm{TL}_{\mu_1}(q) \otimes \mathcal{H}^{(\mu_2,\ldots,\mu_d)}(q)$ 위의 행렬 대수들의 직합으로의 명시적 이somorphism $\overline{\psi}_{\mu}$ 를 구성하는 것.
• 준동형사상의 합성의 핵을 분석하고, 특정 생성자가 몫 아래에서 0으로 매핑됨을 확인하여 이 이somorphism의 전사성과 단사성을 증명하는 것.
• 역사상 $\overline{\phi}_{\mu}$ 를 사용하여 행렬 대수들로부터 표준 기저를 당역화함으로써 프레임라이제이션 대수의 기저를 구성하는 것.
• 이 이somorphism을 복소 반사 템퍼리-라이브 대수에 적용하여, 동일한 knot 이론적 불변량을 가지는 더 큰 대수로 결과를 확장하는 것.

실험 결과

연구 질문

• RQ1 요코누마-헤이크 대수의 어떤 기약 표현이 템퍼리-라이브 대수의 프레임라이제이션으로 확장될 수 있는가?
• RQ2 프레임라이제이션 대수의 차원은 무엇이며, 카탈란 수를 통해 조합적으로 표현될 수 있는가?
• RQ3 프레임라이제이션 대수는 고전적 템퍼리-라이브 및 헤이크 대수들의 행렬 대수들의 직합과 이somorphic한가?
• RQ4 이전 문헌에서 알려진 바보다 더 작은 환 위에서 이 이somorphism을 정의할 수 있는가?
• RQ5 복소 반사 템퍼리-라이브 대수에 대한 구체적인 기저는 무엇이며, 프레임라이제이션 대수와의 관계는 어떠한가?

주요 결과

• 프레임라이제이션 대수는 정리 5.9에 따라 고전적 템퍼리-라이브 및 헤이크 대수의 텐서곱 위의 행렬 대수들의 직합과 동형임을 확인하였다.
• 프레임라이제이션 대수의 차원은 공식 $\sum_{\mu \in \mathrm{Comp}_d(n)} m_\mu^2 C_{\mu_1} \mu_2! \cdots \mu_d!$ 로 주어지며, 여기서 $C_{\mu_1}$ 은 $\mu_1$ 번째 카탈란 수이다.
• 프레임라이제이션 대수의 기저는 $\{\overline{\phi}_\mu(b_1 b_2 \cdots b_d M_{k,l})\}$ 로 명시적으로 구성되었으며, 여기서 $b_1$ 은 $\mathrm{TL}_{\mu_1}(q)$ 의 기저를, $i \geq 2$ 에 대해 $b_i$ 는 $\mathcal{H}_{\mu_i}(q)$ 의 기저를 각각 범위로 한다.
• 이 이somorphism $\overline{\psi}_\mu$ 는 이전 결과보다 더 작은 환 $\mathbb{C}[q,q^{-1}]$ 위에서 정의되었으며, 이는 이전 결과를 향상시킨다.
• 복소 반사 템퍼리-라이브 대수 $\mathrm{CTL}_{d,n}(q)$ 는 동일한 행렬 대수들의 직합과 동형이며, 동일한 구성 방법을 통해 그 기저가 명시적으로 서술되었다.
• 이 이somorphism은 전사적이며 단사적이며, 그 역사상 $\overline{\phi}_\mu$ 를 통해 $\mathbb{C}[q,q^{-1}]$-모듈의 동치관계임을 확인하였다.