[논문 리뷰] The partial-isometric crossed products by semigroups of endomorphisms are Morita equivalent to crossed products by groups

Saeid Zahmatkesh|arXiv (Cornell University)|2017. 10. 18.

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

한 줄 요약

이 논문은 $C^*$-대수 $A$ 위의 확장 가능한 내형사상의 반군에 관련된 부분 등장형 교차곱 $A \times_{\alpha}^{\text{piso}} \Gamma^{+}$가, $\ell^\infty(\Gamma, A)$의 부분대수 $\mathcal{B}$와 그 위에 유도된 이동 작용 $\beta$를 갖는 군 교차곱 $\mathcal{B} \times_{\beta} \Gamma$의 전역 코너와 모리타 등가임을 확립한다. 주요 기여는 이sov레틱 교차곱 결과를 부분 등장형 설정으로 일반화하여, 임의의 전순서가 붙은 아벨离산 군 $\Gamma$에 대해 이러한 교차곱이 군 교차곱의 전역 코너임을 보여주는 것이다. 이는 군 교차곱의 구조적 결과들을 반군 교차곱으로 이행할 수 있도록 한다.

ABSTRACT

Let $Γ^{+}$ be the positive cone of a totally ordered abelian discrete group $Γ$, and $α$ an action of $Γ^{+}$ by extendible endomorphisms of a $C^*$-algebra $A$. We prove that the partial-isometric crossed product $A imes_α^{ extrm{piso}}Γ^{+}$ is a full corner of a group crossed product $\mathcal{B} imes_βΓ$, where $\mathcal{B}$ is a subalgebra of $\ell^{\infty}(Γ,A)$ generated by a collection of faithful copies of $A$, and the action $β$ on $\mathcal{B}$ is induced by shift on $\ell^{\infty}(Γ,A)$. We then use this realization to show that $A imes_α^{ extrm{piso}}Γ^{+}$ has an essential ideal $J$, which is a full corner in an ideal $\mathcal{I} imes_βΓ$ of $\mathcal{B} imes_βΓ$.

연구 동기 및 목표

• 반군의 내형사상에 의한 부분 등장형 교차곱이 군 교차곱의 전역 코너임이 되는지 여부에 대한 열린 문제를 해결한다. 이는 기존의 등장형 교차곱 결과와 유사하게 적용된다.
• 이전 연구에서의 결과를 $\Gamma^+ = \mathbb{N}$의 경우를 초월하여 임의의 전순서가 붙은 아벨 이산 군으로 일반화함으로써, 부분 등장형 교차곱의 구조적 이해를 확장한다.
• $A \times_{\alpha}^{\text{piso}} \Gamma^{+}$와 군 교차곱의 전역 코너 사이의 모리타 등가를 확립함으로써, 군 교차곱의 잘 발달된 이론을 반군 교차곱을 연구하는 데 도입한다.
• 사상 $A \times_{\alpha}^{\text{piso}} \Gamma^{+} \to A \times_{\alpha}^{\text{iso}} \Gamma^{+}$의 핵 $J$를 군 교차곱의 이상 $\mathcal{I} \times_{\beta} \Gamma$ 안의 전역 코너로 식별하고, $J$가 본질적 이상임을 보인다.

제안 방법

