[論文レビュー] 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

ひとこと要約

本稿は、$K$ がアーベル群である半直積群 $G_\tau = H \ltimes_\tau 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$ はアーベル群である。
• $H$ が $K$ に作用する事から誘導される双対作用 $\hat{\tau}: H \to \mathrm{Aut}(\hat{K})$ を用いて、$\tau$-双対群 $G_{\hat\tau} = H \ltimes_{\hat\tau} \hat{K}$ を定義すること。
• $\tau$-双対群構造に対してポントレヤーギン双対性定理を確立すること。
• $G_\tau$ 上の $\tau$-フーリエ変換を研究し、アフィン群やウェイル＝ハイゼンベルク群などの具体的な群にこのフレームワークを適用すること。
• ユークリッド群およびウェイル＝ハイゼンベルク群に対して、$\tau$-双対群を明示的に計算すること。

提案手法

• $\hat{\tau}: H \to \mathrm{Aut}(\hat{K})$ が $H$ の $K$ への作用から誘導されるものであるとき、$\tau$-双対群 $G_{\hat\tau} = H \ltimes_{\hat\tau} \hat{K}$ を定義する。
• ホモロジズム $\tau: H \to \mathrm{Aut}(K)$ の双対を用いて、$H$ が $\hat{K}$ に作用する自然な作用を定め、ポントレヤーギン双対性と整合性を持つようにする。
• $G_\tau$ とその $\tau$-双対群 $G_{\hat\tau}$ の間に双対性を保証する位相的同型写像を確立し、古典的ポントレヤーギン双対性を一般化する。
• $G_\tau$ 上の $\tau$-フーリエ変換を、$H$ と $\hat{K}$ から誘導される $G_\tau$ の特徴の積分変換として定義する。
• このフレームワークを用いて、ユークリッド群 $\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$-双対群は、$\hat{\mathbb{R}}^n \cong \mathbb{R}^n$ 上の双対作用を伴う $\mathbb{R}^n \rtimes \mathrm{O}(n)$ として特定される。
• ウェイル＝ハイゼンベルク群の $\tau$-双対群は、元の群と同型であることが示され、このフレームワーク下でその自己双対性が反映されている。