[论文解读] Fourier transform on locally compact quantum groups

Byung-Jay Kahng|ArXiv.org|Aug 22, 2007

Advanced Operator Algebra Research参考文献 11被引用 11

一句话总结

本文利用哈尔权和乘子霍普夫代数框架，在局部紧量子群上引入广义傅里叶变换及其逆变换，扩展了经典调和分析。它建立了傅里叶反演定理、普朗歇尔定理和卷积积的量子类比，同时通过傅里叶变换和哈尔权对对偶配对提供了新颖的刻画。

ABSTRACT

The notion of Fourier transform is among the more important tools in analysis, which has been generalized in abstract harmonic analysis to the level of abelian locally compact groups. The aim of this paper is to further generalize the Fourier transform: Motivated by some recent works by Van Daele in the multiplier Hopf algebra framework, and by using the Haar weights, we define here the (generalized) Fourier transform and the inverse Fourier transform, at the level of locally compact quantum groups. We will then consider the analogues of the Fourier inversion theorem, Plancherel theorem, and the convolution product. Along the way, we also obtain an alternative description of the dual pairing map between a quantum group and its dual.

研究动机与目标

• 将经典傅里叶变换推广至局部紧量子群的框架，其中对偶性非平凡，且由于希尔伯特空间同构，变换‘隐藏’。
• 在算子代数层面定义可操作的傅里叶变换与逆傅里叶变换概念，克服先前框架的局限性。
• 建立基本结果的量子类比：傅里叶反演、普朗歇尔定理和卷积积。
• 通过傅里叶变换和哈尔权，提供量子群与其对偶之间对偶配对的另一种简化描述。

提出的方法

• 采用冯诺依曼代数框架处理局部紧量子群，依赖正规、半有限、忠实（n.s.f.）权和乘法单位性算子。
• 通过哈尔权对量子群及其对偶元素的作用定义广义傅里叶变换。
• 应用广义庞特里亚金对偶性，关联量子群与其对偶，确保对偶对象的自对偶性。
• 推导逆傅里叶变换并证明其与正向变换的复合结果为恒等算子，从而确立量子傅里叶反演定理。
• 利用傅里叶变换将量子群及其对偶的稠密子代数之间的对偶配对表达为哈尔权与内积的形式。
• 应用由傅里叶变换导出的卷积积公式，表明其在阿贝尔情形下与经典卷积一致。

实验结果

研究问题

• RQ1 尽管群与其对偶之间存在希尔伯特空间同构，如何在局部紧量子群上合理定义傅里叶变换？
• RQ2 在局部紧量子群框架下，可建立哪些经典傅里叶反演与普朗歇尔定理的量子类比？
• RQ3 能否通过傅里叶变换与哈尔权重述量子群与其对偶之间的对偶配对？
• RQ4 在此广义框架下，量子群上的卷积积如何与傅里叶变换关联？
• RQ5 乘法单位性与反演映射在该语境下定义傅里叶变换时起何作用？

主要发现

• 广义傅里叶变换满足量子傅里叶反演定理：在正向变换后应用逆变换可恢复原始元素。
• 普朗歇尔定理成立的形式为：函数 $a$ 的 $L^2$-范数等于其傅里叶变换的 $L^2$-范数，即 $\|a\|_2^2 = \hat{\varphi}(\mathcal{F}(\pi_a)^*\mathcal{F}(\pi_a))$。
• 两个函数 $a, c \in C_c(G)$ 的卷积积为 $(a \ast c)(y) = \int a(x)c(x^{-1}y)\,dx$，与经典公式一致。
• 对于对偶空间中的算子 $L_b, L_d$，卷积积满足 $(b \ast d)(x) = b(x)d(x)$，反映出对偶图像中的逐点乘法。
• 对偶配对 $\pi_a$ 与 $L_b$ 的刻画为 $\langle L_b \mid \pi_a \rangle = \int a(x)b(x)\,dx$，通过傅里叶变换与哈尔权提供了新的简化表达式。
• 对 $L_b$ 的逆傅里叶变换被识别为 $\pi_b$，表明该变换在 $C_c(G)$ 中的函数上作用平凡，从而解释了在标准量子群框架中傅里叶变换的‘隐藏’性质。