[论文解读] Volterra calculus, local equivariant family index theorem and equivariant eta forms

Yong Wang|arXiv (Cornell University)|Apr 27, 2013

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

一句话总结

本文利用格赖纳的热核渐近展开与伏尔泰拉微分伪微分演算，提供了局部等变族指标定理及等变 eta 形式正则性的新证明。通过迹估计与算子共轭技术，计算了等变族 JLO 字符，并确立了等变 eta 形式的良定义性与正则性。

ABSTRACT

In this paper, we give proofs of the family index formula and the equivariant family index formula by the Greiner's approach to heat kernel asymptotics. We compute equivariant family JLO characters. We also define the equivariant eta form and give a proof of its regularity.

研究动机与目标

• 使用庞杰的方法与格赖纳的热核渐近展开，为狄拉克算子族的局部指标定理提供新证明。
• 通过格赖纳的热核渐近展开方法，为局部等变族指标定理建立新证明。
• 利用吴的方法与超连接形式化，显式计算等变族 JLO 字符。
• 定义等变 eta 形式，并通过迹估计与格拉斯曼变量的算子共轭技术，证明其正则性。
• 将阿蒂亚-帕多尔-辛格与比斯马克-弗里德的结果推广至等变族情形，将指标理论扩展至纤维丛上的群作用。

提出的方法

• 利用格赖纳的热核渐近展开方法，推导局部指标定理，无需依赖热方程解。
• 应用伏尔泰拉伪微分演算计算热核展开，避免复杂的坐标变换。
• 采用缩放算子 $ h = 1 + \frac{1}{2}dt\sum x_i e_i $ 的共轭技术，分析 eta 形式渐近行为。
• 使用杜哈梅尔原理将 $ \widetilde{\phi}(D + \frac{c(T)}{4})e^{-tF} $ 的迹与扰动算子关联，实现渐近控制。
• 应用迹 $ {\rm Tr}^{\rm even} $ 消去奇数次形式，聚焦于 eta 形式中偶数维贡献。
• 结合比斯马克的超连接形式化与西蒙的典范序演算，将族 JLO 字符表示为陈根与基底微分形式的函数。

实验结果

研究问题

• RQ1 能否在不依赖概率方法或有限传播速度方法的前提下，利用格赖纳的热核渐近展开证明局部等变族指标定理？
• RQ2 在纤维丛上群作用存在的情况下，如何显式计算等变族 JLO 字符？
• RQ3 当 $ t \to 0^+ $ 与 $ t \to \infty $ 时，等变 eta 形式的渐近行为如何？其是否收敛于光滑微分形式？
• RQ4 在带边流形上群作用下，等变 eta 形式是否正则（光滑且良定义）？
• RQ5 能否通过伏尔泰拉演算与算子共轭技术证明等变 eta 形式的正则性，而避免使用坐标变换技术？

主要发现

• 等变 eta 形式 $ \widehat{\eta}(\phi) $ 良定义且正则，其渐近衰减为 $ t \to \infty $ 时的 $ O(t^{-3/2}) $ 与 $ t \to 0^+ $ 时的 $ O(t^{1/2}) $。
• 通过吴的双变字符形式化与超连接，显式计算了等变族 JLO 字符，得到关于基底微分形式与陈根的表达式。
• 通过与 $ h $ 的共轭证明了等变 eta 形式的正则性，该共轭将算子 $ F + dt(D + \frac{c(T)}{4}) $ 变为 $ F + dt u $，其中 $ O_G(u) \leq 0 $，从而实现迹的控制。
• 该方法避免了在法坐标与柱坐标之间进行变换，相较于先前方法简化了分析。
• 迹 $ {\rm Tr}^{\rm even} $ 消除了奇数次形式，确保了 eta 形式在族参数下闭合且光滑。
• 该结果将阿蒂亚-帕多尔-辛格指标定理推广至等变族情形，其中等变 eta 形式作为非交换几何中的拓扑不变量。