[논문 리뷰] A New Look at The Crossed-Product of a C*-algebra by an Endomorphism

Ruy Exel|ArXiv.org|2000. 12. 12.

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

한 줄 요약

이 논문은 유도 사상과 전이 연산자를 추가 구조로 포함하는 C*-대수의 새로운 교차곱 구조를 제안한다. 이는 이전의 구조, 특히 유도 사상의 범위가 강하성인 경우를 일반화하며, Cuntz–Krieger 대수 $\mathcal{O}_A$가 유니버설 C*-대수의 몫으로 자연스럽게 나타남을 보여준다. 이 유니버설 대수는 유도 사상과 전이 연산자를 포함한 생성자와 관계로 정의된다.

ABSTRACT

We give a new definition for the crossed-product of a C*-algebra A by a *-endomorphism α, which depends not only on the pair (A,α) but also on the choice of a transfer operator (defined in the paper). With this we generalize some of the earlier constructions in the situations in which they behave best (e.g. for monomorphisms with hereditary range), but we get a different and perhaps more natural outcome in other situations. For example, we show that the Cuntz-Krieger algebra O_A arises as the result of our construction when applied to the corresponding Markov subshift and a very natural transfer operator.

연구 동기 및 목표

• 기존의 C*-대수 유도 사상에 의한 교차곱 구조를 일반화함으로써, 이전 방법이 실패하거나 자연스럽지 않은 경우를 다루는 것.
• 고전적 동역학과 연산자 대수학에 기반하여 전이 연산자를 교차곱 구조의 핵심 구성 요소로 통합하는 것.
• 기존의 예를 통합하는 프레임워크를 제공함으로써, 예를 들어 Cuntz–Krieger 대수 $\mathcal{O}_A$와 같은 사례를 C*-대수, 유도 사상, 전이 연산자를 포함한 생성자로 생성된 유니버설 C*-대수의 몫으로 회복하는 것.
• 강하성 범위나 등장 사상의 등장 조건과 같은 이전 구조의 제약을 제거하기 위해 힐버트 이중모듈러 구조와 중복성 관계를 사용하는 것.

제안 방법

• 모든 $a,b \in A$에 대해 $\mathcal{L}(\alpha(a)b) = a\mathcal{L}(b)$를 만족하는 C*-대수 $A$, 유도 사상 $\alpha$, 전이 연산자 $\mathcal{L}$에 의해 생성되는 유니버설 C*-대수 $\mathbb{T}(A,\alpha,\mathcal{L})$를 정의한다.
• 유한성 조건을 만족하는 $S$를 만족하는 생성자 $S$에 대해 $Sa = \alpha(a)S$ 및 $S^*aS = \mathcal{L}(a)$를 만족하는 힐버트 이중모듈러 $M$을 정의한다. 이는 $AS$의 닫힘으로 정의된다.
• 유니버설 대수 $\mathbb{T}(A,\alpha,\mathcal{L})$를 중복성 관계—$a,b \in A$, $k \in \overline{ASS^*A}$에 대해 $abS = kbS$ 형태의 관계—로 생성되는 아이디얼 $\mathcal{I}$로 나누어 교차곱을 구성한다.
• 유니버설 성질을 이용해 $\mathbb{T}(A,\alpha,\mathcal{L})$에서 $\mathcal{O}_A$로의 $*$-준동형을 정의하고, 이 준동형이 $\mathcal{I}$ 위에서 0이 되므로 몫을 통해 인식됨을 증명한다.
• 자유군 $\mathbf{F}(\mathcal{G})$ 위에서 $\mathcal{O}_A$의 등급 구조를 이용해, $s = \alpha(Q)^{-1/2} \sum_{x \in \mathcal{G}} s_x$ 형태의 표준 원소 $s$를 정의하여 $S$의 정의 관계를 만족함을 보인다.
• 유니버설 성질을 사용하여 역 $*$-준동형을 구성하고 $\mathcal{I}$ 위에서 0이 되는지 확인함으로써, $C(\Omega_A) \mathop{\square}_{\alpha,\mathcal{L}} \mathbb{N}$과 $\mathcal{O}_A$ 사이의 동형을 확립한다.

실험 결과

연구 질문

• RQ1 유도 사상에 의한 C*-대수의 새로운 교차곱 구조를 전이 연산자를 포함하여 정의할 수 있는가? 이는 기존의 구조를 일반화하는가?
• RQ2 이 새로운 구조가 관련된 마르코프 부분역사와 자연스러운 전이 연산자를 적용했을 때 Cuntz–Krieger 대수 $\mathcal{O}_A$를 유도하는가?
• RQ3 유니버설 대수 $\mathbb{T}(A,\alpha,\mathcal{L})$에서 중복성의 아이디얼 $\mathcal{I}$는 어떻게 특징지어질 수 있으며, 몫이 잘 정의된 교차곱을 얻기 위해 어떤 조건을 만족해야 하는가?
• RQ4 힐버트 이중모듈러 구조 $M = \overline{AS}$는 교차곱을 구성하고 몫이 잘 정의되도록 보장하는 데 어떤 역할을 하는가?
• RQ5 유니버설 대수 $\mathbb{T}(A,\alpha,\mathcal{L})$가 아이디얼 $\mathcal{I}$에 대한 몫을 통해 $\mathcal{O}_A$로 전사적으로 사상되는 조건은 무엇이며, 이 사상이 동형이 되는 조건은 무엇인가?

주요 결과

• Cuntz–Krieger 대수 $\mathcal{O}_A$는 $\Omega_A$가 마르코프 부분역사의 경로 공간 위 연속 함수 대수의 스펙트럼이고, $\alpha$가 이동 유도 사상이며, $\mathcal{L}$이 전이 연산자(전이의 평균화로 정의됨)인 경우, $C(\Omega_A) \mathop{\square}_{\alpha,\mathcal{L}} \mathbb{N}$의 몫과 동형이다.
• 유니버설 대수 $\mathbb{T}(A,\alpha,\mathcal{L})$를 중복성의 아이디얼 $\mathcal{I}$로 나누어 구성한 교차곱은 $\mathcal{O}_A$와 동형이 되며, 이는 $\mathcal{O}_A$의 새로운 실현을 제공한다.
• $S$를 $s = \alpha(Q)^{-1/2} \sum_{x \in \mathcal{G}} s_x$로 보내는 $\psi: \mathbb{T}(C(\Omega_A),\alpha,\mathcal{L}) \to \mathcal{O}_A$의 $*$-준동형은 아이디얼 $\mathcal{I}$ 위에서 0이 되며, 이는 $\psi$가 몫을 통해 인식됨을 보장한다.
• $\mathcal{O}_A \to C(\Omega_A) \mathop{\square}_{\alpha,\mathcal{L}} \mathbb{N}$으로의 역 준동형 $\phi$는 잘 정의되어 있으며, $\psi$로부터 유도된 사상의 역임을 보여 이중성 동형을 증명한다.
• 증명 과정에서 임의의 중복성 $(a,k)$에 대해 $\alpha(1) = 1$일 때 $\psi(k) = a$를 만족함을 보여 $\psi(a - k) = 0$임을 확인함으로써 $\mathcal{I}$가 핵에 포함됨을 확인한다.
• 이 구조는 중복성으로 생성된 아이디얼 $\mathcal{I}$가 정확히 $\psi$의 핵임을 보여주며, 따라서 몫 $\mathbb{T}(A,\alpha,\mathcal{L}) / \mathcal{I}$는 $\mathcal{O}_A$와 동형임을 보여준다.