중간 연산자 부분대수 사이의 각도 개념 확장과 텐서 안정성

초록

본 논문은 유한 인덱스를 갖는 포함에서 중간 W*-부분대수와 비단위 C*-부분대수 사이에 ‘내부각’과 ‘외부각’이라는 새로운 기하학적 개념을 정의한다. 기존의 II₁‑인수와 유니터리 C*-대수 경우를 일반화하여, Hilbert W*-모듈과 Watatani‑인덱스 이론을 활용한다. 또한, 정의된 내부각이 유니터리 C*-대수의 최소 텐서곱에 대해 불변임을 증명한다.

상세 분석

논문은 먼저 Bakshi·et al.이 II₁‑인수와 유니터리 C*-대수에서 제시한 내부·외부각 개념을 검토하고, 이를 보다 일반적인 연산자 대수 환경으로 확장한다. 핵심은 두 단계로 나뉜다. 첫 번째 단계에서는 정상 조건부 기대값이 유한 확률적 인덱스를 갖는 W*-대수 포함 (N\subset M) 에 대해, ‘호환 가능한’ 중간 W*-부분대수 (P,Q) 를 선택하고, 이들 사이의 내적 구조를 Hilbert W*-모듈 (L^{2}(M,E_{N})) 위에 정의한다. 여기서 ‘호환 가능’이란 (P) 와 (Q) 가 기대값을 보존하며 서로 교환 가능한 사영을 공유한다는 의미이다. 그런 다음, 두 부분대수에 대응하는 정규 사영 (e_{P}, e_{Q}) 를 이용해 (L^{2})-모듈 내에서 각도 (\theta(P,Q)=\arccos|e_{P}e_{Q}|) 를 정의한다. 이 정의는 기존 II₁‑인수 경우의 Jones 사영과 완전히 일치한다.

두 번째 단계에서는 비단위 C*-대수 (B\subset A) 와 Watatani 인덱스를 갖는 조건부 기대값 (E:A\to B) 를 고려한다. Izumi의 ‘enveloping von Neumann algebra’ 기법을 도입해 (A^{}) 와 (B^{}) 로 확장하고, 그 위에 정상 기대값 (E^{**}) 를 만든 뒤, 앞서 정의한 W*-각도 개념을 적용한다. 이렇게 하면 비단위 C*-대수에서도 내부각이 의미 있게 정의된다. 논문은 또한 이 각도가 기본 구축(C*-basic construction)과 quasi‑basis 선택에 독립적임을 보이며, 사영들의 곱이 컴팩트 연산자 대수 (K_{B}(A)) 안에 들어가는 구조적 사실을 활용한다.

마지막으로, 유니터리 C*-대수 (A_{1},A_{2}) 와 그들의 중간 부분대수 (P_{i},Q_{i}) (i=1,2)에 대해 최소 텐서곱 (A_{1}\otimes_{\min}A_{2}) 를 취하면, 내부각은 (\theta(P_{1}\otimes P_{2},,Q_{1}\otimes Q_{2})=\theta(P_{1},Q_{1})+\theta(P_{2},Q_{2})) 로 보존된다. 이는 사영들의 텐서곱이 서로 독립적인 사영을 형성하고, 사영 곱의 노름이 곱의 노름과 일치함을 이용한 결과이다.

전체적으로 논문은 Hilbert W*-모듈 이론, Watatani‑인덱스, 그리고 기본 구축을 결합해 ‘각도’라는 새로운 불변량을 정의하고, 그 안정성을 텐서곱까지 확장함으로써 연산자 대수의 구조적 분석에 새로운 도구를 제공한다.