[论文解读] The eta invariant and equivariant index of transversally elliptic operators

Jochen Brüning, Franz W. Kamber+1 more|arXiv (Cornell University)|May 20, 2010

Advanced Operator Algebra Research参考文献 38被引用 10

一句话总结

该论文通过结合奇异层的爆破积分与相关椭圆算子的 eta 不变量，建立了一个关于 G-流形上横截椭圆算子的等变指标重数的公式。其主要贡献是一个通用的指标公式，解决了长期以来关于黎曼叶状结构上狄拉克算子的基本指标计算问题。

ABSTRACT

We prove a formula for the multiplicities of the index of an equivariant transversally elliptic operator on a $G$-manifold. The formula is a sum of integrals over blowups of the strata of the group action and also involves eta invariants of associated elliptic operators. Among the applications, we obtain an index formula for basic Dirac operators on Riemannian foliations, a problem that was open for many years.

研究动机与目标

• 推导出紧致 G-流形上横截椭圆算子的等变指标重数的一般公式。
• 解决长期以来关于黎曼叶状结构上狄拉克算子的基本指标计算的开放性问题。
• 通过引入 eta 不变量与通过爆破实现的几何去奇异化，统一等变指标理论的研究。
• 将阿蒂亚-辛格指标理论扩展至具有无限维表示的横截椭圆情形。
• 为在具有非平凡稳定子类型群作用下计算谱不变量提供一个框架。

提出的方法

• 使用 G-流形中奇异层的爆破来消除奇点，并将指标贡献局部化。
• 应用等变热核及其渐近展开以计算超迹与指标贡献。
• 采用热核分解公式，将不同稳定子类型轨道附近的贡献分解。
• 构建精细的同调类型与标准稳定子 G-丛，以分析截面的表示论分解。
• 引入奇异层上相关椭圆算子的 eta 不变量，以校正边界与奇异贡献。
• 利用广义球谐函数与球面上的特征值分析，计算指标公式的谱数据。

实验结果

研究问题

• RQ1 在存在奇异轨道的情况下，如何计算横截椭圆算子的等变指标重数？
• RQ2 eta 不变量在 G-流形中奇异层的指标公式校正中起什么作用？
• RQ3 能否利用等变指标理论推导出黎曼叶状结构上狄拉克算子基本指标的统一公式？
• RQ4 层的爆破与度量修改如何影响等变指标的计算？
• RQ5 谱不变量（如 eta 不变量）在算子的等变同伦下在多大程度上保持稳定？

主要发现

• 本文建立了一个通用的指标公式，将横截椭圆算子核中每个不可约表示的重数表示为对奇异层爆破的积分之和以及 eta 不变量的贡献之和。
• 该公式解决了黎曼叶状结构上狄拉克算子基本指标计算的开放性问题，首次在该设定下建立了通用的指标定理。
• 算子 $ Q^{S+, ho} $ 在球面上的特征值被证明是离散且对称的，其重数由 $ \nu_{-j}^{\rho} = \nu_{j+k-1}^{\rho} = \text{sum of } h_m^{\rho} \text{ with alternating signs} $ 确定，从而导出一个通用的谱公式。
• 诱导算子在球面上的 eta 不变量在算子的连续、等变形变下保持不变，确保了谱不变量的稳定性。
• 在球面上限制的 m 次齐次多项式空间分解为 $ Q^{S+, ho} $ 的特征子空间，其特征值为 $ -m $ 与 $ m+k-2 $，且该分解在 $ L^2 $ 中正交。
• m 次调和多项式中 $ \rho $-同调类型分量的维数由 $ h_m^{\rho} = d_m^{\rho} - d_{m-2}^{\rho} $ 给出（当 $ m \neq 1,2 $ 时），而当 $ m=1,2 $ 时 $ h_m^{\rho} = d_m^{\rho} $，其中 $ d_m^{\rho} $ 为 m 次多项式中 $ \rho $-同调类型分量的维数。