[論文レビュー] Paths in quantum Cayley trees and L^2-cohomology

Roland Vergnioux|arXiv (Cornell University)|May 11, 2009

Advanced Operator Algebra Research参考文献 15被引用数 5

ひとこと要約

本稿は、普遍的離散量子群 $\mathcal{A}_o(I_n)$ および $\mathcal{A}_u(I_n)$ に関連する量子ケイリーグラフにおけるパスコサイクルを調査し、$\mathcal{A}_o(I_n)$ のパスコサイクルが自明であることを確立している。これは自由群における非自明なコサイクルとは対照的である。この結果により、すべての $n$ に対して第1 $L^2$-ベッチ数 $\beta_1^{(2)}(\mathcal{A}_o(I_n)) = 0$ が成り立つことが示され、これは古典的な自由群とは異なり、直交量子群を特徴付ける重要なコhomologicalな結果である。

ABSTRACT

We study existence, uniqueness and triviality of path cocycles in the quantum Cayley graph of universal discrete quantum groups. In the orthogonal case we find that the unique path cocycle is trivial, in contrast with the case of free groups where it is proper. In the unitary case it is neither bounded nor proper. From this geometrical result we deduce the vanishing of the first L^2-Betti number of A_o(I_n).

研究の動機と目的

• 普遍的離散量子群 $\mathcal{A}_o(I_n)$ および $\mathcal{A}_u(I_n)$ の量子ケイリーグラフの幾何学的・コホモロジー的性質を調査すること。
• 量子ケイリーツリー構造におけるパスコサイクルの存在、一意性、および自明性を分析すること。
• パスコサイクルの振る舞いが $L^2$-コホモロジーおよび $L^2$-ベッチ数に与える影響を特定すること。
• $\mathcal{A}_o(I_n)$ のコホモロジー的性質を、パスコサイクルが非有界である自由群の性質と対比させること。

提案手法

• 量子群のケイリーグラフにおける原点への幾何的パスを用いて、量子ケイリーツリー上にパスコサイクルを定義する。
• 回転作用素および準古典的部分空間を導入し、ヒルベルト空間の辺の構造を分析する。
• GNS構成と正則表現を用いて、有界および非有界コサイクルを定義・研究する。
• $L^2$-コホモロジーおよび作用素代数の技術を適用し、関連写像の閉包可能性とスペクトル推定を行う。
• 性質RDおよび非ユニモジュラー量子群理論からの手法を適応し、ユニモジュラーでない場合にも結果を拡張する。
• $H^1(\mathcal{A}_o(I_n), H)$ の消失を、重み付き $L^2$-空間におけるノルム推定と閉包論法により証明する。

実験結果

リサーチクエスチョン

• RQ1 量子ケイリーツリーにおける $\mathcal{A}_o(I_n)$ のパスコサイクルは自明であるか？自由群の場合とどのように対比されるか？
• RQ2 $\mathcal{A}_o(I_n)$ におけるパスコサイクルの自明性は、その第1 $L^2$-ベッチ数の消失を意味するか？
• RQ3 $\mathcal{A}_u(I_n)$ におけるパスコサイクルの振る舞いは、$\mathcal{A}_o(I_n)$ とどのように異なり、特に有界性および非有界性の観点から？
• RQ4 幾何学的および解析的技法を用いて、$\mathcal{A}_o(I_n)$ の $L^2$-コホモロジーが消失することを示せるか？
• RQ5 モジュラー作用素およびねじれ作用が、非ユニモジュラー量子群へのコホモロジー的結果の拡張において果たす役割は何か？

主な発見

• $\mathcal{A}_o(I_n)$ のパスコサイクルは自明である。これは、有界かつ恒等的に消えることを意味し、自由群における非自明な非有界コサイクルとは対照的である。
• $\mathcal{A}_o(I_n)$ の第1 $L^2$-ベッチ数は消失する：すべての $n$ に対して $\beta_1^{(2)}(\mathcal{A}_o(I_n)) = 0$ であり、これは $\beta_1^{(2)}(F_n) = n-1$ と明確に対照的である。
• $\mathcal{A}_u(I_n)$ に対しては、パスコサイクルは有界でもなく、非有界でもなく、幾何学的およびコホモロジー的構造が著しく異なる。
• 第1 $L^2$-コホモロジー群 $H^1(\mathcal{A}_o(I_n), H)$ は消失する。これは、稠密に定義された写像 $m_c$ の閉包論法と重み付き $L^2$-空間におけるノルム推定により証明される。
• 非ユニモジュラーの場合 $A_o(Q)$ に対して $Q\bar{Q} \in \mathbb{C}I_n$ が成り立つとき、ねじれ作用を伴う $L^2$-コホモロジー群 $H^1(\mathcal{S}, M)$ は消失し、ユニモジュラー量子群に限らない結果が拡張される。
• 固定ベクトル $\xi_g$ は $m_c$ の閉包の定義域に属し、これにより $H^s_r$ 空間におけるスペクトル的およびノルム的制御を用いてコサイクルの自明性が証明される。