[論文レビュー] Topological characteristic factors and nilsystems

Eli Glasner, Wen Huang+3 more|arXiv (Cornell University)|Jun 22, 2020

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

ひとこと要約

本稿では、最小な位相的力学系 $(X,T)$ の最大無限ステップ pro-nil 要因 $X_{\text{infty}}$ が、ほぼ1対1の拡張の下で飽和の意味での位相的特徴的要因であることを確立する。この飽和性質を用いて、複数の未解決問題を解決する：等差数列に沿った再帰、完全最小系における多項式軌道の稠密性、および距離的系の開拡張における高次領域的近接関係と等差数列関係の一致。

ABSTRACT

We prove that the maximal infinite step pro-nilfactor $X_\infty$ of a minimal dynamical system $(X,T)$ is the topological characteristic factor in a certain sense. Namely, we show that by an almost one to one modification of $π:X ightarrow X_\infty$, the induced open extension $π^*:X^* ightarrow X^*_\infty$ has the following property: for $x$ in a dense $G_δ$ set of $X^*$, the orbit closure $L_x=\overline{\mathcal{O}}((x,x,\ldots,x), T imes T^2 imes \ldots imes T^d)$ is $(π^*)^{(d)}$-saturated, i.e. $L_x=((π^*)^{(d)})^{-1}(π^*)^{(d)}(L_x)$. Using results derived from the above fact, we are able to answer several open questions: (1) if $(X,T^k)$ is minimal for some $k\ge 2$, then for any $d\in {\mathbb N}$ and any $0\le j

研究の動機と目的

• 最小力学系における最大無限ステップ pro-nil 要因 $X_{\\text{infty}}$ が位相的特徴的要因であることを確立すること。
• 最小系および完全最小系における複数再帰と多項式軌道に関する未解決問題を解くこと。
• 最大距離的要因の開拡張において、$\mathbf{RP}^{[d]} = \mathbf{AP}^{[d]}$ を証明すること。
• 飽和および拡張技術を用いて、pro-nilsystems の結果を一般の最小系へ拡張すること。
• 高次再帰と構造を位相的特徴的要因を通じて理解するための枠組みを提供すること。

提案手法

• 軌道閉包が $\pi^{*(d)}$-飽和であるような、ほぼ1対1の拡張 $\pi^*: X^* \to X^*_{\infty}$ を導入する。
• 定理 3.1 の飽和定理を用いて、$\mathbf{RP}^{[d]}$ を積系における再帰集合に関連付ける。
• 無限ステップニル系の理論および距離的系の Furstenberg の塔理論を用いて、構造と再帰を分析する。
• 因子写像の開性と $G_\delta$ 集合の一般性を活用し、性質を基本系から拡張へと移す。
• 鍵となる補題（補題 4.1）を用いて、一般の場合を $d=1,2$ の基本ケースに還元し、帰納的構造を用いて一般化する。
• pro-nilsystems 及びその軌道閉包に関する結果を応用し、一般の最小系における主要定理を証明する。

実験結果

リサーチクエスチョン

• RQ1 最大無限ステップ pro-nil 要因 $X_{\infty}$ は最小系において位相的特徴的要因であるか？
• RQ2 $(X,T^k)$ が最小で $k \geq 2$ のとき、任意の $d \in \mathbb{N}$ および $0 \leq j < k$ に対して、$n_i \equiv j \pmod{k}$ を満たす列 $\{n_i\}$ が存在し、$x$ が稠密な $G_\delta$ 集合に属するならば、$T^{n_i}x \to x, \dots, T^{dn_i}x \to x$ が成り立つか？
• RQ3 完全最小系において、$x$ が稠密な $G_\delta$ 部分集合に属するならば、$\{T^{n^2}x : n \in \mathbb{Z}\}$ は $X$ で稠密か？
• RQ4 最大距離的要因の開拡張において、$\mathbf{RP}^{[d]} = \mathbf{AP}^{[d]}$ は成り立つか？
• RQ5 $T \times T^2 \times \cdots \times T^d$ の下での軌道閉包 $\overline{\mathcal{O}}(x^{(d)}, \tau_d)$ は最大 pro-nil 要因上で飽和可能か？

主な発見

• 最大無限ステップ pro-nil 要因 $X_{\infty}$ は位相的特徴的要因である：稠密な $G_\delta$ 集合に属する $x$ に対して、軌道閉包 $L_x = \overline{\mathcal{O}}((x,\dots,x), T \times T^2 \times \cdots \times T^d)$ は $\pi^{*(d)}$-飽和である。
• $(X,T^k)$ が $k \geq 2$ で最小であるならば、任意の $d \in \mathbb{N}$ および $0 \leq j < k$ に対して、$n_i \equiv j \pmod{k}$ を満たす列 $\{n_i\}$ が存在し、$x$ が稠密な $G_\delta$ 集合に属するならば、$T^{n_i}x \to x, \dots, T^{dn_i}x \to x$ が成り立つ。
• 完全最小系において、$x$ が稠密な $G_\delta$ 部分集合に属するならば、$\{T^{n^2}x : n \in \mathbb{Z}\}$ は $X$ で稠密である。
• 最大距離的要因の開拡張である任意の最小系において、すべての $d \in \mathbb{N}$ に対して $\mathbf{RP}^{[d]} = \mathbf{AP}^{[d]}$ が成り立つ。
• 結果は多項式軌道へ拡張可能である：任意の非定数整数係数多項式 $P(n)$ に対して、$x$ が稠密な $G_\delta$ 集合に属するならば、$\{T^{P(n_i)}x\} \to x$ が列 $n_i \equiv j \pmod{k}$ 沿いに成り立つ。
• 最大 $k$-段プロニル要因の $\overline{\mathcal{O}}(x^{(d)}, \tau_d)$ が $\overline{\mathcal{O}}(\pi_\infty x^{(d)}, \tau_d)$ に一致するとする予想を提示し、完全最小系において多項式軌道 $\{T^{P(n)}x\}$ が稠密であると示唆する。