[论文解读] Singular equivariant asymptotics and the moment map II

Pablo Ramacher|ArXiv.org|Jun 12, 2009

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

一句话总结

本文通过在临界集上部分解析奇点，建立了在非自由群作用下涉及矩映射的振荡积分的渐近展开。证明了主导项由临界集的正则部分上的积分给出，其精确公式涉及Hessian行列式，即使临界集为奇异时也能实现平稳相位分析。

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.

研究动机与目标

• 解决由于非自由群作用导致矩映射相位函数的临界集奇异时，平稳相位法失效的问题。
• 开发一种计算等变谱理论中出现的具有奇异临界集的振荡积分渐近展开的方法。
• 将欧氏空间中正交作用的先前结果推广到具有紧致李群作用的紧致黎曼流形。
• 即使临界集具有奇异结构，仍建立渐近展开的余项估计。
• 证明主导系数与部分解析的选择无关，确保结果的稳健性。

提出的方法

• 分析相位函数 $\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$，使得 $u_\varepsilon = 1$ 在 $\mathrm{Sing}\,\Omega \cap K$ 上成立，且在 $((\mathrm{Sing}\,\Omega \cap K)_\varepsilon)$ 内紧支集。
• 通过分析带幅值 $a(1 - u_\varepsilon)$ 的积分 $I_\varepsilon(\mu)$ 推导渐近展开，证明当 $\varepsilon \to 0$ 时主导系数收敛。
• 主导系数 $L_0$ 表示为在正则部分 $\mathrm{Reg}\,\mathcal{C}$ 上的积分，其权重为限制在 $\mathrm{Reg}\,\mathcal{C}$ 的法空间上的Hessian行列式的平方根倒数。
• 通过Lebesgue控制收敛定理和Fatou引理证明结果与解析选择无关，确保公式为内在几何对象。

实验结果

研究问题

• RQ1 如何为在紧致流形上非自由群作用下产生的具有奇异临界集的振荡积分推导渐近展开？
• RQ2 当矩映射相位的临界集奇异时，渐近展开的主导项的精确形式是什么？
• RQ3 能否将平稳相位法推广到临界集不是光滑流形的情形？
• RQ4 部分解析的选择如何影响渐近展开中的主导系数？
• RQ5 所得主导系数是否与解析过程无关，从而确保其为定义良好的几何对象？

主要发现

• 当 $\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)$，该积分有限且定义良好。
• 通过涉及截断函数 $u_\varepsilon$ 的极限过程，确立了 $L_0$ 表达式中极限的存在性，确保当 $\varepsilon \to 0$ 时收敛。
• 通过Lebesgue收敛定理和Fatou引理证明 $L_0$ 的公式与所用特定部分解析无关。
• 即使完整临界集 $\mathcal{C}$ 为奇异，$\mathrm{Reg}\,\mathcal{C}$ 上的积分仍存在且有限，这是由于幅值的衰减和Hessian行列式的性质所致。
• 该结果将先前关于欧氏空间中正交作用的工作推广到具有紧致李群作用的紧致黎曼流形的全局情形。