[논문 리뷰] Invariant Subspaces for Operators in a General II_1-factor

Uffe Haagerup, Hanne Schultz|ArXiv.org|2006. 11. 09.

Advanced Operator Algebra Research참고 문헌 12인용 수 8

한 줄 요약

이 논문은 복소평면의 임의의 보렐 집합에 대해, 그 집합 위에 농축된 연산자 제한의 브라운 측도를 갖는, 일반적인 II₁-요소와 관련된 가장 큰 닫힘 T-초입자부분공간의 존재성을 확립한다. 이 구성은 자유 확률론과 준노름 적분을 기반으로 하며, 브라운 측도가 도나르 측도가 아닌 연산자에 대해 초입자부분공간 문제를 해결한다.

ABSTRACT

It is shown that to every operator T in a general von Neumann factor M of type II_1 and to every Borel set B in the complex plane, one can associate a largest, closed, T-invariant subspace, K = K_T(B), affiliated with M, such that the Brown measure of T|_K is concentrated on B. Moreover, K is T-hyperinvariant, and the Brown measure of (1-P_K)T|_(1-P_K)(H) is concentrated on C\B. In particular, if T has a Brown measure which is not concentrated on a singleton, then there exists a non-trivial, closed, T-hyperinvariant subspace. Furthermore, it is shown that for every T in M, the limit A=\lim_{n o\infty}[(T^n)* T^n]^{1/2n} exists in the strong operator topology and K_T(\bar{B(0,r)})=1_{[0,r]}(A), r>0.

연구 동기 및 목표

• 일반적인 II₁-요소 내 연산자에 대해 주어진 브라운 측도 지지 집합을 갖는 관련 부분공간을 구성하여 초입자부분공간 문제를 해결하는 것.
• 이전에는 임bedding 성질 가정 하에만 알려져 있었던 결과를 일반적인 II₁-요소의 경우로 확장하는 것.
• 강한 연산자 위상의 극한과 스펙트럼 분석을 이용하여 II₁-요소 내 연산자에 대한 스펙트럼 부분공간 구성법을 수립하는 것.
• 비원자적 브라운 측도가 존재할 경우 비자명한 초입자부분공간이 존재함을 보여, 유한차원 및 임베딩 가능한 경우의 결과를 일반화하는 것.

제안 방법

• 연산자 $ T $ 와 스칼라 $ \lambda $ 에 대해 $ (T - \lambda)\xi_n $ 과 $ \xi_n $ 의 수열 수렴 조건을 이용해 닫힘 T-초입자부분공간 $ E(T,r) $ 과 $ F(T,r) $ 를 정의한다.
• 강한 연산자 위상의 극한을 이용하여 스펙트럼 부분공간 $ \CK_T(\overline{B(0,r)}) $ 를 $ E(T,r) $ 로, $ \CK_T(\mathbb{C} \setminus B(0,r)) $ 를 $ F(T,r) $ 로 구성한다.
• 극한 $ A = \lim_{n \to \infty} [(T^n)^* T^n]^{1/(2n)} $ 이 강한 연산자 위상에서 존재함을 증명하고, 이를 스펙트럼 프로젝션과 연결하여 $ \CK_T(\overline{B(0,r)}) = 1_{[0,r]}(A) $ 라는 식을 유도한다.
• 자유 확률론을 활용해 브라운 측도와 그 스펙트럼 분포를 분석하며, 특히 퓨글레데-카디슨 행렬식과의 관계를 고려한다.
• 준노름 공간 내 통합의 투르핀–와엘브로에크 방법을 적용하여 연산자 노름 추정치와 $ L^p $-유사 노름에서의 수렴을 제어한다.
• 브라운 측도 $ \mu_{T|_{\CK}} $ 가 집합 $ B $ 위에 농축되어 있음을 보이며, $ P^\perp T P^\perp $ 의 브라운 측도가 $ \mathbb{C} \setminus B $ 위에 농축되어 있음을 확인함으로써 최대 지지 집합 제어를 보장한다.

실험 결과

연구 질문

• RQ1 임의의 보렐 집합 $ B \subseteq \mathbb{C} $ 에 대해, II₁-요소와 관련된 가장 큰 닫힘 T-초입자부분공간을 구성할 수 있는가? 이때 $ T|_{\CK_T(B)} $ 의 브라운 측도가 $ B $ 위에 농축되어 있어야 한다.
• RQ2 II₁-요소 내 연산자 $ T \in \mathcal{M} $ 의 브라운 측도가 비원자적일 경우, 비자명한 초입자부분공간이 존재하는가?
• RQ3 임베딩 성질을 가정하지 않고도, II₁-요소 내 연산자에 대한 스펙트럼 부분공간 구성법을 임베딩 가능한 요소의 범주를 넘어서 확장할 수 있는가?
• RQ4 강한 연산자 위상에서 극한 $ A = \lim_{n \to \infty} [(T^n)^* T^n]^{1/(2n)} $ 이 존재할 때, 스펙트럼 프로젝션 $ 1_{[0,r]}(A) $ 는 스펙트럼 부분공간 $ \CK_T(\overline{B(0,r)}) $ 와 어떻게 관련되어 있는가?
• RQ5 자유 확률론과 준노름 적분은 비가환 연산자 대수에서 불변부분공간을 구성하고 분석하는 데 어떤 역할을 하는가?

주요 결과

• 모든 II₁-요소 $ \mathcal{M} $ 내 연산자 $ T $ 와 복소평면의 모든 보렐 집합 $ B \subseteq \mathbb{C} $ 에 대해, $ \CK_T(B) $ 는 $ \mathcal{M} $ 와 관련된 가장 큰 닫힘 T-초입자부분공간이며, $ T|_{\CK_T(B)} $ 의 브라운 측도는 $ B $ 위에 농축되어 있다.
• 프로젝션 $ P $ 가 $ \CK_T(B) $ 에 대한 사영일 때, 압축된 연산자 $ P^\perp T P^\perp $ 의 브라운 측도는 $ \mathbb{C} \setminus B $ 위에 농축되어 있으며, 이는 보완적인 스펙트럼 지지 집합을 보장한다.
• 프로젝션 $ P = P_T(B) $ 의 추적은 $ T $ 의 브라운 측도가 $ B $ 에서의 값을 갖으며, 즉 $ \tau(P) = \mu_T(B) $ 라는 정확한 측도론적 연결을 수립한다.
• 극한 $ A = \lim_{n \to \infty} [(T^n)^* T^n]^{1/(2n)} $ 이 강한 연산자 위상에서 존재하며, $ \CK_T(\overline{B(0,r)}) = 1_{[0,r]}(A) $ 라는 식을 통해 스펙트럼 반경 유사 특성화를 제공한다.
• 만약 $ T \in \mathcal{M} $ 의 브라운 측도가 도나르 측도가 아니라면, $ T $ 는 비자명한 초입자부분공간을 갖는다. 이는 이 경우에 초입자부분공간 문제를 해결한다.
• 이 구성은 임베딩 성질을 가정하지 않은 일반적인 모든 II₁-요소에 대해 유효하며, 이전에 이 조건을 필요로 했던 결과들을 확장한다.