[논문 리뷰] Strong Singularity of Singular Masas in II_1 Factors

Allan M. Sinclair, Roger R. Smith외 2명|ArXiv.org|2006. 01. 24.

Advanced Operator Algebra Research참고 문헌 14인용 수 24

한 줄 요약

이 논문은 분리 가능한 ${\rm{II}}_1$ 초급수에서 모든 단일성 masA가 강하게 단일성임을 증명하며, 기존에 알려진 강한 단일성은 단일성으로 이어진다는 함의의 역을 확립한다. Popa의 $\delta$-불변량과 연산자 대수 기법을 사용하여, 조건부 기대가 유니터리 궤도 위에서 $\|\cdot\|_{2}$-노름을 최소화함으로써 모든 유니터리에 대해 강한 단일성 부등식을 검증하는 분리 가능한 부분대수의 수열을 구성한다.

ABSTRACT

A singular masa $A$ in a $ m{II}_{1}$ factor $N$ is defined by the property that any unitary $w\in N$ for which $A=wAw^*$ must lie in $A$. A strongly singular masa $A$ is one that satisfies the inequality $$\| E_A- E_{wAw^*}\|_{\infty,2}\geq\|w- E_A(w)\|_2$$ for all unitaries $w\in N$, where $E_A$ is the conditional expectation of $N$ onto $A$, and $\|\cdot\|_{\infty,2}$ is defined for bounded maps $ϕ:N o N$ by $\sup\{\|ϕ(x)\|_2:x\in N, \|x\|\leq 1\}$. Strong singularity easily implies singularity, and the main result of this paper shows the reverse implication.

연구 동기 및 목표

• 분리 가능한 ${\rm{II}}_1$ 초급수에서 모든 단일성 masA가 강하게 단일성임을 증명하는 열린 문제를 해결한다.
• ${\rm{II}}_1$ 초급수의 masA에 대해 단일성과 강한 단일성 간의 거리 등가성을 확립한다.
• Popa의 $\delta$-불변량 프레임워크를 확장하여, masA에 대한 $\alpha(A)$ 불변량이 0 또는 1의 값만을 가짐을 보이며, $\delta$-불변량의 행동을 반영한다.
• 단일성 masA의 연구를 구조적 성질을 유지하면서 분리 가능한 부분대수로 줄이는 일반적인 방법을 제공한다.

제안 방법

• 복잡도가 점차 증가하는 분리 가능한 바나흐 대수 $M_k$의 포함 수열을 구성하여, 강한 단일성의 귀납 조건을 충족시킨다.
• Popa의 유니터리 궤도와 조건부 기대에 관한 결과를 적용하여, 특히 $\mathbb{E}_{B^\prime \cap M}(x)$가 유니터리 코너의 볼록 조합의 $\|\cdot\|_2$-닫힘에서 최소임을 보인다.
• Dixmier의 근사 정리를 사용하여, 유니터리 궤도의 $\|\cdot\|_2$-닫힘이 약한 닫힘에서 항등원의 스칼라 배수를 포함함을 보장한다.
• 유니터리 근사 방법을 활용하여, $u \in \mathcal{U}(A)$에 대해 $\|\mathbb{E}_A(x_i u x_j^*) - \mathbb{E}_A(x_i)u\mathbb{E}_A(x_j^*)\|_2$가 임의로 작아질 수 있음을 보인다.
• 세 가지 귀납 조건을 검증한다: (i) $\mathbb{E}_A(y_{k,r}) \in K_{B_{k+1}}^w(y_{k,r})$, (ii) $K_{M_{k+1}}^n(y_{k,r}) \cap \mathbb{C}1 \neq \emptyset$, 및 (iii) $p \in B_k$인 프로젝션에 대해 $\|\mathbb{E}_A((1-p)y_{i} p u y_j^*(1-p))\|_2$의 작음함.
• 강한 단일성의 정의를 위해 $\|\cdot\|_{\infty,2}$-노름을 사용하여 조건부 기대 $\|\mathbb{E}_A - \mathbb{E}_{wAw^*}\|_{\infty,2}$와 거리 $\|w - \mathbb{E}_A(w)\|_2$를 비교한다.

실험 결과

연구 질문

• RQ1 분리 가능한 ${\rm{II}}_1$ 초급수에서 모든 단일성 masA가 강한 단일성 부등식을 만족하는가?
• RQ2 강한 단일성 조건은 약한 부등식 $90\|\mathbb{E}_A - \mathbb{E}_{wAw^*}\|_{\infty,2} \geq \|w - \mathbb{E}_A(w)\|_2$로부터 유도될 수 있는가?
• RQ3 $\alpha(A)$ 불변량이 강한 단일성을 특징짓는다. 이 값은 분리 가능한 ${\rm{II}}_1$ 초급수에서 0 또는 1로 제한되는가?
• RQ4 구조적 정보를 잃지 않고 단일성 masA의 연구를 분리 가능한 부분대수로 줄일 수 있는가?

주요 결과

• 분리 가능한 ${\rm{II}}_1$ 초급수에서 모든 단일성 masA는 강하게 단일성임을 증명하여, 강한 단일성이 일반 단일성으로 이어지는 것으로 알려진 함의의 역을 입증한다.
• $\alpha(A)$ 불변량은 유니터리 $w$에 대해 $\|\mathbb{E}_A - \mathbb{E}_{wAw^*}\|_{\infty,2} / \|w - \mathbb{E}_A(w)\|_2$의 하한으로 정의되며, 이 값은 0 또는 1만을 가짐을 보이며, Popa의 $\delta(A)$ 불변량과 유사하다.
• 두 개의 단일성 masA가 ${\rm{II}}_1$ 초급수에서 텐서곱을 이루면 다시 단일성이 됨을 2.4조화에서 보였다.
• 단일성 masA는 2.5정리에서 보듯이 분리 가능한 ${\rm{II}}_1$ 초급수의 맥락에서 연구될 수 있으며, 핵심 성질을 유지하면서 분리 가능한 부분대수로 줄일 수 있다.
• $M_k$의 귀납적 수열 구성은 $x \in M$에 대해 $\mathbb{E}_A(x) = \mathbb{E}_{B^\prime \cap M}(x)$임을 보여 $B = M \cap A$가 $M$에서 masA임을 증명한다.
• $\{x_i\}$의 유한 집합과 $p \in B$인 프로젝션에 대해 $\inf \{ \max_{i,j} \|\mathbb{E}_B((1-p)x_i p u x_j^*(1-p))\|_2 \} = 0$이 성립함을 보여, 강한 단일성에 필요한 거리 구조가 확보됨을 확인한다.