[論文レビュー] Metrics On The Quantum Heisenberg Manifold

Partha Sarathi Chakraborty|ArXiv.org|Dec 30, 2001

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

ひとこと要約

本稿では、滑らかな関数の稠密な*-部分代数上で、より強い*-代数ノルム ‖·‖∞,∞,1 を導入することにより、量子ヒルベルト多様体（QHM）からコンパクトな量子メトリック空間（CQMS）を構築する。ヒルベルト群の混合作用と、リー代数の微分から導かれるリップシッツノルムを用いて、得られた構造がCQMSの公理を満たすことを証明し、有界なリップシッツ半ノルムと有限な直径（≤6）を持つ非可換メトリック幾何学的枠組みを確立する。

ABSTRACT

Compact quantum metric spaces are order unit spaces along with a Lip norm. On the order unit space of the selfadjoint elements of the dense subalgebra of smooth elements in the quantum Heisenberg manifold we construct Lip norms.

研究の動機と目的

• 量子ヒルベルト多様体（QHM）—古典的ヒルベルト多様体の非可換類似—に対して、リエッフェルのコンパクトな量子メトリック空間（CQMS）の枠組みを拡張すること。
• ウェーバーのQHMからCQMSを構成しようとした試みにおけるギャップを埋めるために、C*-位相における収束を保証するより強いノルムを導入すること。
• ヒルベルト群の混合作用とリー代数の微分から導かれるリップシッツノルムを用いて、QHM上に非可換メトリック構造を確立すること。
• 得られた構造が、有限な直径と有界列の収束を含む、コンパクトな量子メトリック空間の公理を満たすことを証明すること。

提案手法

• 滑らかな関数の空間 Sᶜ 上で、p ∈ ℤ に対する φ(x,y,p) の ℝ×𝕋 上の上界ノルムの和として定義される、より強い*-代数ノルム ‖·‖∞,∞,1 を導入する。
• ヒルベルト群 G = ℝ³ の滑らかな関数 Sᶜ 上の混合作用を用いて、QHM代数上の力学系を定義する。
• δ_i がリー代数生成子 X₁, X₂, X₃ に対応する微分であるとき、リップシッツノルム L(φ) = ∑_{i=1}^3 ‖δ_i(φ)‖∞,∞,1 を定義する。
• アーティン＝アスコリの定理を適用して、‖·‖∞,∞,1 ノルムにおいて収束する部分列を抽出し、C*-ノルムにおける相対的コンパクト性を保証する。
• U(1)部分群（t方向）における平均化を用いて、関数を p=0 成分に射影し、トレースとノルムの差の制御を可能にする。
• 任意の代数上の状態 μ,ν に対して、Monge–Ampère 距離 ρ_L(μ,ν) ≤ 6 が成り立つことを示し、状態空間の有限な直径を確立する。

実験結果

リサーチクエスチョン

• RQ1 ヒルベルト群の作用と適切なノルムを用いて、量子ヒルベルト多様体上にコンパクトな量子メトリック空間の構造を構築できるか？
• RQ2 滑らかな部分代数上でのより強い*-代数ノルム ‖·‖∞,∞,1 が、CQMS に求められるC*-ノルムにおける相対的コンパクト性を保証するか？
• RQ3 リー代数の微分から導かれるリップシッツ半ノルムが有限かつ非退化を保証する分離性を満たすか？
• RQ4 リップシッツノルムによって誘導されるMonge–Ampère距離の下での状態空間の直径は何か？
• RQ5 ヒルベルト群の混合作用を用いて、関数のノルムとその平行移動のノルムを制御し、状態間の距離を有界化できるか？

主な発見

• ノルム ‖·‖∞,∞,1 は滑らかな関数 Sᶜ 上で適切に定義された*-代数ノルムであり、C*-ノルムよりも強いものであり、C*-位相における収束を保証する。
• リップシッツ半ノルム L(φ) = ∑_{i=1}^3 ‖δ_i(φ)‖∞,∞,1 は有限であり、定数倍の単位元以外では消えることはなく、分離性を満たす。
• リップシッツノルムおよびC*-ノルムの単位球内の任意の有界列は、C*-ノルムにおいて収束する部分列を含み、相対的コンパクト性が証明される。
• 任意の2つの状態 μ, ν 間のMonge–Ampère距離 ρ_L(μ,ν) ≤ 6 が成り立ち、状態空間の有限な直径が確立される。
• 構成された構造は、アーチメデスの性質と順序単位構造を含む、コンパクトな量子メトリック空間のすべての公理を満たす。
• 結果として得られる構造 ((A,I),L) は、量子ヒルベルト多様体の非可換メトリック幾何学的枠組みを提供するコンパクトな量子メトリック空間である。