[논문 리뷰] One-parameter representations on C*-algebras

Johan Kustermans|ArXiv.org|1997. 07. 28.

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

한 줄 요약

이 논문은 C*-대수의 강한 연속인 일파라미터 C*-자기동형사상 군을 그의 승수 대수로 엄밀한 해석적 계속화함으로써, 각 자동형사상이 승수 대수 위에서 유일하게 강한 연속성의 일파라미터 군으로 확장됨을 증명한다. 주요 기여는 반-곱셈성과 승수 대수 기법을 통해 달성된 해석적 계속화의 강한 닫힘성이며, 양자군과 모듈러 이론에의 적용을 가능하게 한다.

ABSTRACT

Strongly continuous one-parameter representations on C*-algebras and their extension to the multiplier algebra are investigated. We give also a proof of the Stone theorem on Hilbert C*-modules and look into some related problems.

연구 동기 및 목표

• C*-대수에서 강한 연속인 일파라미터 C*-자기동형사상 군을 그 승수 대수로 확장한다.
• 승수 대수에서 이러한 군의 해석적 계속화의 강한 닫힘성을 확립한다.
• 홀스트의 정리를 힐베르트 C*-모듈러에 일반화한다.
• C*-대수적 양자군에서 모듈러 군과 쌍대 연산자를 연구하기 위한 프레임워크를 제공한다.
• 특히 비퇴화 *-준동형사상과 완전히 양성적인 사상들을 포함한 C*-대수 간의 강한 선형 사상의 확장을 위한 도구를 개발한다.

제안 방법

• 승수 대수 M(A)의 강한 위상(스티리크 토폴로지)을 사용하여 일파라미터 군의 확장을 정의하고 분석한다.
• 유계 집합에서의 강한 연속성 개념을 적용하여 A의 자동형사상 αₜ를 M(A) 위의 유일한 자동형사상 α̅ₜ로 확장한다.
• 이전 연구에서의 쌍대성 공리 문제를 피하기 위해 자동형사상의 반-곱셈성을 활용한다.
• A 내의 근사 단위 (eₖ)를 사용하여 x ∈ M(A)로 강하게 수렴하는 넷 (xₑₖ)을 구성함으로써 사상의 확장을 가능하게 한다.
• 강한 위상에서의 닫힌 그래프 정리를 적용하여 확장 사상이 강하게 닫혀 있음을 증명한다.
• 힐베르트 C*-모듈러와 정규 연산자의 이론을 활용하여 홀스트의 정리를 모듈러 설정으로 일반화한다.

실험 결과

연구 질문

• RQ1 C*-대수 A에서 강한 연속인 일파라미터 C*-자기동형사상 군은 항상 그 승수 대수 M(A) 위의 강한 연속성의 일파라미터 군으로 유일하게 확장될 수 있는가?
• RQ2 해당 확장된 군의 해석적 계속화가 강하게 닫혀지기 위한 조건은 무엇인가?
• RQ3 홀스트의 정리는 어떻게 힐베르트 C*-모듈러에 일반화될 수 있는가?
• RQ4 표준적인 쌍대성 공리가 실패할 경우 자동형사상의 반-곱셈성은 확장 과정에서 어떤 방식으로 기여하는가?
• RQ5 완전히 양성적인 사상과 *-준동형사상의 강한 확장은 텐서곱에서 어떻게 행동하는가?

주요 결과

• C*-대수 A에서 강한 연속인 일파라미터 C*-자기동형사상 군 α는 승수 대수 M(A) 위의 강한 연속성의 일파라미터 군 α̅로 항상 유일하게 확장된다.
• α̅의 복소 시간 z ∈ ℂ로의 해석적 계속화가 존재하며, M(A) 내에서 잘 정의된 선형 사상 α̅_z를 유도한다. 강한 닫힘성은 중심적인 기술적 결과이다.
• ρ ↦ ρ̅ 확장 사상은 유계이며, A에서 M(B)로의 강한 연속성 유계 집합 위에서 정의된 강한 선형 사상 ρ에 대해 ‖ρ̅‖ = ‖ρ‖ 를 만족한다.
• C*-대수 간의 강한 선형 사상의 합성은 강한 연속성을 유지하며, ρ∘θ의 확장은 각각의 확장의 합성으로 주어진다.
• 모든 비퇴화 *-준동형사상 π: A → M(B)는 M(A)로 유일하게 확장되며, 이 확장은 모든 a ∈ M(A), b ∈ A에 대해 π̅(a)π̅(b) = π̅(ab) 를 만족한다.
• 두 강한 선형 사상의 텐서곱은 강하게 연속적이며, ρ⊗θ의 확장은 x ∈ M(A), y ∈ M(B)에 대해 (ρ⊗θ)(x⊗y) = ρ̅(x)⊗θ̅(y) 를 만족한다.