[논문 리뷰] The 2-adic ring $C^*$-algebra of the integers and its representations

Nadia S. Larsen, Xin Li|arXiv (Cornell University)|2010. 11. 25.

Advanced Operator Algebra Research참고 문헌 15인용 수 10

한 줄 요약

이 논문은 정수의 2진수환 C*-대수인 $\mathcal{Q}_2$를 도입하며, 이는 Cuntz 대수 $\mathcal{O}_2$와 $ax+b$-반군 C*-대수 $\mathcal{Q}_{\mathbb{N}}$의 비자명한 일반화이다. 2진수 이중성 정리(2-adic duality theorem)를 증명하여 $\mathbb{Q}_2$와 $\mathbb{R}$ 위의 교차곱 사이의 모리타 동치를 보이며, $\mathcal{Q}_2$의 표준 표현을 $C_0(\mathbb{R}) \rtimes \mathbb{Z}[1/2] \rtimes \langle 2 \rangle$ 위의 대응 표현으로 옮기는 명시적인 불변 이중모듈러를 구성한다. 이에 따라 $\mathcal{Q}_2$는 $\mathcal{O}_2$와 실수/2진수 교차곱 양쪽 모두와 연결된다.

ABSTRACT

We study the 2-adic version of the ring $C^*$-algebra of the integers. First, we work out the precise relation between the Cuntz algebra $\cO_2$ and our 2-adic ring $C^*$-algebra in terms of representations. Secondly, we prove a 2-adic duality theorem identifying the crossed product arising from 2-adic affine transformations on the 2-adic numbers with the analogous crossed product algebra over the real numbers. And finally, as an outcome of this duality result, we construct an explicit imprimitivity bimodule and prove that it transports one canonical representation into the other.

연구 동기 및 목표

• 2진수환 C*-대수 $\mathcal{Q}_2$를 $\mathcal{O}_2$와 $\mathcal{Q}_{\mathbb{N}}$의 비자명한 일반화로 정의하고 연구하는 것.
• $\mathcal{O}_2$의 표현들과 $\mathcal{Q}_2$의 표현들 사이의 정확한 관계를 명확히 하여, 어떤 $\mathcal{O}_2$-표현이 $\mathcal{Q}_2$로 확장 가능한지 밝히는 것.
• 2진수 이중성 정리를 증명하여 $\mathbb{Q}_2$ 위의 교차곱이 $\mathbb{R}$ 위의 해당 교차곱과 모리타 동치임을 규명하는 것.
• 표준 표현을 유지하는 명시적인 불변 이중모듈러를 구성하여 이 모리타 동치를 실현하는 것.

제안 방법

• 저자들은 $\mathbb{Z}$의 2진수 승수에 의한 곱셈 작용을 표현하는 관계를 만족하는 등급형 $s_n$과 유니터리 $u$에 의해 생성되는 유일한 C*-대수로 $\mathcal{Q}_2$를 정의한다.
• 이를 $C_0(\mathbb{Z}_2) \rtimes \mathbb{Z}[1/2] \rtimes \langle 2 \rangle$ 형태의 반군 교차곱으로 표현하여, $\mathcal{Q}_{\mathbb{N}}$의 구조를 2진수 환경으로 확장한다.
• 확장 이론을 사용하여 $\mathcal{Q}_2$를 $\mathbb{Z}[1/2] \rtimes \langle 2 \rangle$가 $C_0(\mathbb{Q}_2)$와 $C_0(\mathbb{R})$ 위에 작용하는 교차곱과 연결하며, 모리타 동치를 통한 이중성을 확립한다.
• 유도 표현과 푸리에 변환을 사용하여 $\mathcal{Q}_2$와 $C_0(\mathbb{R}) \rtimes \mathbb{Z}[1/2] \rtimes \langle 2 \rangle$ 사이의 구체적인 불변 이중모듈러를 구성한다.
• 이 이중모듈러가 $\mathcal{Q}_2$의 표준 표현(즉, $\ell^2(\mathbb{Z})$ 위의 표현)과 $C_0(\mathbb{R}) \rtimes \mathbb{Z}[1/2] \rtimes \langle 2 \rangle$ 위의 유도 표현 사이의 유니터리 동치를 실현함을 보인다.
• Zhang의 이분법을 적용하여 $\mathbb{R}$ 및 $\mathbb{Q}_2$ 위의 교차곱이 서로 동형임을 주장하지만, 명시적인 동형사상은 구성하지 않는다.

실험 결과

연구 질문

• RQ1 $\mathcal{O}_2$의 표현 중 어떤 것이 2진수환 C*-대수 $\mathcal{Q}_2$로 확장 가능한가?
• RQ2 표현 이론적으로 $\mathcal{O}_2$와 $\mathcal{Q}_2$ 사이의 관계는 어떠한가?
• RQ3 $\mathbb{Q}_2$ 위의 2진수 아핀군 $\mathbb{Z}[1/2] \rtimes \langle 2 \rangle$에 의한 $C_0(\mathbb{Q}_2)$의 교차곱과 $\mathbb{R}$ 위의 해당 교차곱 사이에 이중성이 존재하는가?
• RQ4 모리타 동치를 실현하는 명시적인 불변 이중모듈러를 구성할 수 있는가?
• RQ5 이 이중모듈러가 $\ell^2(\mathbb{Z})$ 위의 $\mathcal{Q}_2$의 표준 표현을 $C_0(\mathbb{R}) \rtimes \mathbb{Z}[1/2] \rtimes \langle 2 \rangle$ 위의 표준 표현으로 옮기는가?

주요 결과

• $\mathcal{Q}_2$는 어떤 링 $R$에 대한 $\mathfrak{A}[R]$ 구성의 특수한 경우가 아니지만, $\mathcal{Q}_{\mathbb{N}}$ 및 $\mathcal{O}_2$와 마찬가지로 순수하게 무한하고 단순한 성질을 공유한다.
• $\mathcal{O}_2$-표현 중 $\mathcal{Q}_2$로 확장 가능한 표현의 완전한 특성화가 이루어지며, 이는 $\mathcal{O}_2$의 두 생성 등급형 사이의 대칭적 관계를 드러낸다.
• 2진수 이중성 정리가 증명되어, $C_0(\mathbb{Q}_2) \rtimes \mathbb{Z}[1/2] \rtimes \langle 2 \rangle$와 $C_0(\mathbb{R}) \rtimes \mathbb{Z}[1/2] \rtimes \langle 2 \rangle$의 교차곱이 모리타 동치임을 보여준다.
• $\mathcal{Q}_2$와 $C_0(\mathbb{R}) \rtimes \mathbb{Z}[1/2] \rtimes \langle 2 \rangle$ 사이에 명시적인 불변 이중모듈러가 구성되었으며, 이는 모리타 동치를 실현한다.
• 이 이중모듈러는 $\ell^2(\mathbb{Z})$ 위의 $\mathcal{Q}_2$의 표준 표현을 $C_0(\mathbb{R}) \rtimes \mathbb{Z}[1/2] \rtimes \langle 2 \rangle$ 위의 표준 표현으로 옮기며, 유니터리 동치를 확립한다.
• 이중성 결과의 증명은 교차곱 간의 명시적 동형사상을 제공하지는 않지만, 표준 표현을 유지하는 구체적인 등가 실현을 제공한다.