[論文レビュー] Phase transitions on Hecke C*-algebras and class-field theory over Q

Marcelo Laca, Machiel van Frankenhuijsen|ArXiv.org|Oct 13, 2004

Advanced Operator Algebra Research参考文献 16被引用数 14

ひとこと要約

この論文は、数体における代数的整数の包含に関するヘッケ C*-代数から、標準的な C*-動的系を構成し、類数1の体に対しては低温 KMS 状態が自発的対称性の破れを示すことを示している。そのときの対称性群は、最大アーベル拡大のガロア群に同型であるが、これは体が ℚ である場合に限り、算術的ヘッケ代数の値に対するガロア作用と一致する。

ABSTRACT

We associate a canonical Hecke pair of semidirect product groups to the ring inclusion of the algebraic integers $\oo$ in a number field $\kk$, and we construct a C*-dynamical system on the corresponding Hecke C*-algebra, analogous to the one constructed by Bost and Connes for the inclusion of the integers in the rational numbers. We describe the structure of the resulting Hecke C*-algebra as a semigroup crossed product and then, in the case of class number one, analyze the equilibrium (KMS) states of the dynamical system. The extreme KMS$_β$ states at low-temperature exhibit a phase transition with symmetry breaking that strongly suggests a connection with class field theory. Indeed, for purely imaginary fields of class number one, the group of symmetries, which acts freely and transitively on the extreme KMS$_\infty$ states, is isomorphic to the Galois group of the maximal abelian extension over the field. However, the Galois action on the restrictions of extreme KMS$_\infty$ states to the (arithmetic) Hecke algebra over $\kk$, as given by class-field theory, corresponds to the action of the symmetry group if and only if the number field $\kk$ is $\Q$.

研究の動機と目的

• 任意の数体に対して Bost-Connes 系を一般化するため、標準的なヘッケ C*-代数の構成を用いる。
• 得られた C*-動的系の平衡状態（KMS 状態）を、特に低温において分析する。
• KMS 状態の対称性群が、数体の最大アーベル拡大のガロア群に一致するかどうかを調査する。
• 極限 KMS ∞ 状態への対称性群の作用が、算術的ヘッケ代数の値に対するガロア作用と一致する条件を特定する。
• 単位群およびそのプロファイントコンパクト化が、ヘッケ代数の構造とその力学を単純化する役割を明らかにする。

提案手法

• 数体の主整数イデアルの半群による可換 C*-代数の半群交叉積としてヘッケ C*-代数を構成する。
• 単位群の作用による 𝒦/𝒪 の群代数の固定点代数として可換 C*-代数を実現する、あるいは 𝒦/𝒪 の双対空間上の連続関数として同等に表現する。
• 単位群 𝒪* のプロファイントコンパクト化を用いて、コンパactsな軌道空間を定義し、良好な C*-代数構造を得る。
• 1パラメータ自己同型群による自然な力学をヘッケ C*-代数に定義し、熱力学的平衡をモデル化する。
• β > 1 における KMS 状態を分析し、極限状態とその対称性の性質を群作用を通じて調べる。
• アーベル写像を介して、KMS ∞ 状態への対称性群の作用と算術的ヘッケ代数の値に対するガロア作用を比較する。

実験結果

リサーチクエスチョン

• RQ1 β > 1 における極限 KMS β 状態の対称性群は、数体の最大アーベル拡大のガロア群に一致するか？
• RQ2 極限 KMS ∞ 状態の算術的ヘッケ代数への制限に対する対称性群の作用が、ガロア作用と一致する条件は何か？
• RQ3 類数が 1 のとき、ヘッケ C*-代数の構造はどのように単純化され、単位群はこの単純化にどのような役割を果たすか？
• RQ4 なぜ KMS 状態の値に対するガロア作用が、数体が ℚ の場合にのみ対称性群の作用と一致するのか？
• RQ5 任意の交叉写像を避けるために、全 ax+b 群によるヘッケ C*-代数の標準的構成は、先行研究で生じた技術的問題を回避できるか？

主な発見

• 類数が 1 の数体に対して、ヘッケ C*-代数は可換 C*-代数と主整数イデアルの半群による交叉積に同型である。
• β > 1 のとき、対称性群は極限 KMS β 状態に自由かつ推移的に作用し、純虚数体ではこの群は最大アーベル拡大のガロア群に同型である。
• 対称性群が最大アーベル拡大のガロア群に同型になるのは、体が ℚ の場合に限る。それ以外の場合は、実埋め込みにおける複素共役に対応する {±1} 要素を欠いている。
• 極限 KMS ∞ 状態が算術的ヘッケ代数に与える値は代数的数であるが、アーベル写像によるガロア作用と対称性群の作用が一致するのは、拡大次数が 1 の場合に限る。
• ℚ に対しては、対称性群の作用が KMS ∞ 状態に与える影響は、ガロア作用と完全に一致し、Bost-Connes モデルで観察された完全な整合性が確認される。
• 単位群 𝒪* のプロファイントコンパクト化により、ヘッケ C*-代数の標準的記述が可能となり、単位群作用を因数分解することで平衡状態の計算が単純化される。