[論文レビュー] Mathematica notebook for the explicit functions and functional relations for ``The term a_4 in the heat kernel expansion of noncommutative tori"

Alain Connes, Farzad Fathizadeh|arXiv (Cornell University)|Nov 29, 2016

Advanced Operator Algebra Research参考文献 14被引用数 19

ひとこと要約

本稿では、共形的摂動を施した計量を備えた非可換2次トーラス上のラプラシアンの小時間ヒートカーネル展開におけるa4項の明示的計算を初めて提示する。生成関数のベルヌーイ数およびその逆数の差分に基づく新規な手法を用い、モジュラー自己同型の1変数、2変数、3変数、4変数関数を含む、長大な局所的表現を導出。これらは関数的関係のシステムを用いて検証され、巡回群作用の下での新たな対称性が発見された。

ABSTRACT

The notebook contains the explicit formulas and the functional relations for the 20 functions for the term a_4 appearing in the heat kernel expansion of curved noncommutative tori, which were calculated by the authors. The notebook uses the Mathematica computing system to confirm the validity of the formulas by checking a family of highly non-trivial functional relations, which were derived conceptually.

研究の動機と目的

• 共形的摂動を施した計量を備えた非可換2次トーラス上のラプラシアンのヒートカーネル展開におけるa4項を計算すること。
• モジュラー自己同型パrameterの関数としてのa4の明示的局所的表現を導出すること。
• 非可換幾何学的原理によって予測された関数的関係のシステムを用いて、これらの表現の正しさを検証すること。
• 巡回群（位数2, 3, 4）作用の下でのa4係数に隠れた対称性を特定すること。
• 2次トーラスの積として分解可能な非可換4次トーラスへと結果を拡張し、共形平坦性を超える曲率的不変量を明らかにすること。

提案手法

• 著者らは、ベルヌーイ数の生成関数およびその乗法的逆数に有限差分法を適用し、摂動因子hの導関数とその対数の導関数との間の関係を導出する。
• ヒートカーネル展開における高次導関数を整理するための再配分補題を用いる。
• ∇-微分と巡回置換に基づく微分法を用いて、関数的ϕ0(a4)の勾配を計算する。
• a4の構造を符号化する係数k3からk20の間の関数的関係から微分方程式系を導出する。
• 明示的表現が関数的関係を満たすことを示し、それらの巡回群作用の下での対称性を分析する。
• 積構造を介して非可換4次トーラスへと結果を拡張し、共形平坦でない幾何におけるa4項を明示的に得る。

実験結果

リサーチクエスチョン

• RQ1 曲率のある計量を備えた非可換2次トーラス上のラプラシアンのヒートカーネル展開におけるa4項の明示的局所的表現は何か？
• RQ2 有限差分技術を用いて、a4の係数間の関数的関係をどのように導出し、検証できるか？
• RQ3 巡回群（位数2, 3, 4）作用の下で、a4係数にどのような対称性が存在するか？
• RQ4 a4の導出表現は、状態のモジュラー自己同型群の下でどのように振る舞うか？
• RQ5 2次トーラスの積として分解可能な非可換4次トーラスに対してa4項を計算できるか？また、それは高次元における曲率に何を明らかにするか？

主な発見

• 本稿は、共形的摂動を施した計量を備えた非可換2次トーラス上のラプラシアンのヒートカーネル展開におけるa4項の最初の明示的公式を提供する。
• a4項は、モジュラーパラメータの1変数、2変数、3変数、4変数関数を含む20個の局所的関数Kj(s1,s2,s3)の和として表現される。
• 導出された表現が満たす17個の関数的関係が存在し、それらが正しく成立することが確認された。
• 関数的関係は、位数2, 3, 4の巡回群作用の下で不変であることを示し、非可換曲率不変量に隠れた代数的対称性を明らかにする。
• ベルヌーイ数の生成関数およびその逆数に有限差分法を適用することで、hとlog hの4次までの導関数間の主要な関係が正確に再現された。
• 2次トーラスの積として分解可能な非可換4次トーラスに対して、a4項が明示的に計算され、共形平坦性を超える非自明な曲率構造が明らかになった。