[論文レビュー] Sub-Riemannian metrics for quantum Heisenberg manifolds

Nik Weaver|ArXiv.org|Jan 5, 1998

Geometric Analysis and Curvature Flows参考文献 8被引用数 15

ひとこと要約

この論文は、微分作用素と微分形式上の直交射影を用いて、古典的サブリーマン多様体のサブリーマン計量を一般化することで、リエフェルの量子ハイゼンベルク多様体上に非可換サブリーマン計量構造を確立する。得られる計量構造はリーマン幾何学に類似しており、明確に定義されたラプラシアンと熱半群を有する。非可換な設定におけるサブリーマン幾何学が、コンヌーズの枠組みおよびフォンノイマン代数上の微分作用素に基づく代数的・関数解析的手法によって自然に拡張可能であることが示された。

ABSTRACT

Every Heisenberg manifold has a natural "sub-Riemannian" metric with interesting properties. We describe the corresponding noncommutative metric structure for Rieffel's quantum Heisenberg manifolds.

研究の動機と目的

• ハイゼンベルク多様体上の古典的サブリーマン計量構造を、量子ハイゼンベルク多様体の非可換設定へと拡張すること。
• コンヌーズの非可換幾何学のアプローチに整合するように、非有界なフレドホルムモジュールの代わりに抽象的微分作用素を用いて非可換計量構造を定義すること。
• 微分形式上の直交射影を用いることで、非可換設定におけるサブリーマン計量がリーマン計量と類似した構造的性質を保持することを示すこと。
• 量子ハイゼンベルク多様体の滑らかな代数上にラプラシアンを構成し、ソヴィジエの定理を用いて弱-operator位相で連続な熱半群の存在を証明すること。
• von ノイマン代数のGNS表現を、その制限が部分空間 H′ = L²([0,2π]×𝕋×ℤ) 上に単位的同値となるように構成し、計量構造と整合性を保証すること。

提案手法

• C*-代数およびフォンノイマン代数上の抽象的微分作用素を用いて、非可換計量に代わる導出に基づくアプローチを採用した。
• 接バンドル上の古典的構成を一般化し、1-形式の空間の閉部分モジュールへの直交射影を用いてサブリーマン計量を定義した。
• 滑らかな代数 Sᶜ 上に、明示的な微分表現 ΔΦ = Φₓₓ − p²c²x²Φ + 2ipc x Φ_y + Φ_yy を持つラプラシアン ΔΦ = δ₁(δ₁(Φ)) + δ₂(δ₂(Φ)) を定義した。
• 微分作用素 δ₁⊕δ₂ の閉性を用いて、von ノイマン代数 Nₕ 上で完全正規化・正規化・完全有界な弱-operator連続半群 e⁻ᵗΔ を形成することを証明した。
• H = L²(ℝ×𝕋×ℤ) 上でのハイゼンベルク群作用のユニタリ表現を用いて、1パラメータユニタリ群を定義し、その生成子が微分作用素 δ₁ および δ₂ を与えるようにした。
• [0,2π]×𝕋×{0} 上で ξ(x,y,p) = 1 である循環ベクトルを用いてGNS表現を構成し、GNS表現がH′ = L²([0,2π]×𝕋×ℤ) 上への元の表現の制限と単位的同値であることを示した。

実験結果

リサーチクエスチョン

• RQ1 ハイゼンベルク多様体上の古典的サブリーマン計量は、どのようにして量子ハイゼンベルク多様体の非可換設定へと一般化できるか？
• RQ2 非可換設定におけるサブリーマン構造は、リーマン計量の幾何的・解析的性質をどの程度保持するか？
• RQ3 量子ハイゼンベルク多様体の滑らかな代数上に、熱半群を生成する非可換ラプラシアンを定義できるか？
• RQ4 微分作用素およびその閉性は、コンヌーズの枠組みに適合する非可換計量構造を構築する上で果たす役割は何か？
• RQ5 量子ハイゼンベルク多様体のvon ノイマン代数のGNS表現は、L²(ℝ×𝕋×ℤ) 上の元の表現とどのように関係するか？

主な発見

• 量子ハイゼンベルク多様体上のサブリーマン計量は、1-形式の空間の閉部分モジュールへの直交射影を用いて構成され、古典的サブリーマン幾何学の主要な構造的特徴を保持している。
• ラプラシアン ΔΦ = δ₁(δ₁(Φ)) + δ₂(δ₂(Φ)) は滑らかな代数 Sᶜ 上で適切に定義されており、Sᶜ に値をとる。明示的な微分表現には2階微分とpに依存するポテンシャル項が含まれる。
• 熱半群 e⁻ᵗΔ は弱-operator位相で連続であり、von ノイマン代数 Nₕ 上の完全正規化・正規化・完全有界な半群であることが、微分作用素 δ₁⊕δ₂ の閉性により確立された。
• トレース τ に関連するGNS表現は、H′ = L²([0,2π]×𝕋×ℤ) 上への元の表現の制限と単位的同値であり、計量構造が代数的枠組みと整合していることが確認された。
• 微分作用素 δ₁ および δ₂ は、H′ 上で強連続な1パラメータユニタリ群の生成子として現れ、自己共役であるため閉じており、ラプラシアン構成の妥当性を保証している。
• 非可換計量構造は、リーマン幾何学と類似しており、頑健で、外微分が射影との合成として実現されることから、サブリーマン幾何学が非可換微分幾何学に自然に埋め込めることが示された。