[論文レビュー] Classifying Module Categories for Generalized Temperley-Lieb-Jones *-2-Categories

Ferrer, Giovanni, Palomares, Roberto Hernandez|arXiv (Cornell University)|Jan 1, 2019

Advanced Operator Algebra Research参考文献 9被引用数 4

ひとこと要約

この論文は、重み付き双方向グラフに関連する一般化されたTemperley-Lieb-Jones *-2カテゴリーのユニタリモジュールカテゴリを、分離可能かつ双次数付きヒルベルト空間の *-2カテゴリーへの厳密な *-擬関手を通じて分類する。主な結果として、このようなモジュールの同値類とバランス型Γ公平グラフの間の一対一対応を確立し、YamagamiおよびDeCommer-Yamashitaの分類を2カテゴリー的設定に一般化する。

ABSTRACT

Generalized Temperley-Lieb-Jones (TLJ) 2-categories associated to weighted bidirected graphs were introduced in unpublished work of Morrison and Walker. We introduce unitary modules for these generalized TLJ 2-categories as strong *-pseudofunctors into the *-2-category of row-finite separable bigraded Hilbert spaces. We classify these modules up to *-equivalence in terms of weighted bi-directed fair and balanced graphs in the spirit of Yamagami's classification of fiber functors on TLJ categories and DeCommer and Yamashita's classification of unitary modules for Rep(SUq(2)).

研究の動機と目的

• 重み付き双方向グラフから生じる一般化されたTemperley-Lieb-Jones *-2カテゴリーのユニタリモジュールカテゴリを分類すること。
• Yamagamiによるファイバー関手の分類およびDeCommer-YamashitaによるRep(SUq(2))のユニタリモジュールの分類を2カテゴリー的設定へ拡張すること。
• *-2カテゴリーの文脈において、公平かつバランス型グラフの一般化としてのバランス型Γ公平グラフの概念を導入し、その特徴づけを行うこと。
• 厳密な *-擬関手を通じて、ユニタリモジュールとバランス型Γ公平グラフの間の対応を確立すること。
• グラフ論的不変量を用いて、*-同値類のユニタリモジュールの構造的分類を提供すること。

提案手法

• 重み付き双方向グラフ (Γ, δ, ̄·) に対して、経路の連結によって与えられるテンソル積を備えた *-2カテゴリー TLJ(Γ) を導入する。
• ユニタリモジュールを、TLJ(Γ) から分離可能な双次数付きヒルベルト空間の *-2カテゴリー BigHilb への厳密な *-擬関手として定義する。
• Γ公平グラフを、Γ への全射的グラフ準同型 π: Λ → Γ を満たす重み付き有向グラフ Λ として導入し、辺の逆像上の重み付き和の条件を満たすものとする。
• バランス型Γ公平グラフを、辺に反転を表す対合を備えたΓ公平グラフとし、w(ε)w(ε̄) = 1 および π(ε̄) = ̄π(ε) を満たすものとして定義する。
• バランス型Γ公平グラフから、頂点ファイバー上のヒルベルト空間と、辺の重みを用いた反線形写像を定義することで、BigHilb 内の基本的解を構成する。
• この構成が *-擬関手をなしており、ジグザグ関係式を満たし、結果として得られるモジュールが元の解と *-同値であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 ユニタリモジュールカテゴリの一般化されたTLJ *-2カテゴリーは、どのようにグラフ論的データによって分類可能か？
• RQ2 2カテゴリー的設定におけるユニタリモジュールを分類するために、必要な公平かつバランス型グラフの一般化は何か？
• RQ3 *-擬関手がグラフ論的構造から生じるための条件は何か？
• RQ4 バランス型Γ公平グラフにおける辺の対合は、モジュールカテゴリにおける共役方程式とどのように関係するか？
• RQ5 ユニタリモジュールの同値類とバランス型Γ公平グラフの間には、自然な一対一対応が存在するか？

主な発見

• すべてのバランス型Γ公平グラフは、双次数付きヒルベルト空間の *-2カテゴリー内でのΓ基本的解から生じる。
• TLJ(Γ) の *-同値類のユニタリモジュールとバランス型Γ公平グラフの間には一対一対応が存在する。
• バランス型Γ公平グラフから基本的解を構成する方法は、辺の対合の選択に依存せず、自然である。
• Γ公平性およびバランス性の条件により、グラフの辺に対応するヒルベルト空間はすべて有限次元であり、次元が一様に有界である。
• 解を定義する写像はジグザグ関係式を満たしており、有効な *-擬関手を形成することが保証される。
• 基本的解から生成されるモジュールは、元の解と *-同値であるため、分類が適切に定義されていることが確認される。