[논문 리뷰] Similarity problems and length

Gilles Pisier|arXiv (Cornell University)|2000. 05. 08.

Holomorphic and Operator Theory참고 문헌 29인용 수 12

한 줄 요약

이 논문은 C*-대수에서 카이송의 유사성 문제와 관련 파생 문제를 조사하며, 그들이 호모모르피즘과 표현의 완전 유계성과 동치임을 입증한다. 주요 기여는 유한한 부분대수의 생성을 통해 정의된 C*-대수의 길이가 유사성 성질을 만족할 때이고, 오직 그 때에만 유한하다는 것을 증명하며, 연산자 공간 이론과 행렬 노름을 사용하여 명시적인 경계를 도출한다.

ABSTRACT

This is a survey of the author's recent results on the Kadison and Halmos similarity problems and the closely connected notion of ``length'' of an operator algebra.

연구 동기 및 목표

• 연산자 대수에서 완전 유계성 개념과 연결함으로써 카이송의 유사성 문제를 해결하기 위해.
• C*-대수에서의 유사성 문제와 파생 문제 사이의 동치성을 확립하기 위해.
• 유한한 부분대수의 생성을 통해 정의된 C*-대수의 '길이'를 정의하고 분석하기 위해.
• 행렬 노름과 연산자 공간 기법을 사용하여 길이에 대한 정량적 경계를 제공하기 위해.
• 대수 $ A_3 = \bigoplus_{n \to \infty} M_n $의 길이가 2를 초과함을 보여주어 추측된 경계와 모순됨을 입증하기 위해.

제안 방법

• 유사성에 대한 *-호모모르피즘을 특성화하기 위해 완전 유계(с.б.) 사상과 그 노름 $ \|u\|_{cb} $ 의 개념을 사용한다.
• 하아그룹의 정리 적용: 호모모르피즘이 *-호모모르피즘과 유사할 때이고, 오직 그 때에만 완전 유계이며, $ \|u\|_{cb} = \inf \|\xi\| \|\xi^{-1}\| $ 이다.
• 폴센의 일반화를 비자기 연산자 대수에 적용하여, $ \|u\|_{cb} < \infty $ 이면 $ u $ 가 완전 수축 호모모르피즘과 유사함을 보였다.
• 유니탈 연산자 대수 $ A $ 의 길이 $ \ell(A) $ 는 단위 구가 $ C^d $ 의 닫힌 볼록 hull 안에 있을 수 있는 최소 $ d $ 로 정의된다. 여기서 $ C $ 는 부분대수의 유계 집합이다.
• 특히 $ (\alpha,\beta) = (1,2), (2,1) $ 인 $ w_{\alpha\beta} $ 를 분석하여, $ \|v\|_{[2]} \leq 2 + 2\sqrt{m} $ 를 유도하기 위해 $ A_3 $ 의 원소들의 곱에 대한 행렬 노름 추정을 사용한다.
• 가정 $ \ell(A_3) \leq 2 $ 를 가정하고, $ C(m,3) \leq K(2 + \sqrt{m}) $ 를 사용하여 모순을 도출하였으며, 이는 $ d=3 $ 인 레이마 11 위반으로 이어진다.

실험 결과

연구 질문

• RQ1 C*-대수에서 $ B(H) $ 로의 유계 유니탈 호모모르피즘은 항상 *-호모모르피즘과 유사한가?
• RQ2 파생 $ \pi $-파생이 유계일 경우, 내부 파생인가? 즉, $ \delta(a) = \pi(a)T - T\pi(a) $ 의 형태인가?
• RQ3 C*-대수의 길이와 그 유사성 성질 사이의 정확한 관계는 무엇인가?
• RQ4 대수 $ A_3 = \bigoplus_{n \geq 1} M_n $ 의 길이가 2 이하로 유계가 될 수 있는가?
• RQ5 행렬 노름과 연산자 공간 기법은 부분대수로 생성된 연산자 대수의 길이를 어떻게 제약하는가?

주요 결과

• C*-대수 $ A $ 에 대한 유사성 문제는 파생 문제와 동치이며, 둘 다 호모모르피즘과 파생의 완전 유계성과 동치이다.
• 모든 유니탈 연산자 대수 $ A $ 에 대해, 호모모르피즘 $ u: A \to B(H) $ 가 완전 수축 호모모르피즘과 유사할 때이고, 오직 그 때에만 $ \|u\|_{cb} < \infty $ 이며, $ \|\xi\| \|\xi^{-1}\| $ 의 하한이 cb-노름을 달성한다.
• 대수 $ A_3 = \bigoplus_{n \geq 1} M_n $ 의 길이 $ \ell(A_3) $ 는 $ \|v\|_{[2]} \leq 2 + 2\sqrt{m} $ 의 경계와 그로 인한 레이마 11 위반을 통해 모순을 이용하여 2를 초과함을 보였다.
• $ \ell(A) \leq d $ 이면, 임의의 유니탈 호모모르피즘 $ u $ 에 대해 $ \|u\| \leq dK \max\{\|u|_{B_1}\|, \|u|_{B_2}\|\}^d $ 이다. 이는 노름에 대한 다항식 경계를 수립한다.
• $ \mathcal{K}(A) $ 의 길이에 대해 $ \ell(\mathcal{K}(A)) \leq 2\ell(A) + 1 $ 이며, 반대로 $ \ell(\mathcal{K}(A)) \leq m $ 이면 $ \ell(A) \leq \lfloor (m+1)/2 \rfloor $ 이다.
• $ A = C_1 \otimes_{\max} C_2 $ 에 대해 $ A_1 = C_1 \otimes 1 $, $ A_2 = 1 \otimes C_2 $ 이면, $ A $ 의 길이는 $ \mathcal{K}(A) $ 가 $ \mathcal{K}(A_1) $ 과 $ \mathcal{K}(A_2) $ 로 생성되는 방식과 관련이 있으며, 행렬 노름 분석을 통해 명시적인 경계가 도출되었다.