[論文レビュー] Regularity of invariant distributions

Ulrich Bunke, Martin Olbrich|ArXiv.org|Mar 23, 2001

Spectral Theory in Mathematical Physics参考文献 7被引用数 6

ひとこと要約

本稿は、極限集合上に強く支持される場合に、実双曲空間の境界上における $G$--equivariant ベクトル bundle の $γ$-不変な分布的セクションの Sobolev 正則性に関する鋭い下界を確立する。主な結果は、正則性をバンドルパラメータ $s(V)$、極限集合の Hausdorff 次元、およびカスプランクの観点から定量的に定式化し、このようなセクションがすべて $s < r$ に対して $H^{p,s}$ に属することを示す。ここで $r$ は幾何学的・スペクトル的データから導かれる臨界閾値である。

ABSTRACT

We consider a geometrically finite discrete group of conformal transformations of the sphere. Further we consider distributions which are supported on the limit set and are invariant with conformal weight. We estimate their regularity in terms of the conformal weight, the Hausdorff dimension of the limit set, and the maximal rank of the cusps of the group.

研究の動機と目的

• 幾何的に有限な $γ$ に対して、$∂X \cong S^{n-1}$ 上の $G$-equivariant 複素ベクトル bundle の $γ$-不変な分布的セクションの最小 Sobolev 正則性を特定すること。
• カスプが存在する状況下で、支持が極限集合 $Λ_{γ}$ 上に強く支持されているという、より強い条件の下で、そのようなセクションの正則性を定量化すること。
• すべてのこのようなセクションが $s < r$ に対して Sobolev 空間 $H^{p,s}$ に属するような鋭い閾値 $r$ を確立すること。ここで $r$ はスペクトル的および幾何的不変量を用いて導出される。
• 複素補間と双対性を用いて、cusp form および Eisenstein 級数の理論を、制御された正則性を持つ分布的セクションへと拡張すること。

提案手法

• $V \otimes \Lambda^{s(V)} \cong V^{\sharp} \otimes \Lambda$ を $G$-equivariant バンドルとして定義する関係式により、臨界指数 $s(V)$ を定義する。ここで $V^{\sharp}$ はヒルベルト双対、$\Lambda$ は密度のバンドルである。
• 複素補間と双対性を用いて定義される、$p \in (1,\infty)$、$r \in \mathbb{R}$ の Sobolev スケール $H^{p,r}$ を導入する。$r \in \mathbb{N}_0$ の場合、これは $r$ 階微分の $L^p$-可積分性に対応する。
• スキャッタリング行列と相互作用作用素を用いて、$-\lambda$ における関数族のジェルムを用いて、$B_{\u03b3}(1_\mu,\varphi)$ 内の正則関数族 $(f_\mu)_{\mu}$ をメロモルフィックに構成する。
• 複素補間と双対性を適用し、$H^{p,<r'}$ からの正則性推定を $H^{p,<r_{p,\lambda}(\u03b3)}$ へと拡張する。ここではプランシュレ密度とスキャッタリング作用素 $\hat{J}^{w^{-1}}_{1_{\mu},{\varphi}}$ の作用を活用する。
• 定数項写像と定数項の消滅を用いて、構成された関数族 $f_{-\lambda}$ が cusp form 空間 $S_{\u03b3}(1_{-\lambda},{\varphi})$ に属することを検証し、セクション $\phi$ が cusp form であることを保証する。
• 最終的な正則性閾値 $r = \min(r^0, \text{cusp term})$ を導出する。ここで $r^0 = \left| (n-1)\frac{s(V)-1}{2} + \frac{n-1 - \dim_H(\Lambda_{\u03b3})}{p} \right|$ であり、カスプランクおよび放物型の場合の調整が施される。

実験結果

リサーチクエスチョン

• RQ1 極限集合 $\Lambda_{\u03b3}$ 上に強く支持される $\u03b3$-不変な分布的セクションが、$H^{p,s}$ の最小正則性 $H^{p,s}$ を達成できるのはどの程度か？
• RQ2 正則性閾値はバンドルパラメータ $s(V)$、極限集合の Hausdorff 次元、および $\u03b3$ のカスプ構造にどのように依存するか？
• RQ3 幾何的・スペクトル的データを用いて、cusp form の境界値および Eisenstein 級数の残差の正則性を一様に下から有界化できるか？
• RQ4 幾何的に有限な群の文脈において、スキャッタリング行列と相互作用作用素が Sobolev 正則性をどの程度保存するか？
• RQ5 極限集合に放物型ランクがある場合、または $\u03b3$ が初等的放物型の場合、正則性閾値はどのように変化するか？

主な発見

• 極限集合 $\Lambda_{\u03b3}$ 上に強く支持される $\u03b3$-不変な分布的セクション $\phi$ の正則性は、すべての $s < r$ に対して $H^{p,s}$ に有界であり、$r = \min(r^0, (n-1)s(V) + \frac{n-1}{p} - \max_c \text{rank}(c))$ である。ここで $r^0 = \left| (n-1)\frac{s(V)-1}{2} + \frac{n-1 - \dim_H(\Lambda_{\u03b3})}{p} \right|$ である。
• もし $\u03b3$ が凸コアプトである場合、強く支持されているという条件は、単に $\Lambda_{\u03b3}$ 上に支持されているという条件に簡略化され、正則性閾値もそれに応じて単純化される。
• cusp form の場合、正則性閾値 $r$ はスペクトルパラメータ $\lambda$ の実部、カスプのランク、およびプランシュレ密度の相互作用によって決定され、$\phi \in H^{p,<r_{p,\lambda}(\u03b3)}$ が成り立つ。
• 構成はスキャッタリング行列と相互作用作用素に依存しており、正則性は複素補間と双対性の下で保存され、$\lambda \notin I_{\mathfrak{a}}$ のとき $\phi \in H^{p,<r^0_{p,\lambda}(\u03b3)}$ が保証される。
• 初等的放物型 $\u03b3$ の場合、$r^0$ の公式において $\dim_H(\Lambda_{\u03b3})$ はカスプランクの半分に置き換えられ、これにより異なるスペクトル的挙動が反映される。
• 結果は鋭い：$\phi$ はすべての $s < r$ に対して $H^{p,s}$ に属するが、$H^{p,r}$ に属するとは限らないため、閾値 $r$ は最適である。