[論文レビュー] Hecke algebras of semidirect products and the finite part of the Connes-Marcolli C*-algebra

Marcelo Laca, Nadia S. Larsen+1 more|ArXiv.org|Sep 11, 2006

Advanced Operator Algebra Research参考文献 15被引用数 4

ひとこと要約

本稿は、2×2整数行列および有理数行列から生じる半直積群のヘッケ対に付随する削減ヘッケ C*-代数を用いて、コンヌ＝マルコリの C*-代数の有限部を調査する。有限整数イデールの作用による固定点代数の素数ごとのテンソル積への分解を確立し、β > 1 の場合に正則 KMS 状態が一意であることを証明するとともに、β ≠ 0,1 の場合にそれらが完全であると予想する。

ABSTRACT

We study a C*-dynamical system arising from the ring inclusion of the 2 imes 2 integer matrices in the rational ones. The orientation preserving affine groups of these rings form a Hecke pair that is closely related to a recent construction of Connes and Marcolli; our dynamical system consists of the associated reduced Hecke C*-algebra endowed with a canonical dynamics defined in terms of the determinant function. We show that the Schlichting completion also consists of affine groups of matrices, over the finite adeles, and we obtain results about the structure and induced representations of the Hecke C*-algebra. In a somewhat unexpected parallel with the one dimensional case studied by Bost and Connes, there is a group of symmetries given by an action of the finite integral ideles, and the corresponding fixed point algebra decomposes as a tensor product over the primes. This decomposition allows us to obtain a complete description of a natural class of equilibrium states which conjecturally includes all KMS_β-states for β e 0,1.

研究の動機と目的

• P が Mat₂(ℤ) と SL₂(ℤ) の半直積であるヘッケ対 (P, P₀) に付随する削減ヘッケ C*-代数 C*r(P, P₀) の構造を理解すること。
• このヘッケ C*-代数上で定義された行列式関数による C*-動的系を分析すること。
• この系の平衡状態、特に KMS 状態を特定することに焦点を当て、正則性と一意性を検討すること。
• 有限整数イデールが系の対称性として果たす役割を探索し、固定点代数の素数ごとのテンソル積への分解を導くこと。
• β ≠ 0,1 の場合に、同定された KMS 状態のクラスがすべての状態を含み、Bost-Connes モデルを高ランクへ拡張できることを予想すること。

提案手法

• 著者たちは、P が上半平面および有限アデール上の行列に作用するように、ヘッケ対 (P, P₀) に付随する削減ヘッケ C*-代数 C*r(P, P₀) を、クロス積として構成する。
• 彼らはヘッケ対のシュリントン完成を計算し、それが有限アデール上のアフィン群からなることを示し、代数的構造のグローバル解析を可能にする。
• 彼らは行列式関数を用いて定義される自然なダイナミクス σ を C*r(P, P₀) 上に同定し、KMS 状態の研究を可能にする。
• 彼らは有限整数イデール Ź* の作用を分析し、固定点代数が素数ごとの固定代数のテンソル積として分解されることを導く。
• 彼らは Mat₂(ℤ̂) 内の SL₂(ℤ̂) の陪集合上での平均をとる形で、det(s)−β を重みとして用いた平衡状態 φβ,w を定義し、正則性と極値性を証明する。
• 彼らは各素数 p におけるトーピツ＝ヘッケ代数の構造と表現 πp を用い、φβ,p(v*p v_p) = p + 1 などのトレースに類似した条件を用いて状態を特徴付ける。

実験結果

リサーチクエスチョン

• RQ1 削減ヘッケ C*-代数 C*r(P, P₀) は自然なダイナミクスを備えており、それは行列式関数とどのように関係するか？
• RQ2 有限整数イデール Ź* の作用は、C*-動的系の固定点代数をどのように分解するか？
• RQ3 陪集合上での平均を用いて構成された KMS 状態は、各素数で極値的かつ正則的か？
• RQ4 β > 1 の場合に、φβ,w として同定された KMS 状態は、β ≠ 0,1 の場合に一意的かつ完全的か？
• RQ5 トーピツ＝ヘッケ部分代数内に非正則状態が存在するにもかかわらず、有限部における KMS 状態の一意性は確立可能か？

主な発見

• コンヌ＝マルコリの C*-代数の有限部、すなわち C*r(P, P₀) は、行列式関数を用いて定義される自然なダイナミクス σ を備えている。
• Ź* の作用による固定点代数は、各素数 p における固定代数の素数ごとのテンソル積として分解される。
• β > 1 の場合、φβ,w(f) = ζ(β)⁻¹ζ(β−1)⁻¹∑s∈Γ\S det(s)⁻β f(sw) で定義される状態 φβ,w は、ダイナミクス σ に対して正則かつ極値的 KMS 状態である。
• φβ,w によって誘導される測度 μβ,w は、単一の SL₂(ℤ̂)-軌道上に台を持つため、各素数における極値性と正則性が確認される。
• β < 0 の場合、C*r(P, P₀) 上に σ-KMS β-状態は存在しない。これは、等長変換 u_p のノルムを用いた矛盾によって示される。
• すべての KMS β-状態（β ≠ 0,1）が正則的であり、φβ,w のクラスに含まれるという予想が提示され、β > 1 の場合に一意性が成立する。