[논문 리뷰] 2-Local derivations and automorphisms on $B(H)$

Sh. A. Ayupov, Karimbergen Kudaybergenov|arXiv (Cornell University)|2011. 11. 12.

Advanced Topics in Algebra참고 문헌 11인용 수 9

한 줄 요약

이 논문은 힐버트 공간 $ H $ 위의 유계 선형 연산자 대수 $ B(H) $에서의 모든 2-국소 도함수는 도함수이며, 모든 2-국소 자기동형사상은 자기동형사상임을 증명한다. 저자들은 추적 성질, 유한계수 연산자 구조, 그리고 공간 도함수 이론을 사용하여, 선형성을 사전에 가정하지 않은 2-국소 사상이라도 $ B(H) $에서 전반적으로 선형 도함수 또는 자기동형사상이어야 한다는 것을 보인다.

ABSTRACT

The paper is devoted to 2-local derivations and 2-local automorphisms on the algebra $B(H)$ of all bounded linear operators on a Hilbert space $H.$ We prove that every 2-local derivation on $B(H)$ is a derivation. A similar result is obtained for automorphisms.

연구 동기 및 목표

• 2-국소 도함수와 자기동형사상이 힐버트 공간 $ H $의 유계 연산자 대수 $ B(H) $에서 반드시 전역 도함수 또는 자기동형사상이 되는지 규명하는 것.
• 이전의 분리 가능 힐버트 공간에 대한 결과를 일반적인 (분리 가능하지 않아도 되는) 힐버트 공간으로 일반화하는 것.
• 2-국소 사상이 사전에 선형성을 가정하지 않았음에도 불구하고, 선형성과 라이프니츠 법칙을 만족한다는 것을 증명하는 것.
• 2-국소 사상이 유한계수 연산자들의 아이디얼에 제한되었을 때, 이는 $ B(H) $ 전체에 대한 사상의 전체 행동을 결정한다는 것을 보여주는 것. 이를 위해 추적과 공간 도함수 기법을 사용한다.

제안 방법

• 2-국소 사상이 유한계수 연산자 $ \mathcal{F}(H) $에서 어떻게 행동하는지 분석하기 위해 $ B(H) $에 존재하는 표준 추적 $ \operatorname{tr} $ 를 사용하며, 그 충실성에 기반한다.
• 만약 2-국소 도함수가 $ \mathcal{F}(H) $에서 0이면, 추적 항등식과 교환자 구조를 이용해 전체적으로 0이 됨을 증명한다.
• 2-국소 도함수의 $ \mathcal{F}(H) $에 대한 제한이 조르단 도함수임을 보이고, 준단순 대수에서 조르단 도함수가 도함수임을 알려주는 결과를 적용한다.
• 2-국소 도함수의 $ \mathcal{F}(H) $에 대한 제한이 공간적임(즉, $ B(H) $의 원소와의 교환자로 표현됨)을 증명하기 위해 [5, 정리 3.3]의 결과를 사용한다.
• $ D_a $를 $ a \in B(H) $에 의해 유도되는 공간 도함수로 정의하고, 새로운 사상 $ \Delta_0 = \Delta - D_a $ 를 정의한 후, $ \mathcal{F}(H) $에서의 0이 되는 것을 이용해 $ \Delta_0 \equiv 0 $ 이 되도록 보인다.
• 2-국소 자기동형사상의 경우, 그 $ \mathcal{F}(H) $에 대한 제한이 자기동형사상임을 이용하고, 가역 원소 $ a $ 에 의한 코너지션을 통해 전체 대수로 올려서 $ \Theta(x) = axa^{-1} $ 를 모든 $ x \in B(H) $ 에 대해 증명한다.

실험 결과

연구 질문

• RQ1 임의의 힐버트 공간 $ H $ 에 대해 $ B(H) $에서의 2-국소 도함수는 반드시 도함수인가?
• RQ2 연속성이나 분리 가능성을 가정하지 않고, $ B(H) $에서의 2-국소 자기동형사상이 자기동형사상임을 증명할 수 있는가?
• RQ3 $ B(H) $에서의 2-국소 사상의 행동이 $ \mathcal{F}(H) $의 유한계수 연산자 아이디얼에서의 행동으로 전체 행동이 결정되는가?
• RQ4 유한계수 연산자에서의 추적을 사용하여 2-국소 사상이 선형성과 라이프니츠 법칙을 만족한다는 것을 증명할 수 있는가?
• RQ5 모든 2-국소 자기동형사상은 $ B(H) $의 고정된 가역 연산자에 의한 코너지션으로 표현되는가?

주요 결과

• 2-국소 도함수는 사전에 선형성을 가정하지 않더라도, $ B(H) $에서 도함수이다.
• 2-국소 자기동형사상은 자기동형사상이며, $ B(H) $의 고정된 가역 연산자에 의한 코너지션으로 표현된다.
• $ \mathcal{F}(H) $의 유한계수 연산자 아이디얼에 제한된 임의의 2-국소 도함수는 도함수이며, 따라서 공간적이다.
• 만약 2-국소 도함수가 $ \mathcal{F}(H) $에서 0이면, 추적의 충실성 덕분에 $ B(H) $ 전체에서 0이 된다.
• 2-국소 도함수의 선형성은 2-국소 조건에서 유도된 덧셈과 동차성에 의해 확립된다.
• 핵심 기술적 단계는 $ \Delta(x) = ax - xa $ 를 모든 $ x \in B(H) $ 에 대해 만족하는 것인데, 이때 $ a \in B(H) $ 는 $ \mathcal{F}(H) $ 에서의 공간 도함수를 유도하는 원소이다.