[論文レビュー] Temperley-Lieb, Brauer and Racah algebras and other centralizers of su(2)

Nicolas Crampé, Loïc Poulain d’Andecy+1 more|arXiv (Cornell University)|May 15, 2019

Advanced Combinatorial Mathematics参考文献 11被引用数 8

ひとこと要約

本稿では、任意の三つの単純非可換表現のテンソル積の中心化部分代数が、Racah代数の商と同型であるという予想を提示する。明示的な生成子と関係式を用いて、複数のケースでその予想を証明し、Temperley–Lieb、Brauer、および一辺境界Temperley–Lieb代数といった既知の代数を商として回復することで、Racah代数の枠組みによりそれらの構造を統一的に扱う。

ABSTRACT

In the spirit of the Schur-Weyl duality, we study the connections between the Racah algebra and the centralizers of tensor products of three (possibly different) irreducible representations of su(2). As a first step we show that the Racah algebra always surjects onto the centralizer. We then offer a conjecture regarding the description of the kernel of the map, which depends on the irreducible representations. If true, this conjecture would provide a presentation of the centralizer as a quotient of the Racah algebra. We prove this conjecture in several cases. In particular, while doing so, we explicitly obtain the Temperley-Lieb algebra, the Brauer algebra and the one-boundary Temperley-Lieb algebra as quotients of the Racah algebra.

研究の動機と目的

• 𝔰𝔲(2)の三つの単純非可換表現のテンソル積の中心化部分代数とRacah代数との間の構造的関係を確立すること。
• Racah代数の商として、これらの中心化部分代数の生成子と関係式による記述を提供すること。
• Temperley–Lieb代数やBrauer代数といった既知の代数を、この構成の特別な場合として回復すること。
• 基本表現やスピン1表現にとどまらず、混合スピンや異なる表現を含む場合の中心化部分代数の理解を拡張すること。
• 高ランクテンソル積や量子群、他のリー代数への一般化の基盤を築くこと。

提案手法

• 三つの𝔰𝔲(2)表現のテンソル積空間における中間Casimir作用素を、中心化部分代数の生成子として用いる。
• Racah代数から中心化部分代数への全単射な準同型を構成し、この設定における不変量の第一基本定理を確立する。
• この準同型の核をスピン j₁, j₂, j₃ に依存する関係式として記述する予想を提示する。
• 具体的なケースで予想を証明する：j₁ = j₂ = j₃ = 1/2（Temperley–Lieb）、j₁ = j₂ = j₃ = 1（Brauer）、j₁ = j, j₂ = j₃ = 1/2、j₁ = 1/2, j₂ = j₃ = 1、j₁ = j₂ = j₃ = 3/2、および j₁ = j, j₂ = 1/2, j₃ = k。
• j₁ = j, j₂ = j₃ = 1/2 の場合に、一辺境界Temperley–Lieb代数が商として得られることを特定する。
• 図式的および代数的技法を用いて、Racah代数の商と既知の中心化部分代数との間の同型を検証する。

実験結果

リサーチクエスチョン

• RQ1 三つの単純非可換𝔰𝔲(2)表現のテンソル積の中心化部分代数は、Racah代数の商として記述可能か？
• RQ2 Racah代数から中心化部分代数への全射の核は明示的にどのようなものか？また、スピン j₁, j₂, j₃ にどのように依存するか？
• RQ3 Temperley–Lieb代数およびBrauer代数は、それぞれの物理的状況においてRacah代数の商として自然に回復可能か？
• RQ4 j₁ = j, j₂ = j₃ = 1/2 や j₁ = 1/2, j₂ = j₃ = 1 といった混合スピンを含む場合、中心化部分代数を生成子と関係式で明示的に記述可能か？
• RQ5 この構成を高ランクテンソル積やU_q(𝔰𝔲(2))のような量子群へ一般化可能か？

主な発見

• Racah代数は、任意の三つの単純非可換𝔰𝔲(2)表現のテンソル積の中心化部分代数へ全射する。これは、この文脈における不変量の第一基本定理が成立することを確認する。
• j₁ = j₂ = j₃ = 1/2 の場合、Racah代数の商はTemperley–Lieb代数と同型であり、既知の結果が回復される。
• j₁ = j₂ = j₃ = 1 の場合、Racah代数の商はBrauer代数と同型であり、この結果に対する新しい代数的導出が得られる。
• j₁ = j, j₂ = j₃ = 1/2 の場合、商は一辺境界Temperley–Lieb代数をもたらし、この構成に対する中心化部分代数の新しい記述が得られる。
• j₁ = j₂ = j₃ = 3/2 の場合、予想が検証され、これは生成子と関係式の観点から以前に記述されていなかったケースである。
• 一般ケース j₁ = j, j₂ = 1/2, j₃ = k においても予想が証明され、無限個の新しい中心化部分代数の記述が得られる。