[论文解读] The Index Theorem for Homogeneous Differential Operators on Supermanifolds

Dimitry Leites|ArXiv.org|Feb 18, 2002

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

一句话总结

本文将 Bott 的指标定理从紧致李群上齐次椭圆微分算子推广至超流形，证明在超群 $ G = U(p|q) $ 的作用下，超流形上 $ G $-不变微分算子的精化指标由表示环中的 Weyl 特征公式决定。关键结果表明，指标 $ \chi(D) = [\text{Ker} D] - [\text{Coker} D] $ 等于 $ R(H) $ 中符号类的正式诱导，将 Bott 的结果推广至超群，并揭示：对于非典型表示，必须使用 Bernstein–Leites 特征公式，而非标准的 Weyl 公式。

ABSTRACT

In mid 60s Bott proved that (1) the index theorem for homogeneous, G-invariant, elliptic differential operators acting in the spaces of sections of induced representations of G over G/H reduces to the Weyl character formula and (2) the index of an equivariant elliptic operator does not depend on the operator, but on the representations. Here the same theorem is formulated for the unitary supergroup G=U(p|q). For atypical representations the character formula does not reduce to that for the Lie group underlying the supergroup G and this contradicts a statement of Rempel and Schmitt on index on supermanifolds (Pseudodifferential operators and the index theorem on supermanifolds. Seminar Analysis, 1981/82, 92--131, Akad. Wiss. DDR, Berlin, 1982; id., Pseudodifferential operators and the index theorem on supermanifolds. Math. Nachr. 111 (1983), 153--175).

研究动机与目标

• 将紧致李群上齐次椭圆算子的 Bott 指标定理推广至超流形与超群的设定。
• 建立超流形上 $ G $-不变微分算子的精化指标由底层超群 $ G = U(p|q) $ 的表示理论数据决定。
• 解决与 Rempel 和 Schmitt 声称的矛盾：即超流形上的指标会退化为底层流形上的指标，证明对非典型表示而言并非如此。
• 表明超流形上的指标定理退化为超 Weyl 特征公式，而非经典公式，尤其在非典型表示情形下。
• 通过代数超群表示理论，为将指标理论与 Riemann–Roch–Grothendieck 定理推广至超流形提供基础框架。

提出的方法

• 将 Bott 在 $ G/H $ 上齐次椭圆算子原始证明策略适配至超群设定，聚焦于 $ G = U(p|q) $。
• 用超表示环 $ R(G) $ 取代李群的表示环 $ R(G) $，其取值于 $ {\mathbb{Z}}[\varepsilon]/(\varepsilon^2 - 1) $，其中 $ \varepsilon $ 通过 $ \varepsilon[M] = [\Pi(M)] $ 实现奇偶性反转。
• 在完备表示环 $ \widehat{R}(G) $ 中定义精化指标 $ \chi(D) = [\text{Ker} D] - [\text{Coker} D] $，以超维数替代普通维数。
• 通过 $ G $-不变配对 $ <\cdot, \cdot>_G $ 在不可约 $ G $-模上引入形式诱导映射 $ i_*: R(H) \to \widehat{R}(G) $。
• 将齐次算子 $ D $ 的符号表示为 $ s(D) = [K] - [L] \in R(H) $，其中 $ K $ 和 $ L $ 分别是诱导丛 $ E $ 和 $ F $ 的 $ H $-模。
• 证明 $ \chi(D) = i_*(s(D)) $，表明指标与算子无关，仅由表示数据决定，从而将 Bott 的结果推广至超群。

实验结果

研究问题

• RQ1 当 $ G $ 为超群时，Bott 在 $ G/H $ 上齐次椭圆算子的指标定理是否可推广至超流形？
• RQ2 超流形上 $ G $-不变微分算子的指标如何依赖于超群 $ G = U(p|q) $ 的表示理论？
• RQ3 为何经典 Weyl 特征公式在超设定中无法描述非典型表示的指标？
• RQ4 超流形上的指标定理是否可约化为某类特征公式？若是，是哪一种？
• RQ5 是否存在一种完全代数化的超流形指标定理证明，避免使用分析或几何假设？

主要发现

• 超流形上 $ G $-不变椭圆算子的精化指标 $ \chi(D) $ 等于其符号类在 $ R(H) $ 中的正式诱导 $ i_*(s(D)) $，将 Bott 的结果推广至超群。
• 对于典型表示，超 Weyl 特征公式退化为经典 Weyl 公式；但对于非典型表示，需使用 Bernstein–Leites 特征公式。
• 指标不依赖于特定算子 $ D $，而仅依赖于诱导丛 $ E $ 和 $ F $ 的 $ H $-模 $ K $ 和 $ L $，这由序列 $ 0 \to \text{Ker} D \to E \to F \to \text{Coker} D \to 0 $ 的正合性保证。
• 该结论与 Rempel 和 Schmitt 声称的‘超流形上的指标退化为底层流形上的指标’相矛盾，因为非典型表示引入了底层李群无法捕捉的新型特征理论数据。
• 证明依赖于 $ G = U(p|q) $ 的紧致性，但作者猜想该结果可通过独立于分析方法的代数证明在更一般情形下成立。
• 将 $ G $-虚拟模的环 $ R(G) $ 扩展为 $ {\mathbb{Z}}[\varepsilon]/(\varepsilon^2 - 1) $-模，其中 $ \varepsilon $ 编码超维数与奇偶性反转，从而确保超指标的良定义性。