[論文レビュー] 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

ひとこと要約

この論文は、1次元横断的幾何のホップ代数 $\mathcal{H}_1$ の作用を備えた結合的代数上で、シュヴァルツィアン微分が内包的であるという条件下で、ランキン＝コーン・ブラケットの標準的構成を確立する。これらのブラケットが結合的変形をもたらすことを証明し、従来の結果を一般化するとともに、ホップ代数作用と循環コhomologyを通じて、モジュラー・ヘッケ代数の構造と非可換幾何学を統合する。

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.

研究の動機と目的

• モジュラー・ヘッケ代数とそのホップ対称性に関する先行研究における未解決問題を解決するため、ランキン＝コーン・ブラケットをモジュラー形式を超えて拡張すること。
• 1次元横断的幾何のホップ代数 $\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$ の多項式表現の間に配置される。
• 循環コhomologyの基本的類 $[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 1次元横断的幾何のホップ代数 $\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$ である。
• 2番目のブラケットは $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)$ といった項が含まれる。
• 3番目のブラケット $RC_3$ は明示的に導出され、$\delta_1^3$、$X^3$、$Y^3$、$\alpha[\Omega]$ まで含む項を含み、次数が上昇するにつれて複雑性が増す。
• これらのブラケットによって定義される形式的変形は、クロス積との整合性および循環コhomologyの基本的類に依拠して結合的であることが証明された。
• ホップ代数作用の内部摂動に対して不変であるため、変形構造の頑健性と普遍性が保証された。