[論文レビュー] Periodic Integral Transforms and C*-algebras

Samuel Walters|arXiv (Cornell University)|Jan 24, 2004

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

ひとこと要約

本稿は、2次位相カーネル $ e(2\mu tx - \mu x^2) $ を通じて定義される一パラメータ族の積分変換、六次変換 $ H $ を導入する。この変換は $ L^2(\mathbb{R}) $ 上のユニタリ作用素として拡張可能であり、周期6をもつ。主な結果は $ H^6 = I $ であり、$ H^3f(t) = f(-t) $ が成り立つ。この変換は、回転C*-代数 $ A_\theta $ に関連する代数的構造から自然に生じ、$ 6_\theta $ および $ 3_\theta $ のクローズド積の有限生成射影モジュールを生み出し、それぞれの $ K_0 $-クラスのトレースとして $ \theta/6 $ および $ \theta/3 $ が得られる。

ABSTRACT

We construct canonical integral transforms, analogous to the Fourier transform, that have periods six and three. The existence of such transforms is shown to arise naturally from the expectation that the Schwartz space on the real line, viewed as the Heisenberg module of Rieffel and Connes over the rotation C*-algebra, should extend to a module action over the crossed product of the latter by the canonical automorphisms of orders three and six (which does in fact happen and is shown here).

研究の動機と目的

• 周期3および6を持つ積分変換のクラスを構築し、フーリエ変換の周期4の性質を一般化する。
• 2次位相カーネルを用いて定義される六次変換 $ H $ が $ H^6 = I $ および $ H^3f(t) = f(-t) $ を満たし、$ L^2(\mathbb{R}) $ 上のユニタリ作用素に拡張されることを確立する。
• これらの変換をC*-代数的構造、特にクローズド積 $ 6_\theta = A_\theta \rtimes_\rho \mathbb{Z}_6 $ と結びつけ、シュワーツ空間 $ \mathcal{S}(\mathbb{R}) $ が $ 6_\theta^\infty $ 上の有限生成射影モジュールとして実現されることを示す。
• 六次および三次数モジュールに関連する $ K_0 $-クラスの標準トレースを計算し、$ \tau_*([\mathcal{M}_6]) = \theta/6 $ および $ \tau_*([\mathcal{M}_3]) = \theta/3 $ を得る。
• 非可換な畳み込みの類似物の可能性を検討し、変換を高次元または局所コンパクトなアーベル群へ拡張する。

提案手法

• 六次変換 $ H $ は $ (Hf)(t) = i^{1/6}\sqrt{2\mu} \int_{-\infty}^{\infty} f(x) e(2\mu tx - \mu x^2) \, dx $ として定義され、ガウス重みとフーリエ型カーネルを組み合わせる。
• 恒等式 $ \int_{-\infty}^{\infty} e(Ax) e^{-\pi b x^2} dx = \frac{1}{\sqrt{b}} e^{-\pi A^2 / b} $ を用いて $ H^3f(t) = f(-t) $ を検証し、$ H $ の周期性およびユニタリ性を確立する。
• 変換 $ H $ は平行移動と変調作用素を交換する：$ T_x H = H E_x $ および $ E_x H T_x = e(-\frac{1}{2}x^2) T_x H $ であり、フーリエ変換の標準的性質を模倣する。
• リエッフェルの滑らかなヘイゼンベルクモジュール理論を用い、$ W $ の作用を通じてシュワーツ空間 $ \mathcal{S}(\mathbb{R}) $ に右 $ 6_\theta^\infty $-モジュール構造を導入する。これは積分核 $ K(x,t) = i^{1/6} e(tx - \frac{1}{2}x^2) $ として実現される。
• 群作用の対称化を用いた内積の定義により、$ 6_\theta^\infty $ および $ 3_\theta^\infty $ 上の有限生成かつ射影的モジュールが保証される。
• 標準トレースは、$ A_\theta^\infty $ 上のトレースとモジュール構造に基づき、公式 $ \tau_*([\mathcal{M}_6]) = \theta/6 $、$ \tau_*([\mathcal{M}_3]) = \theta/3 $ を用いて計算される。

実験結果

リサーチクエスチョン

• RQ1 フーリエ変換のカーネルに2次位相項を加えることで、周期3または6のユニタリ積分変換を構成できるか？
• RQ2 カーネル $ e(2\mu tx - \mu x^2) $ を用いて定義される六次変換 $ H $ がなぜ $ H^6 = I $ を満たすのか、またフーリエ変換の周期4の性質とはどのように関係するのか？
• RQ3 パrameter $ \mu $ の役割は何か？なぜ $ \mu = \frac{1}{2} $ が変換に関して不変性を示す「理想」のケースとされるのか？
• RQ4 $ \mathcal{S}(\mathbb{R}) $ をクローズド積 $ 6_\theta^\infty = A_\theta \rtimes_\rho \mathbb{Z}_6 $ 上の有限生成射影モジュールとして構成するにはどうすればよいのか？その結果得られる $ K_0 $-クラスは何か？
• RQ5 フーリエ変換の畳み込み性質に類似し、$ \mathcal{S}(\mathbb{R}) $ 上に非可換な畳み込み的積 $ \# $ が存在し、$ H(f \# g) = H(f) H(g) $ を満たす可能性はあるか？

主な発見

• 六次変換 $ H $ は $ (Hf)(t) = i^{1/6}\sqrt{2\mu} \int_{-\infty}^{\infty} f(x) e(2\mu tx - \mu x^2) \, dx $ として定義され、$ H^6 = I $ を満たし、$ L^2(\mathbb{R}) $ 上の周期6のユニタリ作用素として成立する。
• 特に $ H^3f(t) = f(-t) $ であり、三次数変換 $ H^2 $ は $ (H^2f)(t) = \frac{\sqrt{2\mu}}{i^{1/6}} e(\mu t^2) \int_{-\infty}^{\infty} f(x) e(2\mu tx) \, dx $ で与えられ、逆変換は $ H^{-1} = H^5 $ である。
• 逆六次変換は明示的に $ (H^{-1}f)(t) = \frac{\sqrt{2\mu}}{i^{1/6}} e(\mu t^2) \int_{-\infty}^{\infty} f(x) e(-2\mu tx) \, dx $ として与えられ、ユニタリ性が確認される。
• 回転C*-代数 $ A\_\theta $ 上の位数6の自己同型 $ \rho $ の作用において、シュワーツ空間 $ \mathcal{S}(\mathbb{R}) $ は $ 6_\theta^\infty $ 上の有限生成射影的右モジュール $ \mathcal{M}_6 $ として実現される。
• モジュール $ \mathcal{M}_6 $ の $ K_0 $-クラスの標準トレースは $ \tau_*([\mathcal{M}_6]) = \theta/6 $ であり、三次数モジュール $ \mathcal{M}_3 $ については $ \tau_*([\mathcal{M}_3]) = \theta/3 $ である。これは対称化された内積を用いて計算される。
• フーリエ変換と同様に、六次および三次数変換は $ 6_\theta^\infty $ および $ 3_\theta^\infty $ 上の標準的滑らかなモジュールを生じ、明示的な単射 $ \mathbb{Z}^{10} \to K_0(6_\theta) $ および $ \mathbb{Z}^8 \to K_0(3_\theta) $ を持つ。これらの写像は、$ \theta $ についての $ G_\delta $ 稠密集合において同型であると予想される。