[論文レビュー] Approximate invariance for ergodic actions of amenable groups

Michael Björklund, Alexander Fish|arXiv (Cornell University)|Jul 9, 2016

Limits and Structures in Graph Theory参考文献 30被引用数 5

ひとこと要約

本稿は、可解群のエルゴディック作用における小二重集合の解析のための動的枠組みを構築し、Kneserの密度定理を可解群に一般化する。バナッハ密度および漸近的密度に関する逆定理を確立し、小二重性が周期的またはSturmianに似た集合による構造的制御を意味することを示す。また、結果の最適性を示す鋭い逆例を提示する。

ABSTRACT

We develop in this paper some general techniques to analyze action sets of small doubling for probability measure-preserving actions of amenable groups. As an application of these techniques, we prove a dynamical generalization of Kneser's celebrated density theorem for subsets in $(\bZ,+)$, valid for any countable amenable group, and we show how it can be used to establish a plethora of new inverse product set theorems for upper and lower asymptotic densities. We provide several examples demonstrating that our results are optimal for the settings under study.

研究の動機と目的

• 整数群 (Z, +) におけるKneserの古典的密度定理を、一般の可解群に拡張すること。
• 可解群作用における上部および下部漸近的密度に関する逆定理を確立すること。
• エルゴディック群作用の文脈において、小二重性を示す集合の構造を分析すること。
• ZにおけるFølner列を用いた明示的逆例を通じて、結果の鋭さを示すこと。
• コンパクト群における作用集合と積集合を結ぶ動的対応原理を構築すること。

提案手法

• AB ⊂ FB かつ |F| ≤ k を満たす k-二重対 (A,B) の概念を導入し、近似部分群を一般化する。
• 「ジョインング・トリック」を用いて、コンパクト群モデルから一般の G-空間への性質の移行を図り、二重性の性質を保存する。
• ボレル G-空間におけるシャドウとハルルを用いて、差分算術および包含性の性質を分析する。
• Furstenbergの対応原理および不変平均を用いて、密度の性質と力学系を関連付ける。
• 対応原理を応用し、コンパクト群から一般の可解群作用への結果の持ち上げを実行する。
• トーラス T = R/Z 上の無理数回転を用いた例を構築し、弱めた仮定の限界を示す。

実験結果

リサーチクエスチョン

• RQ1 Kneserの密度定理は、(Z, +) から任意の可解群にどの程度一般化可能か。
• RQ2 作用における小二重性が、集合が周期的またはSturmianに似た構造に含まれることを示す条件は何か。
• RQ3 エルゴディック群作用の文脈において、バナッハ密度および漸近的密度に関する逆定理を確立できるか。
• RQ4 A+B が密度 d*(A) + d(B) をとるための鋭い条件は何か。また、その条件が成立しない場合の失敗例は何か。
• RQ5 作用集合の構造的性質は、元となる群作用の力学的性質とどのように関係するか。

主な発見

• 本稿は、任意の可解群に対してKneserの定理の動的一般化を証明し、小二重性が周期的集合による構造的制御を意味することを示している。
• 上部バナッハ密度および下部漸近的密度に関する逆定理を確立し、d*(A) + d(B) < 1 かつ A+B が小二重性を満たす場合、A および B が周期的またはSturmianに似た集合に含まれることを示している。
• 逆例により、A や B にシンデティック性または周期性が欠如していると d*(A+B) < d*(A) + d(B) となることが示され、仮定の必要性が裏付けられている。
• 本稿は、A がSturmian集合に含まれない場合でも d*(A+B) = d*(A) + d(B) < 1 となる例を構築しており、追加の仮定がなければその条件が十分でないことを示している。
• Følner列 {[-n,n]} に対して、A と B の構造に応じて A+B が厚い集合であるか否かが異なることが示されており、正の下部密度を持つ場合でも成立する。
• ジョインング・トリックにより、コンパクト群モデルから一般のボレル G-空間への二重性の性質の移行が可能となり、わずかなオーバーラップ条件下での包含結果の証明が可能になった。