[論文レビュー] Homological properties of quantum permutation algebras

Julien Bichon, Uwe Franz+1 more|arXiv (Cornell University)|Apr 3, 2017

Algebraic structures and combinatorial models参考文献 30被引用数 9

ひとこと要約

本稿は、$n \geq 4$ のとき、王の量子置換代数 $A_s(n)$ が次元3のカラビ＝ヤウ的であることを確立し、ホッジ・コhomologyが0および3を除いてすべて0であることを示している。さらに、有限グラフに付随する量子置換代数を含む広範なクラスの量子置換代数に対して、自明係数の第二ホッジ・コhomology群が消えることを証明しており、これは量子確率論におけるAC性質を意味する。これにより、すべてのコサイクルがシューマン三重に拡張可能である。

ABSTRACT

We show that $A_s(n)$, the coordinate algebra of Wang's quantum permutation group, is Calabi-Yau of dimension $3$ when $n\geq 4$, and compute its Hochschild cohomology with trivial coefficients. We also show that, for a larger class of quantum permutation algebras, including those representing quantum symmetry groups of finite graphs, the second Hochschild cohomology group with trivial coefficients vanishes, and hence these algebras have the AC property considered in quantum probability: all cocycles can be completed to a Schürmann triple.

研究の動機と目的

• 王の量子置換代数 $A_s(n)$ のホモロジー的性質、特にホッジ・コhomologyおよびカラビ＝ヤウ構造を特定すること。
• $n \geq 4$ のとき $A_s(n)$ が次元3のカラビ＝ヤウ的であることを確立し、既知のコhomological次元に関する結果を拡張すること。
• 有限グラフの量子対称性群に付随する代数を含む広範なクラスの量子置換代数に対して、第二ホッジ・コhomology群の消滅を一般化すること。
• これらの代数が量子確率論におけるAC性質を満たすことを証明し、すべてのコサイクルがシューマン三重に拡張可能であることを保証すること。
• 次元 $\geq 4$ の有限次元半単純正規化可能測度付き代数の量子対称性代数のホモロジー的特徴づけを提供すること。

提案手法

• ねじれカイラビ＝ヤウ代数のホップ部分代数がカイラビ＝ヤウ性質を保つための新規基準（定理3.1）を用いる。
• ビホンによる $A_s(n)$ の最近の研究および余モジュール圏とコhomologyに関する結果を応用する。
• モロジンスキーおよび王＝ユー＝チャンの量子置換代数の構造とその表現に関する主要な結果を活用する。
• 正規化されたホッジ・2-コサイクル $c$ を用いて、$\rho_c: A \to T_3(A)$ という表現を構成し、生成元を $c(u_{ij} \otimes -)$ と $\lambda_{ij} = -c(u_{ii} \otimes u_{ij})$ を含む上三角行列に写像する。
• コサイクル恒等式および正規化条件を用いて、行列成分が $A_s(n)$ の定義関係を満たすことを検証し、$\rho_c$ が適切に定義された代数準同型であることを保証する。
• 補題5.4を適用し、このような表現が存在し $C(a) = c(a \otimes -)$ であるならば、$c$ はコバウンダリーであることを示し、$H^2(A, \mathbb{C}) = 0$ を証明する。

実験結果

リサーチクエスチョン

• RQ1 $n \geq 4$ のとき $A_s(n)$ は次元3のカイラビ＝ヤウ的であるか？ また、自明係数のホッジ・コhomologyはどのように振る舞うか？
• RQ2 有限グラフに付随する量子置換代数に対して、第二ホッジ・コhomology群 $H^2(A, \mathbb{C})$ は消えるか？
• RQ3 量子置換代数上のすべてのホッジ・2-コサイクルは、シューマン三重に拡張可能か？ これはAC性質を意味する。
• RQ4 ねじれカイラビ＝ヤウ代数のホップ部分代数が、カイラビ＝ヤウ性質をどのように継承するか？
• RQ5 次元 $\geq 4$ の有限次元半単純正規化可能測度付き代数の量子対称性代数のホモロジー的構造はどのようなものか？

主な発見

• $n \geq 4$ のとき、代数 $A_s(n)$ は次元3のカイラビ＝ヤウ的であり、ホッジ・コhomology $H^p(A_s(n), \mathbb{C}) \simeq \mathbb{C}$ が $p = 0,3$ のときであり、それ以外では0である。
• 第二ホッジ・コhomology群 $H^2(A_s(n), \mathbb{C})$ は消え、$A_s(n)$ が量子確率論におけるAC性質を満たすことを確認している。
• $H^2(A, \mathbb{C})$ の消滅は、有限グラフの量子対称性群を表す代数を含む広範なクラスの量子置換代数に拡張可能である。
• 任意のこのような代数 $A$ に対して、すべての正規化されたホッジ・2-コサイクル $c$ はコバウンダリーである。これは、$T_3(A)$ への表現 $\rho_c$ の構成により示された。
• 表現 $\rho_c$ は、$u_{ij}$ を $c(u_{ij} \otimes -)$ と $\lambda_{ij} = -c(u_{ii} \otimes u_{ij})$ を含む $3 \times 3$ 上三角行列に写像することで定義され、この構成は代数的関係を保つ。
• 証明は、コサイクル恒等式および正規化条件を用いて、行列成分が置換行列の関係を満たすことを検証することに依拠し、最終的に $c$ がコバウンダリーであることを示している。