[论文解读] Cyclic actions and elliptic genera

Anand Dessai|ArXiv.org|Apr 26, 2001

Advanced Operator Algebra Research参考文献 18被引用 4

一句话总结

本文将 Hirzebruch 和 Slodowy 关于椭圆亏格的消去定理从对合推广到自旋流形上的任意循环群作用。利用等变椭圆亏格的刚性与 Lefschetz 不动点公式，证明了当不动点集的余维数足够大时，扭曲 Dirac 算子的指标消失，从而得到 Â-尖点处椭圆亏格极点阶数的上界。关键结果扩展了对具有对称性的正曲率度量的障碍理论。

ABSTRACT

Let $M$ be a $Spin$-manifold with $S^1$-action and let $σ\in S^1$ be of finite order. We show that the indices of certain twisted Dirac operators vanish if the action of $σ$ has sufficiently large fixed point codimension. These indices occur in the Fourier expansion of the elliptic genus of $M$ in one of its cusps. As a by-product we obtain a new proof of a theorem of Hirzebruch and Slodowy on involutions.

研究动机与目标

• 将 Hirzebruch 和 Slodowy 关于椭圆亏格的消去定理从对合推广到自旋流形上任意有限阶循环群作用。
• 建立基于不动点集余维数的扭曲 Dirac 算子指标消失的条件。
• 基于上同调消去条件，推导椭圆亏格在 Â-尖点处极点阶数的上界。
• 作为特例，为 Hirzebruch-Slodowy 对合定理提供新的证明。
• 支持对自旋流形上具有对称性的正曲率度量的障碍理论。

提出的方法

• 利用等变椭圆亏格的刚性定理，该定理保证傅里叶展开中的系数为 S¹ 的常特征标。
• 应用 Lefschetz 不动点公式，将群元素 σ 处的等变扭曲示性数表示为不动点集 M^σ 的连通分支上的局部贡献之和。
• 使用涉及欧拉类与陈示性类的局部贡献公式，分析这些贡献在何种情况下消失。
• 应用上同调消去条件：若 H^k(F; Q) = 0 或 H^k(M; Q) = 0，则对于余维数为 k 的分量，局部贡献 a_F,E 消失。
• 通过模形式变换将 Â-尖点处椭圆亏格的展开与扭曲 Â-亏格联系起来，将其与示性数尖点处的示性数级数关联。
• 结合这些工具，根据上同调在 4* ≤ 4r 阶消失的条件，对 Â-尖点展开的极点阶数进行上界估计。

实验结果

研究问题

• RQ1 在何种条件下，自旋流形上循环群作用下扭曲 Dirac 算子的指标会消失？
• RQ2 不动点集的余维数如何影响不同尖点处椭圆亏格的结构？
• RQ3 Hirzebruch-Slodowy 对合定理是否可推广至更高阶循环作用？
• RQ4 流形或其不动点分量的何种上同调条件会导致椭圆亏格在 Â-尖点处极点阶数的上界？
• RQ5 等变椭圆亏格的刚性如何约束该亏格在群作用下的行为？

主要发现

• 当有限阶 S¹ 作用的不动点集余维数大于 4r 时，某些扭曲 Dirac 算子的指标消失，其中 r 满足 H^{4*}(M; Q) = 0 对所有 0 < * ≤ r 成立。
• 在相同上同调条件下，椭圆亏格在 Â-尖点处的展开具有小于 dim(M)/8 − r 的极点阶数。
• 该结果推广了 Hirzebruch-Slodowy 对合定理，当 r = 1 且余维数 > 4 时可恢复该定理。
• 证明依赖于等变椭圆亏格的刚性与 Lefschetz 不动点公式，将全局亏格展开与局部不动点贡献联系起来。
• 若 H^k(M; Q) = 0 对 k = codim F 成立，则局部贡献 a_F,E 的消失由同调中欧拉类的消失保证。
• 在上同调假设下，关键恒等式 sign(q, L M) = ∑_{codim F > 4r} sign(q, L(F∘F)) 成立，从而推出极点阶数的上界。