[论文解读] Pseudo-differential operators, heat calculus and index theory of groupoids satisfying the Lauter-Nistor condition

Bing Kwan So|arXiv (Cornell University)|Jun 29, 2010

Advanced Operator Algebra Research参考文献 26被引用 6

一句话总结

本文为满足 Lauter-Nistor 条件的李群胚上的伪微分算子构建了热微分学与指标理论，方法与带边流形平行。它构造了类似于带边边界微分学的扩展微分学，证明了在 Bruhat 球面上算子的弗雷德霍姆性准则，构造了扰动拉普拉斯算子的热核，并通过热核方法建立了重整化的 Atiyah-Singer 指标公式。

ABSTRACT

In this thesis, we study singular pseudo-differential operators defined by groupoids satisfying the Lauter-Nistor condition, by a method parallel to that of manifolds with boundary and edge differential operators. The example of the Bruhat sphere is studied in detail. In particular, we construct an extension to the calculus of uniformly supported pseudo-differential operators that is analogous to the calculus with bounds defined on manifolds with boundary. We derive a Fredholmness criterion for operators on the Bruhat sphere, and prove that their parametrices up to compact operators lie inside the extended calculus; we construct the heat kernel of perturbed Laplacian operators; and prove an Atiyah-Singer type renormalized index formula for perturbed Dirac operators on the Bruhat sphere using the heat kernel method.

研究动机与目标

• 将满足 Lauter-Nistor 条件的群胚上一致支撑伪微分算子的微分学扩展，类比于带边流形上的带边边界微分学。
• 利用扩展微分学，建立在 Bruhat 球面上算子的弗雷德霍姆性准则。
• 在满足 Lauter-Nistor 条件的此类群胚上，构造扰动拉普拉斯算子的热核。
• 通过热核方法，推导出在 Bruhat 球面上扰动狄拉克算子的重整化 Atiyah-Singer 型指标公式。
• 将边缘微分学与带边流形的技巧推广至群胚设定，尤其适用于奇异伪微分算子。

提出的方法

• 将带边流形上的带边边界微分学方法适配至满足 Lauter-Nistor 条件的群胚，构造了一类一致支撑伪微分算子的扩展微分学。
• 利用群胚的向量表示定义向量丛截面上的算子，借助约化核与卷积积结构。
• 应用参数解法构造扰动拉普拉斯算子的热核，推导形式解，并通过横截正则性证明收敛性。
• 利用群胚上的黎曼度量与联络建立热核的横截正则性，证明热核的正则性定理。
• 利用热核的短时间渐近展开分析谱不变量并推导重整化迹。
• 利用 McKean-Singer 公式将热核迹与指标联系起来，导出扰动狄拉克算子的重整化指标公式。

实验结果

研究问题

• RQ1 如何将满足 Lauter-Nistor 条件的群胚上一致支撑伪微分算子的微分学扩展，以类比于带边流形上的带边边界微分学？
• RQ2 在扩展微分学框架下，如何确定在 Bruhat 球面上算子的弗雷德霍姆性准则？
• RQ3 能否在满足 Lauter-Nistor 条件的群胚上构造扰动拉普拉斯算子的热核？
• RQ4 在此群胚设定下，热核的短时间渐近展开具有何种结构？
• RQ5 能否通过热核方法为 Bruhat 球面上的扰动狄拉克算子推导出重整化 Atiyah-Singer 指标公式？

主要发现

• 构造了一类新的、适用于满足 Lauter-Nistor 条件的群胚的一致支撑伪微分算子的扩展微分学，类比于带边流形上的带边边界微分学。
• 证明了在 Bruhat 球面上弗雷德霍姆算子的参数解（模紧算子）位于扩展微分学内，确认其在弗雷德霍姆理论中的充分性。
• 通过参数解法构造了扰动拉普拉斯算子的热核，得到形式解，并通过横截正则性证明了收敛性。
• 横截正则性定理确保热核在横截方向光滑，且在 Bruhat 球面示例中有明确应用。
• 推导出热核的短时间渐近展开，使谱不变量与迹缺陷公式得以分析。
• 通过热核方法与重整化迹，证明了在 Bruhat 球面上扰动狄拉克算子的重整化 Atiyah-Singer 型指标公式。