[論文レビュー] A residue formula for the fundamental Hochschild class of the Podles sphere

Ulrich Kraehmer, Elmar Wagner|arXiv (Cornell University)|Aug 11, 2010

Algebraic structures and combinatorial models参考文献 10被引用数 5

ひとこと要約

本稿では、DábrowskiとSitarzによって構築されたスペクトル三重項のトレースの残留値として、標準的PodleÈs量子球面の基本的ホッフハルド・コホモロジー類を表す残留公式を確立する。ディラック作用素、ガンマ行列、および群的生成子$K^{-2}$を含むねじれ作用素のトレースの残留値を計算することで、著者らはこの残留値が標準的基底クラスにホモロジーライトに同値なホッフハルドコサイクルを定義することを示し、非可換幾何学におけるスペクトル三重項とホッフハルドコホモロジーの関係について長年の疑問を解決する。

ABSTRACT

The fundamental Hochschild cohomology class of the standard Podles quantum sphere is expressed in terms of the spectral triple of Dabrowski and Sitarz by means of a residue formula.

研究の動機と目的

• 標準的PodleÈs量子球面の基本的ホッフハルド・コホモロジー類がスペクトル三重項から生じるかどうかを特定すること。
• 非可換幾何学におけるスペクトル三重項とホッフハルド（コ）ホモロジーの関係を解明する未解決の問題を解決すること。
• DábrowskiとSitarzのスペクトル三重項に基づいて、基本的ホッフハルド類を実現する明示的な残留公式を提供すること。
• ディラック作用素と群的生成子$K^{-2}$を含むねじれトレースの残留値が、非自明なホッフハルドコサイクルを生成することを示すこと。

提案手法

• 著者らは、DábrowskiとSitarzによって構築された、PodleÈs球面上の偶数で${\mathcal{U}}_{q}(\mathfrak{su}(2))$-不変なスペクトル三重項を、基礎的な幾何的構造として用いる。
• ${\mathrm{Re}}\,z > 2$に対して、$\mathrm{tr}_{\mathcal{H}}(\gamma a_0[D,a_1][D,a_2]K^{-2}|D|^{-z})$のメラモーフィックゼータ関数を定義し、$\{z \in \mathbb{C} \mid \mathrm{Re}\,z > 1\}$にまでメラモーフィックに拡張可能であり、$z=2$に単一の極を持つことを示す。
• この$z=2$における残留値を、多重線形汎関数$\varphi(a_0,a_1,a_2)$の定義として用い、これがホッフハルドコサイクルであることを示す。
• 主な技術的ステップは、ヒルベルト空間の成分$\mathcal{H}_\pm$における作用素の作用と明示的なスペクトルデータを用いて、$K^{2\mu}$と$|D|^{-z}$を含むトレースの残留値を計算することであり、$B$および$B^*$からのシフト作用素を活用する。
• 著者らは、$\mathcal{A}$上のねじれトレース$\tau_\mu$と残留値を関係づけ、$\int_{[1]}$および$\int_{[x_0]}$汎関数を用いて明示的に計算し、既知の基本的コサイクル$\tilde{\varphi}(a_0,a_1,a_2) = \varepsilon(a_0)E(a_1)F(a_2)$と比較する。
• 残留汎関数が正規化および$-q^{-2}$の係数を除いて、既知の非自明なホッフハルドコサイクルと一致することを示し、ホモロジーライト同値性を証明する。

実験結果

リサーチクエスチョン

• RQ1 標準的PodleÈs量子球面の基本的ホッフハルド・コホモロジー類が、スペクトル三重項からの残留公式によって実現可能か。
• RQ2 DábrowskiとSitarzのスペクトル三重項が、標準的基底ホッフハルドクラスを生成するか。
• RQ3 代数$\mathcal{A}$上のねじれトレースは、ディラック作用素から構築されたゼータ関数の残留値とどのように関係するか。
• RQ4 スペクトル三重項から得られる残留コサイクルが、既知の明示的ホッフハルドコサイクル$\tilde{\varphi}(a_0,a_1,a_2) = \varepsilon(a_0)E(a_1)F(a_2)$とホモロジーライトに同値か。
• RQ5 量子群生成子$E$, $F$, および余単位元$\varepsilon$を用いた残留コサイクルの正確な正規化および関数的形は何か。

主な発見

• 残留値$\mathrm{Res}_{z=2} \mathrm{tr}_{\mathcal{H}}(\gamma a_0[D,a_1][D,a_2]K^{-2}|D|^{-z})$は、$\mathcal{A}^{\bigotimes 3}$上で基本的ホッフハルド・コホモロジー類を表すホッフハルドコサイクルを定義する。
• この残留コサイクルは明示的に$\varphi(a_0,a_1,a_2) = \frac{q - q^{-1}}{\ln q} \varepsilon(a_0)(E(a_1)F(a_2) - F(a_1)E(a_2))$と計算され、標準的基底コサイクル$\tilde{\varphi}$とホモロジーライトに同値であることが示される。
• $\mu \in \mathbb{R}$のすべての値に対して、$\tau_\mu(a) = \frac{\mathrm{Res}_{z=2|\mu|} \mathrm{tr}_{\mathcal{H}}(aK^{2\mu}|D|^{-z})}{\mathrm{Res}_{z=2|\mu|} \mathrm{tr}_{\mathcal{H}}(K^{2\mu}|D|^{-z})}$のねじれトレースが明示的に計算され、スペクトルデータと代数的トレースの間の橋渡しを提供する。
• $\mu < 0$では$\tau_\mu = \varepsilon$（余単位元）；$\mu = 0$では$\tau_0 = \varepsilon + c \int_{[x_0]}$（$c = \frac{\ln q}{2(q^{-1}-q)\ln(q^{-1}-q)}$）；$\mu > 0$では$\tau_\mu = \varepsilon - \frac{1 - q^{-2\mu}}{q(1 - q^{-2(\mu+1)})} \int_{[x_0]}$。
• 残留コサイクルが$\frac{q - q^{-3}}{\ln q} \tilde{\varphi}$とホモロジーライトに同値であることが示され、スペクトル三重項が正規化を除いて基本的クラスを生成することを確認する。
• 計算により、DábrowskiとSitarzのスペクトル三重項が基本的ホッフハルド類を実現することが確認され、非可換幾何学における重要な問いが解決された。