[논문 리뷰] On the K-theory of crossed products by automorphic semigroup actions

Joachim Cuntz, Siegfried Echterhoff외 1명|arXiv (Cornell University)|2012. 05. 24.

Advanced Operator Algebra Research참고 문헌 23인용 수 5

한 줄 요약

이 논문은 $P$가 그룹 $G$에 통합되고, $G$가 톱플리츠 조건과 바움-콘스 편제를 만족할 조건 하에서, 자동형 사슬 작용에 의한 축소된 크로스드 프로덕트 $A times_{\alpha,r} P$에 대한 $K$-이론 공식을 수립한다. 완전히 이산적인 $G$-공간에서의 컴팩트 열린 집합들의 독립적인 가족으로부터 유도된 표준적 $KK^G$-류를 사용하여, 저자들은 내림내림 원리(Descent)를 적용하여 축소된 프로덕트의 $K$-이론을 안정화 부분군으로 연결하며, 이는 이전의 반군 $C^*$-대수에 대한 결과를 일반화하는 분해를 이끌어낸다.

ABSTRACT

Let P be a semigroup that admits an embedding into a group G. Assume that the embedding satisfies a certain Toeplitz condition and that the Baum-Connes conjecture holds for G. We prove a formula describing the K- theory of the reduced crossed product A timesα,r P by any automorphic action of P. This formula is obtained as a consequence of a result on the K-theory of crossed products for special actions of G on totally disconnected spaces. We apply our result to various examples including left Ore semigroups and quasi-lattice ordered semigroups. We also use the results to show that for certain semigroups P, including the ax + b-semigroup for a Dedekind domain R, the K-theory of the left and right regular semigroup C*-algebras of P coincide, although the structure of these algebras can be very different.

연구 동기 및 목표

• 반군 $C^*$-대수의 $K$-이론 계산을 왼쪽 오어 조건을 초월하여 일반화하기 위해.
• 반군 $P$가 $C^*$-대수 $A$ 위에서 자동형으로 작용할 때, 축소된 크로스드 프로덕트 $A \rtimes_{\alpha,r} P$에 대한 $K$-이론 공식을 수립하기 위해.
• 완전히 이산적인 $G$-공간에서의 독립적인 컴팩트 열린 집합들로부터 유도된 표준적 $KK^G$-류를 사용하여, 일반적인 계수와 작용에 대해 내림내림 원리(DC)를 일반화하기 위해.
• 일부 반군, 특히 데디킨드 도메인 위의 $ax+b$-반군을 포함하여, 왼쪽 및 오른쪽 정규 반군 $C^*$-대수의 $K$-이론이 구조적 차이에도 불구하고 일치함을 보여주기 위해.

제안 방법

• 완전히 이산적인 $G$-공간 $\Omega$ 내의 $G$-불변이고 독립적인 컴팩트 열린 부분집합들의 가족 $\mathcal{V}$로부터, $I = \mathcal{V} \setminus \{\emptyset\}$를 통해 표준적 $KK^G$-류 $x \in KK^G(C_0(I), C_0(\Omega))$를 구성하기 위해.
• 바움-콘스 편제를 만족하는 $G$에 대해, 내림내림 원리(Compact Subgroups Principle, DC)를 사용하여 $x$가 $K_*(A \otimes C_0(\Omega) \rtimes_r G) \cong K_*(A \otimes C_0(I) \rtimes_r G)$를 유도함을 보이며.
• 그린의 불변성 정리를 적용하여 오른쪽 항을 $I$ 내의 $G$-오빗에 대한 직합으로 분해하여 $\bigoplus_{[i] \in G \setminus I} K_*(A \rtimes_{\alpha,r} G_i)$를 도출하며, 여기서 $G_i$는 $i \in I$의 안정화 부분군이다.
• 힐버트 $B$-모듈러와 $G$-등변 $*$-준동형사상을 사용하여, 비음수 정수 계수를 가진 행렬 분해 $\Gamma = \Gamma^+ - \Gamma^-$를 통해 $KK^G$-류를 구성하기 위해.
• 행렬의 텐서곱 항등식 $x_\Gamma^G \otimes_B x_\Lambda^G = x_{\Lambda \cdot \Gamma}^G$ 를 통해 구성의 함의성( Functoriality )을 증명하며, $\Gamma \in \mathrm{GL}(n,\mathbb{Z})$ 이면 $x_\Gamma^G$ 가 가역적임을 보임.
• 이 틀을 $P \subseteq G$가 톱플리츠 조건을 만족하는 그룹 $G$에 통합된 반군 $P$에 적용하여, $C^*_\lambda(P)$ 및 $C^*_\rho(P)$의 $K$-이론에 대한 이전 결과들을 복구하고 확장함.

