[論文レビュー] A measure-conjugacy invariant for free group actions

Lewis Bowen|ArXiv.org|Feb 28, 2008

Mathematical Dynamics and Fractals参考文献 9被引用数 9

ひとこと要約

この論文は、自由群作用における測度共役不変量 f(G,X,μ) を新たに導入し、有限生成自由群上の2つのベルヌーイシフトが測度的に共役であるための必要十分条件が、それらの基本測度のエントロピーが等しいことであることを証明する。この不変量は、部分集合のエントロピーと群生成子によるシフトを用いて構成され、測度共役性のもとでの不変性から、自由群上のベルヌーイシフトはエントロピーのみによって完全に分類可能であることが示される。

ABSTRACT

This paper introduces a new measure-conjugacy invariant for actions of free groups. Using this invariant, it is shown that two Bernoulli shifts over a finitely generated free group are measurably conjugate if and only if their base measures have the same entropy. This answers a question of Ornstein and Weiss.

研究の動機と目的

• オルンシュタインとヴァイスが提起した長年の疑問、すなわち非可換群（自由群を含む）上のベルヌーイシフトが、エントロピーのみによって分類可能かどうかを解消すること。
• 自由群作用における測度共役性のもとで不変である新しい不変量 f(G,X,μ) を定義し、その性質を確立すること。
• 自由群の場合、2つのベルヌーイシフトが測度的に共役であることと、それらの基本測度のエントロピーが等しいこととは同値であることを証明すること。
• 古典的なオルンシュタイン同型定理を非可換群へ拡張するために、新しいエントロピーに基づく不変量を導入すること。

提案手法

• 有限生成分割 α を用いて、F(σ) = (1/2)∑_{s∈S} H(σ ∨ sσ) − (|S|−1)H(σ) と定義し、f(G,X,μ) を F(α^k) の極限として定義する。
• 自由群の構造を用いて、|B(e,k)| および |B(e,k) ∪ B(s,k)| を再帰的成長式を用いて明示的に計算する。
• ベルヌーイ性質を用いて、シフトされた分割の k 重ジョインのエントロピーが H(∨g∈B(e,k) gα) = |B(e,k)|H(α) を満たすことを示す。
• F(α^k) が k→∞ で H(α) に収束することを証明し、ベルヌーイシフトに対して f(G,K^G,κ^G) = H(κ) が成り立つことを確立する。
• ステピンの定理を用いて、一般の基本測度を有限測度に還元し、エントロピーと共役性を保存する。
• f が測度共役性のもとで不変であることに基づき、共役性から基本測度のエントロピーが等しいことを結論づける。

実験結果

リサーチクエスチョン

• RQ1 有限生成自由群上の2つのベルヌーイシフトが測度的に共役であるための必要十分条件は、それらの基本測度のエントロピーが等しいことか？
• RQ2 自由群作用に対して、エントロピーを一般化する形で、測度共役性のもとで不変である新しい不変量を構成可能か？
• RQ3 非可換群では因子写像のもとでエントロピーが非増加にならないため、ベルヌーイシフトのエントロピーによる完全分類が不可能であるか？
• RQ4 自由群作用において、不変量 f(G,X,μ) は適切に定義され、測度共役性のもとで不変か？
• RQ5 ベルヌーイシフトに対して不変量 f を明示的に計算可能か？また、その値は基本測度のエントロピーに等しいか？

主な発見

• 不変量 f(G,X,μ) は適切に定義され、自由群作用における測度共役性のもとで不変である。
• 任意の自由群 G（ランク r）上のベルヌーイシフト (G,K^G,κ^G) に対して、f(G,K^G,κ^G) = H(κ) が成り立つ。
• 自由群上の2つのベルヌーイシフトが測度的に共役であることと、それらの基本測度のエントロピーが等しいことは同値である。
• この結果により、非可換性にもかかわらず自由群上ではエントロピー分類が成り立つことが示され、オルンシュタインとヴァイスの疑問が解決された。
• f の構成は、自由群の組合せ的構造と、群シフト下でのベルヌーイ測度の独立性に依存している。
• 自由群内の球のサイズの明示的計算と、F(α^k) が k→∞ で H(α) に収束することの証明が、主な証明の根幹をなしている。