[論文レビュー] A Note on Maass-Jacobi Forms

Jae-Hyun Yang|ArXiv.org|Dec 14, 2006

Advanced Algebra and Geometry参考文献 11被引用数 5

ひとこと要約

本稿では、半単純リー群 $G = SL(2,\mathbb{R}) \ltimes \mathbb{R}^{(1,2)}$ による同次空間 $\mathbb{H} \times \mathbb{C} \cong G/K$ 上の滑らかな自己同型関数として、Maass-ヤコビ形式を導入する。主な貢献は、$\Gamma = SL_{2,1}(\mathbb{Z})$ による不変性と $G$-不変ラプラシアン＝ベルトラミー作用素の固有関数としての特徴付けであり、$L^2(\Gamma \backslash G)$ のスペクトル分解とフーリエ展開の解析を含む。

ABSTRACT

In this paper, we introduce the notion of Maass-Jacobi forms and investigate some properties of these new automorphic forms. We also characterize these automorphic forms in several ways.

研究の動機と目的

• ヤコビ型変換を組み込んだ一般化されたMaass波形式の新しいクラスを定義し、研究すること。
• Maass-ヤコビ形式を $G$ や $S\mathcal{P}_2 \times \mathbb{R}^{(1,2)}$ 上の滑らかで特定の不変性を満たす関数として定義すること。
• $G$-不変微分作用素の代数を計算し、$\mathbb{H} \times \mathbb{C}$ 上に $G$-不変リーマン計量を構成することで、ラプラシアン＝ベルトラミー作用素を導出すること。
• $G = SL(2,\mathbb{R}) \ltimes \mathbb{R}^{(1,2)}$ のユニタリ双対を解析し、$L^2(\Gamma \backslash G)$ を既約成分に分解すること。
• Maass-ヤコビ形式のフーリエ展開を調査し、フーリエ係数に付随する微分方程式を導出すること。

提案手法

• 乗法法則 (1.1) を持つ半直積群 $G = SL(2,\mathbb{R}) \ltimes \mathbb{R}^{(1,2)}$ を定義し、$\mathbb{H} \times \mathbb{C}$ 上への作用 (1.2) を用いて、$SL(2,\mathbb{R})$ が推移的に作用することを示す。
• $Iwasawa$ 分解と $SL(2,\mathbb{R})$ 上の座標 $x, y, \theta$ を用いて、$\mathbb{H} \times \mathbb{C}$ 上に $G$-不変リーマン計量を構成し、そのラプラシアン＝ベルトラミー作用素 $\Delta$ を計算する。
• 滑らかで有界な関数 $f: G \to \mathbb{C}$ としてMaass-ヤコビ形式を定義し、$\gamma \in \Gamma$, $k \in K$ に対して $f(\gamma g k) = f(g)$ を満たし、固有値 $\lambda = \frac{1 - s^2}{4}$ を持つ $\Delta$ の固有関数であると仮定する。
• $\mathbb{H} \times \mathbb{C} \cong G/K$ の同一視を用いて、(2.1) の作用により、対称空間 $S\mathcal{P}_2 \times \mathbb{R}^{(1,2)}$ 上の自己同型形式を定義する。
• $G$ のユニタリ双対を解析し、ラプラシアンのスペクトル理論を用いて $L^2(\Gamma \backslash G)$ を分解する。これにより、ヤコビ群 $G^J = SL(2,\mathbb{R}) \ltimes H_{{\mathbb{R}}}^{(1,1)}$ を用いた $L^2(\Gamma^J \backslash G^J)$ の分解と関連付ける。
• Maass-ヤコビ形式のフーリエ展開を導出し、フーリエ係数が特定の固有値に対して $K$-変換関数を含む2階偏微分方程式 (6.4) を満たすことを示す。

実験結果

リサーチクエスチョン

• RQ1 半直積群の文脈において、ヤコビ型変換を含むMaass波形式をどのように一般化できるか？
• RQ2 $\mathbb{H} \times \mathbb{C}$ 上の $G$-不変微分作用素の代数の構造は何か？ それに対応するラプラシアン＝ベルトラミー作用素は何か？
• RQ3 Maass-ヤコビ形式は、$\Gamma = SL_{2,1}(\mathbb{Z})$ の作用の下で、$G$ や $S\mathcal{P}_2 \times \mathbb{R}^{(1,2)}$ 上の自己同型関数としてどのように特徴付けられるか？
• RQ4 $L^2(\Gamma \backslash G)$ のスペクトル分解は何か？ そして、$G$ のユニタリ双対とどのように関係するか？
• RQ5 Maass-ヤコビ形式のフーリエ展開の形は何か？ そのフーリエ係数が満たす微分方程式は何か？

主な発見

• Maass-ヤコビ形式は、$G$ 上の滑らかで有界な関数として定義され、$\Gamma = SL_{2,1}(\mathbb{Z})$ に対して不変であり、固有値 $\lambda = \frac{1 - s^2}{4}$ を持つラプラシアン＝ベルトラミー作用素 $\Delta$ の固有関数である。
• ラプラシアン＝ベルトラミー作用素は、$SL(2,\mathbb{R})$-不変計量から導かれる。その形は $\Delta = y^2 \left( \frac{\partial^2}{\partial x^2} + \frac{\partial^2}{\partial y^2} \right) - y \frac{\partial^2}{\partial x \partial \theta} + \frac{5}{4} \frac{\partial^2}{\partial \theta^2}$ である。
• $L^2(\Gamma \backslash G)$ は、離散系列表現 $\mathcal{H}_{m,n}$ と連続系列 $\mathcal{H}_{m,s,\nu}$ の直和に分解され、ヤコビ群 $G^J$ を用いた $L^2(\Gamma^J \backslash G^J)$ の分解と類似している。
• Maass-ヤコビ形式のフーリエ係数 $c_{n,r}(y,v)$ は、$a = 2\pi n$, $b = 2\pi r$ を用いた偏微分方程式 $\left[y^2 \frac{\partial^2}{\partial y^2} + (y + v^2) \frac{\partial^2}{\partial v^2} + 2yv \frac{\partial^2}{\partial y \partial v} - \{(ay + bv)^2 + b^2 y + \lambda\} \right] F = 0$ を満たす。
• 固有値 $\lambda = s(s-1)$ の場合、解 $F(y,v)$ には $y^{1/2} K_{s-1/2}(2\pi |n| y)$ に比例する項が含まれ、この形式がベッセル関数と関連していることが示される。
• Maass-ヤコビ形式の空間は、$L^2(\Gamma \backslash G)$ の $K$-固定ベクトルに同型であり、したがって $L^2(\Gamma \backslash G)$ のスペクトル分解をそのままで継承する。