[論文レビュー] Unital q-positive maps on M_2(\C) and a related E_0-semigroup result

Christopher J. Jankowski|arXiv (Cornell University)|May 24, 2010

Advanced Topics in Algebra参考文献 10被引用数 4

ひとこと要約

この論文は、$ M_2(\mathbb{C}) $ 上の単位的 q-正値写像を分類し、すべての単位的 q-純粋写像がランク1または可逆であることを証明する。さらに、$ n=3 $ の極限写像を分析し、重みが特定の形をとる場合の境界重みダブルに由来する $ E_0 $-半群のコサイクル同値性を確立し、ある種の $ E_0 $-半群が超最大 q-コーナーを用いてコサイクル同値でないことを示す。

ABSTRACT

From previous work, we know how to obtain type II_0 E_0-semigroups using boundary weight doubles (ϕ, ν), where ϕ: M_n(\C) o M_n(\C) is a unital q-positive map and νis a normalized unbounded boundary weight over L^2(0, \infty). In this paper, we classify the unital q-positive maps ϕ: M_2(\C) o M_2(\C). We find that every unital q-pure map ϕ: M_2(\C) o M_2(\C) is either rank one or invertible. We also examine the case n=3, finding the limit maps L_ϕfor all unital q-positive maps ϕ: M_3(\C) o M_3(\C). In conclusion, we present a cocycle conjugacy result for E_0-semigroups induced by boundary weight doubles (ϕ, ν) when νhas the form ν(\sqrt{I - Λ(1)} B \sqrt{I - Λ(1)})=(f,Bf).

研究の動機と目的

• すべての単位的 q-正値写像 $ \phi: M_2(\mathbb{C}) \to M_2(\mathbb{C}) $ を分類すること、特に q-純粋写像に注目すること。
• すべての単位的 q-正値写像 $ \phi: M_3(\mathbb{C}) \to M_3(\mathbb{C}) $ に対する極限写像 $ L_\phi $ を特定すること。
• 重み $ \nu $ が $ \nu(\sqrt{I - \Lambda(1)}B\sqrt{I - \Lambda(1)}) = (f, Bf) $ の形をとる場合、境界重みダブル $ (\phi, \nu) $ に由来する $ E_0 $-半群のコサイクル同値性を証明すること。
• 異なる写像に由来するある種の $ E_0 $-半群が、超最大 q-コーナーを分析することでコサイクル同値でないことを示すこと。

提案手法

• 構造と固有値の性質を分析することで、$ M_2(\mathbb{C}) $ 上の単位的 q-正値写像を分類する。
• q-純粋性と q-劣上位の概念を用いて、分類をランク1または可逆写像に還元する。
• $ n=3 $ の極限写像 $ L_\phi $ を、$ t \to \infty $ の極限における $ t\phi(I + t\phi)^{-1} $ をとることで分析し、その結果として冪等写像が得られることを示す。
• 単位的 q-正値写像 $ \phi $ と正規化された有界でない境界重み $ \nu $ を持つ境界重みダブル $ (\phi, \nu) $ の理論を適用する。
• ユニタリ変換による不変性を用いて、$ E_0 $-半群の分類を写像の同値類に還元する。
• 写像間の超最大 q-コーナーを構成し、関連する行列の正定値性を用いて矛盾を導出し、非同値性を証明する。

実験結果

リサーチクエスチョン

• RQ1 単位的 q-正値写像 $ \phi: M_2(\mathbb{C}) \to M_2(\mathbb{C}) $ の完全な分類、特に q-純粋写像についての分類は何か？
• RQ2 $ n=3 $ において、単位的 q-正値写像 $ \phi: M_3(\mathbb{C}) \to M_3(\mathbb{C}) $ の極限写像 $ L_\phi $ は何か？
• RQ3 境界重みダブル $ (\phi, \nu) $ と $ (\psi, \nu) $ に由来する $ E_0 $-半群がコサイクル同値となる条件は何か？
• RQ4 非同型の写像間の q-コーナーを用いて、コサイクル同値でない $ E_0 $-半群を構成できるか？
• RQ5 超最大 q-コーナーは、関連するシュール写像にどのような構造的制約を課えるか？

主な発見

• すべての単位的 q-純粋写像 $ \phi: M_2(\mathbb{C}) \to M_2(\mathbb{C}) $ は、ランク1または可逆である。
• $ n=3 $ において、任意の単位的 q-正値写像 $ \phi: M_3(\mathbb{C}) \to M_3(\mathbb{C}) $ の極限写像 $ L_\phi $ は、単位的完全正値射影の集合 $ \mathcal{E}_3 $ に属する冪等写像である。
• 重み $ \nu $ が $ \nu(\sqrt{I - \Lambda(1)}B\sqrt{I - \Lambda(1)}) = (f, Bf) $ の形をとる場合、$ (\phi, \nu) $ と $ (\phi_U, \nu) $ に由来する $ E_0 $-半群は、ユニタリ共役性によりコサイクル同値である。
• $ \phi_2 $ と $ \phi_3 $ の間に超最大 q-コーナーは存在しないため、対応する $ E_0 $-半群 $ \alpha_2^d $ と $ \alpha_3^d $ はコサイクル同値でない。
• $ q $-正値写像 $ \Theta $ から構成された $ q $-コーナー $ \gamma $ の極限写像 $ L_\Theta $ は、シュール写像をもつブロック行列であり、シュール乗数の構造が極限の冪等性と像を決定する。
• $ q $-コーナーに付随するシュール写像 $ \sigma $ の成分は $ \{0,1\} $ に属し、1の配置は minors の正定値性によって制約を受けるため、$ M_1 $ のような特定の配置は排除される。