[논문 리뷰] On K-theoretic invariants of semigroup C*-algebras from actions of congruence monoids

Chris Bruce, Xin Li|arXiv (Cornell University)|2019. 06. 02.

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

한 줄 요약

이 논문은 수체의 합동 모노이드에서 유래하는 반군 C*-대수의 K-이론적 불변량을 연구하며, 이러한 불변량이 깊은 산술 정보를 포함하고 있음을 보여준다. C*-대수의 동형사상이 수체의 산술 동치와 그에 대응하는 클래스 체의 크로네커 동치를 암시함을 증명하며, 갈루아 조건이 만족될 경우 추가적인 구조적 제약 조건이 존재함을 밝혀낸다.

ABSTRACT

We study semigroup C*-algebras of semigroups associated with number fields and initial data arising naturally from class field theory. Using K-theoretic invariants, we investigate how much information about the initial number-theoretic data is encoded in our semigroup C*-algebras.

연구 동기 및 목표

• 수체에서의 합동 모노이드로부터 구성된 반군 C*-대수의 K-이론적 불변량을 분석하는 것.
• 특히 수체와 그에 대응하는 클래스 체의 정보가 C*-대수의 구조로부터 얼마나 회복 가능한지 규명하는 것.
• 기존의 ax+b-반군 C*-대수 결과를 확장하여, 원주율의 개수와 클래스 군의 구조와 같은 새로운 불변량을 도출하는 것.
• C*-대수의 동형사상이 수체와 그 클래스 체의 산술 또는 크로네커 동치를 암시하는 조건을 설정하는 것.
• 갈루아 조건이 만족될 경우, C*-대수의 동형사상이 기본 수체와 클래스 체의 완전한 동형사상을 암시함을 증명하는 것.

제안 방법

• 수체 $ K $ 의 정수환 $ R $ 과 모듈러스 $ \mathfrak{m} $ 과 잔여군 $ \Gamma $ 에 대해 정의된 합동 모노이드 $ R_{\mathfrak{m},\Gamma} $ 를 이용해 반군의 반직접곱 $ R \rtimes R_{\mathfrak{m},\Gamma} $ 을 구성하고, 그로부터 C*-대수를 생성한다.
• 왼쪽 정규 표현을 이용해 C*-대수 $ C^*_{\lambda}(R \rtimes R_{\mathfrak{m},\Gamma}) $ 를 생성하며, 주로 그 K-이론적 구조를 분석한다.
• 최소 원시 아이디얼에 대한 몫에서 항등원 프로젝션의 $ K_0 $-군과 토크션 불변량을 분석하여 산술적 자료를 추출한다.
• C*-대수의 분류 프로그램을 적용하여 C*-대수의 동형사상과 수론적 동치를 연결한다.
• 합동 모노이드의 소스펙트와 그 노름 사이의 전단사 사상으로 분할 행동과 분열을 비교한다.
• 클래스 체 이론의 결과를 활용하여 클래스 체 $ K(\mathfrak{m})^{\bar{\Gamma}} $ 와 C*-대수 불변량 간의 관계를 규명한다.

실험 결과

연구 질문

• RQ1 C*-대수 $ C^*_{\lambda}(R \rtimes R_{\mathfrak{m},\Gamma}) $ 는 수체 $ K $ 와 그에 대응하는 클래스 체 $ K(\mathfrak{m})^{\bar{\Gamma}} $ 를 어느 정도 암묵적으로 포함하는가?
• RQ2 수체 $ K $ 의 원주율의 개수는 반군 C*-대수의 K-이론적 불변량으로부터 회복 가능한가?
• RQ3 언제 C*-대수의 동형사상이 수체의 산술 동치를 암시하는가?
• RQ4 언제 C*-대수의 동형사상이 클래스 체의 크로네커 또는 산술 동치를 암시하는가?
• RQ5 C*-대수가 동형일 경우 합동 모노이드와 클래스 군에 어떤 구조적 제약 조건이 발생하는가?

주요 결과

• C*-대수 $ C^*_{\lambda}(R \rtimes R_{\mathfrak{m},\Gamma}) $ 와 $ C^*_{\lambda}(S \rtimes S_{\mathfrak{n},\Lambda}) $ 간의 동형사상은 수체 $ K $ 와 $ L $ 이 산술적으로 동치이며, $ K(\mathfrak{m})^{\bar{\Gamma}} $ 와 $ L(\mathfrak{n})^{\bar{\Lambda}} $ 가 크로네커적으로 동치임을 암시한다.
• 만약 클래스 체 $ K(\mathfrak{m})^{\bar{\Gamma}} $ 와 $ L(\mathfrak{n})^{\bar{\Lambda}} $ 가 $ \mathbb{Q} $ 에 대해 갈루아이면, 클래스 수는 $ \#\text{Cl}_{\mathfrak{m}}^{\bar{\Gamma}} = \#\text{Cl}_{\mathfrak{n}}^{\bar{\Lambda}} $ 를 만족한다.
• 만약 $ K $ 또는 $ L $ 이 갈루아이면, $ K = L $ 이며 갈루아 성질은 C*-대수의 동형사상 하에서도 유지된다.
• 만약 $ K $ 와 $ L $ 이 모두 갈루아이면서 그 클래스 체가 $ \mathbb{Q} $ 에 대해 갈루아이면, $ K = L $, $ K(\mathfrak{m})^{\bar{\Gamma}} = L(\mathfrak{n})^{\bar{\Lambda}} $ 이고, 합동 모노이드는 $ \langle \pm 1 \rangle R_{\mathfrak{m},\Gamma} = \langle \pm 1 \rangle R_{\mathfrak{n},\Lambda} $ 를 만족한다.
• C*-대수가 동형이면서 갈루아 조건이 만족될 경우, 클래스 군 $ \text{Cl}_{\mathfrak{m}}^{\bar{\Gamma}} $ 와 $ \text{Cl}_{\mathfrak{n}}^{\bar{\Lambda}} $ 는 아벨 군으로서 서로 동형이다.
• 논문은 [28]에서 제기된 열린 문제를 해결하며, 정수환의 원주율의 개수가 C*-대수의 K-이론적 불변량으로부터 회복 가능하다는 것을 보여준다.