• faithful한 $A$의 복제본들로 생성되는 $\ell^\infty(\Gamma, A)$의 부분대수 $\mathcal{B}$를 구성하고, $\Gamma$의 이동 작용 $\beta$를 자동형사상으로 갖춘다.
• $\mathcal{B}$ 위에서 $\beta$에 대한 공변 표현을 위한 유일한 $C^*$-대수로 군 교차곱 $\mathcal{B} \times_{\beta} \Gamma$를 정의한다.
• 이동 연산자와 프로젝션을 이용해 시스템 $(A, \Gamma^+, \alpha)$의 부분 등장형 공변 쌍 $(\pi_A, W)$를 $\mathcal{B} \times_{\beta} \Gamma$의 승수 대수에서 구성한다.
• 관련된 \'-환형사상 $\pi_A \times W: A \times_{\alpha}^{\text{piso}} \Gamma^{+} \to \mathcal{B} \times_{\beta} \Gamma$가 $\mathcal{B} \times_{\beta} \Gamma$의 전역 코너로의 동형사상임을 보인다.
• 이 실현을 통해 사상 $A \times_{\alpha}^{\text{piso}} \Gamma^{+} \to A \times_{\alpha}^{\text{iso}} \Gamma^{+}$의 핵 $J$를 $\mathcal{B} \times_{\beta} \Gamma$의 이상 $\mathcal{I} \times_{\beta} \Gamma$ 안의 전역 코너로 식별한다.
• $J$가 $A \times_{\alpha}^{\text{piso}} \Gamma^{+}$에서 본질적 이상임을 증명하며, 이는 [3]의 결과를 $\mathbb{R}$의 부분군을 초월하여 임의의 전순서가 붙은 아벨 이산 군으로 일반화한다.

실험 결과

연구 질문

• RQ1 임의의 전순서가 붙은 아벨 이산 군 $\Gamma$에 대해 부분 등장형 교차곱 $A \times_{\alpha}^{\text{piso}} \Gamma^{+}$는 군 교차곱의 전역 코너과 모리타 등가인가?
• RQ2 등장형 경우를 확장하여, $A \times_{\alpha}^{\text{piso}} \Gamma^{+}$의 구조가 군 교차곱에의 임베딩을 통해 완전히 기술될 수 있는가?
• RQ3 사상 $A \times_{\alpha}^{\text{piso}} \Gamma^{+} \to A \times_{\alpha}^{\text{iso}} \Gamma^{+}$의 핵 $J$는 본질적 이상인가? 그리고 군 교차곱의 전역 코너로 표현될 수 있는가?
• RQ4 $\mathcal{B} \subset \ell^\infty(\Gamma, A)$와 이동 작용 $\beta$의 구성이 부분 등장형 교차곱을 전역 코너로 표현하는 데 보편적 프레임워크를 제공하는가?

주요 결과

• 부분 등장형 교차곱 $A \times_{\alpha}^{\text{piso}} \Gamma^{+}$는 $\ell^\infty(\Gamma, A)$의 부분대수 $\mathcal{B}$와 이동 작용 $\beta$를 갖는 군 교차곱 $\mathcal{B} \times_{\beta} \Gamma$의 전역 코너와 동형이다.
• 사상 $A \times_{\alpha}^{\text{piso}} \Gamma^{+} \to A \times_{\alpha}^{\text{iso}} \Gamma^{+}$의 핵 $J$는 $\mathcal{B} \times_{\beta} \Gamma$의 이상 $\mathcal{I} \times_{\beta} \Gamma$ 안의 전역 코너로 실현된다.
• $J$는 $A \times_{\alpha}^{\text{piso}} \Gamma^{+}$에서 본질적 이상이며, 이는 [3, Proposition 2.5]를 $\mathbb{R}$의 부분군을 초월하여 모든 전순서가 붙은 아벨 이산 군으로 일반화한다.
• $\alpha$가 단사일 경우, $\mathcal{B}$는 이동 호환 임베딩 $\varphi_n$에 의한 $B_{\mathbb{Z}} \otimes A$의 직접 극한으로 기술될 수 있다.
• 동형사상 $\pi_A \times W$는 $A \times_{\alpha}^{\text{piso}} \Gamma^{+}$를 $\mathcal{B} \times_{\beta} \Gamma$의 전역 코너로 실현하며, 이는 두 대수 사이의 모리타 등가를 제공한다.
• 결과는 $\Gamma^+ = \mathbb{N}$일 때 [3, Theorem 4.1]을 특수한 경우로 회복하며, 이는 이전 연구와의 일관성을 확인한다.