연산자 스펙트럼 분리와 비단위 불변 노름에 관한 새로운 밀도 정리

초록

본 논문은 비가환 von Neumann 대수와 실계수 0을 갖는 C*‑대수에서, 약연산자 위밀 이데얼과 단위 변환 불변 ‖·‖‑지배 노름 Φ에 대해 “모든 연산자를 Φ‑노름이 임의로 작은 원소로 교정하면 스펙트럼이 분리된 연산자로 만들 수 있는가”라는 문제를 다룬다. 핵심은 Φ에 대한 sup‑inf 조건(모든 비영 영사영 P에 대해 inf_{E≤P, E∈I} Φ(E) 가 유한하고 그 상한이 유한)과 이 조건이 모든 T∈M에 대해 ε>0이면 Φ‑노름 <ε인 X∈I가 존재해 σ(T+X) 가 연결되지 않음(분리됨)이라는 명제와 동치임을 보이는 정리이다. 실계수 0 C*‑대수와 본질 이데얼에 대해서도 동일한 결과가 성립한다.

상세 분석

논문의 핵심은 두 가지 구조적 환경, 즉 (1) 약연산자 위밀 이데얼 I를 가진 von Neumann 대수 M, 그리고 (2) 실계수 0(real rank zero)를 갖는 유니터리 C*‑대수 A에서 “스펙트럼이 연결되지 않은 연산자”가 얼마나 풍부한지를 조사하는 것이다. 이를 위해 저자들은 먼저 Φ라는 단위 변환 불변(norm)이며 동시에 연산자 노름을 지배(‖·‖‑dominating)하는 노름을 가정한다. Φ에 대해 정의된 함수
(f_{\Phi}(P)=\inf{\Phi(E):E\in I,;E\le P,;E\neq0})
와 그 상한
(c_{\Phi}=\sup{f_{\Phi}(P):P\neq0\text{ projection in }M})
를 도입한다. Lemma 2.11에 의해 f_{\Phi}(P)는 P의 중심지지 C P에만 의존한다는 점이 중요한데, 이는 중앙분해를 이용해 전체 대수를 직합 형태로 나눌 수 있게 해준다.

Theorem 1.1은 다음 두 조건의 동치를 증명한다. (i) 모든 비영 영사영 P에 대해 f_{\Phi}(P)가 유한하고 그 상한 c_{\Phi}<∞. (ii) 임의의 T∈M과 ε>0에 대해 Φ‑노름이 ε보다 작은 X∈I가 존재하여 σ(T+X) 가 분리(disconnected)한다. (i)⇒(ii) 방향에서는 중앙분해와 Lemma 2.13(‖XZ‖ f_{\Phi}(Z)≤Φ(X))을 이용해, 작은 Φ‑노름을 갖는 사영 E를 찾아 T에 E를 곱한 부분을 조절함으로써 스펙트럼을 두 개 이상의 클러스터로 나눈다. (ii)⇒(i)는 반대로, 만약 c_{\Phi}=∞라면 Lemma 2.12를 사용해 중심사영 Z를 구성해 f_{\Phi}(Z)가 임의 크게 만들 수 있음을 보이며, 이는 (ii)와 모순이 된다. 따라서 c_{\Phi}<∞가 필요조건임을 확인한다.

실계수 0 C*‑대수 A와 본질 이데얼 I에 대해서는, Lemma 2.7을 통해 임의의 비영 영사영 P에 대해 I 안에 P 이하의 비영 영 사영 E를 찾을 수 있음을 보인다. 이는 실계수 0가 제공하는 풍부한 사영 구조와 본질성(essential) 조건이 결합된 결과이다. 그런 E를 이용해 T에 작은 ‖·‖‑노름의 교정 X∈I를 삽입하면, 스펙트럼을 분리시키는 것이 가능함을 Theorem 1.2가 확립한다. 여기서 핵심은 functional calculus와 사영 분해를 적절히 조합해, 스펙트럼을 두 개 이상의 폐구간으로 나누는 것이다.

결과적으로, 모든 비영 영 von Neumann 팩터와 실계수 0 C*‑대수에서 “스펙트럼이 연결되지 않은 연산자”의 집합은 연산자 노름 위에서 열려 있고 조밀(dense)함을 얻는다(Corollary 1.3). 이는 기존 연구에서 강하게 불가역적인(strongly irreducible) 연산자와 연결된 스펙트럼이 연결된 경우만을 다루던 것과는 대조적이며, 약하게 가환 가능한 연산자(weakly reducible) 집합이 전체를 조밀하게 채운다는 새로운 시각을 제공한다. 마지막으로 저자들은 “어떤 C*‑대수에서 분리 스펙트럼 원소가 조밀한가?”라는 문제(Problem 1.4)를 제시하며, 향후 연구 방향을 제시한다.