[論文レビュー] Singular equivariant asymptotics and the moment map II

Pablo Ramacher|ArXiv.org|Jun 12, 2009

Advanced Operator Algebra Research参考文献 15被引用数 3

ひとこと要約

本稿は、特異な群作用が存在する状況下で、モーメント写像を含む振動的積分の漸近展開を、臨界集合の部分的特異点解消を用いて確立する。臨界集合の正則部上の積分として、ヘッセ行列式を含む明確な公式によって、先頭項が与えられ、特異な臨界集合であっても停留位相解析が可能になることを示す。

ABSTRACT

This is the second of a series of papers dealing with the asymptotic behavior of certain integrals occuring in the description of the spectrum of an invariant elliptic operator on a compact Riemannian manifold carrying the action of a compact, connected Lie group of isometries, and in the study of its equivariant cohomology via the moment map.

研究の動機と目的

• 非自由な群作用によってモーメント写像位相関数の臨界集合が特異的になる場合に、停留位相法が破綻する問題に対処すること。
• 等化スペクトル理論に現れる特異な臨界集合を有する振動的積分の漸近展開を計算するための手法を開発すること。
• ユークリッド空間における直交作用に関する先行結果を、コンpakトなリーマン多様体に作用するコンパクトなリー群への一般化すること。
• 臨界集合の特異構造にもかかわらず、漸近展開における剰余項の推定を確立すること。
• 先頭係数が部分的解消の選び方に依存しないことを示し、結果の頑健性を保証すること。

提案手法

• 位相関数 $\psi(\eta,X) = \mathbb{J}(\eta)(X)$ の臨界集合を分析し、$\mathrm{Crit}(\psi) = \{ (\eta,X) : \tilde{X}_\eta = 0 \}$ であることを同定し、これは $\Omega \times \mathfrak{g}$ に一致する。ここで $\Omega = \mathbb{J}^{-1}(0)$ である。
• 特異部分 $\mathrm{Sing}\,\Omega$ の近傍に台を持つ切り捨て関数 $u_\varepsilon$ を導入することで、臨界集合の特異性を部分的に解消し、正則部で一般化停留位相定理を適用可能にする。
• 分割単位を用いて、$u_\varepsilon = 1$ on $\mathrm{Sing}\,\Omega \cap K$ かつ $((\mathrm{Sing}\,\Omega \cap K)_\varepsilon)$ に compact に台を持つ滑らかな切り捨て関数 $u_\varepsilon$ を構成する。
• 振幅 $a(1 - u_\varepsilon)$ を持つ積分 $I_\varepsilon(\mu)$ を分析することで、漸近展開を導出し、$\varepsilon \to 0$ のときの先頭係数の収束を示す。
• 先頭係数 $L_0$ は、正則部 $\mathrm{Reg}\,\mathcal{C}$ 上の積分として表され、$\mathrm{Reg}\,\mathcal{C}$ の法空間に制限されたヘッセ行列式の逆平方根で重み付けられる。
• ルベーグ収束定理およびファトゥの補題を用いて、結果が解消の選び方に依存しないことを証明し、公式が内在的であることを保証する。

実験結果

リサーチクエスチョン

• RQ1 非自由な群作用がコンパクト多様体に作用する場合に生じる特異な臨界集合を有する振動的積分のための漸近展開をどのように導出できるか？
• RQ2 モーメント写像位相関数の臨界集合が特異的である場合に、漸近展開の先頭項の明確な形は何か？
• RQ3 臨界集合が滑らかな多様体でない場合に、停留位相法を一般化できるか？
• RQ4 部分的解消の選択が、漸近展開における先頭係数にどのように影響するか？
• RQ5 得られる先頭係数が解消プロセスに依存せず、一意的であるか、幾何的対象としてwell-definedであるか？

主な発見

• $\mu \to 0^+$ のときの $I(\mu)$ の漸近展開は、$I(\mu) = (2\pi\mu)^\kappa L_0 + O(\mu^{\kappa+1})$ で与えられ、ここで $\kappa$ は臨界集合の正則部の次元である。
• 先頭係数 $L_0$ は積分 $L_0 = \int_{\mathrm{Reg}\,\mathcal{C}} \frac{a(\eta,X)}{\left|\mathrm{Hess}\,\psi(\eta,X)_{N_{(\eta,X)}\mathrm{Reg}\,\mathcal{C}}\right|^{1/2}} \, d(\mathrm{Reg}\,\mathcal{C})(\eta,X)$ として与えられ、これは有限かつ適切に定義されている。
• $L_0$ の式における極限の存在は、切り捨て関数 $u_\varepsilon$ を用いた極限過程によって確立され、$\varepsilon \to 0$ のときの収束を保証する。
• ルベーグ収束定理およびファトゥの補題により、$L_0$ の公式が使用した部分的解消の具体的な選び方に依存しないことが示された。
• 振幅の減衰およびヘッセ行列式の振る舞いのおかげで、全臨界集合 $\mathcal{C}$ が特異的であっても、$\mathrm{Reg}\,\mathcal{C}$ 上の積分は存在し、有限である。
• 本結果は、ユークリッド空間における直交作用に関する先行研究を、コンパクトなリーマン多様体に作用するコンパクトなリー群へのグローバルな設定に一般化する。