[論文レビュー] Topological correspondence of multiple ergodic averages of nilpotent group actions

Wen Huang, Song Shao+1 more|arXiv (Cornell University)|Apr 25, 2016

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

ひとこと要約

本稿は、非アーベル的ネイピュテント群への多重エルゴード平均の位相的双対を確立し、弱混合性および最小性の条件下で、多項式群作用の残渣的集合の点の軌道が積空間に dense であることを証明する。主な結果は、有理数係数の多項式列を用いて、グラスナーの定理をアーベル的でないネイピュテント群へ拡張する。

ABSTRACT

Let $(X,Γ)$ be a topological system, where $Γ$ is a nilpotent group generated by $T_1,\ldots, T_d$ such that for each $T\in Γ$, $T eq e_Γ$, $(X,T)$ is weakly mixing and minimal. For $d,k\in \mathbb{N}$, let $p_{i,j}(n), 1\le i\le k, 1\le j\le d$ be polynomials with rational coefficients taking integer values on the integers and $p_{i,j}(0)=0$. We show that if the expressions $g_i(n)=T_1^{p_{i,1}(n)}\cdots T_d^{p_{i,d}(n)}$ depends nontrivially on $n$ for $i=1,2,\cdots,k$, and for all $i eq j\in \{1,2,\ldots,k\}$ the expressions $g_i(n)g_j(n)^{-1}$ depend nontrivially on $n$, then there is a residual set $X_0$ of $X$ such that for all $x\in X_0$ \begin{equation*} \{(g_1(n)x, g_2(n)x,\ldots, g_k(n)x)\in X^k:n\in \mathbb{Z}\} \end{equation*} is dense in $X^k$.

研究の動機と目的

• 単一変換からネイピュテント群作用へのグラスナーの位相的多重再帰結果を拡張すること。
• 弱混合かつ最小的系におけるネイピュテント群作用の文脈で、多重量エルゴード平均の位相的類似を確立すること。
• ネイピュテント群内の多項式列が積空間において稠密な軌道をもたらす条件を特定すること。
• 稠密な軌道をもつ点の集合が残渣的（Gδ）であることを証明し、アーベル的から非アーベル的ネイピュテント群へ一般化すること。
• 稠密性結果のための多項式列の非退化性条件の必要性を検証すること。

提案手法

• ネイピュテント群の構造とそのマルツェーベースを用いて、$ g_i(n) = T_1^{p_{i,1}(n)} \cdots T_d^{p_{i,d}(n)} $ と定義される多項式群元を導入し、零点をもつ有理数係数多項式を用いる。
• 非退化性条件を課す：各 $ g_i(n) $ は非定数であり、$ i \neq j $ に対して $ g_i(n)g_j(n)^{-1} $ も非定数である。これにより、異なる力学的挙動が保証される。
• 位相的力学の道具を適用する：残渣的集合、シンデティック集合、および部分的シンデティック性を用いて軌道分布を分析する。
• Γ-多項式の重みに関する帰納的議論を用い、$ \mathbf{P}\Gamma_0^* $ の構造を用いて軌道の再帰性を制御する。
• 最小的かつ弱混合的系では、開集合への帰還時刻がシンデティックであることに着目し、これを利用して稠密な軌道集合を構成する。
• すべての $ x \in X_0 $ に対して、$ \{(g_1(n)x, \dots, g_k(n)x)\}_{n \in \mathbb{Z}} $ が $ X^k $ で稠密であるような残渣的集合 $ X_0 \subset X $ を構成する。

実験結果

リサーチクエスチョン

• RQ1 ネイピュテント群の多項式群作用が最小的かつ弱混合的系に作用するとき、どのような条件下で積空間における稠密な軌道が得られるか？
• RQ2 位相的多重再帰結果は、アーベル的から非アーベル的ネイピュテント群へどのように一般化されるか？
• RQ3 多項式列の非退化性条件が軌道稠密性を保証するために果たす役割は何か？
• RQ4 ネイピュテント群作用に対して、多重量エルゴード平均の位相的双対を確立できるか？
• RQ5 このような作用における稠密な軌道をもつ点の集合の構造は何か？

主な発見

• ネイピュテント群 $ \Gamma $ が $ X $ 上で最小的かつ弱混合的であるとき、非退化性条件を満たす多項式列 $ g_i(n) $ に対して、$ X $ の部分集合 $ X_0 \subset X $ が存在し、すべての $ x \in X_0 $ に対して $ \{(g_1(n)x, \dots, g_k(n)x)\}_{n \in \mathbb{Z}} $ が $ X^k $ で稠密である。
• 非退化性条件（$ i \neq j $ に対して $ g_i(n) $ および $ g_i(n)g_j(n)^{-1} $ が非定数であること）は、稠密性結果のための必要条件である。
• 本結果は、単一変換から多項式的複数作用へのグラスナーの定理の拡張を実現する。
• 稠密な軌道をもつ点の集合は残渣的であり、したがってコメージャーである。これは、このような点が位相的に一般的であることを示している。
• 証明は、帰還時刻のシンデティック性および部分的シンデティック性に依拠しており、軌道再帰性が稠密性を保証するのに十分に豊かであることを示している。
• 構成は、Γ-多項式の重みに関する帰納的議論と、非定数Γ-多項式の集合 $ \mathbf{P}\Gamma_0^* $ の性質を用いる。