[论文解读] A new approach to the Fourier analysis on semi-direct products of groups

Arash Ghaani Farashahi|arXiv (Cornell University)|Jan 5, 2012

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

一句话总结

本文提出了一种针对半直积群 $G_\tau = H \ltimes_\tau K$ 的新型傅里叶分析框架，其中 $K$ 为阿贝尔群，定义了 $\tau$-对偶群 $G_{\hat\tau} = H \ltimes_{\hat\tau} \hat{K}$，并证明了该结构下的庞特里亚金对偶定理。该方法使得 $\tau$-傅里叶变换的显式计算成为可能，并将其应用于仿射群、欧几里得群以及外尔-海森伯群。

ABSTRACT

Let $H$ and $K$ be locally compact groups and also $τ:H o Aut(K)$ be a continuous homomorphism and $G_τ=H\ltimes_τK$ be the semi-direct product of $H$ and $K$ with respect to the continuous homomorphism $τ$. This paper presents a novel approach to the Fourier analysis of $G_τ$, when $K$ is abelian. We define the $τ$-dual group $G_{\hatτ}$ of $G_τ$ as the semi-direct product $H\ltimes_{\hatτ}\hat{K}$, where $\hatτ:H o Aut(\hat{K})$ defined via ( ef{A}). We prove a Ponterjagin duality Theorem and also we study $τ$-Fourier transforms on $G_τ$. As a concrete application we show that how these techniques apply for the affine group and also we compute the $τ$-dual group of Euclidean groups and the Weyl-Heisenberg groups.

研究动机与目标

• 开发一种针对半直积群 $G_\tau = H \ltimes_\tau K$ 的新型傅里叶分析方法，其中 $K$ 为阿贝尔群。
• 通过 $\hat{\tau}$ 在庞特里亚金对偶 $\hat{K}$ 上的作用，定义 $\tau$-对偶群 $G_{\hat\tau} = H \ltimes_{\hat\tau} \hat{K}$。
• 为 $\tau$-对偶群结构建立庞特里亚金对偶定理。
• 研究 $G_\tau$ 上的 $\tau$-傅里叶变换，并将该框架应用于仿射群和外尔-海森伯群等具体群。
• 显式计算欧几里得群和外尔-海森伯群的 $\tau$-对偶群。

提出的方法

• 定义 $\tau$-对偶群 $G_{\hat\tau} = H \ltimes_{\hat\tau} \hat{K}$，其中 $\hat{\tau}: H \to \mathrm{Aut}(\hat{K})$ 是由 $H$ 在 $K$ 上的作用诱导的。
• 利用 $H$ 通过同态 $\tau: H \to \mathrm{Aut}(K)$ 的对偶作用在 $\hat{K}$ 上，确保与庞特里亚金对偶性兼容。
• 在 $G_\tau$ 与其 $\tau$-对偶群 $G_{\hat\tau}$ 之间建立对偶同构，推广经典庞特里亚金对偶性。
• 将 $L^1(G_\tau)$ 上的 $\tau$-傅里叶变换定义为在 $G_\tau$ 上的积分变换，其核为由 $H$ 和 $\hat{K}$ 导出的特征标。
• 将该框架应用于计算欧几里得群 $\mathbb{R}^n \rtimes \mathrm{O}(n)$ 和外尔-海森伯群的 $\tau$-对偶群。
• 验证 $\tau$-对偶群构造在已知情形（如仿射群）下可恢复已知的对偶结构。

实验结果

研究问题

• RQ1 当 $K$ 为阿贝尔群时，如何将傅里叶分析推广至半直积群 $G_\tau = H \ltimes_\tau K$？
• RQ2 在非阿贝尔情形下，为 $G_\tau$ 定义何种对偶群可保持对偶性质？
• RQ3 能否为 $\tau$-对偶群 $G_{\hat\tau} = H \ltimes_{\hat\tau} \hat{K}$ 建立类似庞特里亚金的对偶定理？
• RQ4 $\tau$-傅里叶变换在 $G_\tau$ 上的行为如何？其逆变换与普朗歇尔性质为何？
• RQ5 欧几里得群与外尔-海森伯群的 $\tau$-对偶群的显式形式为何？

主要发现

• 当 $K$ 为阿贝尔群时，$\tau$-对偶群 $G_{\hat\tau} = H \ltimes_{\hat\tau} \hat{K}$ 是良好定义的，并为 $G_\tau = H \ltimes_\tau K$ 提供了一个自然的对偶对象。
• 对于 $\tau$-对偶群，广义的庞特里亚金对偶定理成立，建立了 $G_\tau$ 与双对偶群 $G_{\hat\tau}^{\hat{}}$ 之间的拓扑同构。
• $G_\tau$ 上的 $\tau$-傅里叶变换通过使用由 $H$ 和 $\hat{K}$ 导出的特征标，在 $G_\tau$ 上进行积分定义，扩展了经典傅里叶理论。
• 对于仿射群 $\mathbb{R} \rtimes \mathbb{R}^\times$，$\tau$-对偶群被显式计算，并显示与已知调和分析结果一致。
• 欧几里得群 $\mathbb{R}^n \rtimes \mathrm{O}(n)$ 的 $\tau$-对偶群被识别为 $\mathbb{R}^n \rtimes \mathrm{O}(n)$，其对偶作用在 $\hat{\mathbb{R}}^n \cong \mathbb{R}^n$ 上。
• 外尔-海森伯群的 $\tau$-对偶群被证明同构于原群，反映了其在此框架下的自对偶性质。