[论文解读] Rankin-Cohen Brackets and the Hopf Algebra of Transverse Geometry

Alain Connes, Henri Moscovici|ArXiv.org|Apr 22, 2003

Algebraic structures and combinatorial models参考文献 7被引用 4

一句话总结

本文在共形维数为一的横截几何的霍普夫代数作用下，于施瓦茨导子为内导子的条件下，建立了对结合代数上罗金-科亨括号的标准构造。证明了这些括号产生结合变形，推广了先前结果，并通过霍普夫代数作用与循环上同调，统一了模形式赫克代数的结构。

ABSTRACT

We settle in this paper a question left open in our paper ``Modular Hecke algebras and their Hopf symmetry'', by showing how to extend the Rankin-Cohen brackets from modular forms to modular Hecke algebras. More generally, our procedure yields such brackets on any associative algebra endowed with an action of the Hopf algebra of transverse geometry in codimension one, such that the derivation corresponding to the Schwarzian derivative is inner. Moreover, we show in full generality that these Rankin-Cohen brackets give rise to associative deformations.

研究动机与目标

• 解决早期关于模形式赫克代数及其霍普夫对称性研究中的一个开放问题，将罗金-科亨括号的构造从模形式推广至更广范畴。
• 将罗金-科亨括号的构造推广至任意配备有霍普夫代数 $\mathcal{H}_1$ 作用的结合代数。
• 确立这些括号产生结合形式变形的条件，特别是当施瓦茨导子为内导子时。
• 证明变形过程与半直积构造可交换，从而在模形式与赫克算子的语境下确保变形的一致性。
• 证明所得形式变形在霍普夫代数作用的内扰动下保持不变，从而确保构造的稳健性。

提出的方法

• 通过霍普夫代数 $\mathcal{H}_1$ 中的对合 $S(X)$、生成元 $Y$ 和内导子 $\Omega$，利用正规序方法构造高阶罗金-科亨括号 $RC_n$。
• 采用公式 $S(X^n) = \sum (-1)^{n-k} \binom{n}{k} \frac{\delta_1^k}{2^k} X^{n-k} (2Y + n - k)_k$ 将 $S(X^n)$ 表示为正规序形式，这对定义括号至关重要。
• 利用生成元 $X$、$Y$、$\delta_1$ 和 $\Omega$，推导出 $RC_1$、$RC_2$ 和 $RC_3$ 的显式公式，其中 $\Omega$ 位于 $X$ 与 $Y$ 的多项式表达式之间。
• 以循环上同调类 $[F] = X \otimes Y - Y \otimes X - \delta_1 Y \otimes Y$ 作为基本类，引导变形结构的设计。
• 系统地应用 [Zagier, 1990] 与 [Connes-Moscovici, 2002] 的方法，生成标准括号公式。
• 通过证明其与半直积构造的相容性，并借助 [2] 中关于切丛群胚变形的结果，证明所得到的形式变形具有结合性。

实验结果

研究问题

• RQ1 如何通过霍普夫代数作用，系统地将罗金-科亨括号从模形式扩展至模形式赫克代数？
• RQ2 在配备有 $\mathcal{H}_1$-作用的结合代数上，何种条件可确保所构造的罗金-科亨括号产生结合变形？
• RQ3 施瓦茨导子 $\delta_2'$ 的内性（即 $\delta_2'(a) = \Omega a - a \Omega$）如何影响括号的结构？
• RQ4 共形维数为一的横截几何的霍普夫代数 $\mathcal{H}_1$ 如何决定这些括号的普遍结构？
• RQ5 能否证明变形过程与半直积构造可交换？这在模形式语境下对变形的一致性意味着什么？

主要发现

• 本文在施瓦茨导子为内导子的任意配备 $\mathcal{H}_1$-作用的结合代数上，构造了标准罗金-科亨括号 $RC_n$，推广了经典模形式上的括号结构。
• 第一阶括号显式给出为 $RC_1(a,b) = S(X)(a) \cdot 2Y(b) + 2Y(a) \cdot X(b)$，其中 $S(X) = -X + \delta_1 Y$。
• 第二阶括号为 $RC_2(a,b)$，其表达式较长，涉及 $S(X)^2$、$X^2$、$Y$ 和 $\Omega$，包含如 $S(X)^2(a) \cdot Y(2Y+1)(b)$ 与 $-Y(a) \Omega Y(2Y+1)(b)$ 等项。
• 第三阶括号 $RC_3$ 已显式推导，涉及至 $\delta_1^3$、$X^3$、$Y^3$ 和 $\alpha[\Omega]$ 的项，显示了随阶数增加而增长的复杂性。
• 由这些括号定义的形式变形具有结合性，其证明基于与半直积构造的相容性以及循环上同调中的基本类。
• 该构造在霍普夫代数作用的内扰动下保持不变，确保了变形结构的稳健性与普遍性。