[论文解读] Three Cocycles on $\Diff(S^1)$ Generalizing the Schwarzian Derivative

Sofiane Bouarroudj, Valentin Ovsienko|ArXiv.org|Oct 18, 1997

Advanced Algebra and Geometry参考文献 13被引用 24

一句话总结

本文通过在张量密度与微分算子模上的可微上同调计算，构造了圆周微分同胚群 Diff(S¹) 上三类非平凡 1-上循环，推广了施瓦茨导数。关键结果为：这些上循环在 PSL(2,R) 作用下不变，且仅在算子阶数差 μ−λ = 2、3 和 4 时存在，且在特定 λ 值处有例外，从而确立了新的稳定上同调类，推广了经典施瓦茨导数的射影不变性。

ABSTRACT

The first group of differentiable cohomology of $\Diff(S^1)$, vanishing on the Möbius subgroup $PSL(2,R)\subset\Diff(S^1)$, with coefficients in modules of linear differential operators on $S^1$ is calculated. We introduce three non-trivial $PSL(2,R)$-invariant 1-cocycles on $\Diff(S^1)$ generalizing the Schwarzian derivative.

研究动机与目标

• 计算 Diff(S¹) 与线性微分算子模上系数的首阶可微上同调群，且在 Möbius 子群 PSL(2,R) 上消失。
• 将经典施瓦茨导数作为 1-上循环推广至高阶微分算子。
• 识别并构造取值于微分算子空间的 PSL(2,R)-不变 1-上循环的显式族。
• 分类由 Diff(S¹) 作用于张量密度与微分算子所生成的稳定上同调类，特别关注 Sturm-Liouville 理论与几何量子化背景。

提出的方法

• 作者利用张量密度阶 λ 与 μ 的微分算子模的模结构，计算了 H¹_diff(Diff(S¹), PSL(2,R); Dλ,μ) 的可微上同调群。
• 他们通过张量密度的拉回定义了微分算子上的双参数 Diff(S¹)-作用，使用变换规则 f*λ(ϕ) = ϕ∘f⁻¹·(f⁻¹)′^λ。
• 该构造依赖于 PSL(2,R)-等变符号映射，以关联微分算子与其主符号及低阶项。
• 关键技术在于分析微分算子系数在微分同胚作用下的变换规律，特别关注前五个系数。
• 作者利用施瓦茨导数 S(f) 是取值于二次微分的 1-上循环这一事实，构建高阶类比。
• 通过在特定情形（如 D³₀,₅ 和 D³₋₄,₁ 中的三阶算子）求解上循环条件，推导出上循环的显式公式。

实验结果

研究问题

• RQ1 Diff(S¹) 与线性微分算子模上系数的首阶可微上同调群的结构是什么？且在 PSL(2,R) 上消失的限制下？
• RQ2 经典施瓦茨导数如何推广至高阶微分算子，同时保持 PSL(2,R)-不变性？
• RQ3 在哪些情况下，Diff(S¹) 上取值于 Dλ,μ 的非平凡 1-上循环存在？其阶数与参数依赖关系如何？
• RQ4 这些广义上循环对应的上同调类能否作为张量密度模的扩张实现？
• RQ5 在 μ−λ = 2、3 和 4 的情形下，以及在例外对 (λ,μ) = (−4,1)、(0,5) 时，广义上循环的显式公式是什么？

主要发现

• 当 μ−λ = 2 且 λ ≠ −1/2，或 μ−λ = 3 且 λ ≠ −1，或 μ−λ = 4 且 λ ≠ −3/2 时，可微上同调群 H¹_diff(Diff(S¹), PSL(2,R); Dλ,μ) 为一维。
• 对于例外对 (λ,μ) = (−4,1) 和 (0,5)，上同调群亦为一维，表明存在额外的非平凡上循环。
• 构造了三族非平凡的 PSL(2,R)-不变 1-上循环，推广施瓦茨导数至阶数差为 2、3 和 4 的微分算子。
• 在 D³₀,₅ 和 D³₋₄,₁ 中，给出了上循环 V₀(f) 和 V₋₄(f) 的显式公式，涉及 S(f) 及其至三阶导数的组合。
• 证明了上循环 V₀(f) 和 V₋₄(f) 满足 1-上循环条件且非平凡，确认其在 Diff(S¹)-模的非平凡扩张中的作用。
• 模 Eλ,λ+2 和 Eλ,λ+3（分别作为 D²λ,λ+2 和 D³ν,ν+λ+3 的子模实现）同构于由广义上循环定义的扩张。