[論文レビュー] Quantum symmetries and quantum isometries of compact metric spaces

Debashish Goswami|arXiv (Cornell University)|Nov 2, 2008

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

ひとこと要約

本稿では、忠実なヘア測度を持つコンパクトな量子群がコンパクトな距離空間に忠実に作用する場合、その群はKac代数であることが示され、その反転作用素は有界であり、κ² = id を満たす。本稿では、コンパクトな距離空間への量子等距作用の一般化された概念を導入し、特に有限空間や不変距離を持つコンパクトなLie群を含む特定のクラスの距離空間に対して、普遍的な量子等距群の存在を証明する。

ABSTRACT

We prove that a compact quantum group with faithful Haar state which has a faithful action on a compact space must be a Kac algebra, with bounded antipode and the square of the antipode being identity. The main tool in proving this is the theory of ergodic quantum group action on $C^*$ algebras. Using the above fact, we also formulate a definition of isometric action of a compact quantum group on a compact metric space, generalizing the definition given by Banica for finite metric spaces, and prove for certain special class of metric spaces the existence of the universal object in the category of those compact quantum groups which act isometrically and are `bigger' than the classical isometry group.

研究の動機と目的

• コンパクトな距離空間に忠実に作用するコンパクトな量子群の構造を特徴づけること、特にその代数的性質に関する必要条件を同定すること。
• バニカの有限距離空間に対する量子等距群の定義を、任意のコンパクトな距離空間へ一般化すること。
• 特定のクラスのコンパクトな距離空間（有限空間や不変距離を備えたコンパクトなLie群を含む）に等距的に作用する普遍的なコンパクトな量子群の存在を証明すること。
• 距離空間に熱核が距離関数の単射関数として表される場合、そのような普遍的な量子等距群が存在することを確立すること。
• 標準的距離を備えたn次元トーラス𝕋ⁿに対して、量子等距群が古典的等距群C(ISO(𝕋ⁿ))と一致することを示すこと。

提案手法

• C*-代数へのエルゴディックな量子群作用の理論を用いて、コンパクトな距離空間に作用するコンパクトな量子群の構造を分析する。
• Kac代数のモジュラー理論と1パラメータ族の乗法的汎関数f_zを適用し、忠実な作用がヘア測度がトレース的であることを示し、したがって量子群がKac代数であることを導く。
• 熱核から導かれる正の作用素Tを用いた新しいコンパクトな距離空間への量子等距作用の定義を導入し、バニカの有限空間定義を一般化する。
• L²(μ)上の作用の直交補空間と関連するユニタリ表現を考察することで、等距的に作用するコンパクトな量子群の圏における普遍対象を構成する。
• 等距条件における作用素Tとして熱半群T_tを用い、その固有値的性質と距離dとの関係を活用する。
• 熱核kが距離関数の単射関数であるならば、任意のt > 0に対してT = T_tが距離構造を保存する量子群作用を生成することを用いる。

実験結果

リサーチクエスチョン

• RQ1 コンパクトな距離空間に忠実に作用するコンパクトな量子群が、その量子群に課す代数的制約は何か？
• RQ2 有限距離空間から任意のコンパクトな距離空間へ、量子等距の概念をどのように一般化できるか？
• RQ3 与えられたコンパクトな距離空間に等距的に作用する普遍的なコンパクトな量子群が存在する条件は何か？
• RQ4 コンパクトな距離空間の量子等距群が、いつ古典的等距群と一致するか？
• RQ5 熱核は、リーマン多様体および同次空間への量子等距作用を特徴づける際に、果たす役割は何か？

主な発見

• ヘア測度が忠実なコンパクトな量子群がコンパクトな距離空間に忠実に作用する場合、その群はKac代数であり、反転作用素は有界で、κ² = id を満たす。
• 熱核が距離関数の単射関数であるコンパクトな距離空間に対して、普遍的な量子等距群の存在が確立される。これには有限距離空間や不変距離を備えたコンパクトなLie群が含まれる。
• 標準的距離を備えたn次元トーラス𝕋ⁿに対して、普遍的な量子等距群QISO(𝕋ⁿ, d)は、古典的等距群の連続関数代数C(ISO(𝕋ⁿ))と同型である。
• 普遍対象の構成は、L²(μ)上のユニタリ表現の直交補空間と、作用素Tと作用との間の混合条件に依存する。
• 等距条件における作用素Tは、熱核が距離関数の単射関数である限り、任意のt > 0に対してT_tとしてとることができる。
• 証明では、作用がL²(μ)上のユニタリ表現に拡張され、Tと可換であることが示され、これが、このような作用の圏における普遍的な量子群の存在を導く。