[論文レビュー] KMS states on the C*-algebra of a higher-rank graph and periodicity in the path space

Astrid an Huef, Marcelo Laca+2 more|arXiv (Cornell University)|Apr 27, 2014

Advanced Operator Algebra Research被引用数 5

ひとこと要約

本稿は、有限で強く連結なk図のC*-代数上のKMS状態を、周期性を記述するアーベル群の表現を含む一意的な優先的ダイナミクスを特定し、極端なKMS状態がその周期性群の特徴のパrameterizationによって与えられることで特徴づけている。主な結果は、KMS単体と周期性群C*(PerΛ)の状態空間との完全な同型写像であり、ヤンの予想を解決するとともに、非単純な代数における予期しない相転移を明らかにした。

ABSTRACT

We study the KMS states of the C*-algebra of a strongly connected finite k-graph. We find that there is only one 1-parameter subgroup of the gauge action that can admit a KMS state. The extreme KMS states for this preferred dynamics are parameterised by the characters of an abelian group that captures the periodicity in the infinite-path space of the graph. We deduce that there is a unique KMS state if and only if the k-graph C*-algebra is simple, giving a complete answer to a question of Yang. When the k-graph C*-algebra is not simple, our results reveal a phase change of an unexpected nature in its Toeplitz extension.

研究の動機と目的

• 有限で強く連結なk図のC*-代数における優先的ダイナミクスのKMS状態の完全な構造を特定すること。
• k図C*-代数のKMS状態の存在とパrameterizationに関してヤンの予想を解決すること。
• KMS状態を支持する唯一の1パラメータ部分群を同定すること。
• 無限路空間における周期性を記述するアーベル群PerΛを用いて極端なKMS状態を特徴づけること。
• k図C*-代数が単純でない場合のToeplitz拡大における相転移の性質を明らかにすること。

提案手法

• 可換な非負行列の族に対するペロン＝フロベニウス理論を展開し、k図C*-代数上のダイナミクスを分析する。
• 座標行列のスペクトル的性質に基づき、KMS状態を有する一意的なダイナミクス（「優先的ダイナミクス」）を同定する。
• 周期性群代数をk図C*-代数に埋め込むために、*-ホモモーマーティズムπU: C*(PerΛ) → C*(Λ)を構成する。
• 無限路空間Λ^∞上の擬不変測度Mを用いて、ベクトル状態との積分によりKMS状態を誘導する。
• ネシュヴェイエの群系列的アプローチを適用し、C*(PerΛ)の状態空間がC*(Λ)のKMS単体と同型であることを示す。
• KMS状態φがφ∘πUによって決定されることを確立し、測度Mに対する積分として自然なKMS状態φ₁を構成する。

実験結果

リサーチクエスチョン

• RQ1 k図C*-代数のゲージ作用のどの1パラメータ部分群がKMS状態を許容するか？
• RQ2 k図が有限かつ強く連結な場合、C*(Λ)上の極端なKMS状態はどのようにパrameter化されるか？
• RQ3 周期性群PerΛはk図C*-代数のKMS状態の構造において果たす役割は何か？
• RQ4 k図C*-代数が非単純な場合、臨界逆温度においてなぜKMS単体が予期せず拡張するのか？
• RQ5 k図C*-代数が単純であるための条件は何か？そしてそれはKMS状態の一意性とどのように関係するか？

主な発見

• ゲージ作用の1パラメータ部分群の中でKMS状態を支持するのは唯一つであり、これを「優先的ダイナミクス」と呼ぶ。
• 極端なKMS状態は、無限路空間Λ^∞における周期性を記述するアーベル群PerΛの特徴の間一対一対応する。
• C*(Λ)のKMS単体はC*(PerΛ)の状態空間と同型であり、写像φ ↦ φ∘πUによって与えられる。
• KMS状態が一意に存在するのは、k図C*-代数が単純である場合に限る。これはヤンの予想を一般に確認する。
• k図C*-代数が非単純な場合、Toeplitz拡大では臨界逆温度においてKMS単体が拡張する相転移を示すが、これは他の系で見られる典型的な収縮とは対照的である。
• 自然なKMS状態φ₁はΛ^∞上の測度Mに対する積分として構成され、一般にゲージ作用の固定点代数上に支持されるとは限らない。