[논문 리뷰] On Automatic Continuity of 3-Homomorphisms on Banach Algebras

Janko Bračič, Mohammad Sal Moslehian|arXiv (Cornell University)|2006. 11. 09.

Functional Equations Stability Results참고 문헌 3인용 수 19

한 줄 요약

이 논문은 단위를 갖는 C*-대수 사이의 모든 순환을 보존하는 3-준동형사상이 연속적이고, 연산자 노름이 1 이하임을 증명한다. C*-대수에서의 스펙트럼 분석과 Arens 곱을 사용한 이중 이중 확장의 두 가지 접근 방식을 통해, 유계 근사 항등원을 갖는 Banach 대수에서 이러한 3-준동형사상의 자동 연속성을 입증하며, C*-대수 설정에서 이러한 사상의 연속성에 대한 열린 질문을 해결한다.

ABSTRACT

A linear map $ϕ:{\mathcal A} o {\mathcal B} $ between (Banach) algebras is called 3-homomorphism if $ϕ(abc)=ϕ(a)ϕ(b)ϕ(c)$ for each $a, b, c \in {\mathcal A}$. We investigate 3-homomorphisms on Banach algebras with bounded approximate identities and establish in two ways that every involution preserving homomorphism between $C^*$-algebras is norm decreasing.

연구 동기 및 목표

• 유계 근사 항등원을 갖는 Banach 대수에서 3-준동형사상의 자동 연속성에 대한 연구.
• 모든 순환을 보존하는 3-준동형사상이 C*-대수 사이에서 연속적인가라는 열린 질문을 해결하는 것.
• 이러한 3-준동형사상이 노름 감소성과 연산자 노름 ≤ 1을 만족함을 확립하는 것.
• 이중 이중 확장이 Arens 곱의 구조 하에서 3-준동형사상 성질을 유지함을 보이는 것.

제안 방법

• C*-대수에서의 스펙트럼 이론을 사용하여, φ(a)#φ(a)의 스펙트럼이 a#a의 스펙트럼과 {0}의 합집합에 포함됨을 보이고, 이로부터 노름 제어를 도출한다.
• L. Harris의 J*-준동형사상 전략을 적용하여, λ1 - φ(a)#φ(a)의 가역성 분석을 통해 φ가 노름 감소임을 증명한다.
• A**에서의 (A**, ▹)에서의 왼쪽 항등원 L을 사용하여, A**에 대한 준동형사상 ψ를 구성하여 φ(a) = φ**(L) ▹ ψ(a)를 유도한다.
• A**와 B**에서의 Arens 곱의 구조를 활용하여, 3-준동형사상 φ를 이중 이중으로 확장한 φ**로 옮기며, 3-준동형사상 성질을 유지한다.
• φ**가 A**에서 순환을 보존하는 3-준동형사상임을 보이고, A**가 von Neumann 대수이므로 기존의 노름 감소 준동형사상에 대한 결과를 적용한다.
• E가 A**의 단위이므로 φ**(E)의 노름이 ≤ 1임을 증명하고, 이로부터 φ**의 노름 부등식을 통해 ‖φ‖ ≤ 1을 도출한다.

실험 결과

연구 질문

• RQ1 모든 순환을 보존하는 C*-대수 사이의 3-준동형사상은 자동으로 연속적인가?
• RQ2 사전에 연속성을 가정하지 않고도 이러한 3-준동형사상의 노름 감소 성질을 입증할 수 있는가?
• RQ3 유계 근사 항등원을 갖는 Banach 대수의 이중 이중 구조가 3-준동형사상의 연속성에 어떤 영향을 미치는가?
• RQ4 Arens 곱과 유계 근사 항등원은 3-준동형사상을 이중 이중으로 옮길 때 어떤 역할을 하는가?
• RQ5 3-준동형사상의 순환을 보존하는 성질이 그 이중 이중이 또한 순환을 보존하는지 보장하는가?

주요 결과

• 모든 순환을 보존하는 3-준동형사상 φ는 단위를 갖는 C*-대수 사이에서 ‖φ‖ ≤ 1를 만족하며, 이는 노름 감소성을 증명한다.
• 3-준동형사상 φ의 이중 이중 확장 φ**는 A**에서의 Arens 곱에 대해 여전히 3-준동형사상임을 보였다.
• 유계 근사 항등원을 갖는 Banach 대수 A에 대해, L이 (A**, ▹)에서의 왼쪽 항등원이면, ψ(F) = φ**(L) ▹ φ**(F)로 정의된 사상 ψ는 (A**, ▹)에서의 준동형사상이 된다.
• 이중 이중 확장 φ**의 노름은 φ**(E)의 노름으로 제한되며, 여기서 E는 A**의 단위이고, 이 노름은 ≤ 1이다.
• φ의 순환을 보존하는 성질은 φ**가 A**에서 또한 순환을 보존함을 의미하며, 이는 노름 감소 준동형사상에 대한 기존 결과의 적용을 가능하게 한다.
• 이중 이중을 통한 증명은 φ가 연속적임을 확인하며, ‖φ‖ ≤ 1임을 입증함으로써 이러한 사상에 대한 자동 연속성 문제를 해결한다.