[論文レビュー] SG-Lagrangian submanifolds and their parametrization

Sandro Coriasco, René Schulz|arXiv (Cornell University)|Jun 7, 2014

Geometric Analysis and Curvature Flows参考文献 21被引用数 3

ひとこと要約

本稿は、非コンパact空間上の温度付き振動積分の幾何的枠組みを、SG-ラグランジュ部分多様体を導入することによって確立する。SG-ラグランジュ部分多様体とは、コンパクト化された余接束 $\mathbb{B}^d \times \mathbb{B}^d$ の境界およびコーナーに滑らかに延長されるラグランジュ部分多様体である。本稿は、このような部分多様体が $\mathbb{R}^d \times \mathbb{R}^s$ 上の非斉次的で正則な位相関数によるグローバルパラメータ表示を有することを証明し、無限遠における位相関数の同値関係を特徴づける。これにより、古典的フーリエ積分作用素理論が無限遠における特異性を含むように一般化される。

ABSTRACT

We continue our study of tempered oscillatory integrals $I_φ(a)$, here investigating the link with a suitable symplectic structure at infinity, which we describe in detail. We prove adapted versions of the classical theorems, which show that tempered distributions of the type $I_φ(a)$ are indeed linked to suitable Lagrangians extending to infinity, that is, extending up to the boundary and in particular the corners of a compactification of $T^*\mathbb{R}^d$ to $\mathbb{B}^d imes\mathbb{B}^d$. In particular, we show that such Lagrangians can always be parametrized by non-homogeneous, regular phase functions, globally defined on some $\mathbb{R}^d imes\mathbb{R}^s$. We also state how two such phase functions parametrizing the same Lagrangian may be considered equivalent up to infinity.

研究の動機と目的

• 非コンパクト多様体に古典的フーリエ積分作用素理論を、無限遠における特異性を組み込むことで拡張すること。
• コンパクト化された $T^*\mathbb{R}^d$ の境界およびコーナーにまで延長されるラグランジュ部分多様体を定義し、特徴づけること。
• 非斉次的で正則な位相関数を用いた $\mathbb{R}^d \times \mathbb{R}^s$ 上のグローバルパラメータ表示を、このようなラグランジュ部分多様体に確立すること。
• 同じSG-ラグランジュ部分多様体をパラメータ表示する位相関数の間の同値関係を、無限遠までにわたる意味で定義すること。
• 成長性および振動的挙動を示す偏微分方程式のグローバル解析を可能にする、$\mathrm{SG}$-計算における温度付き振動積分の幾何的基盤を提供すること。

提案手法

• コンパクト化された余接束 $\mathbb{B}^d \times \mathbb{B}^d$ 上に、$T^*\mathbb{R}^d \setminus \{0\}$ 上の古典的シンプレクティック形式を拡張する、無限遠におけるシンプレクティック構造を $\mathrm{SG}$-計算を用いて定義する。
• コンパクト化の境界およびコーナーに滑らかに延長される、$\mathcal{W}_{\mathrm{SG}}$ 内の錐的ラグランジュ部分多様体としての $\mathrm{SG}$-ラグランジュ部分多様体の概念を導入する。
• コーナーを持つ多様体上の陰関数定理を適用し、滑らかで正則だが、必ずしも斉次的でない位相関数 $\varphi(x,\theta)$ を用いた、$\mathrm{SG}$-ラグランジュ部分多様体の局所的パラメータ表示を構成する。
• すべての $\mathrm{SG}$-ラグランジュ部分多様体が、$\mathbb{R}^d \times \mathbb{R}^s$ 上に定義された非斉次的で正則な位相関数 $\varphi$ に対して、静的位相集合 $\Lambda_\varphi = \{(x, \nabla_x \varphi(x,\theta)) \mid \nabla_\theta \varphi(x,\theta) = 0\}$ として得られることを示すグローバルパラメータ表示定理を導出する。
• 関連するラグランジュ部分多様体と波面集合を保つ関係を用いて、無限遠までにわたる位相関数の同値関係を定義し、$\mathrm{SG}$-設定における古典的位相同値関係を一般化する。
• コーナーを持つ多様体およびネイツな部分多様体の理論を用い、パラメータ表示に用いる位相関数およびそれに関連するラグランジュ部分多様体が、コンパクト化空間の境界構造を尊重することを保証する。

実験結果

リサーチクエスチョン

• RQ1 古典的ラグランジュ分布およびフーリエ積分作用素理論を、無限遠における特異性を含む非コンパクト多様体にどのように拡張できるか。
• RQ2 コンパクト化された余接束 $\mathbb{B}^d \times \mathbb{B}^d$ の境界およびコーナーにまで延長されるラグランジュ部分多様体の幾何的構造は何か。
• RQ3 このような拡張されたラグランジュ部分多様体は、すべて $\mathbb{R}^d \times \mathbb{R}^s$ 上の非斉次的で正則な位相関数によってグローバルにパラメータ表示可能か。
• RQ4 同じ $\mathrm{SG}$-ラグランジュ部分多様体を生成する二つの位相関数の間の同値関係を定義する条件は何か。
• RQ5 $\mathrm{SG}$-計算が、局所的および無限遠における特異性を符号化する波面集合を自然に提供する方法は何か。

主な発見

• 任意の $\mathrm{SG}$-ラグランジュ部分多様体 $\Lambda \subset \mathbb{B}^d \times \mathbb{B}^d$ は、ある $s \geq d$ に対して、$\mathbb{R}^d \times \mathbb{R}^s$ 上にグローバルに定義された非斉次的で正則な位相関数 $\varphi$ の静的位相集合 $\Lambda_\varphi$ として得られる。
• パラメータ表示はグローバルに有効であり、コンパクト化空間の境界およびコーナー構造を尊重しており、ラグランジュ部分多様体が境界に滑らかに延長されることを保証する。
• 二つの位相関数 $\varphi_1$ と $\varphi_2$ が同じ $\mathrm{SG}$-ラグランジュ部分多様体をパラメータ表示するための必要十分条件は、それらが無限遠で同値であること、すなわちその差が無限遠における特定の漸近的条件を満たすことである。
• 温度付き振動積分 $I_\varphi(a)$ の波面集合は、$\mathrm{SG}$-ラグランジュ部分多様体 $\Lambda_\varphi$ と一致する。これは、ホルンダーアの古典的結果を無限遠における特異性を含むように一般化する。
• 本理論は、ケイリン＝ゴルドン理論における2点関数など、$\mathrm{SG}$-設定におけるリーマン多様体やラグランジュ分布としてのカーネルを持つ作用素の解析のための幾何的基盤を提供する。
• この枠組みにより、フーリエ積分作用素の合成計算のグローバル拡張が非コンパクト設定に可能となり、特異性の伝播が今や無限遠における挙動を含むようになる。