[논문 리뷰] Complete isometries into C*-algebras

David P. Blecher, Damon M. Hay|ArXiv.org|2002. 03. 18.

Advanced Operator Algebra Research참고 문헌 20인용 수 3

한 줄 요약

이 논문은 C*-대수 간의 완전 등장사상(complete isometries)을 Holsztynski의 C(K) 공간 간 등장사상에 대한 고전적 결과를 일반화하여 특성화한다. 선형 사상 $ T: A \to B $가 완전 등장사상임은 물론이고, 완전 수축적(completely contractive)이면서 $ u\pi(\cdot) $ 형태의 감소하는 $\wedge$-압축(reducing $\wedge$-compression)을 갖는 것과 동치임을 보여준다. 여기서 $ \pi $는 *-환준동형사상이며 $ u $는 $ B^{**} $ 내의 부분 등장사상이다. 핵심 통찰은 *-환준동형사상 성분이 등장사상의 성격을 결정짓는 반면, 보완 부분(complementary part)은 최소한의 역할을 한다는 것이다.

ABSTRACT

We give various characterizations of into (not necessarily onto) complete isometries between $C^*$-algebras, generalizing a classical result of Holsztynski. Our results are related to a natural embedding of the noncommutative Shilov boundary in a second dual.

연구 동기 및 목표

• 가환 C*-대수 간의 등장사상에 대한 Holsztynski의 특성화를 비가환 C*-대수로 일반화하기.
• C*-대수 간 선형 사상이 완전 등장사상이 되기 위한 필요 및 충분 조건을 규명하기.
• 비가환 Shilov 경계와 이중 이중 공간 $ B^{**} $의 임bedding이 완전 등장사상의 특성화에 미치는 영향을 명확히 하기.
• 비자기수 연산자 대수로 이론을 확장하여 삼중체계(triple systems)와 연산자 공간 이론에의 응용을 다루기.

제안 방법

• 사상 $ T: A \to B $에 대한 감소하는 $\wedge$-압축의 개념을 도입하며, 이는 $ B \to B^{**} $의 표준 임베딩을 통해 정의된다.
• B의 보편 표현을 사용하여 $ T $를 $ B(H_u) $ 내의 블록 대각 행렬으로 표현하고, 이를 *-환준동형사상 부분과 보완 부분으로 분해한다.
• T가 완전 등장사상임은 물론이고, 완전 수축적이고 $ u\pi(\cdot) $ 형태의 감소하는 $\wedge$-압축을 갖는 것과 동치임을 보인다. 여기서 $ \pi $는 *-환준동형사상이며 $ u $는 $ B^{**} $ 내의 부분 등장사상이다.
• B^{**} 내의 프로젝션을 사용하여 이러한 압축의 구조를 분석하고, T가 단위원을 갖는 경우 B의 왼쪽 아이디얼에 대한 몫과의 관계를 규명한다.
• 단위원을 갖는 사상의 경우 부분 등장사상 $ u $는 1로 취할 수 있으며, 보완 부분 $ S $는 완전 양의적(completely positive)임을 증명한다.
• $ \ell^\infty_n $와 $ M_n $을 포함한 예시를 통해, 보완 부분에 대한 감소 프로젝션의 존재는 조건이 되지 않음을 보여주며, 이는 단위원을 갖는 완전 등장사상일지라도 성립하지 않을 수 있음을 시사한다.

실험 결과

연구 질문

• RQ1 비가환 C*-대수 간 선형 사상이 완전 등장사상임을 특성화하는 기준은 무엇이며, 특히 전사가 아닐 경우 어떻게 되는가?
• RQ2 비가환 Shilov 경계와 이중 이중 공간 $ B^{**} $는 완전 등장사상의 구조에 어떤 영향을 미치는가?
• RQ3 Holsztynski의 가환 사례에 대한 등장사상 결과를 비가환 C*-대수로 정확하고 내재적으로 일반화할 수 있는가?
• RQ4 *-환준동형사상 성분이 사상이 완전 등장사상임을 결정하는 데 어떤 역할을 하는가? 보완 부분은 이에 어떻게 영향을 미치는가?
• RQ5 언제 완전 등장사상이 이중 이중 공간 내에서 *-환준동형사상과 완전 양의적 부분으로 분해될 수 있는가?

주요 결과

• C*-대수 간 선형 사상 $ T: A \to B $가 완전 등장사상임은 물론이고, 완전 수축적이며 $ u\pi(\cdot) $ 형태의 감소하는 $\wedge$-압축을 갖는 것과 동치이다. 여기서 $ \pi $는 *-환준동형사상이며 $ u $는 $ B^{**} $ 내의 부분 등장사상이다.
• 단위원을 갖는 사상의 경우 부분 등장사상 $ u $는 1로 취할 수 있으며, 보완 부분 $ S $는 완전 양의적임을 보여주며, 이는 Choi와 Effros의 결과를 일반화한다.
• 사상의 구조는 주로 *-환준동형사상 성분에 의해 결정되며, 보완 부분은 등장사상 성질 유지를 위해 최소한의 역할을 한다.
• 무한 차원 $ H $에 대해 $ M_n \to B(H) $의 단위원을 갖는 완전 등장사상 $ \Psi $의 예를 구성하여, $ (1-p)\Psi(\cdot) $가 *-환준동형사상이 되는 프로젝션 $ p $가 존재하지 않음을 보여주며, 이 경우 $ p = 1 $이어야 하며, 이때 사상은 0이 된다.
• 이 예는 보완 부분에 대한 감소 프로젝션의 존재가 보장되지 않음을 보이며, 비가환적 구조가 가환 사례의 직접적인 일반화를 방해함을 시사한다.
• 이론은 비자기수 연산자 대수로 자연스럽게 확장되며, 삼중체계와 연산자 공간 이론에의 응용이 가능함을 관련 연구를 통해 보여준다.