[論文レビュー] A Category of Spectral Triples and Discrete Groups with Length Function

Paolo Bertozzini, Roberto Conti+1 more|ArXiv.org|Feb 28, 2005

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

ひとこと要約

本稿では、代数ホモアリズムとヒルベルト空間のインターウェイブング作用素を介してそれらの間の準同型を定義することにより、スペクトル三つ組の新しいカテゴリーを導入する。また、長さ関数を備えた離散群からのコンヌのスペクトル三つ組の構成が函手的であることを示し、このような群の圏からスペクトル三つ組の圏への covariant 函手を構成する。

ABSTRACT

In the context of A. Connes' spectral triples, a suitable notion of morphism is introduced. Discrete groups with length function provide a natural example for our definitions. A. Connes' construction of spectral triples for group algebras is a covariant functor from the category of discrete groups with length functions to that of spectral triples. Several interesting lines for future study of the categorical properties of spectral triples and their variants are suggested.

研究の動機と目的

• スペクトル三つ組間の自然な準同型の定義を提示し、文献における空白を埋める。
• これらの準同型を用いてスペクトル三つ組の圏を構築し、非可換幾何学における圏的推論を可能にする。
• 長さ関数を備えた離散群に対するコンヌのスペクトル三つ組の構成が函手的であることを示す。
• 非可換部分多様体、商空間、および非可換幾何学における圏的構造の今後の研究の基盤を築く。
• モジュール圏間の函手を用いた一般化を含む、スペクトル三つ組のより広範な圏的枠組みを提案する。

提案手法

• スペクトル三つ組の準同型を、代数間のユニタル ∗-ホモアリズム φ と、ディラック作用素をインターウェイブングする有界線形作用素 Φ からなるペア (φ, Φ) として定義する。
• Φ がすべての a に対して D₂ ∘ Φ = Φ ∘ D₁ および Φ ∘ π₁(a) = π₂(φ(a)) ∘ Φ を満たすことを要請する。
• 長さ関数を備えた離散群の圏からスペクトル三つ組の圏への covariant 函手を構成する。
• 代数として群代数 C[G]、ヒルベルト空間として ℓ²(G)、長さ関数 ω を用いて定義されるディラック作用素 Dω を用いる。
• 群からスペクトル三つ組への割り当ておよび群の準同型から準同型への割り当てが、函手的公理を満たすことを証明する。
• 群の準同型 φ: G → H が右逆 ψ: H → G を持つとき、ヒルベルト空間上の誘導された写像 ℋψ: ℋG → ℋH が等長写像であることを示し、準同型定義と整合性を保証する。

実験結果

リサーチクエスチョン

• RQ1 幾何的および解析的構造を保存するスペクトル三つ組間の適切な準同型の定義は何か？
• RQ2 コンヌの群代数からのスペクトル三つ組の構成は、長さ関数を備えた離散群の圏から函手として形式化できるか？
• RQ3 どのような条件下で群の準同型が well-defined なスペクトル三つ組の準同型を誘導するか？
• RQ4 スペクトル三つ組の圏的枠組みは、非可換部分多様体や商空間を含むようにどのように拡張できるか？
• RQ5 非可換幾何学において、ヒルベルト空間の等長写像と代数ホモアリズムを用いて準同型を定義することの意味は何か？

主な発見

• 代数ホモアリズムとヒルベルト空間間のインターウェイブング有界作用素を用いて、well-defined なスペクトル三つ組の圏が確立された。
• 長さ関数を備えた離散群からのコンヌのスペクトル三つ組の構成が、そのような群の圏からスペクトル三つ組の圏への covariant 函手であることが示された。
• 任意の群の準同型 φ: G → H が右逆 ψ: H → G を持つとき、ヒルベルト空間上の誘導写像 ℋψ: ℋG → ℋH は等長写像である。
• ペア (𝒜ψ, ℋψ) は、ディラック作用素との必要なインターウェイブング条件を満たすスペクトル三つ組の圏における準同型をなす。
• この構成は、重み付き群という幾何的圏からスペクトル三つ組の圏への具体的な函手の例を提供する。
• この枠組みは、非可換幾何学のカテゴリファイケーションを進め、非可換部分多様体や商空間を函手を用いて研究する道筋を示唆する。