[論文レビュー] Characteristic Functions of Liftings

Santanu Dey, Rolf Gohm|ArXiv.org|Jul 10, 2007

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

ひとこと要約

本稿は、行収縮の収縮的拡大に関する特性関数を導入し、ポプロスキーの理論を部分等長的および共等長的の場合へ一般化する。新たな拡大のクラスである「縮小拡大」を定義し、それらの特性関数—多重解析的作用素—が、ユニタリ同値性に関してこのような拡大を分類するとともに、固定点対応を通じて完全正値マップへ拡張される関数的モデルを提供する。

ABSTRACT

We introduce characteristic functions for certain contractive liftings of row contractions. These are multi-analytic operators which classify the liftings up to unitary equivalence and provide a kind of functional model. The most important cases are subisometric and coisometric liftings. We also identify the most general setting which we call reduced liftings. We derive properties of these new characteristic functions and discuss the relation to Popescu's definition for completely non-coisometric row contractions. Finally we apply our theory to completely positive maps and prove a one-to-one correspondence between the fixed point sets of completely positive maps related to each other by a subisometric lifting.

研究の動機と目的

• 完全非共等長的行収縮のポプロスキーの特性関数理論を、より広いクラスの収縮的拡大へ一般化すること。
• 部分等長的および共等長的ケースを統一する新たな拡大クラス「縮小拡大」を定義し、その特徴を明らかにすること。
• 部分等長的拡大によって関連付けられた完全正値マップの固定点集合の間の一対一対応を確立すること。
• ユニタリ同値性に関して分類する多重解析的特性関数を用いた関数的モデルを提供すること。

提案手法

• ユニタリ同値性に関して部分等長的および共等長的拡大を分類する多重解析的作用素としての特性関数を導入する。
• 最小等長拡大のWold分解（mid）を用いて、拡大の構造を分析する。
• 特性関数が良好に振る舞う最も一般的な設定として、「縮小拡大」を定義し、劣化空間間の解消的収縮 γ によって特徴づける。
• 作用素行列分解を用いて、収縮的拡大と劣化空間収縮 γ の間の対応を確立する。
• Stinespring表現と固定点集合および作用素区間間の順序同型を用いて、完全正値マップへ理論を適用する。
• Cuntz代数表現と行収縮のmidを用いて、ΦR の固定点を O_d 上の完全正値マップに関連付ける。

実験結果

リサーチクエスチョン

• RQ1 ポプロスキーの元来の枠組みを越えて、行収縮の収縮的拡大に対する特性関数をどのように定義できるか？
• RQ2 どのような構造的性質が、多重解析的作用素による関数的モデルの構築を可能にするか？
• RQ3 特性関数がユニタリ同値性に関して完全に分類を提供するための最も一般的な拡大クラスは何か？
• RQ4 部分等長的拡大によって関連付けられた完全正値マップの固定点集合どうしの関係は何か？
• RQ5 劣化空間収縮 γ はどのように拡大を分類し、理論の有効性を保証する「解消的」性質が果たす役割は何か？

主な発見

• 部分等長的拡大の特性関数は、ユニタリ同値性に関してその拡大を分類する多重解析的内作用素である。
• ∗-安定な行収縮による共等長的拡大は部分等長的であり、その分類は劣化空間を写す等長作用素 γ に依存する。
• 特性関数の良好な理論が成り立つ最も一般的な設定は、「縮小拡大」のクラスであり、劣化空間間の解消的収縮 γ によって特徴づけられる。
• ΦR(⋅) = ∑Ri⋅R∗i の固定点 D と区間 [0, Ψ₁] の間には、一対一のアフィン順序同型が存在する。ここで Ψ₁ は Cuntz代数 O_d 上の完全正値マップである。
• 対応 D ↦ Ψ_D は双対的かつ順序を保ち、Ψ_D(V_αV*β) = R_αDR*β を満たす。これにより、拡大の関数的モデルが確立される。
• 理論はポプロスキーの枠組みを部分等長的および共等長的ケースへ拡張し、収縮的拡大の関数的モデルを統一的に扱うアプローチを提供する。