[논문 리뷰] Quasimultipliers of Operator Spaces

Masayoshi Kaneda, Vern I. Paulsen|ArXiv.org|2003. 12. 30.

Advanced Operator Algebra Research참고 문헌 17인용 수 6

한 줄 요약

이 논문은 삽입된 대수에 대한 외재적 의존성 없이 연산자 공간에서의 준다중연산자(quasimultipliers)를 내재적으로 특성화하기 위해 삽입 환경(injective envelope)를 사용하여, 모든 표현 가능한 완전 수축적 곱셈이 준다중연산자로부터 유도된다는 것을 증명한다. 이는 이러한 곱셈들의 집합이 준다중연산자 공간의 단위구와 약현적으로 동형인 볼록 집합을 이룬다는 것을 보여주며, 준다중연산자에 의해 유도되는 등장사상들을 통해 바나흐-스타인(Banach-Stone) 정리를 일반화한다.

ABSTRACT

We use the injective envelope to study quasimultipliers of operator spaces. We prove that all representable operator algebra products that an operator space can be endowed with are induced by quasimultipliers. We obtain generalizations of the Banach-Stone theorem.

연구 동기 및 목표

• 연산자 공간에서 준다중연산자의 내재적 특성화를 개발하여, 특정 대수에 대한 임베딩에 의존하는 외재적 의존성을 제거한다.
• 연산자 공간 위의 모든 표현 가능한 완전 수축적 곱셈이 준다중연산자에 의해 유도됨을 보인다.
• 연산자 대수 간의 완전 등장사상이 준다중연산자를 유도함을 보여, 바나흐-스타인 정리를 일반화한다.
• 연산자 공간 이론의 맥락에서 준다중연산자, 준중앙화자(quasicentralizers), 준호모모르피즘(quasihomomorphisms) 간의 관계를 명확히 한다.

제안 방법

• 특정 대수에 대한 임베딩에 의존하지 않는, 준다중연산자의 내재적 정의를 제공하기 위해 삽입 환경를 사용한다.
• 완전 등장사상 φ: X → B(H)에 대해 상대적인 준다중연산자를 정의하여, φ(X)zφ(X) ⊆ φ(X)를 만족하는 QMφ(X) ⊆ B(H)를 구성한다.
• 준다중연산자에 의해 유도되는 이항형식의 공간 QMB(X)를 도입하며, 이는 준다중연산자 노름 ‖m‖qm을 지닌다.
• QMB(X)가 벡터 공간임을 증명하고, 각 m ∈ QMB(X)가 완전 유계임을 보이며, ‖m‖cb ≤ ‖m‖qm 임을 보인다.
• 좌우 다중연산자의 cb-노름을 사용하여 준다중연산자 z의 노름과 유도된 이항형식 m_z의 cb-노름 간의 관계를 유도한다.
• 크리스텐센-신클라르(Christensen-Sinclair)와 블레처-폴센(Blecher-Paulsen)의 결과를 적용하여 유도된 사상의 완전 유계성 및 노름 성질을 분석한다.

실험 결과

연구 질문

• RQ1 연산자 공간의 준다중연산자는 특정 대수에 대한 임베딩에 의존하지 않고 내재적으로 특성화될 수 있는가?
• RQ2 연산자 공간 위의 모든 표현 가능한 완전 수축적 곱셈은 준다중연산자에 의해 유도되는가?
• RQ3 연산자 공간 맥락에서 준다중연산자는 바나흐-스타인 정리의 일반화와 어떻게 관련되는가?
• RQ4 준다중연산자에 의해 유도된 곱셈들의 공간은 볼록인가? 만약 그렇다면, 준다중연산자 공간의 단위구와 어떤 관계가 있는가?
• RQ5 모든 준중앙화자(quasicentralizers, 즉 준호모모르피즘의 의미에서)는 반드시 준다중연산자에 의해 유도되는가?

주요 결과

• 모든 표현 가능한 완전 수축적 곱셈은 준다중연산자에 의해 유도되며, 이러한 곱셈들의 집합은 볼록 집합이며 준다중연산자 공간의 단위구와 약현적으로 동형이다.
• 준다중연산자에 의해 유도된 이항형식의 공간 QMB(X)는 벡터 공간이며, 각 형식은 완전 유계이며 ‖m‖cb ≤ ‖m‖qm 를 만족한다.
• 준다중연산자 z에 의해 유도된 이항형식 m_z의 노름은 ‖m_z‖cb = ‖z‖ 를 만족함을 보여, 이 형식의 cb-노름이 준다중연산자 z의 연산자 노름과 일치함을 보인다.
• 두 개의 연산자 대수 간의 선형 완전 등장사상은 준다중연산자를 유도하며, 이 구성은 알려진 바나흐-스타인 정리의 일반화를 복원한다.
• QMB(X) ⊆ QC(X) 라는 포함관계가 성립하며, 여기서 QC(X)는 준중앙화자 공간이지만, 그 역포함관계는 일반적으로 성립하지 않는 것으로 알려져 있다.
• 완전 수축적 곱셈이 OAP(X)에 속하지 않는 예시가 제시되어, 모든 이러한 곱셈이 완전 등장사상에 의한 임베딩을 통해 유도된다는 것은 아님을 보여준다.