[論文レビュー] Analysis on a Homogeneous Space of a Quantum Group

W. Pusz, Piotr M. Sołtan|arXiv (Cornell University)|Sep 26, 2005

Advanced Operator Algebra Research参考文献 13被引用数 4

ひとこと要約

この論文は、量子 'az+b' 群のための同次空間を、可換 C*-代数を用いて古典的空間として構成し、共変微分計算を発展させ、量子フーリエ変換の類似を導入する。主な結果は、この変換が L²(Γ̄) 上のユニタリ作用素に拡張可能であり、古典的フーリエ変換と類似した性質を示し、モジュラー自己同型群を含むスペクトル恒等式を介して、量子版のプランシュレルの定理を満たすことである。

ABSTRACT

A detailed account of the construction of a homogeneous space for the quantum "az+b" group is presented. The homogeneous space is described by a commutative C*-algebra which means that it is a classical space. Then a covariant differential calculus on the homogeneous space is constructed and studied. A covariant measure and an analogue of the exponential function are used to introduce elements of Fourier analysis.

研究の動機と目的

• 非コンパクトな場合においても、定義に合意が得られていない中で、非コンパクトな量子 'az+b' 群のための同次空間を定義し構成すること。
• 埋め込み可能な双加群と滑らかな汎関数を用いて、この同次空間上に共変微分計算を確立すること。
• 共変測度を導入し、指数関数の類似を定義することで、非可換な量子空間上でのフーリエ解析を可能にする。
• 同次空間上に量子フーリエ変換を定義し、そのユニタリ性と共変性を証明すること。
• 量子フーリエ変換がモジュラー自己同型群を含むスペクトル恒等式を満たすことを示し、古典的プランシュレルの定理を一般化すること。

提案手法

• 同次空間は、可換 C*-代数として実現され、具体的には量子群のパrameter空間 Γ̄ の閉包上の連続関数で無限大で消える関数の代数として与えられる。
• 量子群のホップ代数構造を用いた、埋め込み可能な共変双加群を介して共変微分計算が構成される。
• 滑らかな関数は、特定の微分作用素によって消える関数として定義され、稠密な部分代数をなす。
• C*-代数のモジュラー理論を用いて、量子群作用に関して不変である共変測度 μ が Γ̄ 上に導入される。
• 量子フーリエ変換 F は、F_q(ζz) を核関数とする積分作用素として定義される。ここで F_q は指数関数に関連する特殊な q-超幾何関数である。
• フーリエ変換が微分作用素およびモジュラー自己同型と交換することを示し、F*F g_{k,l} = (qσ_{-i})² g_{k,l} というスペクトル恒等式が得られる。

実験結果

リサーチクエスチョン

• RQ1 非コンパクトな量子 'az+b' 群に対して、明確に定義された同次空間を構成できるか。ただし、定義に普遍的な合意がないという状況下で。
• RQ2 このような量子同次空間上に、体系的に共変微分計算を発展させることは可能か。
• RQ3 非可換な設定下で、適切な指数関数の類似とフーリエ変換とは何か。
• RQ4 量子フーリエ変換は、量子群作用に関してユニタリ性と共変性を保つのか。
• RQ5 この文脈において、フーリエ変換とモジュラー自己同型群との間のスペクトル的関係は何か。

主な発見

• 同次空間は可換 C*-代数 C₀(Γ̄) に同型であるため、量子群から生じるにもかかわらず、古典的空間である。
• 量子フーリエ変換 F は L²(Γ̄) 上の閉作用素であり、その随伴 F* は F_q の複素共役を核関数とする積分作用素である。
• F*F は基底関数 g_{k,l} に対して (qσ_{-i})² の乗法的作用を及ぼし、モジュラー自己同型群とのスペクトル的関係を確立する。
• 作用素 q⁻¹F∘σ_{-i} は L²(Γ̄) 上にユニタリ作用素へ拡張可能であり、古典的フーリエ変換のユニタリ性を一般化する。
• フーリエ変換は、q-変形された古典的微分作用素を含む明示的な作用素恒等式を介して、左および右微分作用素と交換する。
• 古典的極限 q→1 において、モジュラー自己同型群は自明になり、フーリエ変換はユニタリとなり、標準的なプランシュレルの定理が回復される。