[論文レビュー] Regular dilations of representations of product systems

Baruch Solel|ArXiv.org|Apr 7, 2005

Advanced Operator Algebra Research参考文献 11被引用数 7

ひとこと要約

本稿は、$\mathbb{Z}_{+}^{k}$ 上の積系の完全に圧縮的表現が正規等長拡大をもつための必要十分条件を確立し、アンドウの拡大定理を一般化する。このような拡大が存在するのは、一般化されたニカ共変性条件—演算子の組み合わせに関する正値性条件に同等—が成り立つ場合に限ることを証明し、二重に可換な表現が一意的かつ最小の正規拡大をもつことを示す。

ABSTRACT

We study completely contractive representations of product systems $X$ of correspondences over the semigroup $\mathbb{Z}_+^k$. We present a necessary and sufficient condition for such a representation to have a regular isometric dilation. We discuss representations that doubly commute and show that these representations induce completely contractive representations of the norm closed algebra generated by the image of the Fock representation of $X$.

研究の動機と目的

• 完全に圧縮的表現が $\mathbb{Z}_{+}^{k}$ 上の積系に対して正規等長拡大をもつための条件を同定すること。
• 可換な圧縮作用素に対するアンドウの拡大定理を、対応関係の積系の設定へ拡張すること。
• 二重に可換な表現が正規拡大の存在および一意性を保証する役割を調査すること。
• 正規拡大の存在をニカ共変性と普遍テンソル代数 $\mathcal{T}_{+}(X)$ の構造と結びつけること。

提案手法

• 完全に圧縮的表現の正規等長拡大の概念を導入し、積系のテンソル積構造と整合性を持つことを要求する。
• すべての部分集合 $v \subseteq \{1,\dots,k\}$ に対して、$S(v) = \sum_{u \subseteq v} (-1)^{|u|} (T^{\mathbf{e}(u)})^* T^{\mathbf{e}(u)} \geq 0$ という演算子の組み合わせに関する正値性条件を定義し、これが主要な基準となる。
• この正値性条件が、正規等長拡大の存在にとって必要かつ十分であることを確立する。
• 最小性を課した場合、このような拡大がユニタリ同値を除いて一意的であることを証明する。
• 二重に可換な表現—$i \neq j$ のとき $T_i T_j^* = T_j^* T_i$—に対してはニカ共変性条件が成り立つことを示し、代数的構造と拡大理論を結びつける。
• フォーラーらの $C^*$-代数および普遍テンソル代数に関する結果を用い、$X$ のフォック表現を $\mathcal{T}_{\text{cov}}(X)$ および $\mathcal{T}_{+,c}(X)$ と関連付ける。

実験結果

リサーチクエスチョン

• RQ1 完全に圧縮的表現が $\mathbb{Z}_{+}^{k}$ 上の積系に対して正規等長拡大をもつための必要十分条件は何か？
• RQ2 表現における二重可換性条件は、正規拡大の存在にどのように関係するか？
• RQ3 正値性条件 $S(v) \geq 0$ は、$k=2$ の場合のアンドウの拡大結果をどのように一般化するか？
• RQ4 普遍テンソル代数 $\mathcal{T}_{+,c}(X)$ は、二重に可換な表現に対する普遍対象として実現可能か？
• RQ5 ニカ共変性と積系における正規拡大の構造の関係は何か？

主な発見

• 完全に圧縮的表現が $\mathbb{Z}_{+}^{k}$ 上の積系に対して正規等長拡大をもつのは、すべての部分集合 $v \subseteq \{1,\dots,k\}$ に対して正値性条件 $S(v) \geq 0$ が成り立つ場合に限る。
• 二重に可換な表現に対しては、正値性条件が自動的に満たされるため、正規等長拡大が存在することが保証される。
• 最小性を要求した場合、正規等長拡大はユニタリ同値を除いて一意的である。
• 等長作用素の表現に対しては、ニカ共変性条件は二重可換条件と同等であり、代数的性質と力学的性質を結びつける。
• 普遍テンソル代数 $\mathcal{T}_{+,c}(X)$ は、ニカ共変性条件の下でフォック表現の像が生成する代数と同型である。
• 定理4.7は、$u$-二重可換関係を満たす行圧縮作用素の $k$-重が、同じ関係を保つ行等長作用素への同時正規拡大をもつことを確立する。