[論文レビュー] Hypergeometric function and Modular Curvature II. Connes-Moscovici functional relation after Lesch's work

Yang Liu|arXiv (Cornell University)|Nov 19, 2018

Mathematics and Applications参考文献 27被引用数 5

ひとこと要約

本稿では、微分、部分積分、循環シフトに類似した変換を用いて、非可換トーラス上のスペクトル関数に対する体系的な変分法を構築する。これにより、コンネス＝モスコビチの関数的関係が任意の次元へ一様に拡張可能となり、超幾何関数およびアペル関数を用いたコンピュータ代数システムを用いない初の検証が達成された。この結果、モジュラー曲率構造に深いつながりを持つ内部対称性が明らかになった。

ABSTRACT

As the second part of the sequel, we investigate the variation of rearrangement operators (more precisely, the spectral functions behind) arising in the study of modular geometry on noncommutative (two) tori. We initiate a systematic approach by introducing transformations corresponding to basic operations in calculus, like differentiation and integration by parts. As for applications, we extend, in a uniform way, the Connes-Moscovici's functional relations on noncommutative two tori attached to the variation of second heat coefficients to noncommutative tori of arbitrary dimension. Moreover, those transformations lead to more internal relations among the hypergeometric family obtained in part I of the sequel, which allows us to obtain, the first time, a computer-aid free verification of those Connes-Moscovici type functional relations.

研究の動機と目的

• 非可換トーラス上の変分法の体系的枠組みを、レシュの研究にインspiredして構築し、熱核展開に由来する非可換なスペクトル関数を取り扱う。
• 従来は低次元でのみ知られていたコンネス＝モスコビチの関数的関係を、任意の次元の非可換トーラスへ一般化する。
• 非可換幾何学における $a_4$-係数の計算を、超幾何関数およびアペル関数を用いて概念的に簡略化する。
• コンピュータ代数システムに依存せずに、超幾何関数族間の再帰的および還元関係を用いて関数的関係を検証する。

提案手法

• 微分、部分積分、循環シフトに対応する変換 $\boldsymbol{\iota}, \boldsymbol{\tau}_j, \blacktriangle^+$ 及びそれらの $k$-双対を導入し、スペクトル関数空間における変換を定式化する。
• 割線差分および循環作用素を用いて、スペクトル関数の変分的変化をモデル化し、非可換微分法のフレームワークとしてレシュの枠組みを活用する。
• テイラー展開および還元関係を用いて、複雑なスペクトル関数を超幾何関数 $H_{\alpha}$ の基底で表現する。
• 超幾何関数およびラウリチャ関数型関数の再帰的関係を用いて、関数的表現を簡略化し、恒等式を検証する。
• 特定の次元における $H_{1,1}, H_{1,2}, H_{0,2}$ 及びその導関数を用いて、関数的関係の検証を初期値問題に還元する。
• 循環性 $\boldsymbol{\sigma}_{-m/2-2}^3 = 1$ を適用し、関数方程式を代数的検証に適した対称的形に還元する。

実験結果

リサーチクエスチョン

• RQ1 非可換トーラス上の変分法は、微分および部分積分に類似した操作を用いてどのように形式化できるか？
• RQ2 次元2で知られていたコンネス＝モスコビチの関数的関係は、任意の次元の非可換トーラスへ拡張可能か？
• RQ3 非可換トーラスにおける $a_4$-係数計算の再配置プロセスから生じる超幾何関数の間に、どのような内部的対称性や再帰的関係が存在するか？
• RQ4 コンピュータ代数システムに依存せずに、関数的関係を検証することは可能か？
• RQ5 割線差分および循環変換は、スペクトル関数恒等式の簡略化にどのような役割を果たすか？

主な発見

• コンネス＝モスコビチの関数的関係は、任意の次元 $m \geq 2$ の非可換トーラスへ一様に拡張され、$a_2$-ケースが高次係数へ一般化された。
• 本研究では、再帰的および初期値問題に還元することで、コンピュータ代数システムに依存しない、コンネス＝モスコビチ型関数的関係の初の検証が達成された。
• 超幾何関数 $H_{\alpha}$ 間の内部的関係が発見され、これにより先行研究（例：[22, 式 (4.5)–(4.8)]）で観察されたキャンセル現象が説明された。
• すべての変分法的構造は、たった3つの変換 $\{\boldsymbol{\iota}, \boldsymbol{\tau}_j, \blacktriangle^+\}$ によって生成され、スペクトル関数の進化構造が単純化された。
• $m > 2$ の場合、検証は初期条件 $zH_{1,2} = H_{0,2} - H_{1,1}$ および $mH_{1,1} + 2zH_{1,2} - 2H_{0,2}[0,z] = 0$ に還元される。$m=2$ の場合、初期データとして $H_{0,2} = (1-z)^{-1}$ が用いられる。
• 初期条件および再帰的関係を適用したとき、関数的関係の左辺と右辺の差が恒等的に消えることから、恒等式が代数的に確認された。