[論文レビュー] The Gauss-Bonnet Theorem for the noncommutative two torus

Alain Connes, Paula Tretkoff|ArXiv.org|Oct 1, 2009

Advanced Operator Algebra Research参考文献 6被引用数 68

ひとこと要約

本稿は、非可換2次トーラス $\mathbb{T}^2_\theta$ における非可換ガウス・ボンネの定理の類似を確立し、ラプラシアンのゼータ関数の値 $\zeta(0)$ が、Weyl因子（非ユニモジュラー体積形式）に依存しないことを、スペクトル不変量とモジュラー理論を用いて証明する。この結果は、非ユニモジュラーな設定下でもスペクトル作用の共形不変性を裏付ける。

ABSTRACT

In this paper we show that the value at zero of the zeta function of the Laplacian on the non-commutative two torus, endowed with its canonical conformal structure, is independent of the choice of the volume element (Weyl factor) given by a (non-unimodular) state. We had obtained, in the late eighties, in an unpublished computation, a general formula for this value at zero involving modified logarithms of the modular operator of the state. We give here the detailed computation and prove that the result is independent of the Weyl factor as in the classical case, thus proving the analogue of the Gauss-Bonnet theorem for the noncommutative two torus.

研究の動機と目的

• 非可換2次トーラス $\mathbb{T}^2_\theta$ における非可換ガウス・ボンネの定理の類似を確立すること。
• ラプラシアンのゼータ関数の値 $\zeta(0)$ が、非ユニモジュラリティを持つ状態のもとでもWeyl因子 $k$ の選択に依存しないことを証明すること。
• 非ユニモジュラーな場合におけるスペクトル作用の共形不変性を確認し、古典的結果を非可換幾何に拡張すること。
• 非可換トーラス $\mathbb{T}^2_\theta$ 上でのスペクトル三重体および擬微分計算を用いた、$\zeta(0)$ の不変性の詳細な計算的証明を提供すること。

提案手法

• 計算は、正の可逆元 $k$ によって定義される共形構造を持つ非可換2次トーラス上のラプラシアンに関連するゼータ関数 $\zeta(s)$ を用いる。
• スペクトル三重体の枠組みを用いてラプラシアンと関連するゼータ関数を定義し、トレース $\tau$ を用いて $\zeta(0)$ を計算する。
• 非ユニモジュラリティを扱うために状態のモジュラー作用素 $\Delta$ が用いられ、そのスペクトル的性質が計算の中心的役割を果たす。
• 擬微分計算を用いてゼータ関数の漸近的展開を分析し、特にトレース展開における $\lambda^{-1}$ の係数に注目する。
• 主な技術的道具は、$\Delta^{-1/2+it}$ を含む積分表現によって定義される修正対数 $\mathcal{D}_m(\Delta)$ であり、これが非ユニモジュラー補正を捉える。
• 証明はトレースを三つの部分 $T_1, T_2, T_3$ に分割し、それぞれが $\mathcal{D}_1, \mathcal{D}_2, \mathcal{D}_3$ に対応させ、フーリエ変換と積分恒等式を用いて寄与を評価する。

実験結果

リサーチクエスチョン

• RQ1 非可換2次トーラス上でのラプラシアンのゼータ関数の値 $\zeta(0)$ は、非ユニモジュラーなWeyl因子 $k$ による共形スケーリングに対して不変か？
• RQ2 状態のモジュラー作用素 $\Delta$ は非ユニモジュラーな場合におけるスペクトル不変量にどのように影響を与えるか？
• RQ3 非ユニモジュラーなスペクトル三重体において、スペクトル作用の定数項は共形不変性を示せるか？
• RQ4 修正対数 $\mathcal{D}_m(\Delta)$ は $\zeta(0)$ の計算において果たす役割は何か？
• RQ5 共形不変性 $\zeta(0)$ は、最も単純な平行移動不変な共形構造を越えて成立するか？

主な発見

• 非可換2次トーラス上でのラプラシアンのゼータ関数の値 $\zeta(0)$ はWeyl因子 $k$ に依存せず、非ユニモジュラーな場合の共形不変性が確認された。
• 計算により、スペクトル作用の定数項がトポロジカル不変量であることが確認され、古典的ガウス・ボンネの定理に類似した性質を示した。
• 結果は、$\Delta^{-1/2+it}$ を含む積分表現とフーリエ変換によって得られる修正対数 $\mathcal{D}_m(\Delta)$ を用いて表現された。
• 証明により、$\mathcal{D}_1, \mathcal{D}_2, \mathcal{D}_3$ に対応する $T_1, T_2, T_3$ の寄与が組み合わさり、合計係数が $k$ に依存しないことが示された。
• 正規化条件 $I_m = 1/(m+1)$ が検証され、修正対数 $\mathcal{D}_m$ がスペクトル不変量として一貫していることが確認された。
• 最終的な $\zeta(0)$ の式は、$k$ の導関数に $\mathcal{D}_1, \mathcal{D}_2, \mathcal{D}_3$ を作用させたトレースとして与えられ、和における $k$ 依存性のキャンセルにより、$k$ に依存しないことが証明された。