[論文レビュー] Quantum Statistical Mechanics, L-series and Anabelian Geometry

Gunther Cornelissen, Matilde Marcolli|arXiv (Cornell University)|Sep 3, 2010

Random Matrices and Applications参考文献 34被引用数 30

ひとこと要約

本稿では、Artin再帰性から導かれる1パラメータの自己同型群を備えたC*-代数としての量子統計力学（QSM）系と関連する数体の同型が同値であることを確立している。主な結果は、アーベル化ガロア群の特徴群の間の整合的な群同型のもとで、すべてのL級数が一致するならば、それらの数体が同型であることを示しており、非可換幾何学およびアーベル・アンビエイリアン幾何学の文脈でNeukirch-Uchida定理を拡張している。

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級数の一致をもたらす場合、それらの数体が同型であることを示すことで、Neukirch-Uchida定理を拡張すること。
• Grothendieckのアーベル・アンビエイリアン哲学に類似した、数体の同型の非可換幾何的解釈をQSM系を通じて提供すること。
• 再帰性の整合性を仮定しない状況で、L級数の一致が数体の同型を示すかどうかを調査し、必要な最小条件を同定すること。

提案手法

• イデール類群と1パラメータの自己同型群から構成される交叉積C*-代数を用いて、数体からQSM系を構成する。
• QSM系の分配関数としてデデキンドゼータ関数を実現し、KMS状態が算術的データを符号化することを示す。
• QSM系のハミルトニアンを用いて、数体の算術的同型および分岐構造を回復する。
• Pontrjagin双対性を用いて、QSM同型がアーベル化ガロア群の同型を導くことを確立する。
• アーベル化ガロア群の特徴群の間の群同型のもとで、すべてのL級数が一致するならば、その理想と単位イデールの同型が得られることを証明する。
• 理想間のノルムを保つ同型とArtin写像との整合性を用いて、体の乗法的および加法的構造を再構成する。

実験結果

リサーチクエスチョン

• RQ1 数体の同型は、それらに関連する量子統計力学（QSM）系の同型によって特徴付けられるか？
• RQ2 アーベル化ガロア群の特徴群の間の整合的な群同型のもとで、すべてのL級数が一致するならば、それらの数体は同型であるか？
• RQ3 再帰性の整合性を仮定しない状況で、L級数だけが数体の同型類を決定する程度はどの程度か？
• RQ4 QSM系は、加法的および乗法的性質を含む、数体の完全な算術的構造をどのように符号化するか？
• RQ5 Neukirch-Uchida定理は、QSM系とL級数の一致を用いて強化されたり、再解釈されたりするか？

主な発見

• 数体の同型は、それらに関連するQSM系の同型と同値であり、これにより数体の同型の非可換幾何的特徴付けが得られる。
• アーベル化ガロア群の特徴群の間の群同型がすべてのL級数の一致をもたらすならば、それらの数体は同型である。
• このL級数の一致条件は、2つの体の理想の間のノルムを保つ同型が、群同型を介してArtin写像と整合的であることに等しい。
• QSM同型は、単位イデールおよび全イデールの同型を導き、乗法的構造の再構成を可能にする。
• QSM同型から、数体の加法的構造も回復可能であり、これにより体の同型が完全に再構成される。
• 再帰性の整合性を事前に仮定しない状況で、すべてのL級数（ゼータ関数に限らない）の一致が、数体の同型類を決定するのに十分であることが示された。