[論文レビュー] On Bost-Connes type systems for number fields

Marcelo Laca, Nadia S. Larsen+1 more|ArXiv.org|Oct 18, 2007

Analytic Number Theory Research参考文献 10被引用数 5

ひとこと要約

本稿は、任意の数体に対してC*-動的系を構築し、その分配関数としてデデキンドゼータ関数を実現するとともに、KMS状態を用いて類体論を実現する。1次元K格子を幾何的枠組みとして導入し、得られる系がボスト＝コーンズ問題の6つの性質をすべて満たすことを示している。特に、逆温度∞における極小KMS状態へのガロア作用が正しく実現されている。

ABSTRACT

We give a complete description of the phase transition of the Bost-Connes type systems for number fields recently introduced by Connes-Marcolli-Ramachandran and Ha-Paugam. We also introduce a notion of K-lattices and discuss an interpretation of these systems in terms of 1-dimensional K-lattices.

研究の動機と目的

• 任意の数体に対してボスト＝コーンズ問題を完全に解くこと。これまでの結果はQおよび虚二次体に限られていた。
• 1次元K格子に基づく幾何的枠組みを確立し、それによって以前の構成を統一的かつ一般化すること。
• 構築されたC*-動的系が、ガロア作用の正しく実現された極小KMS状態を含む6つの必要条件をすべて満たすことを証明すること。
• β > 1における系の対称性群が極小KMS状態に自由かつ推移的に作用することを示し、KMS ∞-状態が最大アーベル拡大K^{ab}を生成することを示すこと。

提案手法

• 分数イデアルの作用に基づく、Gal(K^{ab}/K)と有限イデールの積に上から、整数イデールでバランスを取った制限付き群ガワC*-代数として系を構築する。
• 測度論的アプローチを用い、スケーリング条件を満たす変換群ガワの不変測度に帰着することで、KMS状態を分類する。
• 数体K上のn次元K格子の概念を導入し、Qおよび虚二次体に対する以前の構成を一般化する。
• 1次元K格子に対して、K^*_∞の単位成分の下での同値関係が、ボスト＝コーンズ系で用いられる群ガワと同型であることを示す。
• 極小KMS β状態の分類は、空間Xの特定の部分集合を用いたパラメトライゼーションにより達成され、以前の研究の結果を一般化する。
• 系が半群交叉積と同型であり、類数1の完全虚数体の場合には以前の系と一致することが示される。

実験結果

リサーチクエスチョン

• RQ1 任意の数体に対して、ボスト＝コーンズ型系を構築可能か。その分配関数がデデキンドゼータ関数として実現されるか。
• RQ2 系の対称性群が、類体論の同型写像を介してガロア群Gal(K^{ab}/K)を正しく実現するか。
• RQ3 極小KMS ∞-状態が、正しいガロア作用を伴って最大アーベル拡大K^{ab}を生成するか。
• RQ4 K格子を用いた幾何的再定式化により、系の解釈を明確にできるか。
• RQ5 KMS状態の分類は完全かつ期待される相転移挙動と整合的か。

主な発見

• 構築されたC*-動的系は、任意の数体Kに対してボスト＝コーンズ問題の6つの性質をすべて満たしており、極小KMS ∞-状態へのガロア作用が正しく実現されている。
• 系の分配関数はβ > 0に対してデデキンドゼータ関数ζ_K(β)に一致し、性質(i)が確認された。
• β > 1において、対称性群C_K / D_Kが極小KMS β状態に自由かつ推移的に作用することを確認し、性質(iv)が成立した。
• 特定の部分代数𝒜₀上の極小KMS ∞-状態が、最大アーベル拡大K^{ab}を生成する代数的数を与える。性質(v)が確認された。
• これらの値へのガロア群Gal(K^{ab}/K)の作用は、類体論の同型写像s: C_K / D_K → Gal(K^{ab}/K)を介して実現され、性質(vi)が確認された。
• 系は、虚二次体に対してコンネス＝マルコリ＝ラマチャンドランが構築した系と同型であり、類数1の完全虚数体ではヘッケ代数系とも一致する。