[논문 리뷰] Quantum Statistical Mechanics, L-series and Anabelian Geometry

Gunther Cornelissen, Matilde Marcolli|arXiv (Cornell University)|2010. 09. 03.

Random Matrices and Applications참고 문헌 34인용 수 30

한 줄 요약

이 논문은 수체의 동형사상이 아티ン 수체 reciprocity로부터 유도된 하나의 매개변수를 가진 자동형사상 군을 갖는 C*-대수인 양자 통계역학(QSM) 시스템 간의 동형사상과 동치임을 증명한다. 주요 결과는 아벨화 갈루아 군의 캐릭터 군 간의 호환성 있는 군 동형사상 하에서 모든 L-급수의 일치가 수체 동형사상을 암시한다는 것으로, 이는 비가환 기하학과 아벨리안 기하학의 맥락에서 뉴카르크-우치다 정리의 확장이다.

ABSTRACT

It is known that two number fields with the same Dedekind zeta function are not necessarily isomorphic. The zeta function of a number field can be interpreted as the partition function of an associated quantum statistical mechanical system, which is a C*-algebra with a one parameter group of automorphisms, built from Artin reciprocity. In the first part of this paper, we prove that isomorphism of number fields is the same as isomorphism of these associated systems. Considering the systems as noncommutative analogues of topological spaces, this result can be seen as another version of Grothendieck's "anabelian" program, much like the Neukirch-Uchida theorem characterizes isomorphism of number fields by topological isomorphism of their associated absolute Galois groups. In the second part of the paper, we use these systems to prove the following. If there is an isomorphism of character groups (viz., Pontrjagin duals) of the abelianized Galois groups of the two number fields that induces an equality of all corresponding L-series (not just the zeta function), then the number fields are isomorphic.This is also equivalent to the purely algebraic statement that there exists a topological group isomorphism as a above and a norm-preserving group isomorphism between the ideals of the fields that is compatible with the Artin maps via the other map.

연구 동기 및 목표

• 수체의 동형사상과 그에 관련된 양자 통계역학(QSM) 시스템 간의 대응관계 수립.
• 아벨화 갈루아 군의 캐릭터 군 간의 호환성 있는 동형사상 하에서 모든 L-급수의 일치가 수체 동형사상을 암시함을 보여, 뉴카르크-우치다 정리를 비가환 기하학 및 아벨리안 기하학의 맥락에서 확장.
• 그로텐디크의 아벨리안 철학에 유사하게, QSM 시스템을 통한 수체 동형사상의 비가환 기하학적 해석 제공.
• reciprocity 호환성 조건을 가정하지 않은 채로 L-급수의 일치만으로도 수체 동형사상이 유도되는지 조사하고, 이를 위한 최소 조건 탐색.

제안 방법

• 아이델 클래스 군과 하나의 매개변수를 가진 자동형사상 군으로 구성된 교차곱 C*-대수를 이용해 수체로부터 QSM 시스템 구축.
• QSM 시스템의 분할 함수로 데데킨트 제타 함수를 실현하며, KMS 상태가 산술적 자료를 캐릭터화.
• QSM 시스템의 해밀토니안을 이용해 수체의 산술 등가성과 분기 구조 복원.
• 포트리아진 쌍대성에 의해 QSM-동형사상이 아벨화 갈루아 군의 동형사상으로 이어짐을 증명.
• 아벨화 갈루아 군의 캐릭터 군 간의 군 동형사상 하에서 모든 L-급수의 일치가 이상수와 단위 이상수의 동형사상으로 이어짐을 증명.
• 이상수 간의 노름을 보존하는 동형사상과 아티누 맵의 호환성에 의해 체의 곱셈 및 덧셈 구조 재구성.

실험 결과

연구 질문

• RQ1 수체의 동형사상은 그에 관련된 양자 통계역학(QSM) 시스템 간의 동형사상으로 특징지어질 수 있는가?
• RQ2 아벨화 갈루아 군의 캐릭터 군 간의 호환성 있는 군 동형사상 하에서 모든 L-급수의 일치가 기저 수체의 동형사상을 암시하는가?
• RQ3 reciprocity 호환성 조건을 가정하지 않은 채, L-급수만으로 수체의 동형류가 얼마나 정확히 결정되는가?
• RQ4 QSM 시스템은 덧셈 및 곱셈 성질을 포함한 수체의 전체 산술 구조를 어떻게 캐릭터화하는가?
• RQ5 QSM 시스템과 L-급수 일치를 통해 뉴카르크-우치다 정리를 강화하거나 재해석할 수 있는가?

주요 결과

• 수체의 동형사상은 그에 관련된 QSM 시스템 간의 동형사상과 동치이며, 이는 수체 동형사상의 비가환 기하학적 특징화를 제공한다.
• 아벨화 갈루아 군의 캐릭터 군 간의 군 동형사상이 모든 L-급수의 일치를 유도한다면, 수체는 서로 동형이다.
• 이 L-급수 일치 조건은 두 수체의 이상수 간의 노름을 보존하는 동형사상이 존재하며, 그 동형사상이 군 동형사상에 의해 아티누 맵과 호환됨과 동치이다.
• QSM-동형사상은 단위 이상수와 전체 이상수의 동형사상을 암시하며, 곱셈 구조의 재구성 가능하게 한다.
• 수체의 덧셈 구조는 QSM-동형사상으로부터 복원 가능하며, 이로써 수체 동형사상이 완성된다.
• 결과적으로, reciprocity 호환성 조건을 사전에 가정하지 않더라도 모든 L-급수의 일치(단지 제타 함수가 아닌)가 충분히 수체의 동형류를 결정함을 보여준다.