[논문 리뷰] Operator valued frames on C*-modules

Victor Kaftal, David R. Larson외 1명|ArXiv.org|2007. 07. 23.

Mathematical Analysis and Transform Methods참고 문헌 12인용 수 4

한 줄 요약

이 논문은 σ-유니탈 C*-대수 위의 힐버트 C*-모듈러스 위에서 연산자 값 프레임을 도입하며, 벡터 프레임과 힐버트 공간 위의 연산자 값 프레임을 일반화한다. 이는 프레임 변환과 프레임 투영이 엄밀한 위상 수렴을 통해 멀티플라이어 대수에 속한다는 것을 증명하며, 오른쪽 유사성의 프레임이 동일한 프레임 투영을 가진다는 것을 보이고, 새로운 조합 연산을 도입하여 멀티플라이어 대수 내의 프로젝션의 Murray-von Neumann 등급과 오른쪽 유사성 등급 간의 일대일 대응을 드러낸다.

ABSTRACT

Frames on Hilbert C*-modules have been defined for unital C*-algebras by Frank and Larson and operator valued frames on a Hilbert space have been studied in arXiv.0707.3272v1.[math.FA]. Goal of the present paper is to introduce operator valued frames on a Hilbert C*-module for a sigma-unital C*-algebra. Theorem 1.4 reformulates the definition given by Frank and Larson in terms of a series of rank-one operators converging in the strict topology. Theorem 2.2. shows that the frame transform and the frame projection of an operator valued frame are limits in the strict topology of a series of elements in the multiplier algebra and hence belong to it. Theorem 3.3 shows that two operator valued frames are right similar if and only if they share the same frame projection. Theorem 3.4 establishes a one to one correspondence between Murray-von Neumann equivalence classes of projections in the multiplier algebra and right similarity equivalence classes of operator valued frames and provides a parametrization of all Parseval operator-valued frames on a given Hilbert C*-module. Left similarity is then defined and Proposition 3.9 establishes when two left unitarily equivalent frames are also right unitarily equivalent.

연구 동기 및 목표

• 힐버트 공간에서의 연산자 값 프레임 이론을 σ-유니탈 C*-대수 위의 힐버트 C*-모듈러스로 확장한다.
• 멀티플라이어 대수의 엄밀한 위상 수렴을 통해 벡터 프레임을 연산자 값 프레임의 관점에서 재구성한다.
• 프레임의 오른쪽 유사성은 그 프레임 투영을 통해 특징지어지며, 이를 멀티플라이어 대수 내의 프로젝션의 Murray-von Neumann 등급과 일대일 대응시킨다.
• 연산자 값 프레임의 조합을 새롭게 도입하고 분석하며, 이는 벡터 프레임 이론에 대응하는 연산이 없는 새로운 연산이다.
• 왼쪽 및 오른쪽 유사성의 관계를 탐구하고, 왼쪽 유니터리 등가가 오른쪽 유니터리 등가로 이르는 조건을 규명한다.

제안 방법

• 표준 힐버트 C*-모듈러스 ℓ²(𝒜) 위에서 연산자 값 프레임을 정의한다. 이는 E₀M(𝒜⊗𝒦)E₀ 내의 연산자들 {Aⱼ}의 집합으로, 수렴이 M(𝒜⊗𝒦)의 엄밀한 위상에서 성립하는 aI ≤ ∑ⱼ Aⱼ* Aⱼ ≤ bI 를 만족한다.
• 프레임 변환 θ_A 와 프레임 투영 P_A 가 멀티플라이어 대수 M(𝒜⊗𝒦) 내의 급수의 극한임을 보이며, 따라서 멀티플라이어 대수에 속한다.
• 엄밀한 위상 수렴을 이용해 프레임 변환과 프레임 투영이 M(𝒜⊗𝒦)의 잘 정의된 원소임을 증명함으로써, 대수적 및 위상적 분석이 가능해진다.
• 프레임의 왼쪽 및 오른쪽 유사성을 도입하고, {A_j}와 {B_i}의 프레임에 대해 C_{i,j} = B_i A_j 라 정의하는 조합 연산을 정의하며, 새로운 프레임 {C_{i,j}} 를 형성한다.
• M(𝒜⊗𝒦) 내의 프로젝션의 Murray-von Neumann 등급과 연관된 모든 파르세발 연산자 값 프레임을 매개변수화한다.
• 프레임 변환과 프레임 연산자 D_A 를 이용해 두 프레임이 오른쪽으로 유사함과 동시에 동일한 프레임 투영을 가진다는 것을 증명한다.

실험 결과

연구 질문

• RQ1 σ-유니탈 C*-대수 위의 힐버트 C*-모듈러스 위에서 연산자 값 프레임는 어떻게 정의할 수 있으며, 힐버트 공간의 경우를 일반화하는가?
• RQ2 엄밀한 위상이 멀티플라이어 대수에 속하는 프레임 변환과 프레임 투영을 보장하는 데 어떤 역할을 하는가?
• RQ3 프레임의 오른쪽 및 왼쪽 유사성은 어떻게 관련되어 있으며, 왼쪽 유니터리 등가가 오른쪽 유니터리 등가로 이르는 조건은 무엇인가?
• RQ4 연산자 값 프레임의 조합 연산의 의의는 무엇이며, 벡터 프레임 분해와는 어떻게 다를까?
• RQ5 모든 파르세발 연산자 값 프레임은 멀티플라이어 대수 내의 프로젝션의 Murray-von Neumann 등급을 통해 매개변수화될 수 있는가?

주요 결과

• 연산자 값 프레임의 프레임 변환 θ_A 와 프레임 투영 P_A 는 멀티플라이어 대수 M(𝒜⊗𝒦) 내의 급수의 극한이므로, 엄밀한 위상 수렴으로 인해 멀티플라이어 대수에 속한다.
• 두 개의 연산자 값 프레임이 오른쪽으로 유사함과 동시에 동일한 프레임 투영을 가진다는 것은 오직 그때에만 성립하며, 오른쪽 유사성의 완전한 특징을 제공한다.
• M(𝒜⊗𝒦) 내의 프로젝션의 Murray-von Neumann 등급과 연산자 값 프레임의 오른쪽 유사성 등급 간에 일대일 대응이 존재한다.
• 두 개의 연산자 값 프레임 {A_j} 와 {B_i} 의 조합은 새로운 프레임 {C_{i,j} = B_i A_j} 를 생성하며, 이는 벡터 프레임 이론에 대응하는 연산이 없는 새로운 연산이다.
• 두 프레임이 유니터리 S 를 통해 왼쪽으로 유니터리 등가이면, S 가 모든 i,j 에 대해 A_j D_A^{-1} A_i^* 와 가환함과 동시에 오직 그때에만 오른쪽으로 유니터리 등가이다.
• 파르세발 연산자 값 프레임는 M(𝒜⊗𝒦) 내의 프로젝션의 Murray-von Neumann 등급을 통해 매개변수화되며, 이는 완전한 분류를 제공한다.