[論文レビュー] Bost-Connes-Marcolli systems for Shimura varieties. I. Definitions and formal analytic properties

Eugene Ha, Frédéric Paugam|ArXiv.org|Jul 5, 2005

Advanced Algebra and Geometry参考文献 9被引用数 8

ひとこと要約

この論文は、任意のシムーラデータ $(G,X)$ に対して、元々の $\mathbb{Q}$ のためのボスト＝コンス系と $\mathrm{GL}_2$ のためのコンス＝マルコリ系を拡張した一般化された量子統計力学系、すなわちボスト＝コンス＝マルコリ（BCM）系を導入する。$\mathbb{Q}$-格子上の $G$-構造の可換類の群小群から C*-代数を構成し、ハミルトニアンを介して時間発展を定義し、分配関数が関連するシムーラ多様体の $L$-関数と一致することを確立する。低温における KMS 态様はガロア対称性によって分類される。

ABSTRACT

We construct a quantum statistical mechanical system $(A,s)$ analogous to the systems constructed by Bost-Connes and Connes-Marcolli in the case of Shimura varieties. Along the way, we define a new Bost-Connes system for number fields which has the ``correct'' partition function and the ``correct'' symmetries. We give a formalism that applies to general Shimura data $(G,X)$. The object of this series of papers is to show that these systems exhibit phase transitions with spontaneous symmetry breaking, and to classify their KMS states, at least for low temperature.

研究の動機と目的

• 任意のシムーラデータ $(G,X)$ に対して、$\mathrm{GL}_2$ からボスト＝コンス系およびコンス＝マルコリ系を一般化すること。
• 任意のシムーラデータに対して、$\mathbb{Q}$-格子上の $G$-構造の可換類を用いて、標準的な BCM 系を定義すること。
• 時間発展と分配関数を構成し、その解析的構造が関連するシムーラ多様体の $L$-関数と一致することを保証すること。
• 特に低温における KMS 态様を分類し、それらの対称性が類体のガロア群と一致することを同定すること。
• 分配関数を定義する際の技術的問題を解決するため、スタック群小群と包あらゆる半群に基づく形式的枠組みを導入すること。

提案手法

• 可換関係に基づく群小群 $\mathcal{U}$ を $\mathbb{Q}$-格子上の $G$-構造から構成し、C*-代数 $A$ の基盤をなす。
• $G$-構造の次数から導かれるハミルトニアンを用いて、時間発展 $\sigma_t$ を定義し、元々のボスト＝コンス系の力学を一般化する。
• 分配関数 $\zeta(\beta) = \mathrm{Tr}(e^{-\beta H})$ を導入し、シムーラ多様体 $\mathrm{Sh}(G,X)$ の $L$-関数と一致させることを確立する。
• 包あらゆる半群、特にシェバレー半群を用いて、系の代数的構造を定義し、分配関数の非自明性を保証する。
• KMS 条件 $\Phi(ab) = \Phi(\sigma_{i\beta}(b)a)$ を適用し、平衡状態を特徴づけ、低温における極端な KMS 态様を分類する。
• 低温における $\mathrm{KMS}_\beta$ 态様の集合と、シムーラ多様体 $\mathrm{Sh}(G,X)$ の複素点との間に自然な全単射を確立する。

実験結果

リサーチクエスチョン

• RQ1 ボスト＝コンス系を $\mathrm{GL}_1$ から任意のシムーラデータ $(G,X)$ に一般化する方法は何か？
• RQ2 一般のシムーラ多様体に関連する量子統計力学系の正しい C*-代数的および力学的構造は何か？
• RQ3 この系の分配関数は、シムーラ多様体の $L$-関数とどのように関係しているか？
• RQ4 KMS 态様における対称性の役割は何か？ そして、類体のガロア群とどのように関係しているか？
• RQ5 類似の構成を用いて、ディリクレ指標やヒルベルトモジュラー形式を含む形式への拡張は可能か？

主な発見

• 系は $\mathbb{Q}$-格子上の $G$-構造の可換類からなる群小群によって定義され、適切に定義された C*-代数 $A$ を得る。
• 時間発展 $\sigma_t$ は $G$-構造の次数から導かれるものであり、元々のボスト＝コンス系のハミルトニアンを一般化する。
• 分配関数 $\zeta(\beta)$ は、シムーラ多様体 $\mathrm{Sh}(G,X)$ の $L$-関数と一致し、数論的幾何学への直接的な接続を確立する。
• 低温（$\beta > 1$）において、極端な KMS 态様の集合は、シムーラ多様体 $\mathrm{Sh}(G,X)$ の複素点と自然な全単射の関係にある。
• 低温における KMS 态様の対称性は、$G$ の反射体の最大アーベル拡大のガロア群と同型であり、元々のボスト＝コンス系の結果を一般化する。
• 随伴シムーラデータに対して、非自明な包あらゆる半群（例えばシェバレー半群）を用いることで、分配関数が消失しないことが保証され、重要な技術的障害が解決される。