[論文レビュー] The Bounded Spherical Functions on the Cartan motion group

Sigurđur Helgason|arXiv (Cornell University)|Mar 26, 2015

Advanced Algebra and Geometry参考文献 8被引用数 4

ひとこと要約

本稿では、Cartan 動き群 $G_0 = K \ltimes \mathfrak{p}$ 上の有界な球関数を特定し、複素数 $G$ に対して、球関数 $\psi_\lambda$ が有界であるための必要十分条件が $\lambda$ が実数、すなわち $\lambda \in \mathfrak{a}^*$ であることであることを証明している。この結果は、非コンパクト型対称空間における有界性基準を、球関数の調和解析を通じて接空間モデルへと拡張するものである。

ABSTRACT

The Bounded Spherical Functions are determined for a Cartan Motion Group

研究の動機と目的

• 対称空間 $G/K$ の接空間モデルである $G_0 = K \ltimes \mathfrak{p}$ 上の有界な球関数を特定すること。
• 非コンパクト型対称空間に対しては既知であった球関数の有界性基準を、Cartan 動き群へと拡張すること。
• 特に複素数の場合に、球関数 $\psi_\lambda$ が有界となるような $\lambda \in \mathfrak{a}^*_c$ を特徴づける未解決問題を解消すること。
• 有界性が $\lambda$ が実数である場合に限り成立することを、表現論的および漸近解析的手法を用いて確立すること。

提案手法

• 球関数 $\psi_\lambda(Y) = \int_K e^{i\lambda(\mathrm{Ad}(k)Y)} \, dk$ を $\mathfrak{p} \simeq G_0/K$ 上に定義し、$\lambda \in \mathfrak{a}^*_c$ とする。
• $\psi_\lambda$ の $W$-不変性を用いて、分析を $\lambda = \xi + i\eta$ の形に簡略化し、$-A_{\eta} \in \overline{\mathfrak{a}^+}$ かつ $\xi \geq s\xi$ for $s \in V$ を仮定する。
• Harish-Chandra の漸近展開技法を適用し、Weyl 群の陪集合 $V/U$ および $W \setminus V$ に沿った和への分解を行い、指数関数的および多項式的成長を分析する。
• もし $\limsup_{t \to \infty} \left| \sum e^{ik_r t} p_r(t) \right| < \infty$ ならば各 $p_r$ は定数である、という重要な補題を用いて、先頭項の消滅を除外する。
• ${\psi_\lambda}$ の漸近展開における先頭項が $\eta \neq 0$ のとき非ゼロで指数関数的に成長することを示し、これにより無限大に発散することを示す。
• Weyl 群および根系の構造を活用し、$U$ 内の単位元に対する多項式係数が消えないことを証明し、成長の保証を得る。

実験結果

リサーチクエスチョン

• RQ1 どの $\lambda \in \mathfrak{a}^*_c$ に対して、Cartan 動き群 $G_0$ 上の球関数 $\psi_\lambda$ が有界となるか？
• RQ2 非コンパクト型対称空間における球関数の有界性基準は、Cartan 動き群へと拡張可能か？
• RQ3 $\lambda$ の虚部が $\psi_\lambda$ の成長に果たす役割は何か？
• RQ4 完全な Harish-Chandra 展開が得られない場合でも、$\psi_\lambda$ の漸近的挙動は調和解析的手法で解析可能か？
• RQ5 複素数の場合でも、$\psi_\lambda$ の有界性は $\lambda$ が実数であることと同値か？

主な発見

• Cartan 動き群 $G_0$ 上の球関数 $\psi_\lambda$ が有界であるための必要十分条件は $\lambda$ が実数であること、すなわち $\lambda \in \mathfrak{a}^*$ である。
• ${\lambda = \xi + i\eta}$ で $\eta \neq 0$ のとき、${\psi_\lambda}$ は漸近展開における指数関数的成長により無限大に発散する。
• ${\psi_\lambda}$ の漸近展開における先頭項は非ゼロであり、$\pi'(tH_0)$ に比例する。$\lambda$ が複素数のとき、これは消えない多項式である。
• $\psi_\lambda$ の $W$-不変性により、標準的 Weyl 領域への還元が可能であり、$\lambda$ の安定化部分群 $U$ の構造により、単位元に対する多項式係数が非ゼロであることが保証される。
• Harish-Chandra の $L^2$-極限吸収原理および漸近展開技法を用いることで、完全な対称空間の道具が利用できない状況下でも証明が可能となった。
• この結果は、$\psi_\lambda$ の有界性基準が非コンパクト型対称空間の場合と類似していることを確認するが、$C(\rho)$ が原点に置き換えられ、$\lambda \in \mathfrak{a}^*$ となる点が特徴的である。