[논문 리뷰] The flip is often discontinuous

Volker Runde|ArXiv.org|2002. 02. 28.

Advanced Operator Algebra Research참고 문헌 7인용 수 3

한 줄 요약

이 논문은 반사적 바나흐 공간 $E$에서 컴팩트 연산자 대수 $ \mathcal{K}(E)$에 대한 기본 연산자 대수 $ \mathcal{E}\ell(\mathcal{K}(E))$에서의 플립 자기동형사상이 $ \dim E < \infty$가 아닐 경우 연속적이지 않음을 보여준다. 이 결과는 $ \mathcal{K}(E)$의 이중이중체에서 아렌스 곱이 일치하지 않기 때문에 유래되며, 이는 $E$가 무한차원일 경우 아렌스 정규성이 성립하지 않음을 의미한다. 따라서 플립은 컴팩트 연산자로 연속적으로 확장될 수 없다. 이는 무한차원에서 플립이 자주 연속적이지 않음을 보여주는 열린 문제를 해결한다.

ABSTRACT

Let $A$ be a Banach algebra. The flip on $A \otimes A^\op$ is defined through $A \otimes A^\op i a ensor b \mapsto b ensor a$. If $A$ is ultraprime, $\El(A)$, the algebra of all elementary operators on $A$, can be algebraically identified with $A \otimes A^\op$, so that the flip is well defined on $\El(\A)$. We show that the flip on $\El(A)$ is discontinuous if $A = K(E)$ for a reflexive Banach space $E$ with the approximation property.

연구 동기 및 목표

• 초핵심 바나흐 대수 $\mathfrak{A}$에 대해 $\mathcal{E}\ell(\mathfrak{A})$에서의 플립이 연속인지 여부에 대한 열린 문제를 해결하기 위해.
• 반사적 바나흐 공간 $E$에서 근사성 조건을 만족할 때 $\mathcal{E}\ell(\mathcal{K}(E))$에서 플립 사상의 연속성을 조사하기 위해.
• $\mathcal{E}\ell(\mathfrak{A})$에서 플립이 이중이중체로 연속적으로 확장되는 조건을 규명하기 위해.
• 아렌스 곱과 반사성의 연산자 대수에서 플립의 연속성에서 수행하는 역할을 명확히 하기 위해.

제안 방법

• 초핵심 바나흐 대수 $\mathcal{A}$에 대해 $\mathcal{A} \otimes \mathcal{A}^{\mathrm{op}}$와 $\mathcal{E}\ell(\mathcal{A})$ 사이의 표준 대수적 동형사상을 사용하여, $\mathcal{E}\ell(\mathcal{A})$에서 플립을 정의할 수 있도록 한다.
• 플립을 $\mathcal{K}(E) \otimes \mathcal{K}(E)^{\mathrm{op}}$에서 텐서 인자들을 바꾸어 유도되는 반자기동형사상 $T \mapsto T^\top$로 정의하며, 이는 기본 연산자에서 전치에 해당한다.
• 이중이중체에서 아렌스 곱 이론을 적용: $E$가 무한차원이면서 반사적일 경우 $\mathcal{K}(E)^{**}$에서 첫 번째와 두 번째 아렌스 곱이 다름을 보인다.
• $\mathcal{K}(E)^{**} \cong \mathcal{B}(E^{**})$이자 두 번째 아렌스 곱이 $S \circ_2 T = (j^* \circ S^{**} \circ i^{**}) \circ T$로 주어진다는 사실을 사용한다. 여기서 $i, j$는 표준 포함이다.
• 두 번째 아렌스 곱이 항등원을 가질 조건은 $E$가 반사적일 때 뿐이며, 이 항등원은 $\mathrm{id}_{E^{**}}$이다. 그러나 이는 $E$가 유한차원이 아닐 경우 양방향 항등원이 되지 못한다.
• $\mathcal{E}\ell(\mathcal{K}(E))$가 $\mathcal{K}(\mathcal{K}(E))$에 대해 노름 밀도를 가지며, 무한차원에서 $\mathcal{K}(E)$가 아렌스 정규성이 아님을 이용하여 플립이 연속적으로 확장될 수 없음을 결론 내린다.

실험 결과

연구 질문

• RQ1 반사적 바나흐 공간 $E$에서 근사성 조건을 만족할 때, $\mathcal{E}\ell(\mathcal{K}(E))$에서 플립이 연속적인가?
• RQ2 $\mathcal{E}\ell(\mathfrak{A})$에서 플립이 $\mathcal{K}(E)$의 이중이중체로 연속적으로 확장되는 조건은 무엇인가?
• RQ3 $\mathcal{K}(E)^{**}$에서 첫 번째와 두 번째 아렌스 곱은 플립의 연속성과 어떻게 관련이 있는가?
• RQ4 $\mathcal{K}(E)$에 유계 근사 항등원이 존재하면, $\mathcal{E}\ell(\mathcal{K}(E))$에서 플립이 연속적인가?
• RQ5 $\mathfrak{A}$가 $\mathcal{K}(E)$를 포함하고 $\dim E = \infty$일 때, $\mathcal{E}\ell(\mathfrak{A})$에서 플립이 연속적인가?

주요 결과

• 반사적 바나흐 공간 $E$에서 근사성 조건을 만족할 경우, $\mathcal{E}\ell(\mathcal{K}(E))$에서 플립은 무한차원일 경우 연속적이지 않다.
• 플립은 $\dim E < \infty$일 때에만 $\mathcal{E}\ell(\mathcal{K}(E))$에서 연속적이며, 이는 날카로운 이분법을 확립한다.
• 두 번째 아렌스 곱이 $\mathcal{K}(E)^{**}$에서 항등원을 가질 조건은 $E$가 반사적일 때 뿐이며, 이는 플립이 연속적으로 확장되기 위한 필수 조건이다.
• 표준 동형사상 $\mathcal{K}(E)^{**} \cong \mathcal{B}(E^{**})$는 $\mathcal{K}(E)$가 아렌스 정규일 조건이 $\dim E < \infty$일 때 뿐이며, 이는 플립이 연속일 조건과 동치이다.
• 반사적 $E$에서 근사성 조건을 만족할 경우, 대수 $\mathcal{E}\ell(\mathcal{K}(E))$는 $\mathcal{K}(\mathcal{K}(E))$에 노름 밀도를 가지며, 플립을 컴팩트 연산자로 확장할 수 있다.
• 무한차원에서 두 번째 아렌스 곱이 첫 번째 아렌스 곱과 일치하지 않음으로써, 플립이 $\mathcal{E}\ell(\mathcal{K}(E))$에서 연속일 수 없음을 의미한다.