[논문 리뷰] Continuity of ring *-homomorphisms between C*-algebras

Mark Tomforde|ArXiv.org|2008. 10. 02.

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

한 줄 요약

이 논문은 선형성을 가정하지 않더라도, 임의의 유일한 *-보존 맵이 유일한 C*-대수 사이의 맵으로서 자동으로 수축 가능하다는 것을 증명한다. 즉, 모든 $a \in A$에 대해 $\|\phi(a)\| \leq \|a\|$이다. 핵심 결과는 이러한 맵들이 선형 *-준동형사상과 켤레선형 *-준동형사상의 직합으로 분해된다는 것이다. 이는 *-준동형사상에 대한 고전적인 연속성 결과를 일반화한다.

ABSTRACT

The purpose of this short note is to prove that if $A$ and $B$ are unital C*-algebras and $ϕ: A o B$ is a unital *-preserving ring homomorphism, then $ϕ$ is contractive; i.e., $\| ϕ(a) \| \leq \| a \|$ for all $a \in A$. (Note that we do not assume $ϕ$ is linear.) We use this result to deduce a number of corollaries as well as characterize the form of such unital *-preserving ring homomorphisms. (This note may be of interest to C*-algebraists as well as algebraists who study noncommutative rings and algebras. It is meant to be accessible to a general mathematician and does not require any prior knowledge of C*-algebras.)

연구 동기 및 목표

• 유일한 *-보존 맵이 선형성을 가정하지 않더라도 유일한 C*-대수 사이에서 자동으로 수축 가능함을 입증하는 것.
• 특히 실선형 성분에 관해 이러한 맵의 구조를 선형성 외부에서 특성화하는 것.
• *-준동형사상에 대한 고전적인 연속성 결과를 더 넓은 링 준동형사상의 범주로 확장하는 것.
• 함수해석학과 링 이론을 연결하여, C*-대수에서 노름 통제가 대수적 성질과 양성에 의해 유도됨을 보여주는 것.

제안 방법

• 2×2 행렬의 확대인 $\phi_2: M_2(A) \to M_2(B)$ 를 사용하여 노름 행동을 2×2 행렬의 양성과 연결한다.
• 겔판드-나임아르크 표현을 활용하여 C*-대수를 힐베르트 공간 위의 구체적인 연산자 대수로 표현한다.
• 양성 보존의 적용: C*-대수에서 $a \geq 0$ 이면 *-보존 맵 하에서 $\phi(a) \geq 0$ 이다.
• 순서 보존을 통한 스펙트럼 반경 추정: 자기수반인 $a$에 대해 $r(\phi(a)) \leq r(a)$ 를 유도하며, 이는 스펙트럼의 포함관계로부터 유도된다.
• 순서 보존과 유리수 근사로부터 단위의 스칼라 배수 위에서 $\phi$ 의 실선형성을 도출한다.
• 이미지 대수의 중심 내의 정규직교 프로젝션을 사용하여 맵을 선형 및 켤레선형 성분으로 분리한다.

실험 결과

연구 질문

• RQ1 선형성을 가정하지 않더라도, 유일한 C*-대수 사이의 *-보존 맵이 수축 가능할 수 있는가?
• RQ2 이러한 맵의 구조적 형태는 표준 선형 *-준동형사상의 경우를 초월하여 어떠한가?
• RQ3 선형성이 없는 경우, *-보존 맵의 스펙트럼 및 노름 행동에 어떤 영향을 미치는가?
• RQ4 이러한 맵들이 선형 및 켤레선형 성분으로 분해될 수 있는가?
• RQ5 양성과 순서 보존이 실선형성과 따라서 노름 통제를 얼마나 깊이 유도하는가?

주요 결과

• 모든 유일한 *-보존 맵 $\phi: A \to B$ 는 $A$의 모든 $a$에 대해 $\|\phi(a)\| \leq \|a\|$ 를 만족하며, 선형성을 가정하지 않더라도 수축 가능함을 증명한다.
• 이러한 맵들은 스칼라 배수의 단위 위에서 반드시 실선형이며, 따라서 자기수반 원소에 대해 순서와 스펙트럼 반경을 보존한다.
• 이미지 $\phi$ 는 중심에 서로 직교하는 프로젝션 $P$ 및 $Q$ 를 포함하는 $B$ 의 C*-부분대수에 속하며, $P + Q = 1_B$ 를 만족한다. 이에 따라 $\phi$ 는 $\phi_1 + \phi_2$ 로 분해된다.
• 성분 $\phi_1$ 은 복소선형이고 $\phi_2$ 는 켤레선형이므로, $\phi$ 는 선형 및 켤레선형 *-보존 맵의 직합이다.
• 이미지 대수의 중심이 자명하다면, $\phi$ 는 선형 또는 켤레선형일 뿐 혼합 성분을 포함하지 않는다.
• 이 결과는 카디슨의 조르단 *-동형사상에 관한 정리의 일반화이지만, 동형사상이 아니며 비선형이거나 비바나흐 대수의 설정에도 적용된다.