[논문 리뷰] K-theory for ring C*-algebras attached to function fields

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

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

한 줄 요약

이 논문은 이전 연구에서 얻은 이중성 정리와 함께, 유한체 위의 다항식환 $\mathbb{F}_q[T]$ 와 관련된 링 C*-대수의 K-이론을 계산한다. 모리타 동치와 아델 링의 구조를 활용하여, 저자들은 K-이론이 $\mathbb{F}_q^\times$의 군 C*-대수의 감소 K-이론과 $\mathbb{F}_q(T)^\times$의 순환 없는 부분의 외부 대수의 계수 텐서곱과 동형임을 보이며, K-이론 군들 위에 자연스러운 링 구조가 존재함을 드러낸다.

ABSTRACT

We compute the K-theory of ring C*-algebras for polynomial rings over finite fields. The key ingredient is a duality theorem which we had obtained in a previous paper. It allows us to show that the K-theory of these algebras has a ring structure and to determine explicit generators. Our main result also reveals striking similarities between the number field case and the function field case.

연구 동기 및 목표

• 유한체 위의 다항식환 $\mathbb{F}_q[T]$ 와 관련된 링 C*-대수의 K-이론을 계산하는 것.
• 수체의 경우에 적용된 이중성 정리를 함수체의 경우로 확장하여, 무한 아델 공간의 완전한 불연속성으로 인한 호모토피 불변성의 부재에도 불구하고 K-이론 계산이 가능하도록 하는 것.
• K-군들에 대한 명시적 생성자를 규명하고, 대수적 구조를 갖춘 K-이론의 자연스러운 링 구조를 확립하는 것.
• 수체의 경우와 함수체의 경우에서 링 C*-대수의 K-이론 간의 구조적 유사성을 드러내는 것.

제안 방법

• 유한 및 무한 아델 링 간의 이중성 정리를 활용하여 $K_*(\mathfrak{A}[\mathbb{F}_q[T]])$ 를 $K_*(C_0(\mathbb{F}_q((T))) \rtimes \mathbb{F}_q(T) \rtimes \mathbb{F}_q(T)^\times)$ 와 연결한다.
• 모리타 동치를 적용하여 문제를 국소체 $\mathbb{F}_q((T))$ 위의 교환곱의 K-이론 계산으로 단순화한다.
• Pimsner-Voiculescu 정확수열을 이용한 귀납적 추론을 통해, $\mathbb{F}_q^\times$의 특징에 대응하는 프로젝션과 유니터리로부터 $K_0$ 및 $K_1$ 의 명시적 생성자를 구성한다.
• 무한 차원 토러스에 대응하는 교환되는 유니터리를 대수에서 식별함으로써, 토러스의 K-이론으로부터 K-이론의 임베딩을 가능하게 한다.
• 직접 극한 $\varinjlim A_m$ 에 沿한 K-이론의 연속성을 활용하여, 교환곱의 유한 차원 근사에서 무한 차원 근사로의 전환을 수행한다.
• 무한 차원 토러스의 K-이론에서 유도된 곱 구조를 전이시켜 $K_*(\mathfrak{A}[\mathbb{F}_q[T]])$ 에 링 구조를 확립한다.

실험 결과

연구 질문

• RQ1 함수체 $\mathbb{F}_q[T]$ 에 대한 링 C*-대수의 K-이론은 수체의 경우와 어떻게 비교될 수 있는가?
• RQ2 무한 아델 공간의 완전한 불연속성으로 인해 호모토피 불변성이 없음에도 불구하고, 유한 및 무한 아델 링 간의 이중성 정리를 함수체의 경우에 K-이론 계산에 활용할 수 있는가?
• RQ3 $\mathfrak{A}[\mathbb{F}_q[T]]$ 의 K-군들에 대한 명시적 생성자는 무엇이며, $\mathbb{F}_q(T)^\times$ 와 어떻게 관련되어 있는가?
• RQ4 $\mathfrak{A}[\mathbb{F}_q[T]]$ 의 K-이론은 자연스러운 링 구조를 지니는가? 만약 그렇다면, 그 구조는 어떻게 실현되는가?
• RQ5 $K_*(\mathfrak{A}[\mathbb{F}_q[T]])$ 의 정확한 대수적 구조는 알려진 K-이론 군들로 어떻게 기술될 수 있는가?

주요 결과

• 링 C*-대수 $\mathfrak{A}[\mathbb{F}_q[T]]$ 의 K-이론은 $\tilde{K}_0(C^*(\mathbb{F}_q^\times)) \otimes_\mathbb{Z} \Lambda^*(\Gamma)$ 와 동형이며, 여기서 $\Gamma$ 는 $\mathbb{F}_q(T)^\times$ 의 순환 없는 부분이다.
• 동형은 $\mathbb{Z}/2\mathbb{Z}$-gradation된 아벨 군 간의 것이며, $\tilde{K}_0(C^*(\mathbb{F}_q^\times))$ 는 자명하게 $\mathbb{Z}/2\mathbb{Z}$-gradation을 가지며, $\Lambda^*(\Gamma)$ 는 자연스럽게 $\mathbb{Z}/2\mathbb{Z}$-gradation을 갖는다.
• K-이론 군들은 무한 차원 토러스의 K-이론에서 유도된 곱 구조에 의해 유도된 자연스러운 링 구조를 지닌다.
• 비자명한 특징 $\chi \in \widehat{\mathbb{F}_q^\times} \setminus \{1\}$ 과 관련된 프로젝션 $p_\chi$ 와 유니터리 $t(i)$ 를 이용하여 $K_0$ 및 $K_1$ 의 명시적 생성자를 구성한다.
• 이중성 정리는 무한 아델 공간의 완전한 불연속성에도 불구하고 문제를 명시적 생성자와 대수적 구조가 드러나는 설정으로 이동시켜 계산을 가능하게 한다.
• 결과적으로 함수체의 경우와 수체의 경우에서 링 C*-대수의 K-이론 간에 놀라운 구조적 유사성이 드러나며, 이는 두 유형의 전역체 간의 유사성을 지지한다.