[논문 리뷰] Automatic continuity of derivations on C*-algebras and JB*-triples

Antonio M. Peralta, Bernard Russo|arXiv (Cornell University)|2012. 08. 01.

Advanced Topics in Algebra참고 문헌 33인용 수 5

한 줄 요약

이 논문은 조르단 삼중 모듈러스를 도입하고, 모든 유계 연산자 대수에서 그 쌍대 공간으로의 도함수는 자동 연속성을 가짐을 증명함으로써, C*-대수와 JB*-삼중체에서의 도함수의 자동 연속성을 확립한다. 주요 결과는 두 가지 오랫동안 열려 있던 문제를 해결한다: C*-대수에서 바나흐 이중모듈러스 또는 조르단 모듈러스로의 모든 조르단 도함수는 자동으로 연속적이며, 따라서 존슨의 정리에 의해 도함수임을 보장한다.

ABSTRACT

We introduce the notion of a Jordan triple module and determine the precise conditions under which every derivation from a JB*-triple E into a Banach (Jordan) triple E-module is continuous. In particular, every derivation from a real or complex JB*-triple into its dual space is automatically continuous. Among the consequences, we prove that every triple derivation from a C*-algebra A to a Banach triple A-module is continuous. In particular, every Jordan derivation from A to a Banach A-bimodule is a derivation, a result which complements a classical theorem due to B.E. Johnson and solves a problem which has remained open for over ten years.

연구 동기 및 목표

• C*-대수에서 바나흐 이중모듈러스로의 모든 조르단 도함수가 자동으로 연속적인가의 열린 문제를 해결하기 위해.
• 자동 연속성의 프레임워크를 조르단 삼중 모듈러스와 JB*-삼중체로 일반화하기 위해.
• 모든 도함수에서 JB*-삼중체의 쌍대 공간으로의 도함수가 연속임을 증명하여 향후 약한 안정성에 대한 연구를 지원하기 위해.
• 비결합적이고 비가환적인 연산자 대수에서의 이전 자동 연속성 결과들을 통합하고 확장하기 위해.
• 결합적이고 조르단 대수적 환경을 모두 포함하는 일반적인 프레임워크를 제공하기 위해 삼중 모듈러스를 사용하는 새로운 일반적 프레임워크를 제시하기 위해.

제안 방법

• 조르단 대수와 C*-대수에서의 바나흐 모듈러스의 일반화로 삼중 조르단 모듈러스의 개념을 도입한다.
• 모든 $a,b,c \in E$ 에 대해 $\delta\{a,b,c\} = \{\delta(a),b,c\} + \{a,\delta(b),c\} + \{a,b,\delta(c)\}$ 를 만족하는 선형 사상 $\delta$ 를 JB*-삼중체 $E$ 에서의 도함수로 정의한다.
• 쿠른츠의 정리(보조정리 19)를 적용하여, 자기수반 $h$ 에 대해 모든 아벨 C*-부분대수 $C(h)$ 에서 연속인 선형 함수는 전체 대수에서 연속임을 보인다.
• 삼중 도함수 $\delta$ 를 아벨 C*-부분대수 $C(h)$ 로 제한할 때, 이는 제약 조건에 따라 연속적임을 보이는 제약 정리 18에 의해 성립한다.
• 균일 유계 원리와 쿠른츠의 정리를 활용하여, 각 $C(h)$ 에서의 연속성에서 $\delta$ 의 전반적 연속성을 유도한다.
• 이 결과를 적용하여, C*-대수에서 바나흐 모듈러스로의 모든 조르단 도함수가 연속임을 보이며, 조르단 도함수가 삼중 도함수임을 고려하여 이를 활용한다.

실험 결과

연구 질문

• RQ1 C*-대수에서 바나흐 이중모듈러스로의 모든 조르단 도함수가 자동으로 연속적인가?
• RQ2 JB*-삼중체에서 그 쌍대 공간으로의 모든 도함수가 자동 연속성을 만족하는가?
• RQ3 조르단 삼중 모듈러스의 더 넓은 프레임워크에서 도함수의 자동 연속성이 확립될 수 있는가?
• RQ4 JB*-삼중체에서 바나흐 삼중 모듈러스로의 도함수가 연속이 되기 위한 조건은 무엇인가?
• RQ5 존슨의 정리에 따르면 연속적인 조르단 도함수는 도함수임을 보장하지만, 이 정리의 유계성 조건을 제거할 수 있는가?

주요 결과

• 실수 또는 복소수 JB*-삼중체에서 그 쌍대 공간으로의 모든 도함수는 자동으로 연속적이다.
• C*-대수 $A$ 에서 바나흐 삼중 $A$-모듈러스로의 모든 삼중 도함수는 제약 조건을 통해 아벨 부분대수 $C(h)$ 로 제한함으로써 연속적임을 보였다.
• C*-대수에서 조르단 바나흐 $A$-모듈러스로의 모든 조르단 도함수는 연속적임을 증명하여 문제 2를 해결하였다.
• C*-대수에서 바나흐 $A$-이중모듈러스로의 모든 조르단 도함수는 연속적임을 증명하여 문제 1을 해결하였으며, 존슨의 정리에 의해 도함수임을 유추할 수 있다.
• 선형 사상 $\delta: A \to X$ 의 연속성은 자기수반 $h$ 에 대해 각 아벨 C*-부분대수 $C(h)$ 에서의 연속성과 동치이며, 쿠른츠의 정리에 의해 이를 보장한다.
• 바나흐(조르단) 삼중 모듈러스의 클래스는 결합적, 조르단, 삼중 체계에서의 도함수 처리를 통합하여 자동 연속성의 일반적 프레임워크를 제공한다.