[論文レビュー] Conformal Structures in Noncommutative Geometry

Christian Baer|arXiv (Cornell University)|Apr 17, 2007

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

ひとこと要約

本稿は、コンpactなスピン多様体上のリーマン計量の共形類が、ディラック作用素の符号によって定義されるフレドホルム・モジュールから再構成可能であることを示している。主な結果は、2つの計量が共形的に同値であるための必要十分条件が、それらの sign(D) フレドホルム・モジュールが弱ユニタリ同値であることである。これは、共形幾何が sign(D) のスペクトル的性質に埋め込まれていることを示している。

ABSTRACT

It is well-known that a compact Riemannian spin manifold can be reconstructed from its canonical spectral triple which consists of the algebra of smooth functions, the Hilbert space of square integrable spinors and the Dirac operator. It seems to be a folklore fact that the metric can be reconstructed up to conformal equivalence if one replaces the Dirac operator D by sign(D). We give a precise formulation and proof of this fact.

研究の動機と目的

• スペクトルデータを用いた共形構造の非可換幾何的枠組みを確立すること。
• コンパクトなスピン多様体上のリーマン計量の共形類が、ディラック作用素の符号から回復可能であることを示すこと。
• 計量再構成において、ディラック作用素のスペクトルと滑らかな関数代数との相互作用の役割を明確にすること。
• 「sign(D) が共形構造を決定する」という広く知られた主張の正確な定式化と証明を提供すること。
• スペクトル三重体による非可換リーマン幾何に類似した、非可換共形幾何の基盤を築くこと。

提案手法

• コンパクトなリーマン計量スピン多様体 (M,g) に付随する標準的スペクトル三重体 (C∞(M), L²(M,ΣM), D) を用いる。
• 有界自己随伴作用素である sign(D)（スペクトル射影の差）を用いて、ディラック作用素 D を置き換える。
• 擬微分作用素の記号計算を用いて、sign(D) の主要記号を分析する。
• フレドホルム・モジュール (H, sign(D)) 間の弱ユニタリ同値性を用いて、計量の共形同値性を特徴付ける。
• 作用素核の L²-近似と振動積分の L¹-極限を用いて、弱収束下での作用素の記号関係を関係づける。
• 記号の主記号が、余接ベクトル ξ ∈ S*M において計量の共形類によって決定されることを活用する。

実験結果

リサーチクエスチョン

• RQ1 ディラック作用素の完全な情報がなくても、スペクトルデータからリーマン計量の共形類を再構成可能か？
• RQ2 ディラック作用素の符号が、スピン多様体の共形構造を十分に符号化できるか？
• RQ3 sign(D) モジュールの弱ユニタリ同値性とリーマン計量の共形同値性の正確な関係は何か？
• RQ4 sign(D) の主要記号が、基底多様体の共形不変量をどのように反映するか？
• RQ5 sign(D) のスペクトルデータは、D の固有値の情報以外に、どの程度の幾何的情報を捉えられるか？

主な発見

• コンパクトなスピン多様体 M 上のリーマン計量 g の共形類は、完全にフレドホルム・モジュール (L²(M,ΣM), sign(D)) によって決定される。
• M 上の2つのリーマン計量 g と g′ が共形的に同値であるための必要十分条件は、それらに対応するフレドホルム・モジュール (H, sign(D)) と (H′, sign(D′)) が弱ユニタリ同値であることである。
• 非ゼロの余接ベクトル ξ ∈ S*M における sign(D) の主要記号は σ_sign(D)(ξ) = sign(σ_D(ξ)) で与えられ、計量のスケーリングに対して共形的に変換する。
• 共形構造の再構成は、ディラック作用素と滑らかな関数代数の相互作用に依存しており、D の固有値には依存しない。
• 証明により、符号作用素の記号が弱ユニタリ同値性のもとでも保存されることを示した。このとき、作用素自体がユニタリ同値であるとは限らない。
• 技術的根幹は、作用素核の L²-近似と、低正則性の設定で記号情報を抽出するために振動積分を用いることにある。