[논문 리뷰] When a C*-algebra is a coefficient algebra for a given endomorphism

V. I. Bakhtin, А. В. Лебедев|ArXiv.org|2005. 02. 19.

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

한 줄 요약

이 논문은 주어진 내형사상에 대해 단위를 가진 C*-대수에서 계수 대수로 작용할 조건을 필수적이고 충분한 조건으로 설정한다: 내형사상에 대해 완전한 이행 연산자(transfer operator)의 존재이다. 저자들은 이러한 계수 대수가 존재함과 동시에, 해당 대수 위에 헬름홀츠 공간 위에 진정성 있고 비퇴화된 표현이 존재하고, 내형사상과 관련된 이행 연산자와 특정 공변 조건을 만족하는 부분 등거리사상이 존재함을 증명한다.

ABSTRACT

The paper presents a criterion for a C*-algebra to be a coefficient algebra associated with a given endomorphism

연구 동기 및 목표

• 주어진 내형사상에 대해 단위를 가진 C*-대수가 언제 계수 대수가 되는지 규명하는 것.
• 내형사상과 호환되는 이행 연산자의 존재를 기반으로 기준을 설정하는 것.
• 계수 대수 이론을 내형사상에 의한 교차 tích 구조와 연결하는 것.
• 이행 연산자가 내형사상과 부분 등거리사상으로 생성된 C*-대수의 구성에서 수행하는 역할을 명확히 하는 것.

제안 방법

• 주어진 단위를 가진 C*-대수 A 위의 내형사상 δ에 대해, 모든 a,b ∈ A에 대해 δ*(δ(a)b) = aδ*(b)를 만족하는 이행 연산자 δ*를 도입한다.
• 관련된 사영원 P = δ*(1)가 모든 a ∈ A에 대해 Pδ(a)P = δ(a)를 만족할 경우, 이를 완전한 이행 연산자로 정의한다.
• 정수로 인덱싱된 A의 복수의 사영을 직합으로 구성한 힐버트 공간 H를 구성하고, 이중 내적을 이행 연산자를 통해 정의한다.
• 모든 n ≥ 0에 대해 π(a)h_n = a h_n이고, 모든 n < 0에 대해 π(a)h_n = δ^{|n|}(a) h_n로 설정하여 π: A → L(H)의 표현을 정의한다.
• 모든 n > 0에 대해 U h_n = δ(h_{n-1})이고, 모든 n ≤ 0에 대해 U h_n = δ^{|n|+1}(1) h_{n-1}로 설정하여 H 위의 부분 등거리사상 U를 정의한다.
• 모든 a ∈ A에 대해 Uπ(a)U* = π(δ(a)) 및 U*π(a)U = π(δ*(a))를 만족하는 공변 관계가 성립함을 검증함으로써, 필요한 표현의 존재를 증명한다.

실험 결과

연구 질문

• RQ1 단위를 가진 C*-대수가 주어진 내형사상에 대해 언제 계수 대수가 되는가?
• RQ2 이행 연산자가 계수 대수의 특성화에서 수행하는 역할은 무엇인가?
• RQ3 C*-대수의 확장에서 부분 등거리사상으로부터 유도되는 내형사상은 언제 발생하는가?
• RQ4 완전한 이행 연산자의 존재가 계수 대수의 구조와 어떻게 연결되는가?
• RQ5 주어진 내형사상이 등거리사상으로부터 생성되기 위한 조건은 무엇인가?

주요 결과

• 단위를 가진 C*-대수 A는 주어진 내형사상 δ에 대해 완전한 이행 연산자 δ*가 존재할 때이고, 그때에만 계수 대수가 된다.
• 완전한 이행 연산자의 존재는 헬름홀츠 공간 H 위에 A의 진정성 있고 비퇴화된 표현 π와 공변 조건 Uπ(a)U* = π(δ(a)) 및 U*π(a)U = π(δ*(a))를 모든 a ∈ A에 대해 만족하는 부분 등거리사상 U의 존재를 보장한다.
• 내형사상 δ가 등거리사상에 의해 생성되려면 완전한 이행 연산자 δ*가 존재하고, δ*(1) = 1이어야 한다.
• 사영원 P = δ*(1)은 내형사상의 범위와 관련된 C*-대수의 구조를 결정하는 데 중심적인 역할을 한다.
• 이행 연산자 δ*를 통해 정의된 내적을 갖는 A의 복수의 사영을 직합으로 구성한 힐버트 공간 H의 구성은 연산자 U와 U*의 정의가 잘 되어 있고, 수반 연산자가 존재함을 보장한다.
• 증명은 표현 π가 진정성을 갖는다는 것을 보이며, 이는 겔판트-나임라인드 구성과 이행 연산자의 양성에 기반한다.