[논문 리뷰] Cuntz-Li relations, Inverse semigroups and Groupoids

S. Sundar|arXiv (Cornell University)|2012. 01. 23.

Advanced Operator Algebra Research참고 문헌 18인용 수 6

한 줄 요약

이 논문은 Cuntz-Li 관계로 정의된 보편 C*-대수—정규부분군 $M$을 가진 반직접곱 $N \rtimes H$로부터 유도되는—이 부분 등위의 역반군의 타이트 군oids와 C*-대수와 동형임을 증명한다. Exel의 타이트 표현 이론을 적용하여 저자들은 이 C*-대수를 $\overline{N} \rtimes G|_{\overline{M}}$의 군oids C*-대수로 식별하며, 이는 이전 결과를 일반화하여 $H$가 아벨임을 가정하지 않는 바탕을 마련한다.

ABSTRACT

In this paper we show that the universal C*-algebra satisfying the Cuntz-Li relations is generated by an inverse semigroup of partial isometries. We apply Exel's theory of tight representations to this inverse semigroup. We identify the universal C*-algebra as the C*-algebra of the tight groupoid associated to the inverse semigroup.

연구 동기 및 목표

• 작용하는 군 $H$가 아벨이어야 한다는 조건을 제거하여 Cuntz-Li 구성의 일반화를 이루는 것.
• Cuntz-Li 관계를 만족하는 보편 C*-대수가 부분 등위의 역반군으로 생성됨을 보여주는 것.
• Exel의 타이트 표현 이론을 적용하여 보편 C*-대수를 이 역반군과 관련된 타이트 군oids의 C*-대수로 식별하는 것.
• 타이트 군oids가 $\overline{N} \rtimes G|_{\overline{M}}$과 동형임을 증명하여 이 구성이 프로파르티프 완비화와 연결됨을 보여주는 것.
• 이전의 [CL11]에서의 이중성 결과와 유사한 이중성 결과를 비아벨 설정으로 확장하여 수립하는 것.

제안 방법

• 반직접곱 $G = N \rtimes H$와 정규부분군 $M \trianglelefteq N$에 대해 조건 (C1)–(C3)를 만족하는 등위의 생성자들로 구성된 보편 C*-대수 $\mathfrak{A}[N\rtimes H, M]$을 정의한다.
• Cuntz-Li 관계의 보편 표현으로부터 생성된 부분 등위의 역반군 $T$를 구성한다.
• 역반군 $T$에 대해 Exel의 타이트 표현 이론을 적용하여, 타이트 군oids $\mathcal{G}_{\text{tight}}$를 타이트 표현 공간의 스펙트럼으로 식별한다.
• 타이트 군oids $\mathcal{G}_{\text{tight}}$의 C*-대수가 $\mathfrak{A}[N\rtimes H, M]$과 동형임을 증명함으로써, 보편 C*-대수가 군oids C*-대수로 실현됨을 보여준다.
• 명시적으로 $\mathcal{G}_{\text{tight}}$가 $\overline{N} \rtimes G|_{\overline{M}}$과 동형임을 식별하여, 이는 $N$의 프로파르티프 완비화와 $G$의 $\overline{M}$에 제한된 작용과 관련된 군oids임을 보여준다.
• 행렬 $X = (\operatorname{tr}(w_i w_j))$를 사용하여 동역학계 $\mathbb{R}^n \rtimes \Gamma$와 $\mathbb{R}^n \rtimes \Gamma^{\text{op}}$ 사이의 동형을 구성함으로써, 수체에 대한 이중성 결과를 가능하게 한다.

실험 결과

연구 질문

• RQ1 작용하는 군 $H$가 비아벨일 경우에도 역반군 방법을 통해 Cuntz-Li 보편 C*-대수를 군oids의 C*-대수로 실현할 수 있는가?
• RQ2 Cuntz-Li 관계를 만족하는 보편 C*-대수는 부분 등위의 역반군과 관련된 타이트 군oids의 C*-대수와 동형인가?
• RQ3 이 일반화된 설정에서 타이트 군oids $\mathcal{G}_{\text{tight}}$의 명시적 군oids 구조는 무엇인가?
• RQ4 일반화된 가정 하에 $\mathcal{G}_{\text{tight}}$와 $\overline{N} \rtimes G|_{\overline{M}}$ 사이의 동형은 어떻게 유도되는가?
• RQ5 비아벨인 $H$에 대해 [CL11]의 결과와 유사한 이중성 결과를 수체의 맥락에서 확립할 수 있는가?

주요 결과

• Cuntz-Li 관계를 만족하는 보편 C*-대수 $\mathfrak{A}[N\rtimes H, M]$는 부분 등위의 역반군과 관련된 타이트 군oids $\mathcal{G}_{\text{tight}}$의 C*-대수와 동형이다.
• 타이트 군oids $\mathcal{G}_{\text{tight}}$는 명시적으로 $\overline{N} \rtimes G|_{\overline{M}}$과 동형임을 식별하였으며, 이는 $N$의 프로파르티프 완비화와 $G$의 $\overline{M}$에 제한된 작용과 관련된 군oids이다.
• 수체 $K$에 대해 $\mathfrak{A}[K\rtimes K^\times, O_K]$는 $C_0(\mathbb{A}_\infty) \rtimes (K \rtimes K^\times)$와 모리타-유사하다. 이는 [CL11]의 결과를 일반화한 것이다.
• 행렬 $X = (\operatorname{tr}(w_i w_j))$는 동역학계 $(\mathbb{R}^n, \mathbb{Q}^n \rtimes \Gamma)$와 $(\mathbb{R}^n, \mathbb{Q}^n \rtimes \Gamma^{\text{op}})$ 사이의 동형을 실현하며, 이는 이중성 결과를 가능하게 한다.
• 행렬 $A$에 대해 $\bigcap_{r=0}^\infty A^r \mathbb{Z}^n = \{0\}$이면, $\mathfrak{A}_A$는 $C_0(\mathbb{R}^n) \rtimes (N_A \rtimes \mathbb{Z})$와 모리타-유사하다. 이는 2진수 이중성 정리의 확장이다.
• 행렬 $A^t$에 대해서도 이중성 결과가 성립한다. 왜냐하면 $A$와 $A^t$가 유리 유사이므로 $\bigcap_{r=0}^\infty A^r \mathbb{Z}^n = \{0\}$이면 $\bigcap_{r=0}^\infty (A^t)^r \mathbb{Z}^n = \{0\}$이기 때문이다.