[논문 리뷰] A new look at the Crossed-Product of a C*-Algebra by a Semigroup of Endomorphisms

Ruy Exel|arXiv (Cornell University)|2005. 11. 02.

Advanced Operator Algebra Research참고 문헌 11인용 수 9

한 줄 요약

이 논문은 '상호작용 군'—형태가 일반화된 내면사상과 전달 연산자—을 사용하여 C*-대수의 반직선곱을 반순서군의 내면사상에 대해 새롭게 제안한다. 이는 마르코프 부분이송에서 쿤츠-크리거 대수를 정확히 실현할 수 있는 일관된 구조를 가능하게 한다. 주요 기여는 표준 반직선곱 구성에서 등급부분사상의 실패를 피하기 위해 이중 연산자를 포함한 군-등급 구조를 도입함으로써 이루어지며, 이는 대수적 작용의 일관성 있는 구성에 기여한다.

ABSTRACT

Let G be a group and let P be a subsemigroup of G. In order to describe the crossed product of a C*-algebra A by an action of P by unital endomorphisms we find that we must extend the action to the whole group G. This extension fits into a broader notion of "interaction groups" which consists of an assignment of a positive operator V_g on A for each g in G, obeying a partial group law, and such that (V_g,V_{g^{-1}}) is an interaction for every g, as defined in a previous paper by the author. We then develop a theory of crossed products by interaction groups and compare it to other endomorphism crossed product constructions.

연구 동기 및 목표

• 유니탈 내면사상에 대해 표준 등급부분사상 조건이 실패하는 문제를 해결함. 특히 마르코프 부분이송의 맥락에서.
• 내면사상과 전달 연산자를 '상호작용 군'을 통해 군-등급 구조로 통합하는 통합 프레임워크를 개발함.
• 마르코프 이송에 의해 유도된 내면사상에 의해 C(K)의 반직선곱으로서 쿤츠-크리거 대수를 정확히 실현하는 구조를 제공함.
• 표준 등급부분사상 조건 α(a) = SaS*가 쿤츠-크리거 대수에서 성립할 수 없음을 보여주며, 이는 새로운 공변 조건이 필요함을 시사함.

제안 방법

• 두 연산자 V_g와 V_{g^{-1}} 사이의 '상호작용' 개념을 도입하여 내면사상과 전달 연산자를 일반화함.
• 군 G의 원소 g에 대해 {V_g}의 가족으로서 상호작용 군을 정의함. 여기서 각 (V_g, V_{g^{-1}})이 상호작용을 이룸.
• V_g(a)와 V_{g^{-1}}의 이중 작용을 포함하는 유니버설 관계를 사용해 A ×_V G의 반직선곱을 구성함.
• 푸아의 대수 A(H)의 유니버설 성질을 이용해 힐베르트 공간 H 위의 등급 등급사상 s_g에 의해 내면사상 α_g와 전달 연산자 L_g를 정의함.
• 결과로 얻어진 시스템 (A(H), N×N, α, ℓ)이 라르센의 동역학계 공리계를 만족하지만, 상호작용 군 확장에 필요한 교환 조건을 위반함을 증명함.
• 푸아의 대수의 유니버설 성질을 적용해 전달 연산자 L = α^{-1} ∘ E를 유도함. 여기서 E는 조건부 기대이다.

실험 결과

연구 질문

• RQ1 마르코프 부분이송에 의해 유도된 내면사상에 대해 쿤츠-크리거 대수에서 표준 등급부분사상 조건 α(a) = SaS*가 성립할 수 있는가?
• RQ2 쿠른츠-크리거 대수 O_A를 C(K)의 내면사상에 의한 반직선곱으로 정확히 실현할 수 있는 일관된 일반화된 반직선곱 구성이 존재하는가?
• RQ3 반순서군의 내면사상에 대한 전달 연산자를 군-등급 프레임워크 내에서 내면사상과 체계적으로 통합할 수 있는가?
• RQ4 내면사상의 반순서군 작용을 상호작용을 통해 전체 군 작용으로 확장하기 위해 필요한 구조는 무엇인가?
• RQ5 왜 표준 구성은 유니탈 내면사상에서 실패하며, 이를 해결하기 위한 대체 공변 조건은 무엇인가?

주요 결과

• 마르코프 이송에 의해 유도된 내면사상에 대해 O_2에서 표준 등급부분사상 조건 α(a) = SaS*는 대각 부분대수의 최대성에 기반한 모순을 통해 성립할 수 없음을 입증함.
• 마르코프 이송에 의해 C(K) 위에 유도된 내면사상 α는 전사적이지 않으며, 이는 SaS*가 유니터리 S를 통해 이를 실현하려면 요구되는 조건을 위반함을 의미함.
• 새로운 공변 조건으로 Sa = α(a)S 및 S*S a S = L(a)를 제안함. 여기서 L은 전달 연산자이며, 이는 등급부분사상 조건의 실패를 피함.
• 시스템 (A(H), N×N, α, ℓ)는 라르센의 동역학계 공리계를 만족하지만, 교환 조건 α_g L_g ∘ α_h L_h = α_h L_h ∘ α_g L_g를 위반함으로써 상호작용 군으로의 확장에 실패함.
• 조건부 기대 E에 의해 L = α^{-1} ∘ E로 전달 연산자를 구성함으로써, 단일 내면사상의 경우를 일반화하는 일관된 이중 작용을 제공함.
• 상호작용 군 프레임워크는 내면사상과 전달 연산자를 하나의 군-등급 구조로 통합하여 반순서군 작용에 대한 일관된 반직선곱 구성이 가능하게 함.