[論文レビュー] Dirac operators on noncommutative manifolds with boundary

Alan L. Carey, Sławomir Klimek+1 more|ArXiv.org|Dec 31, 2008

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

ひとこと要約

本稿は、境界を伴う非可換多様体としての量子単位ディスク上に、アティyah-パトディ-サイモン境界条件を満たす非可換ディラク作用素の類似物を構成する。重み付きシフトを用いた交換子によるd-bar作用素に類似する非有界作用素を定義し、スペクトル境界条件の下でフレドホルム性を証明し、古典的ケースと同様にインデックスを計算することで、量子ディスクにおける非可換インデックス定理を確立し、明示的なスペクトル的および代数的構造を提示する。

ABSTRACT

We study an example of an index problem for a Dirac-like operator subject to Atiyah-Patodi-Singer boundary conditions on a noncommutative manifold with boundary, namely the quantum unit disk.

研究の動機と目的

• 境界を伴う多様体上のディラク型作用素に対するアティヤ＝パトディ＝サイモンのインデックス問題の非可換類似物を開発すること。
• 可換境界を伴う非可換多様体としての量子単位ディスク上に、非有界ディラク型作用素を定義し、それらを研究すること。
• 境界ディラック作用素から導かれるスペクトル境界条件を用いて、これらの作用素のフレドホルム性を確立し、インデックスを計算すること。
• 非可換設定下でのインデックス計算が古典的ケースと一致することを示し、位相的不変性を保つこと。
• フォック空間上での表現を伴う量子ディスク代数とその代数的構造を用いて、非可換楕円境界問題の具象的実現を提供すること。

提案手法

• 量子単位ディスクは、重み付き片側シフト z 及びその随伴作用素によって生成される C*-代数として定義され、パrameter μ を含む非可換関係を有する。
• 作用素 D および D̄ は、D(a) = (z̄z − zz̄)⁻¹[a, z] および D̄(a) = (z̄z − zz̄)⁻¹[̄z, a] として非有界微分作用素として定義され、複素微分に類似する。
• ヒルベルト空間 L²_F(D) には重み F(ρ)⁻¹ が付与され、部分積分およびストークスの定理を用いて D の形式的随伴が計算される。
• 境界条件は境界作用素 i∂ϕ のスペクトル射影によって課され、量子ディスク上でのフレドホルム作用素が得られる。
• インデックスは射影 P_N を用いた有限次元近似により計算され、インデックスの公式が古典的ケースと一致することが示される。
• 量子ディスクの構造はトーベリツ代数と関連付けられ、作用素は ∂̄z = 0、∂̄z̄ = 1 に類似した関係を満たすことが示される。

実験結果

リサーチクエスチョン

• RQ1 境界を伴う非可換多様体上のディラック型作用素に対して、アティヤ＝パトディ＝サイモン境界条件の非可換類似物を定義できるか？
• RQ2 量子ディスク上の非可換 d-bar 作用素は、スペクトル境界条件の下でフレドホルム作用素を定めるか？
• RQ3 量子ディスク上の非可換ディラック作用素のインデックスは計算可能であり、古典的インデックスと等しいか？
• RQ4 量子ディスク代数の代数的およびスペクトル的性質は、複素微分に類似する非有界微分作用素の構成にどのように寄与するか？
• RQ5 重み付きシフト表現は、ディスクの非可換幾何学およびその境界を実現するために果たす役割は何か？

主な発見

• 非可換 d-bar 作用素 D = −D̄ は重み付きシフト z との交換子を用いて定義され、D(1) = 0、D(z) = 0、D(z̄) = 1 を満たす。
• D は有限次元近似および核空間・余核空間への射影を用いた解析により、APS境界条件を満たす量子ディスク上でフレドホルム作用素であることが示された。
• D のインデックスは 1 に計算され、古典的ディスク上での d-bar 作用素のインデックスと一致し、非可換設定下でも位相的不変性が保たれていることが確認された。
• 境界作用素 rD e は円周上で i e^{iϕ} ∂ϕ として作用し、そのスペクトル射影がインデックス定理で用いられる境界条件を定義する。
• 量子ディスク代数 C(𝔻_μ) はトーベリツ代数に同型であり、非可換性は境界ではなく内部に起因する。
• シフトから導かれる係数 A(k) および B(k) は、非有界作用素が適切に定義されフレドホルムであることを保証する漸近的条件を満たす。