[論文レビュー] Poincare Duality and Spin^c Structures for Noncommutative Manifolds

Adam Rennie|ArXiv.org|Jul 13, 2001

Advanced Operator Algebra Research参考文献 3被引用数 4

ひとこと要約

本稿は、非可換多様体における非コンパactsなセール＝スワンの定理を確立し、ユニタリゼーションされた代数内の射影を用いて無限遠で消える切断のモジュールを特徴づける。また、微分形式の代数 $Ω^*_{\cal D}({\cal A})$ が関数代数 ${\cal A}$ と強くモラータ同値であることを証明し、クリフォード代数とのモラータ同値性を通じて非可換なスピン$^c$構造を定義する。

ABSTRACT

We prove a noncompact Serre-Swan theorem characterising modules which are sections of vector bundles not necessarily trivial at infinity. We then identify the endomorphism algebras of the resulting modules. The endomorphism results continue to hold for the generalisation of these modules to noncommutative, nonunital algebras. Finally, we apply these results to not necessarily compact noncommutative spin manifolds, proving that Poincare Duality implies the Morita equivalence of the `algebra of functions' and the `Clifford algebra.'

研究の動機と目的

• 非可換幾何学におけるベクトル束の無限遠で消える切断の厳密な特徴づけの欠如に対処する。
• 非ユニタル $C^*$-代数、特に $C_0(X)$ に対して、コンパクト化に基づくフレームワークを導入することで、セール＝スワンの定理を一般化する。
• 非ユニタル $C^*$-代数上のモジュールの自己準同型代数を特定し、コンパクト自己準同型代数とフル自己準同型代数の区別を行う。
• 非可換スピン多様体におけるポアンカレ双対性が、関数代数と微分形式代数の間の強いモラータ同値性を示すことを確立する。
• モラータ同値性を通じて、古典的なスピン$^c$構造とクリフォード代数の対応を一般化した非可換なスピン$^c$構造の定義を提供する。

提案手法

• 非ユニタルなセール＝スワンの定理を導入し、$X$ のコンパクト化 $X^c$ に対して $M_n(C(X^c))$ 内の射影 $p$ を用いて、$C_0(X)$-モジュールが無限遠で消える切断と同型であることを特徴づける。
• 非ユニタルで $\sigma$-ユニタルな $C^*$-代数 $A$ に対して、$A_b$-有限生成射影モジュールを $pA^n$ として定義し、$p \in M_n(A_b)$ とする。ここで $A_b$ は $A$ のユニタリゼーションである。
• コンパクト自己準同型代数を $End_A^0(E) = pM_n(A)p$、フル自己準同型代数を $End_A(E) = pM_n(A_b)p$ として特定する。
• 非コンパクトな非可換スピン多様体にこれらの結果を適用し、${\cal H}_\infty = p{\cal A}^n$ をスピン角束の滑らかな切断と特定する。
• $\Omega^*_{\cal D}({\cal A}_b)$ が ${\cal H}_\infty$ 上に不変な作用をもつことから、$\Omega^*_{\cal D}({\cal A}_b) \cong pM_n({\cal A}_b)p$ を示し、同様に $\Omega^*_{\cal D}({\cal A})$ に対しても同様の同型を得る。
• モジュール ${\cal H}_\infty$ を通じて、${\cal A}$ と $\Omega^*_{\cal D}({\cal A})$ の間の強いモラータ同値性を確立し、古典的なスピン$^c$対応を一般化する。

実験結果

リサーチクエスチョン

• RQ1 非コンパクトで非ユニタルな $C^*$-代数に対して、セール＝スワンの定理をどのように一般化し、無限遠で消える切断のモジュールを特徴づけられるか？
• RQ2 このようなモジュールの非ユニタルな設定における自己準同型代数の正確な構造は何か？
• RQ3 非可換スピン多様体におけるポアンカレ双対性は、関数代数と微分形式代数の間の強いモラータ同値性を示唆するか？
• RQ4 古典的な場合と類似したモラータ同値性を通じて、非可換なスピン$^c$構造を定式化できるか？
• RQ5 非可換設定において、代数 $\Omega^*_{\cal D}({\cal A})$ と $\Omega^*_{\cal D}({\cal A}_b)$ はクリフォード代数とどのように関係するか？

主な発見

• 非ユニタルなセール＝スワンの定理は、$X$ のコンパクト化 $X^c$ に対して $M_n(C(X^c))$ 内の射影 $p$ を用いて、$C_0(X)$-モジュールが無限遠で消える切断と同型であることを特徴づける。
• このようなモジュールのコンパクト自己準同型代数は $End_A^0(E) = pM_n(A)p$、フル自己準同型代数は $End_A(E) = pM_n(A_b)p$ であり、ここで $A_b$ は $A$ のユニタリゼーションである。
• ポアンカレ双対性の下で、$\Omega^*_{\cal D}({\cal A}) \cong pM_n({\cal A})p = End_A^0({\cal H}_\infty)$ および $\Omega^*_{\cal D}({\cal A}_b) \cong pM_n({\cal A}_b)p = End_A({\cal H}_\infty)$ が成り立つ。
• したがって、代数 ${\cal A}$ と $\Omega^*_{\cal D}({\cal A})$ はモジュール ${\cal H}_\infty$ を通じて強くモラータ同値である。
• $\Omega^*_{\cal D}({\cal A})$ は、古典的状況におけるクリフォード代数と同様の非可換な役割を果たす。
• 非可換スピン多様体が公理を満たす限り、このモラータ同値性を通じて非可換なスピン$^c$構造が得られ、古典的な対応が一般化される。