[論文レビュー] Linear independences of maps associated to partitions

Stefan Jung|arXiv (Cornell University)|Jun 25, 2019

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

ひとこと要約

本稿は、簡単な量子群の文脈において、交差しない分割に関連するintertwiner写像の線形独立性を、W. Tutteの行列式枠組みを再考・修正した手法を用いて確立する。主な結果として、$ N \geq 4 $ のとき、型 $ (0,n) $ の交差しない分割に添えられた写像 $ T_p $ が線形独立であることが証明され、分割の圏から簡単な量子群への関手が単射であることが保証される。

ABSTRACT

Given a suitable collection of partitions of sets, there exists a connection to easy quantum groups via intertwiner maps. A sufficient condition for this correspondence to be one-to-one are particular linear independences on the level of those maps. In the case of non-crossing partitions, a proof of this linear independence can be traced back to a matrix determinant formula, developed by W. Tutte. We present a revised and adapted version of Tutte's work and the link to the problem above, believing that this self-contained article will assist others in the field of easy quantum groups. In particular, we fixed some errors in the original work and adapted notations, definitions, statements and proofs.

研究の動機と目的

• 簡単な量子群の構成における交差しない分割に関連するintertwiner写像 $ T_p $ の線形独立性を確立すること。
• W. Tutteの1993年の「彩色接合の行列」に関する研究を、簡単な量子群の枠組みに適合させるために修正・再解釈すること。
• 分割の圏から $ C^* $-圏への関手 $ \Psi $ が単射であることを保証し、これにより関連する簡単な量子群の一意性が保証されること。
• 特に $ N \geq 4 $ の場合に、交差しない分割写像の線形独立性について、自己完結的で表記の一貫性を持ち、修正された証明を提供すること。

提案手法

• 関手 $ \Psi $ の単射性問題を、分割に関連する写像 $ T_p $ における線形独立性問題に再定式化する。
• 写像 $ T_p $ の線形従属構造を符号化する行列 $ A(n,0) $ に対して、Tutteの行列式アプローチを適応する。
• Tutteの元の研究における誤りを是正するため、重要な組合せ的対象である $ r $-欠損、グラフ $ G(p,q) $、$ H_r(p,q) $、構造 $[i]$, $[i,i+1]$, $[0]$ の定義を修正する。
• 関数 $ F_r(p,q) $ を用いた再帰的列変形により、行列 $ A(n,0) $ の行列式の再帰的公式を導出する。
• 行列式の積に現れるすべての因子が非ゼロであることを示すことにより、$ \det(A(n,0)) \neq 0 $ を確立する。具体的には、逆順Beraha多項式の商、$ N $ の非ゼロ乗、および部分行列 $ A(n,n-1) $ の非ゼロ行列式が含まれる。
• 行列式 $ A(n,0) $ が非ゼロであることに基づき、写像族 $ (T_p)_{p \in \mathcal{NC}(0,n)} $ の線形独立性を結論づける。

実験結果

リサーチクエスチョン

• RQ1 関手 $ \Psi $ が分割の圏から $ C^* $-圏への写像として単射である条件は何か？
• RQ2 Tutteの行列式アプローチを修正・適応することで、交差しない分割に伴う写像 $ T_p $ の線形独立性を証明できるか？
• RQ3 $ N \geq 4 $ のとき、$ (T_p)_{p \in \mathcal{NC}(0,n)} $ の線形独立性は保証されるか？これにより関連する簡単な量子群の一意性が保証されるか？
• RQ4 行列 $ A(n,0) $ の行列式が非ゼロとなるための明確な組合せ的・代数的条件は何か？

主な発見

• $ N \geq 4 $ のとき、行列 $ A(n,0) $ の行列式は非ゼロであり、これは逆順Beraha多項式の商や非ゼロの $ N $ の累乗を含む非ゼロの項の積として表される。
• 部分行列 $ A(n,n-1) $ の行列式は $ N^{\lceil n/2 \rceil} \neq 0 $ であり、$ \det(A(n,0)) $ の非ゼロ性に寄与する。
• $ n \in \mathbb{N} $ および $ N \geq 4 $ のすべてのケースにおいて、写像族 $ (T_p)_{p \in \mathcal{NC}(0,n)} $ は、$ A(n,0) $ の行列式が非ゼロであることに基づき線形独立である。
• $ N \geq 4 $ のとき、交差しない分割の圏から $ C^* $-圏への関手 $ \Psi $ は単射であり、これにより異なる圏が異なる簡単な量子群を生成することを保証する。
• Tutteの研究の修正版は、線形独立性結果の自己完結的かつ厳密な基礎を提供し、元の定義および証明における誤りを是正している。