[논문 리뷰] C*-algebras associated with integral domains and crossed products by actions on adele spaces

Joachim Cuntz, Xin Li|ArXiv.org|2009. 06. 26.

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

한 줄 요약

이 논문은 전역체와 관련된 C*-대수에 대한 이중성 정리를 수립하며, 유한 및 무한 아델 공간 위의 교차곱이 서로 동형임을 증명한다. 이 이중성을 이용해, 수체의 정수환에 관련된 링 C*-대수의 K-이론을 계산하며, 이는 승법군의 토퍼션-free 부분군 위의 외부대수와 동형이며, 실수 포함이 두 개 이상인 경우 Z/2Z의 변형이 있다.

ABSTRACT

We compute the K-theory for C*-algebras naturally associated with rings of integers in number fields. The main ingredient is a duality theorem for arbitrary global fields. It allows us to identify the crossed product arising from affine transformations on the finite adeles with the analogous crossed product algebra over the infinite adele space.

연구 동기 및 목표

• 이전에 제안된 정수 및 전역체와 관련된 C*-대수의 K-이론에 대한 추측 결과에 대한 완전한 증명을 제공한다.
• 임의의 전역체에 대해 유한 및 무한 아델 공간 위의 교차곱 사이의 일반적인 이중성 정리를 수립한다.
• 근의 단위가 특정 조건을 만족할 때 수체의 정수환에 관련된 링 C*-대수의 K-이론을 계산한다.
• 근의 단위를 제외한 링 C*-대수의 부분대수의 K-이론을 승법군의 관점에서 명확히 하여 그 구조를 규명한다.
• 전체 아델 공간 위의 전체 교차곱이 ax+b군의 군 C*-대수와 모리타 동치임을 보이며, 이는 K-이론 계산을 군 대수 방법으로 가능하게 한다.

제안 방법

• 유한 아델 공간 $ \mathbb{A}_f $ 와 무한 아델 공간 $ \mathbb{A}_\infty $ 및 전역체 $ K $ 위의 ax+b군 $ P_K $ 에 대해 $ C_0(\mathbb{A}_f) \rtimes P_K $ 와 $ C_0(\mathbb{A}_\infty) \rtimes P_K $ 사이의 이중성 동형을 증명한다.
• 이중성을 이용해 토폴로지가 불연속인 유한 아델 공간에서의 K-이론 계산을 연결된 무한 아델 공간으로 이전하며, 여기서 호모토피 방법을 적용할 수 있다.
• Pimsner-Voiculescu 정확수열을 반복적으로 적용하여 $ \mu \times \Gamma_m' $ 의 작용을 포함하는 교차곱의 $ K_* $ 를 계산한다. 여기서 $ \mu $ 는 단위근의 군이다.
• 기본자기정리와 K-이론에 유도된 사상이 $ \beta_*^2 = \text{id} $ 를 만족함을 이용해 $ K_* $ 의 토퍼션, 특히 $ \mathbb{Z}/2\mathbb{Z} $-토퍼션을 분석한다.
• 등급을 유지하는 동치를 통해 $ C_0(\mathbb{A}) \rtimes P_K \sim_M C^*(P_K) $, 즉 ax+b군의 군 C*-대수임을 증명한다.
• 이 동치를 활용해 $ K = \mathbb{Q} $ 인 경우 전체 교차곱의 $ K_* $ 를 $ K_0(C^*(\{\pm1\})) \otimes_\mathbb{Z} \Lambda^*(\mathbb{Q}_{>0}) $ 로 계산한다.

실험 결과

연구 질문

• RQ1 수체 $ K $ 의 정수환 $ \mathcal{O} $ 와 관련된 C*-대수 $ \mathfrak{A}[\mathcal{O}] $ 의 K-이론은 무엇인가? 특히 $ K $ 가 $ \pm1 $ 이외의 근의 단위를 포함하지 않을 경우에 대해.
• RQ2 유한 및 무한 아델 공간 위의 교차곱 사이의 이중성은 K-이론 계산을 어떻게 지원하는가?
• RQ3 근의 단위를 제외한 $ \mathfrak{A}[\mathcal{O}] $ 의 부분대수의 K-이론은 $ K $ 의 승법군을 통해 어떻게 기술할 수 있는가?
• RQ4 전체 아델 공간 위의 교차곱 $ C_0(\mathbb{A}) \rtimes P_K $ 와 군 C*-대수 $ C^*(P_K) $ 사이의 관계는 무엇인가?
• RQ5 K-이론이 $ K $ 의 애초 수를 포함하는가? 만약 그렇지 않다면, 이러한 불변량을 복원하기 위해 어떤 더 세밀한 구조가 필요한가?

주요 결과

• 수체 $ K $ 가 $ \pm1 $ 이외의 근의 단위를 포함하지 않을 경우, $ \mathfrak{A}[\mathcal{O}] $ 의 K-이론은 $ \Lambda^*(\Gamma) \oplus (\mathbb{Z}/2\mathbb{Z} \otimes_\mathbb{Z} \Lambda^*(\Gamma)) $ 와 동형이며, 여기서 $ \Gamma $ 는 $ K^\times $ 의 토퍼션-free 부분군이다. 이때 $ \mathbb{Z}/2\mathbb{Z} $-변형은 $ K $ 가 두 개 이상의 실수 포함을 가질 경우 나타난다.
• 근의 단위를 제외한 $ \mathfrak{A}[\mathcal{O}] $ 의 부분대수의 K-이론은 $ \Lambda^*(\Gamma) \oplus (\mathbb{Z}/2\mathbb{Z} \otimes_\mathbb{Z} \Lambda^*(\Gamma)) $ 와 동형이며, 여기서 $ \Gamma $ 는 $ K^\times $ 의 토퍼션-free 부분군이다. 이때 $ \mathbb{Z}/2\mathbb{Z} $-요소는 실수 포함의 수가 짝수이면서 최소 두 개인 경우에 정확히 나타난다.
• 교차곱 $ C_0(\mathbb{A}_\infty) \rtimes P_K $ 는 모리타 동치의 관점에서 $ \mathfrak{A}[\mathcal{O}] $ 와 동형이며, 이는 K-이론 계산에 호모토피 방법을 적용할 수 있음을 의미한다.
• 교차곱 $ C_0(\mathbb{A}) \rtimes P_K $ 는 군 C*-대수 $ C^*(P_K) $ 와 모리타 동치이며, 이 동치는 승법 작용에 대해 등급을 유지한다.
• $ K = \mathbb{Q} $ 인 경우 $ C^*(P_K) $ 의 K-이론은 $ K_0(C^*(\{\pm1\})) \otimes_\mathbb{Z} \Lambda^*(\mathbb{Q}_{>0}) $ 이며, 이는 양의 유리수 위의 외부대수와의 연결을 보여준다.
• $ \mathfrak{A}[\mathcal{O}] $ 의 K-이론은 $ K $ 의 애초 수 정보를 포함하지 않으며, 이러한 불변량을 복원하기 위해 $ \mathfrak{A}[\mathcal{O}] $ 내부의 더 세밀한 대수적 구조가 필요하다는 것을 시사한다.