[論文レビュー] Theta-functions on noncommutative tori

Albert Schwarz|ArXiv.org|Jul 25, 2001

Advanced Algebra and Geometry参考文献 9被引用数 7

ひとこと要約

この論文は、非可換トーラス上の射影的モジュール内の正則的要素として、一般化されたシータ関数（「シータ・ベクトル」として呼ばれる）を導入し、古典的シータ関数の非可換一般化を提供する。この理論は古典的結果を簡略化し、モジュールのモラータ同値性バイモジュールのテンソル積とグラスマン代数上のベレジン積分を通じて、マニンの量子化されたシータ関数理論と関連づける。

ABSTRACT

Ordinary theta-functions can be considered as holomorphic sections of line bundles over tori. We show that one can define generalized theta-functions as holomorphic elements of projective modules over noncommutative tori (theta-vectors). The theory of these new objects is not only more general, but also much simpler than the theory of ordinary theta-functions. It seems that the theory of theta-vectors should be closely related to Manin's theory of quantized theta-functions, but we don't analyze this relation.

研究の動機と目的

• 非可換トーラス上の射影的モジュールにおける正則的セクションとしてのシータ・ベクトルを定義することで、シータ関数の非可換一般化を構築すること。
• 非可換設定に移行することで構造がより明確になるため、古典的シータ関数理論の簡略化を図ること。
• 非可換トーラス上のモラータ同値性バイモジュールにおける複素構造とシータ・ベクトルの間の対応を確立すること。
• シータ・ベクトル理論とマニンの量子化されたシータ関数理論との関係を、特にバイモジュールのテンソル積を通じて探求すること。
• グラスマン代数上のベレジン積分を用いて、シータ・ベクトルのK理論的解釈を提供すること。

提案手法

• 非可換トーラス $T_{\theta}^d$ を滑らかな関数上のスタープロダクトによって定義し、乗法が反対称行列 $\theta^{\alpha\beta}$ に従う。
• $T_{\theta}^d$ の要素を $f = \sum f_{\vec{n}} U_{\vec{n}}$ のフーリエ級数として表現し、$U_{\vec{n}}$ が $U_{\vec{n}}U_{\vec{m}} = e^{\pi i \vec{n}^t \theta \vec{m}} U_{\vec{n}+\vec{m}}$ を満たすように定義する。
• 正規可換関係 $[\nabla_\alpha, \nabla_\beta] = 2\pi i \omega_{\alpha\beta}$ の既約表現を用いて、$T_{\theta}^d$ 上の射影的モジュールを構成する。ここで $\omega$ は非退化かつ反対称である。
• 接続 $\nabla_\alpha$ が $[\nabla_\alpha, U_\beta] = 2\pi i \delta_{\alpha\beta} U_\beta$ を満たすように、この接続が誘導する複素構造と整合する正則的要素としてシータ・ベクトルを定義する。
• $SO(d,d,\mathbb{Z})$ の作用を用いて三つ組 $(\theta, \hat{\theta}, g)$ を分類し、基本的バイモジュールを定義し、$g$-行列の合成に対応するバイモジュールのテンソル積を定義する。
• $2g$ 個の生成子を持つグラスマン代数上でベレジン積分を適用し、$K$-理論的クラス $\mu(\mathcal{E})$ の最高次元係数を用いて、シータ・ベクトル空間のランクを計算する。

実験結果

リサーチクエスチョン

• RQ1 射影的モジュールを用いて、非可換トーラス上で古典的シータ関数をどのように一般化できるか？
• RQ2 複素構造と接続が、非可換トーラス上の正則的セクション（シータ・ベクトル）を定義する上で果たす役割は何か？
• RQ3 モラータ同値性バイモジュールのテンソル積は、非可換設定における $SO(d,d,\mathbb{Z})$ 変換の合成に対応するか？
• RQ4 シータ・ベクトル空間の $K$-理論的解釈とは何か？ そして、グラスマン積分によってどのように計算されるか？
• RQ5 シータ・ベクトルは、特に部分的乗法演算を通じて、マニンの量子化されたシータ関数理論とどのように関係しているか？

主な発見

• シータ・ベクトルは、非可換トーラス上の射影的モジュール内の正則的要素として定義され、古典的シータ関数がラインバンドルの正則的セクションとして一般化される。
• 基本的 $(T_\theta, T_{\hat{\theta}})$-バイモジュールにおけるシータ・ベクトルの空間は、$K$-理論的クラス $\mu(\mathcal{E}) = S(g) \cdot 1$ のベレジン積分に一致する。ここで $S(g)$ は $SO(d,d,\mathbb{Z})$ のスピン表現である。
• シータ・ベクトル空間の次元は、$\mu(\mathcal{E})$ の最高次元係数によって決定され、これはグラスマン積分によって得られる整数である。
• バイモジュールのテンソル積 $\mathcal{E} \otimes \mathcal{E}'$ は、$g$-行列の合成に対応し、新たなバイモジュール $\mathcal{E}''$ を得る。このとき、シータ・ベクトル空間上に $\mathcal{H} \otimes \mathcal{H}' \to \mathcal{H}''$ の明確な写像が定義される。
• シータ・ベクトル理論は、古典的シータ関数理論よりも自然な枠組みを提供し、非可換幾何学とモジュール上の複素構造との自然な関係を示す。
• この構成は、コンヌのフレームワークを介して非可換代数幾何学へとつながる非可換複素幾何学の構築への道筋を示唆する。