[論文レビュー] Characterizing graph C*-correspondences

S. Kaliszewski, Nura Patani+1 more|ArXiv.org|Jun 17, 2009

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

ひとこと要約

この論文は、可分で非退化な $C^*$-対応が、可換 $C^*$-代数で離散スペクトルを持つ（特に、可算集合 $V$ に対して $c_0(V)$ である）ものについて、そのすべてが頂点集合が $V$ の有向グラフのグラフ対応に同型であることを確立している。構成は、頂点対ごとの直交部分空間を用いて、対応からそのようなグラフを明示的に構築する。著者らは、グラフからその対応への割り当てが、本質的に全射的で、忠実かつ同型を反映する関手であることを示し、有向グラフによるこれらの対応の完全な圏的特徴付けを提供している。

ABSTRACT

Every separable nondegenerate C*-correspondence over a commutative C*-algebra with discrete spectrum is isomorphic to a graph correspondence.

研究の動機と目的

• 可算集合 $V$ に対して、$c_0(V)$ 上のすべての可分で非退化な $C^*$-対応を有向グラフを用いて特徴付けること。
• 任意の与えられた可分で非退化な $C^*$-対応 $X$ に対して、$X \cong X_E$ となる有向グラフ $E$ を構成すること。
• グラフからその関連する $C^*$-対応への関手 $\Gamma$ が本質的に全射的で、忠実かつ同型を反映することを示すこと。
• 有向グラフと $C^*$-対応の間の圏的枠組みを確立し、対応の構成が構造的にも圏的にも頑健であることを示すこと。

提案手法

• 各 $v \in V$ に対して、$X_v = X \cdot p_v$ を定義し、誘導された内積 $\langle \xi, \eta \rangle_v = \langle \xi, \eta \rangle(v)$ によりヒルベルト空間とみなす。
• 各対 $u,v \in V$ に対して、$X_{uv} = p_u \cdot X \cdot p_v$ を定義し、$X_v$ の閉部分空間とし、$X_{uv}$ の正規直交基底 $E_{uv}$ を選ぶ。
• エッジ集合 $E^1 = \bigcup_{u,v \in V} E_{uv}$ を構成し、各 $e \in E_{uv}$ に対して $r(e) = u$、$s(e) = v$ と定義し、有向グラフ $E$ を形成する。
• 点ごとの乗法と源への和で与えられるモジュール作用と内積を備えた $c_0(V)$ 上のグラフ対応 $X_E$ を定義する。
• 各生成元 $e \in E^1$ を $X_{uv}$ の対応する基底要素へ写す写像が、$C^*$-対応同型 $X \cong X_E$ に一意に拡張されることを示す。
• 関手 $\Gamma: \mathcal{G}(V) \to \mathcal{C}_0(V)$ をグラフからその対応へ写すものとして定義し、それが本質的に全射的で、忠実かつ同型を反映することを証明する。

実験結果

リサーチクエスチョン

• RQ1 可分で非退化な $C^*$-対応がすべて、頂点集合が $V$ の有向グラフのグラフ対応として実現可能か？
• RQ2 関手 $\Gamma$ が有向グラフの圏から $C^*$-対応の圏への写像として、本質的に全射的で、忠実かつ同型を反映するか？
• RQ3 グラフ対応 $X_E$ は元のグラフ $E$ の構造をどの程度正確に反映するか？
• RQ4 関手 $\Gamma$ の圏的性質は、グラフの同型と準同型の観点からどのように特徴付けられるか？
• RQ5 $C^*$-対応の圏における準同型とグラフの圏における準同型の間の正確な関係は何か？

主な発見

• 可分で非退化な $C^*$-対応がすべて、頂点集合が $V$ の有向グラフ $E$ のグラフ対応 $X_E$ に同型であることが示され、完全な特徴付けが得られた。
• $X$ から $E$ を構成するプロセスは自然である：各対 $u,v$ に対して、$p_u X p_v$ の正規直交基底が $v$ から $u$ へのエッジを定め、対応する $X_E$ は $X$ に同型である。
• 関手 $\Gamma$ は忠実で、同型を反映する：$\Gamma(E) \cong \Gamma(F)$ であることは、$E \cong F$ が有向グラフとして同型であることと同値である。
• 関手 $\Gamma$ は本質的に全射的である：$\mathcal{C}_0(V)$ のすべての準同型は、$\Gamma$ の像に同型である。つまり、すべての準同型が同型を除いて実現可能である。
• 割り当て $E \mapsto X_E$ は対象に関して単射であり、準同型の構造を保存する。$\Gamma(\phi)$ が同型であることと、$\phi$ がグラフ同型であることとは同値である。
• 任意の $\mathcal{C}_0(V)$ 内の準同型 $\psi: X \to Y$ に対して、グラフ $E$, $F$ 及びグラフ準同型 $\phi: E \to F$ が存在し、$\Gamma(\phi)$ が $X$ と $X_E$、$Y$ と $X_F$ の同型を介して $\psi$ と同型である。