[論文レビュー] Fourier series on compact symmetric spaces

Gestur Ólafsson, Henrik Schlichtkrull|arXiv (Cornell University)|Apr 23, 2008

Advanced Algebra and Geometry参考文献 26被引用数 3

ひとこと要約

本稿は、コンパクトな対称空間 $U/K$ 上の $K$-有限な滑らかな関数に対して、Paley-Wiener型の定理を確立する。この関数のフーリエ係数（ヒルベルト空間 $\mathcal{H} = L^2(K/M)$ 値をとる）が、指数型 $r$ の複素化されたパrameter空間へ正則に拡張可能であることと、関数が半径 $r$ の測地的球内に台を持つことは同値である。この結果は、Kostantの球面主系列理論を用いて $K$-不変関数の場合に還元することで、以前の $K$-不変関数に関する研究を一般化する。

ABSTRACT

The Fourier coefficients F(t) of a function f on a compact symmetric space U/K are given by integration of f against matrix coefficients of irreducible representations of U. The coefficients depend on a spectral parameter t, which determines the representation, and they can be represented by elements F(t) in a common Hilbert space H. We obtain a theorem of Paley-Wiener type which describes the size of the support of f by means of the exponential type of a holomorphic H-valued extension of F, provided f is K-finite and of sufficiently small support. The result was obtained previously for K-invariant functions, to which case we reduce.

研究の動機と目的

• コンパクトな対称空間 $U/K$ 上の $K$-不変関数に対する局所Paley-Wiener定理を、$K$-有限関数へ拡張すること。
• フーリエ係数の正則拡張特性を用いて、$K$-有限な滑らかな関数の台を特徴付けること。
• $K$-有限な滑らかな関数の小規模な台と、指数型 $r$ の正則な $\mathcal{H}$-値関数との間の双対性を確立すること。
• 球面主系列などの表現論的道具を用いて、一般の $K$-有限な場合を、以前に解決済みの $K$-不変な場合に還元すること。

提案手法

• $K$-不変関数の場合のスカラー値係数に代えて、$K$-有限関数のフーリエ係数を表すためにヒルベルト空間 $\mathcal{H} = L^2(K/M)$ を用いる。
• Kostantによる球面主系列の記述を適用し、射影作用素を介して $K$-有限関数を $K$-不変な成分に分解する。
• $K$-不変関数に対する $\mathcal{U}(\mathfrak{g})$-不変微分作用素の作用を分析することで、$K$-有限な問題を $K$-不変な場合に還元する。
• Weyl群の不変性と指数型の推定を活用し、フーリエ変換の正則拡張を用いて、半径 $r$ の測地的球内に台を持つ関数を特徴付ける。
• $K$-型ごとの和を取ることで逆フーリエ変換を構成し、$K$-不変関数の指数型 $r$ に対して作用する作用素 $L(u_i)$ を用い、滑らかさと正しい台を保証する。
• $K$-不変関数に関する[19]の結果を表現論を用いて $K$-有限な設定に拡張し、小規模な $r$ に対して双対性を証明する。

実験結果

リサーチクエスチョン

• RQ1 コンパクトな対称空間上の $K$-不変関数に対するPaley-Wiener定理は、小規模な台を持つ $K$-有限関数へ拡張可能か？
• RQ2 $\mathcal{H}$-値関数としてのフーリエ係数に課される条件は、測地的球内に台を持つ $K$-有限な滑らかな関数を特徴付けるか？
• RQ3 球面主系列などの表現論的道具を用いて、$K$-有限な場合を $K$-不変な場合に還元する方法は何か？
• RQ4 $K$-有限な滑らかな関数の小規模な台と、指数型 $r$ の正則な $\mathcal{H}$-値関数との間で、フーリエ変換が双対写像であるか？
• RQ5 $K$-有限関数の台は、そのフーリエ変換の正則拡張と成長率によって特徴付けられるか？

主な発見

• ある半径 $R > 0$ が存在し、すべての $r < R$ に対して、フーリエ変換が、半径 $r$ の測地的球内に台を持つ $K$-有限な滑らかな関数の空間 $C^\infty_{K,r}(U/K)$ と、指数型 $r$ の正則な $\mathcal{H}$-値関数の空間 $\mathrm{PW}_{K,r}(\mathfrak{a})$ の間で双対写像を誘導する。
• 小規模な台を持つ各 $K$-有限関数は、小規模な台を持つ $K$-不変関数の $\mathcal{U}(\mathfrak{g})$-微分作用素の有限和として表され、係数は $H^*_\delta$ に属する。
• $K$-有限関数のフーリエ変換は、複素化された双対空間 $\mathfrak{a}^*_\mathbb{C}$ へ正則に拡張可能であり、指数型 $r$ の成長条件を満たす。この条件が台の半径を特徴付ける。
• $K$-不変な場合への還元は、Kostantの球面主系列理論を用いて達成され、[19]の $K$-不変関数に関する既知の結果の利用が可能になる。
• 各 $K$-型 $\delta$ に対して、$f$ の $\delta$-成分のフーリエ変換 $\tilde{f}_\delta$ は、指数型 $r$ で正則に拡張可能であり、この条件は $f$ が半径 $r$ の球内に台を持つための必要十分条件である。
• この結果は鋭いものであり、半径 $R$ は $U/K$ の幾何構造に依存しており、$r \geq R$ では同様の双対性は成立しない。