[논문 리뷰] Partial-isometric crossed products by semigroups of endomorphisms

Janny Lindiarni, Iain Raeburn|ArXiv.org|2002. 10. 23.

Advanced Operator Algebra Research참고 문헌 20인용 수 22

한 줄 요약

이 논문은 C*-대수 위에 작용하는 완전순서화된 준군의 부분等거리 교차곱을 도입하여, 힐버트 이중모듈러스의 곱계열에 대한 접근 가능한 토플리츠 대수의 가족을 제공한다. 이는 $\mathbf{c}_0 \times_\sigma \mathbb{N}$ 가 $\mathbb{N} \cup \{\infty\}$ 에 값이 있는 연속 함수의 $C^*$-대수와 동형임을 증명하며, 이 대수의 값은 토플리츠 대수 $\mathcal{T}(\mathbb{Z})$ 에 속하고 경계값이 일정함을 드러내어, $C(\mathbb{T})$ 몫과 $C_0(\mathbb{N}, \mathcal{K})$ 핵을 지닌 풍부한 정확한 구조를 드러낸다.

ABSTRACT

Let $Γ^+$ be the positive cone in a totally ordered abelian group $Γ$, and let $α$ be an action of $Γ^+$ by endomorphisms of a $C^*$-algebra $A$. We consider a new kind of crossed-product $C^*$-algebra $A imes_αΓ^+$, which is generated by a faithful copy of $A$ and a representation of $Γ^+$ as partial isometries. We claim that these crossed products provide a rich and tractable family of Toeplitz algebras for product systems of Hilbert bimodules, as recently studied by Fowler, and we illustrate this by proving detailed structure theorems for actions by forward and backward shifts.

연구 동기 및 목표

• 완전순서화된 준군 작용 하에서 C*-대수의 내부자기사상들을 부분 등거리로 표현함으로써, 새로운 교차곱 C*-대수의 클래스를 개발한다.
• 일부 시스템(예: $\mathbf{c}_0 \times_\sigma^\text{iso} \mathbb{N} = \{0\}$)에서 등거리 교차곱이 0으로 붕괴하는 한계를 극복하기 위해 부분 등거리를 사용하여 충실한 표현을 유지한다.
• 이러한 부분 등거리 교차곱이 힐버트 이중모듈러스의 토플리츠 대수에 대해 구체적이고 다룰 수 있는 모델이 되며, 특히 내부자기사상의 맥락에서 그러하다는 것을 보여준다.
• 특정 작용, 예를 들어 $\mathbf{c}_0$ 와 $B_{\mathbb{N}}$ 에서의 전진 및 후진 이동 작용에 대해 정확한 수열과 부분몫을 규명함으로써 세부적인 구조 정리들을 제공한다.

제안 방법

• 논문은 $A$ 의 충실한 복제본과 $\Gamma^+$ 의 부분 등거리로 표현된 유한 교차곱 $A \times_\alpha \Gamma^+$ 를 구성하며, 내부자기사상 $\alpha_s$ 와의 공조 조건을 만족한다.
• 논문은 힐버트 이중모듈러스와 곱계열 이론을 사용하고, Fowler 의 결과를 응용하여 일반 표현이 충실한지 여부를 특성화한다.
• $\mathbf{c}_0$ 에 대한 $\mathbb{N}$ 의 작용 $\sigma$ 에 대해, 단일 이동자 $T$ 와 감소하는 투영 연산자 수열 $Q_m$ 을 사용하여 $C_b(\mathbb{N}, B(\ell^2(\mathbb{N})))$ 에로의 구체적 표현 $\pi_{F,Q} \times F$ 를 구성한다.
• 핵심 기술 도구는 교차곱의 상을 $\mathcal{B} = \{ f \in C(\mathbb{N} \cup \{\infty\}, \mathcal{T}(\mathbb{Z})) : \psi_T(f(n)) \text{ 는 일정하다} \}$ 로 식별하는 것으로, 여기서 $\psi_T$ 는 $\mathcal{T}(\mathbb{Z})$ 에서의 추적이다.
• 모든 $m$ 에 대해 $Q_m \neq Q_{m+1}$ 이라는 조건을 사용하여 표현의 충실성을 증명하며, 이는 모서리 $(V^*H)^\perp$ 에서의 관련 표현이 충실함을 보장한다.
• 이미지 대수의 분해를 통해 정확한 수열 $0 \to C_0(\mathbb{N}, \mathcal{K}) \to \mathbf{c}_0 \times_\sigma \mathbb{N} \to C(\mathbb{T}) \to 0$ 을 확립하며, 핵은 컴acts 값 함수로 구성되고 몫은 $C(\mathbb{T})$ 와 동형이다.

