[논문 리뷰] Automatic Continuity of $σ$-Derivations on $C^*$-Algebras

Madjid Mirzavaziri, Mohammad Sal Moslehian|2005. 08. 01.

Advanced Topics in Algebra참고 문헌 4인용 수 8

한 줄 요약

이 논문은 C*-대수에서 σ-미분의 자동 연속성을 확립한다: σ가 연속적인 ∗-선형 사상이라면, B(H)로의 모든 σ-미분은 자동으로 연속적이다. 주요 기여는 사카이의 미분에 대한 정리의 일반화이며, 연속적인 ∗-선형 사상으로부터 자연스러운 구성으로 연속적인 ∗-σ-미분이 유도됨을 증명하여, C*-대수에서 힐버트 공간에 작용하는 일반화된 미분으로 자동 연속성을 확장한다.

ABSTRACT

Let $A$ be a $C^*$-algebra acting on a Hilbert space $H$, $σ:A o B(H)$ be a linear mapping and $d:A o B(H)$ be a $σ$-derivation. Generalizing the celebrated theorem of Sakai, we prove that if $σ$ is a continuous $*$-mapping then $d$ is automatically continuous. In addition, we show the converse is true in the sense that if $d$ is a continuous $*-σ$-derivation then there exists a continuous linear mapping $Σ:A o B(H)$ such that $d$ is $*-Σ$-derivation. The continuity of the so-called $*-(σ,τ)$-derivations is also discussed.

연구 동기 및 목표

• 사카이의 도함수에 대한 자동 연속성 정리가 C*-대수에서의 σ-미분으로 일반화되도록 하는 것.
• σ가 B(H)로의 연속적인 ∗-선형 사상일 경우, σ-미분의 연속성에 대해 연구하는 것.
• 역결과를 확립하는 것: ∗-σ-미분이 연속적이라면, 연속적인 ∗-호모모르피즘으로부터 유도됨을 보이는 것.
• ∗-(σ,τ)-미분 이론을 확장하고, σ와 τ가 연속적일 경우 자동 연속성이 성립함을 증명하는 것.

제안 방법

• 선형 연산자 T의 분리 공간 S(T)를 사용하여 σ-미분의 연속성 분석.
• 논문의 보조정리 2.3을 적용하여, d가 불연속적이라면 σ가 분리 공간에서 곱을 보존하지 못해야 한다는 것을 보임.
• d의 상의 폐포에 대한 사영 P를 구성하여 d를 더 큰 대수에서의 도함수 D와 연결.
• 닫힌 그래프 정리를 사용하여, d가 연속임과 동시에 그 분리 공간이 자명함이 동치임을 보임.
• C*-대수의 구조와 σ가 ∗-선형인 사실을 활용하여 문제를 일반 도함수로 환원.
• 반환 모듈러스에 대한 도함수의 연속성에 관한 링로즈 정리를 적용하여 자동 연속성을 도출함.

실험 결과

연구 질문

• RQ1 C*-대수에서의 σ-미분이 자동으로 연속적이게 되는 조건은 무엇인가?
• RQ2 사카이의 정리의 역이 σ-미분에 대해 성립하는가? 즉, ∗-σ-미분이 연속적이라면, 연속적인 ∗-호모모르피즘으로부터 유도되는가?
• RQ3 ∗-(σ,τ)-미분과 σ-미분 사이의 관계는 무엇이며, 자동 연속성이 이 클래스로 확장되는가?
• RQ4 σ의 연속성이 C*-대수에서 관련된 σ-미분의 연속성에 어떻게 영향을 미치는가?
• RQ5 σ-미분 이론은 양자 시스템의 변형이나 복잡한 동역학을 모델링하는 데 사용될 수 있는가?

주요 결과

• σ가 C*-대수 A에서 B(H)로의 연속적인 ∗-선형 사상이라면, 모든 σ-미분 d: A → B(H)는 자동으로 연속적이다.
• 모든 연속적인 ∗-σ-미분 d에 대해, d가 ∗-Σ-미분이 되는 연속적인 ∗-호모모르피즘 Σ: A → B(H)가 존재한다.
• σ가 호모모르피즘일 필요는 없으며, 연속적이고 ∗-선형인 것으로만 요구되어도 σ-미분의 자동 연속성이 성립한다.
• 모든 ∗-(σ,τ)-미분은 σ와 τ가 연속적인 ∗-선형 사상일 경우 자동으로 연속적이다.
• d(A)의 폐포에 대한 사영을 통한 도함수 D와 호모모르피즘 Σ의 구성은, D가 연속임과 동시에 d가 연속임이 동치임을 보장한다.
• 이 결과는 사카이의 도함수에 대한 정리를 더 넓은 일반화된 도함수의 클래스로 확장하여, 이전 문헌의 결과들을 통합하고 일반화한다.