[論文レビュー] A groupoid approach to pseudodifferential operators

Erik van Erp, Robert Yuncken|arXiv (Cornell University)|Nov 2, 2015

Mathematical Analysis and Transform Methods参考文献 18被引用数 12

ひとこと要約

本稿では、接バンドル群ガロアとその $\mathbb{R}^{\times}_+$-作用を用いて、古典的擬微分作用素の座標に依存しない幾何的特徴付けを導入する。$M\times M$ 上の適切に台を持つ半正則な分布が、古典的擬微分作用素であるための必要十分条件は、その接バンドル群ガロアへの拡張が、スケーリング作用に関して次数 $m$ の斉次性をもち、滑らかであることであり、これによりフィルター付き多様体上の擬微分計算、特にハイゼンベルク計算を統一的に扱う枠組みが得られる。

ABSTRACT

We give an algebraic/geometric characterization of the classical pseudodifferential operators on a smooth manifold in terms of the tangent groupoid and its natural $\mathbb{R}^ imes_+$-action. Specifically, we show that a properly supported semiregular distribution on $M imes M$ is the Schwartz kernel of a classical pseudodifferential operator if and only if it extends to a smooth family of distributions on the range fibres of the tangent groupoid which is homogeneous for the $\mathbb{R}^ imes_+$-action modulo smooth functions. Moreover, we show that the basic properties of pseudodifferential operators can be proven directly from this characterization. Finally, we show that with the appropriate generalization of the tangent bundle, the same definition applies without change to define pseudodifferential calculi on arbitrary filtered manifolds, in particular the Heisenberg calculus.

研究の動機と目的

• 接バンドル群ガロアとその $\mathbb{R}^{\times}_+$-作用を用いて、古典的擬微分作用素の幾何的・座標に依存しない特徴付けを提供すること。
• この特徴付けを一般化し、ハイゼンベルク計算を含むフィルター付き多様体上の擬微分計算を、明示的な記号や核クラスの定義なしに定義すること。
• 擬微分作用素の基本的性質が、この幾何的定義から直接導かれるようにすること。
• 群ガロア論的メソッドを用いて、さまざまな幾何的設定における擬微分作用素の取り扱いを統一すること。

提案手法

• 作用素とその主記号を結合する幾何的モデルとして、接バンドル群ガロア $\mathbb{T}M = (TM \times \{0\}) \sqcup (M \times M \times \mathbb{R}^{\times})$ を用いる。
• 擬微分作用素のシュワーツ核とそのコシンボリック核を拡張する、$\mathbb{T}M$ の範囲ファイバー上に滑らかな分布族 $\mathbb{P}$ を定義する。
• $\mathbb{T}M$ 上での $\mathbb{R}^{\times}_+$-作用 $\alpha_\lambda$ に関して、次数 $m$ の斉次性を課す。ここで $\alpha_\lambda(x,y,t) = (x,y,\lambda^{-1}t)$ および $\alpha_\lambda(x,\xi,0) = (x,\delta_\lambda\xi,0)$ である。
• このような斉次かつ滑らかな分布族 $\mathbb{P}$ から得られる $\mathbb{T}M$ 上の制限 $P = \mathbb{P}|_{t=1}$ が、古典的擬微分作用素であると特徴付ける。
• フィルター付き多様体への一般化には、リー群ガロア $G$ 及びその関連階層バンドル $\mathfrak{a}_H G$ に関連するアバディエンス群ガロア $\mathbb{A}_H G$ を用いる。
• 局所指数座標における群ガロアの畳み込み代数とフーリエ解析を用いて、減衰推定および波面集合の条件を導出し、代数 $\Psi_H^\bullet(G)$ 内での適切な畳み込み積と逆元構成が保証されることを示す。

実験結果

リサーチクエスチョン

• RQ1 古典的擬微分作用素は、接バンドル群ガロアとそのスケーリング作用を用いて、純粋に幾何学的に特徴付け可能か？
• RQ2 この特徴付けは、ハイゼンベルク計算に由来するようなフィルター付き多様体上の擬微分計算へ自然に拡張可能か？
• RQ3 擬微分作用素の基本的性質—合成、逆元の存在、記号計算—は、この幾何的定義から直接導けるか？
• RQ4 拡張された核の $\mathbb{R}^{\times}_+$-作用に関する斉次性が、記号の完全な漸近展開をどのように符号化しているか？
• RQ5 アバディエンス群ガロアとその関連畳み込み代数は、非自明なフィルター構造を持つ構造における擬微分作用素の定義において、果たす役割は何か？

主な発見

• $M \times M$ 上の適切に台を持つ半正則な分布が、次数 $m$ の古典的擬微分作用素のシュワーツ核であるための必要十分条件は、その接バンドル群ガロアへの拡張が、滑らかな分布族であり、滑らかな関数を modulo として $\mathbb{R}^{\times}_+$-作用に関して次数 $m$ の斉次性をもつことである。
• 擬微分作用素の基本的性質—合成や逆元の存在—は、明示的な記号計算を用いずに、この幾何的特徴付けから直接導出可能である。
• 同じ定義を、アバディエンス群ガロア $\mathbb{A}_H G$ を通じて任意のフィルター付き多様体にそのまま適用することで、ハイゼンベルク計算やその一般化を定義する擬微分計算が得られる。
• 拡張された核 $\mathbb{P}$ の波面集合は単位空間にコノーマルであり、適切な正則性を保証し、代数 $\Psi_H^\bullet(G)$ 内での適切な畳み込み積の定義を可能にする。
• 主コシンボリック写像 $\sigma_m: \Psi_H^m(G) \to \Sigma_H^m(G)$ は適切に定義されており、短完全列に含まれる。ここで $\Psi_H^{-\infty}(G)$ は群ガロアの滑らかな畳み込み代数として同定される。
• 主記号 $\sigma_m(P)$ が $\Sigma_H^\bullet(G)$ 内に畳み込み逆元をもつならば、$P$ は $Q \in \Psi_H^{-m}(G)$ を持ち、$PQ - I, QP - I \in \Psi_H^{-\infty}(G)$ を満たす。