실험 결과

연구 질문

• RQ1 자동형 반군 작용에 의한 축소된 크로스드 프로덕트 $A \rtimes_{\alpha,r} P$의 $K$-이론이 군론적 내림내림 원리로 언제 계산 가능한가?
• RQ2 반군 $P$의 구성 가능한 오른쪽 아이디얼들의 독립성은 관련된 $G$-공간 $\Omega_P$ 와 그 $K$-이론의 구조와 어떻게 관련되는가?
• RQ3 내림내림 원리(DC)는 일반적인 $C^*$-대수 계수와 비자명한 작용으로 일반화될 수 있는가?
• RQ4 어떤 반군 $P$에 대해 왼쪽 정규 대수 $C^*_\lambda(P)$ 와 오른쪽 정규 대수 $C^*_\rho(P)$ 의 $K$-이론이 일치하는가?
• RQ5 바움-콘스 편제가 내림내림 메커니즘을 통한 $K$-이론 동형의 타당성을 보장하는 데 어떤 역할을 하는가?

주요 결과

• 축소된 크로스드 프로덕트 $A \rtimes_{\alpha,r} P$ 의 $K$-이론은 $\bigoplus_{[i] \in G \setminus I} K_*(A \rtimes_{\alpha,r} G_i)$ 와 동형이며, 여기서 $I$ 는 $\Omega_P$ 내의 $G$-불변이고 독립적인 컴팩트 열린 부분집합들의 가족에서 비공집합 원소들의 집합이며, $G_i$ 는 $i \in I$ 의 안정화 부분군이다.
• 이 동형은 $I$ 와 $\Omega$ 의 $C_0$-대수에서 유도된 표준적 $KK^G$-류 $x \in KK^G(C_0(I), C_0(\Omega))$ 에 의해 유도되며, 이는 비음수 정수 계수를 가진 행렬 분해 $\Gamma = \Gamma^+ - \Gamma^-$ 를 통해 구성된다.
• 이 구성은 함의적이다: $KK^G(C,A)$ 내에서 $x_\Gamma^G \otimes_B x_\Lambda^G = x_{\Lambda \cdot \Gamma}^G$ 이며, $\Gamma \in \mathrm{GL}(n,\mathbb{Z})$ 이면 $x_\Gamma^G$ 는 가역적이다.
• 데디킨드 도메인 $R$ 위의 $ax+b$-반군 $R \rtimes R^\times$ 에 대해, $C^*_\lambda(P)$ 와 $C^*_\rho(P)$ 의 $K$-이론은 서로 일치한다. 이는 두 대수가 서로 다른 구조를 지니고 있음에도 불구하고 성립한다.
• 이 방법은 왼쪽 오어 조건을 톱플리츠 조건으로 약화시키면서도 동일한 $K$-이론 공식을 유지함으로써, 이전의 반군 $C^*$-대수의 $K$-이론 결과들을 일반화한다.
• 이 틀은 왼쪽 오어 반군과 준격서열 순서 반군을 포함한 다양한 반군에 적용 가능하며, 완전히 이산적인 공간 위의 군 작용을 통한 $K$-이론 계산에 통합적인 접근법을 제공한다.