[論文レビュー] The Classical Hankel Transform In The Kirillov Model

Ehud Moshe Baruch|arXiv (Cornell University)|Oct 25, 2010

Advanced Algebra and Geometry参考文献 13被引用数 6

ひとこと要約

本稿は、表現論的アイデアとハンケル変換を自己双対的演算子に写すインタウィニング作用素を用いて、$\text{Re}(\nu) > -1$ を満たす複素数 $\nu$ に対するハンケル変換の逆公式の新しい、初等的な証明を提供する。この手法により、$SL(2,\mathbb{R})$ 及び $GL(2,\mathbb{R})$ の離散系列表現のキリロフモデルが完全に記述され、滑らかで急速に減衰し、原点付近で制御された挙動を示す関数として滑らかなベクトルが明示的に特定される。

ABSTRACT

We give a new and simple proof of the Hankel inversion formula for the classical Hankel transform which holds for a complex order with real part greater than -1. Using the proof of this formula we obtain the full description of the Kirillov model for discrete series representations of SL(2,R) and GL(2,R).

研究の動機と目的

• 複素数 $\nu$ に対して $\text{Re}(\nu) > -1$ を満たすハンケル変換の逆公式を、単純で表現論的な方法で証明すること。これは、従来の結果が実数 $\nu$ に限られていたのを拡張する。
• 離散系列表現のキリロフモデルにおける滑らかなベクトルを、ハンケル変換フレームワークを用いて記述すること。
• 滑らかな関数の空間が急速に減衰し、原点付近で制御された挙動を示すことを特定することにより、キリロフモデルにおける離散系列表現の明示的実現を構成すること。
• 離散系列のキリロフモデルが、$\mathbb{R}^\pm$ 上のシュワーツ型空間にそれぞれ同型である二つの $SL(2,\mathbb{R})$-不変な部分空間の直和に同型であることを確立すること。
• Whittaker関数と誘導表現の関数のフーリエ変換を関連付ける写像を用いて正規化されたキリロフモデルを定義し、ユニタリかつ既約な実現を得ること。

提案手法

• 区間 $[0,\infty)$ 上で滑らかで急速に減衰する関数のシュワーツ空間 $S_\nu([0,\infty))$ を導入し、これがハンケル変換 $\mathcal{H}_\nu$ に関して不変であることを示す。
• ハンケル変換を $S_\nu([0,\infty))$ 上で作用する演算子 $T_\nu$ に写すインタウィニング作用素を定義する。ここで $T_\nu$ は $L^2(\mathbb{R}, dx/|x|)$ 上で作用し、$T_\nu \phi(x) = |x|^{-\nu-1} e^{\text{sgn}(x)\pi i(\nu+1)/2} \phi(-1/x)$ で与えられる。
• $T_\nu$ が自己双対的（すなわち $T_\nu^2 = \text{Id}$）であることを示し、これによりインタウィニング性質を介してハンケル変換が $S_\nu([0,\infty))$ 上で自己双対的であることが従う。
• 整数 $\nu = d > 0$ の場合、$SL(2,\mathbb{R})$ 内のウェイル要素の作用が演算子 $T_d$ として特定され、表現論的作用とハンケル変換が結びつく。
• 写像 $M_{\chi_1,\chi_2}(\phi)(y) = |y|^{(d+1)/2} \text{sgn}(y)^{m_2} \hat{\phi}(y)$ を用いてキリロフモデルを構成し、誘導表現を $\mathbb{R} \setminus \{0\}$ 上の滑らかな関数の空間に写す。この空間では、スケーリング後に原点で滑らかさが保証される。
• $L^2(\mathbb{R}, dx/|x|)$ 上にユニタリ表現 $R_{\chi_1,\chi_2}$ を定義し、移動、スケーリング、ウェイル要素の作用を $j_d(xy)$ を含む積分変換で明示的に与え、滑らかなベクトルが空間 $\mathcal{K}_{\chi_1,\chi_2}$ を形成することを示す。

実験結果

リサーチクエスチョン

• RQ1 複素数 $\nu$ に対して $\text{Re}(\nu) > -1$ を満たすハンケル変換の逆公式を、単純で表現論的な方法で証明できるか？
• RQ2 離散系列表現のキリロフモデルが、明示的な関数空間の観点から $SL(2,\mathbb{R})$ 及び $GL(2,\mathbb{R})$ に対して完全に記述できるか？
• RQ3 キリロフモデルにおける滑らかなベクトルの正確な構造は何か？また、$\mathbb{R}^\pm$ 上のシュワーツ型関数とどのように関係しているか？
• RQ4 ハンケル変換を $L^2(\mathbb{R}, dx/|x|)$ 上の自己双対的演算子に写すインタウィニング作用素は、キリロフモデルの構成をどのように支援するか？
• RQ5 Whittaker関数実現と写像 $M_{\chi_1,\chi_2}$ を通じて正規化されたキリロフモデルとの関係は何か？

主な発見

• $\text{Re}(\nu) > -1$ を満たす $\nu$ 階のハンケル変換は、シュワーツ空間 $S_\nu([0,\infty))$ 上で自己双対的であり、これはインタウィニング作用素によってハンケル変換を自己双対的演算子に共役する方法により証明される。
• 離散系列表現のキリロフモデルにおける滑らかなベクトルは、関数 $f: \mathbb{R} \setminus \{0\} \to \mathbb{C}$ であって、$f$ 及びそのすべての導関数が $\pm\infty$ で急速に減衰し、$g(x) = |x|^{(d+1)/2} f(x)$ が $x=0$ で滑らかであるものに正確に一致する。
• $\mathcal{K}_d$ と表されるこのような関数の空間は、二つの $SL(2,\mathbb{R})$-不変な部分空間の直和に分解される：$\mathcal{K}_d^+ = \{ f \in \mathcal{K}_d \mid f(x) = 0 \text{ for } x < 0 \}$ 及び $\mathcal{K}_d^- = \{ f \in \mathcal{K}_d \mid f(x) = 0 \text{ for } x > 0 \}$。各々は $\mathbb{R}^\pm$ 上のシュワーツ空間に同型である。
• 正規化されたキリロフモデル $\mathcal{K}_{\chi_1,\chi_2}$ は、$L^2(\mathbb{R}, dx/|x|)$ 上のユニタリ表現 $R_{\chi_1,\chi_2}$ の滑らかなベクトル空間に同型であり、この表現は既約かつ強く連続的である。
• キリロフモデルにおけるウェイル要素の作用は、積分変換 $\left(R_{\chi_1,\chi_2}\begin{pmatrix}0&-1\\ 1&0\end{pmatrix}f\right)(y) = \text{sgn}(y)^{m_2 + d + 1} \int_{-\infty}^{\infty} f(x) j_d(xy) \frac{dx}{|x|}$ として実現される。ここで $j_d(x)$ はベッセル型のカーネルである。
• 誘導表現 $\text{Ind}(\chi_1, \chi_2)$ から $\mathcal{K}_{\chi_1,\chi_2}$ への写像 $F \mapsto M_{\chi_1,\chi_2}(\phi_F)$ は同型であり、このモデルは関係式 $W_F\left(\begin{smallmatrix}|y|^{1/2}\text{sgn}(y)&0\\ 0&|y|^{-1/2}\end{smallmatrix}\right) = \omega(|y|^{1/2}) W_F\left(\begin{smallmatrix}y&0\\ 0&1\end{smallmatrix}\right)$ を通じてWhittaker関数実現と同倣である。