[논문 리뷰] Pure infiniteness and ideal structure of crossed products by endomorphisms of $C_0(X)$-algebras

B. K. Kwaśniewski|arXiv (Cornell University)|2014. 12. 29.

Advanced Operator Algebra Research참고 문헌 26인용 수 3

한 줄 요약

이 논문은 확장 가능한 내형사상에 대한 $C_0(X)$-대수의 교차곱을 위한 통합 프레임워크를 제안하며, 위상동역학과 섬유별 준동형사상의 조합을 포함한다. 순수 무한성, 아이디얼 구조 기술, 유일성에 대한 충분조건을 확립하여, 넓은 범위의 이러한 교차곱에 대해 등변 KK이론을 통한 키르히버그 분류를 가능하게 한다.

ABSTRACT

Let $A$ be a $C_0(X)$-algebra. We consider an extendible endomorphism $\alpha:A o A$ such that $\alpha(f a)=\Phi(f)\alpha(a)$, $a\in A$, $f\in C_0(X)$ where $\Phi$ is an endomorphism of $C_0(X)$. Pictorially speaking, $\alpha$ is a mixture of a topological dynamical system $(X,\varphi)$ dual to $(C_0(X),\Phi)$ and a continuous field of homomorphisms between the fibers $A(x)$, $x\in X$, of the corresponding $C^*$-bundle. We study relative crossed products $C^*(A,\alpha,J)$ where $J$ is an ideal in $A$. These generalize most popular constructions of this sort. We give sufficient conditions for the uniqueness property, gauge-invariance of all ideals, the ideal property and pure infiniteness of $C^*(A,\alpha,J)$. In particular, we propose a notion of paradoxicality for reversible $C^*$-dynamical systems. The results allow to constitute a large class of crossed products $C^*(A,\alpha,J)$ which undergo Kirchberg's classification via ideal system equivariant KK-theory and whose ideal lattice is completely described in terms of $(A,\alpha)$ and $J$.

연구 동기 및 목표

• 위상동역학과 섬유별 준동형사상을 모두 통합하여 $C_0(X)$-대수의 기존 교차곱 구성 방법을 일반화한다.
• 순수 무한성을 특성화하기 위해 역행 가능한 $C^*$-동역학계에 대한 역설적 성격의 개념을 개발한다.
• 상대적 교차곱 $C^*(A,\alpha,J)$에서 유일성 성질, 게이지 불변성, 아이디얼 성질을 보장하는 충분조건을 제공한다.
• 상대적 교차곱 $C^*(A,\alpha,J)$의 아이디얼 레이티스를 $(A,\alpha)$와 아이디얼 $J$에 대해 명시적으로 기술한다.
• 이deo계의 구조가 $(A,\alpha)$와 $J$에 의해 완전히 기술될 경우, 등변 KK이론을 활용하여 넓은 범위의 교차곱에 대해 키르히버그의 분류 프로그램을 적용할 수 있도록 한다.

제안 방법

• 내형사상 $\alpha: A \to A$를 위상동역학계 $(X,\varphi)$와 각 섬유 $A(x)$ 위의 연속 섬유별 준동형사상의 조합으로 모델링한다.
• 대칭 내형사상 $\Phi$를 $C_0(X)$에 정의하여 대수적 구조 $A$와 공간 $X$ 위의 위상동역학 간의 관계를 규명한다.
• 이데알 $J \subset A$에 대해 상대적 교차곱 $C^*(A,\alpha,J)$를 정의하여 표준적 교차곱 구성 방법을 일반화한다.
• 역행 가능한 $C^*$-동역학계에 대해 순수 무한성을 특성화하기 위한 역설적 성격의 개념을 도입한다.
• 이deo계가 $(A,\alpha)$와 $J$에 의해 완전히 기술될 경우, $C^*(A,\alpha,J)$의 분류에 등변 KK이론을 적용한다.
• 모든 아이디얼이 게이지 불변이고 유일성 성질이 성립하는 조건을 확립한다.

실험 결과

연구 질문

• RQ1 상대적 교차곱 $C^*(A,\alpha,J)$가 언제 순수 무한성이 되는가?
• RQ2 상대적 교차곱 $C^*(A,\alpha,J)$의 아이디얼 레이티스가 $J$를 포함하는 $\alpha$-불변 아이디얼의 레이티스와 일치하는가?
• RQ3 유일성 성질과 모든 아이디얼의 게이지 불변성을 보장하는 조건은 무엇인가?
• RQ4 역행 가능한 $C^*$-동역학계에서 역설적 성격을 어떻게 형식화하여 순수 무한성을 이끌 수 있는가?
• RQ5 어떤 경우에 $C^*(A,\alpha,J)$가 아이디얼 체계를 사용하여 등변 KK이론을 통해 분류될 수 있는가?

주요 결과

• 관련 $C^*$-동역학계가 적절한 역설적 성격을 만족할 경우, 교차곱 $C^*(A,\alpha,J)$는 순수 무한성이 된다.
• 시스템이 요구하는 조건을 만족할 경우, 자연스러운 코작용 하에서 $C^*(A,\alpha,J)$의 모든 아이디얼은 게이지 불변이다.
• 내형사상 $\alpha$가 확장 가능하고 $C_0(X)$-구조와 호환될 경우, $C^*(A,\alpha,J)$에서 유일성 성질이 성립한다.
• 상대적 교차곱 $C^*(A,\alpha,J)$의 아이디얼 레이티스는 쌍 $(A,\alpha)$와 아이디얼 $J$에 의해 완전히 결정된다.
• 이deo계가 $(A,\alpha)$와 $J$에 의해 완전히 기술될 경우, 키르히버그의 분류 프로그램은 등변 KK이론을 통해 $C^*(A,\alpha,J)$에 적용된다.
• 이 프레임워크는 기존의 교차곱 구성 방법을 일반화하며, 순수 무한성과 아이디얼 구조를 연구하기 위한 통합적 설정을 제공한다.