실험 결과

연구 질문

• RQ1 부분 등거리 교차곱은 C*-대수의 내부자기사상에서 유래하는 힐버트 이중모듈러스의 토플리츠 대수에 대해 충실하고 다룰 수 있는 모델을 제공할 수 있는가?
• RQ2 등거리 교차곱이 일부 시스템(예: $\mathbf{c}_0 \times_\sigma^\text{iso} \mathbb{N}$)에서 비자명한 구조를 포착하지 못하는 이유는 무엇이며, 부분 등거리가 이를 해결할 수 있는가?
• RQ3 완전순서화된 준군 $\mathbb{N}$ 이 $\mathbf{c}_0$ 에 작용하는 왼쪽 이동 작용에 대해 부분 등거리 교차곱 $\mathbf{c}_0 \times_\sigma \mathbb{N}$ 의 정확한 구조는 무엇인가?
• RQ4 부분 등거리 교차곱 $\mathbf{c}_0 \times_\sigma \mathbb{N}$ 의 일반 표현의 상은 $\mathcal{T}(\mathbb{Z})$ 에 값이 있는 연속 함수의 구체적 $C^*$-대수로 어떻게 특성화할 수 있는가?
• RQ5 부분 등거리 교차곱 $\mathbf{c}_0 \times_\sigma \mathbb{N}$ 을 뒷받침하는 정확한 수열의 구조는 무엇이며, 이의 부분몫들은 $\mathcal{K}$ 와 $C(\mathbb{T})$ 와 같은 알려진 $C^*$-대수들과 어떻게 관련되어 있는가?

주요 결과

• $\mathbf{c}_0 \times_\sigma \mathbb{N}$ 의 부분 등거리 교차곱은 $\mathcal{B} = \{ f \in C(\mathbb{N} \cup \{\infty\}, \mathcal{T}(\mathbb{Z})) : \psi_T(f(n)) \text{ 는 일정하다} \}$ 와 동형이며, 여기서 $\psi_T$ 는 토플리츠 대수 $\mathcal{T}(\mathbb{Z})$ 에서의 추적이다.
• $\pi_{F,Q} \times F$ 표현은 모든 $m \geq 0$ 에 대해 $Q_m \neq Q_{m+1}$ 이므로 충실하다. 이는 모서리 $(V^*H)^\perp$ 에서의 표현이 충실함을 보장한다.
• 교차곱은 $0 \to C_0(\mathbb{N}, \mathcal{K}(\ell^2(\mathbb{N}))) \to \mathbf{c}_0 \times_\sigma \mathbb{N} \to C(\mathbb{T}) \to 0$ 의 표준 정확한 수열을 가진다. 핵은 무한대에서 0이 되는 컴팩트 값 함수로 구성되고, 몫은 $C(\mathbb{T})$ 와 동형이다.
• 표현 하에서 생성자 $k_{\mathbb{N}}(i)^* k_{\mathbf{c}}(1_m) k_{\mathbb{N}}(j)$ 의 상은 무한대에서 점별 수렴하며, 큰 $n$ 에 대해 $i,j$ 와 무관하게 극한이 일정하다. 이는 $\mathcal{B}$ 에서의 경계 조건을 보장한다.
• $\mathcal{B}$ 에서의 컴팩트 값 함수로 구성된 $C_0(\mathbb{N}, \mathcal{K})$ 는 행렬 단위 $e_{ij}^m$ 의 닫힌 스트레칭으로서 이미지에 포함되어 있으며, 이는 생성자 간 차이에서 유래한다. 이는 핵의 구조를 확인한다.
• 상에 포함된 상수 함수는 $C^*(F)$ 와 대응하며, $f - g$ 가 컴팩트 값 함수이면서 무한대에서 0이 되므로 전체 대수 $\mathcal{B}$ 는 핵과 상수 함수의 합으로 복원된다.