[论文解读] The Fourier transform in quantum group theory

Alfons Van Daele|ArXiv.org|Sep 18, 2006

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

一句话总结

本文在具有积分的乘子Hopf代数框架下，提出了傅里叶变换的纯代数表述——推广了阿贝尔群（如圆群和p进数）上的经典傅里叶分析。它建立了傅里叶逆变换、Plancherel公式以及卷积转为点积等关键性质，证明了群型投影的傅里叶变换仍为群型投影，并在p进数情形下通过显式计算得出 $ \hat{h}_n = p^{-n} h_{-n}$。

ABSTRACT

The Fourier transform, known in classical analysis, and generalized in abstract harmonic analysis, can also be considered in the theory of locally compact quantum groups. In this note, I discuss some aspects of this more general Fourier transform. In order to avoid technical difficulties, typical for the analytical approach, I will restrict to the algebraic quantum groups. Roughly speaking, these are the locally compact quantum groups that can be treated with purely algebraic methods (in the framework of multiplier Hopf algebras). I will illustrate various notions and results using not only classical Fourier theory on the circle group $\Bbb T$, but also on the additive group $\Bbb Q_p$ of $p$-adic numbers. It should be observed however that these cases are still too simple to illustrate the full power of the more general theory.

研究动机与目标

• 将经典傅里叶变换推广至非阿贝尔量子群的代数框架。
• 在不涉及分析技术的前提下，为代数量子群中的调和分析建立一个框架。
• 通过具体例子（尤其是p进数加法群）说明理论。
• 通过傅里叶变换建立离散型与紧致型代数量子群之间的对偶性。
• 探讨群型投影及其傅里叶变换在构造新量子群例子中的作用。

提出的方法

• 利用代数与其对偶之间的对偶性，在具有积分的乘子H opf代数上定义傅里叶变换。
• 利用代数及其对偶上的左不变与右不变积分，通过配对关系定义傅里叶变换。
• 将傅里叶变换应用于群型投影，其在完全不连通群情形下对应于紧致开子群。
• 以p进整数 $\mathbb{Z}_p$ 及其子群 $K_n = p^n\mathbb{Z}_p$ 为具体背景，计算特征函数的傅里叶变换。
• 利用 $\mathbb{Q}_p$ 上的哈尔测度结构，推导出 $h_n$（即 $K_n$ 的特征函数）的傅里叶变换的显式公式。
• 通过验证涉及共乘法与积分的代数恒等式，证明群型投影的傅里叶变换仍为群型投影。

实验结果

研究问题

• RQ1 如何在代数设定下将经典傅里叶变换推广至非阿贝尔量子群？
• RQ2 代数傅里叶变换的基本性质（如逆变换、Plancherel公式、卷积转为点积）是什么？
• RQ3 傅里叶变换在群型投影上的行为如何？这对量子群的结构有何启示？
• RQ4 该理论能否通过局部紧且完全不连通的群（如 $\mathbb{Q}_p$）具体说明？
• RQ5 傅里叶变换与离散型与紧致型代数量子群之间的对偶性有何关系？

主要发现

• 在具有积分的乘子H opf代数上，傅里叶变换将代数上的卷积积转化为对偶代数上的点积。
• 傅里叶逆变换公式成立，确保可从傅里叶变换恢复原函数。
• 建立了Plancherel公式，通过积分结构将函数的 $L^2$-范数与傅里叶变换的 $L^2$-范数联系起来。
• 群型投影的傅里叶变换仍为群型投影，保持了代数结构。
• 对于p进数群 $\mathbb{Q}_p$，子群 $K_n = p^n\mathbb{Z}_p$ 的特征函数 $h_n$ 的傅里叶变换被显式计算为 $\hat{h}_n = p^{-n} h_{-n}$，其中 $h_{-n}$ 是 $p^{-n}\mathbb{Z}_p$ 的特征函数。
• 通过傅里叶变换确认了离散型与紧致型代数量子群之间的对偶性，即离散型代数的对偶为紧致型，反之亦然。