[논문 리뷰] Tensor products of maximal abelian subalgebras of C*-algebras

Simon Wassermann|ArXiv.org|2007. 11. 01.

Advanced Operator Algebra Research참고 문헌 10인용 수 5

한 줄 요약

이 논문은 C*-대수에서 두 최대 아벨 자기수반 부분대수(masas)의 텐서곱이 완비화된 텐서곱에서 여전히 최대 아벨임을 보장하는 조건을 설정한다. 만약 한 masA가 Kadison-Singer 확장 성질을 가지며 다른 하나가 근사 항등원을 포함한다면, 임의의 C*-노름 $ \beta $에 대해 $ C_1 \otimes C_2 $는 $ A_1 \otimes_\beta A_2 $에서 최대 아벨이 된다. 반례들은 두 조건이 모두 없을 경우 결과가 성립하지 않음을 보여주며, 이는 오랫동안 남아있던 질문을 해결하고 Kadison-Singer 문제와 연결한다.

ABSTRACT

It is shown that if $C_1$ and $C_2$ are maximal abelian self-adjoint subalgebras (masas) of C*-algebras $A_1$ and $A_2$, respectively, then the completion $C_1\otimes C_2$ of the algebraic tensor product $C_1\odot C_2$ of $C_1$ and $C_2$ in any C*-tensor product $A_1\otimes_β A_2$ is maximal abelian provided that $C_1$ has the extension property of Kadison and Singer and $C_2$ contains an approximate identity for $A_2$. An example is given to show that $C_1\otimes C_2$ can fail to be a masa in $A_1\otimes_β A_2$ with $A_1$ and $A_2$ unital if neither $C_1$ nor $C_2$ has the extension property. This gives an answer to a long-standing question, but leaves open some other interesting problems, one of which turns out to have a potentially intriguing implication for the Kadison-Singer extension problem.

연구 동기 및 목표

• C*-대수 내 두 masas의 텐서곱이 그 둘의 완비화된 C*-텐서곱에서 여전히 최대 아벨임을 보장하는 조건을 규명하는 것.
• 최소 노름 외의 임의의 C*-노름 $ \beta $에 대해 $ C_1 \otimes C_2 $가 $ A_1 \otimes_\beta A_2 $에서 최대 아벨인지 여부에 관한 오랫동안 남아있던 열린 질문을 해결하는 것.
• 텐서곱에서 최대성의 유지에 있어 Kadison-Singer 확장 성질과 근사 항등원의 역할을 명확히 하는 것.
• 두 조건이 모두 성립하지 않을 경우 결과가 성립하지 않음을 보여주는 반례를 제시함으로써 정리의 날카로운 조건을 규명하는 것.

제안 방법

• 논문은 [12, Theorem 4]의 슬라이스 맵 결과를 사용하여 $ C_1 \otimes_{\min} C_2 $가 $ A_1 \otimes_{\min} A_2 $에서 masA임을 보이고, 상태의 인수분해를 통해 이를 임의의 C*-노름으로 확장한다.
• 상태 인수분해에 관한 보조정리 1을 적용: $ A_1 \otimes_\beta A_2 $ 위의 상태가 $ A_1 $에서 순수 상태로 제한될 경우, 그 상태는 $ \varphi_1 \otimes \varphi_2 $로 분해된다.
• 모순에 의한 증명을 통해 전개한다: $ x \in (C \otimes 1)^c \setminus C \otimes A_2 $라 가정하고, $ C $에 대한 적절한 닫힌 이상을 구성함으로써 확장 성질에 모순을 일으킨다.
• 비단위 C*-대수의 경우 단위화 $ \tilde{A} $를 사용하며, $ \tilde{A}_1 \odot \tilde{A}_2 $ 위의 확장된 C*-노름을 $ \tilde{\beta} $로 표기한다.
• 반례는 감소 C*-대수 $ C^*_r(\mathbb{F}_2) $와 $ B(H) $ 내부의 C*-대수 $ A_0 \subset B(H) $를 사용하여 구성되며, 조건이 실패할 경우 $ C_1 \otimes C_2 $가 $ A_1 \otimes_{\max} A_2 $에서 최대 아벨이 아니라는 것을 보여준다.
• 구성은 $ B(H) $ 내부의 masA $ C_0 $의 약한 연산자 위상 닫힘을 포함하며, $ \sigma(u(t \oplus 0)u) = \lambda 1 $이 성립하고, 비단위 대수에서는 $ \lambda = 0 $임을 이용한다.

실험 결과

연구 질문

• RQ1 어떤 조건 하에서 두 masas의 텐서곱이 그 둘의 환경 C*-대수의 완비화된 C*-텐서곱에서 최대 아벨이 되는가?
• RQ2 한 masA가 Kadison-Singer 확장 성질을 가지며 다른 하나가 근사 항등원을 포함하면, 텐서곱의 최대성 보존이 보장되는가?
• RQ3 두 조건이 모두 만족되지 않을 경우 결과가 실패할 수 있으며, 만약 그렇다면 명시적인 반례를 구성할 수 있는가?
• RQ4 $ C_1 \otimes C_2 $가 $ A_1 \otimes_{\max} A_2 $에서 최대 아벨임과 Kadison-Singer 확장 문제 사이의 연결 고리는 무엇인가?
• RQ5 $ \ell^\infty(\mathbb{N}) \otimes \ell^\infty(\mathbb{N}) $가 $ B(\ell^2(\mathbb{N})) \otimes_{\max} B(\ell^2(\mathbb{N})) $에서 최대 아벨이 아니면, $ \ell^\infty(\mathbb{N}) $는 확장 성질을 갖지 못하는가?

주요 결과

• 만약 $ C_1 \subset A_1 $가 Kadison-Singer 확장 성질을 가지며 $ C_2 \subset A_2 $가 근사 항등원을 포함한다면, 임의의 C*-노름 $ \beta $에 대해 $ C_1 \otimes C_2 $는 $ A_1 \otimes_\beta A_2 $에서 최대 아벨이 된다.
• 두 조건이 모두 만족되지 않을 경우 결과는 실패한다: $ C_1 \otimes C_2 $가 $ A_1 \otimes_{\max} A_2 $에서 최대 아벨이 아니라는 명시적 반례가 구성된다.
• 반례에서 $ C_1 \subset C^*_r(\mathbb{F}_2) $는 확장 성질을 가진 masA이며, 표준 유니터리에 의해 생성되며, $ C_0 \subset A_0 \subset B(H) $는 근사 항등원을 포함하지 않는 masA이다.
• 구성은 $ x \in (C_1 \otimes C_0)^c \setminus (C_1 \otimes C_0) $임을 보여주며, 최대 아벨이 아님을 증명한다.
• 논문은 $ C_1 \otimes C_2 $가 $ A_1 \otimes_{\min} A_2 $에서 최대 아벨임을 확립하지만, 반드시 $ A_1 \otimes_{\max} A_2 $에서 최대 아벨이 되는 것은 아니며, C*-노름의 선택에 민감함을 드러낸다.
• 잠재적 함의로는, 만약 $ \ell^\infty(\mathbb{N}) \otimes \ell^\infty(\mathbb{N}) $가 $ B(\ell^2(\mathbb{N})) \otimes_{\max} B(\ell^2(\mathbb{N})) $에서 최대 아벨이 아니면, $ \ell^\infty(\mathbb{N}) $는 Kadison-Singer 확장 성질을 갖지 못할 수 있다.