[論文レビュー] Reconstruction of manifolds in noncommutative geometry

Adam Rennie, Joseph C. Várilly|ArXiv.org|Oct 12, 2006

Advanced Operator Algebra Research参考文献 47被引用数 48

ひとこと要約

この論文は、若干強化された公理（可換性、単位的、可定向性、Hochschildホモロジーにおけるポincare双対性、リプシッツ関数計算）を満たすスペクトル三重項が、コンパクトなスピン多様体から生じることを確立する。再構成は、[\mathcal{D}, a] からの余接バンドルの構成、単射性と開性による局所座標チャートの微分同相写像性の証明、モリタ同値とスペクトル条件によるリーマン計量およびスピン^c 構造の検証によって行われる。

ABSTRACT

We show that the algebra A of a commutative unital spectral triple (A,H,D) satisfying several additional conditions, slightly stronger than those proposed by Connes, is the algebra of smooth functions on a compact spin manifold.

研究の動機と目的

• コンパスのオリジナルフレームワークよりもやや強い公理を満たす可換単位的スペクトル三重項が、コンパクトなスピン多様体に対応することを証明すること。
• 多様体上の滑らかな関数の代数 \mathcal{A} がスペクトルデータから回復可能であることを示すことによって、非可換幾何における長年の再構成問題を解決すること。
• スペクトル三重項から導かれる局所座標チャートを用いて、Gelfandスペクトル X = \operatorname{sp}(\mathcal{A}) が滑らかな移行関数を持つ微分多様体であることを確立すること。
• 再構成された多様体がスピン^c 構造を有すること、およびスペクトル三重項がその多様体の基本的クラスを実現することを検証すること。
• K理論的ポincare双対性に依存しない、構成的証明を提供すること。代わりにHochschildホモロジー双対性と関数計算を用いる。

提案手法

• 1形式 [\mathcal{D}, a^j_\alpha]（j=1,\dots,p, \alpha=1,\dots,n）を用いて、Gelfandスペクトル X = \operatorname{sp}(\mathcal{A}) 上のベクトルバンドルを構成し、余接バンドルの役割を果たす。
• 正則なスペクトル三重項に対する多変数 C^\infty 関数計算を用いて、分割関数と局所逆元を \mathcal{A} 内で構成し、局所自明化を可能にする。
• リプシッツ関数計算を用いて、座標写像 a_\alpha = (a^1_\alpha, \dots, a^p_\alpha): X \to \mathbb{R}^p の挙動を分析し、局所的に1対1かつ開写像であることを証明する。
• Voiculescu の測度論的結果とディラック型作用素の一意的拡張性を用いて、座標写像の単射性と開性を保証する。
• ディラック作用素 \mathcal{D} を通じて誘導される内積により、余接バンドル上にwell-definedな内積構造を定義し、X 上のリーマン計量を確立する。
• モリタ同値バイモジュールとPlymenの特徴付けを用いて、再構成された多様体がスピン^c 構造を有することを検証し、スペクトル三重項が基本的クラスを実現することを確認する。

実験結果

リサーチクエスチョン

• RQ1 可換単位的スペクトル三重項が、コンパスのオリジナルフレームワークよりもわずかに強い公理を満たす場合、コンパクトなスピン多様体に再構成可能か？
• RQ2 commutators [\mathcal{D}, a] は、Gelfandスペクトル X = \operatorname{sp}(\mathcal{A}) 上に余接バンドル構造を生成するか？
• RQ3 座標写像 a_\alpha: X \to \mathbb{R}^p は局所微分同相写像か？ これにより X が微分多様体であることが保証されるか？
• RQ4 スペクトル三重項は、ディラック作用素 \mathcal{D} と整合するリーマン計量を X 上に誘導するか？
• RQ5 再構成された多様体がスピン^c 構造を有することを示せるか？ また、スペクトル三重項がその多様体の基本的クラスを実現するか？

主な発見

• Gelfandスペクトル X = \operatorname{sp}(\mathcal{A}) は、コンパクトで境界のない微分多様体であり、その滑らかな関数は \mathcal{A} と一致する。
• X 上の局所座標チャートは、写像 a_\alpha = (a^1_\alpha, \dots, a^p_\alpha) を用いて構成され、リプシッツ関数計算と一意的拡張性を用いて、局所的に単射かつ開写像であることが証明されている。
• X 上の余接バンドルは、1形式 [\mathcal{D}, a^j_\alpha] によって生成されるモジュールとして実現され、スペクトル三重項の構造から導かれる局所自明化を有する。
• リーマン計量は、ディラック作用素 \mathcal{D} を通じて誘導される内積により、スペクトル三重項から再構成され、ディラック作用素と整合的であることが保証される。
• 多様体 X は、クリフォード作用素のためのモリタ同値バイモジュールの存在によりスピン^c 構造を有しており、スペクトル三重項は基本的クラスを実現している。
• 連結性条件とブロック対角スペクトル三重項を用いて \mathcal{A} を有限個の連結成分に分解することで、証明は非連結多様体へも拡張可能である。各成分は独立に公理を満たす。