[論文レビュー] A uniform nilsequence Wiener-Wintner theorem for bilinear ergodic averages

Pavel Zorin‐Kranich|arXiv (Cornell University)|Apr 17, 2015

Limits and Structures in Graph Theory参考文献 15被引用数 7

ひとこと要約

本稿は、nilsequenceを用いた重み付きエルゴード平均の収束を示す均一性セミノルム推定を証明することにより、二重線形エルゴード平均に対する一様 nilsequence Wiener–Wintner 定理を確立する。主な結果は、ある系が $k$-線形点별エルゴード定理を満たすならば、それに対して nilsequence 重みを用いた一様版も成り立つことを示し、$k=2$ の場合の先行結果を一般化し、Gowers 均一性ノルムを用いた帰納法により高次平均へ拡張する。

ABSTRACT

We show that a $k$-linear pointwise ergodic theorem on an ergodic measure-preserving system implies a uniform $k$-linear nilsequence Wiener-Wintner theorem on that system. The assumption is known to hold for arbitrary systems and $k=2$ (due to Bourgain) and for distal systems and arbitrary $k$ (due to Huang, Shao, and Ye).

研究の動機と目的

• エルゴード系における二重線形エルゴード平均に対する一様 nilsequence Wiener–Wintner 定理を確立すること。
• 先行研究における多項式重みと nilsequence に関する結果を、高次元の多重線形平均へ一般化すること。
• 関数 $f_i$ の $U^{k+l}(T,c)$ セミノルムによって重み付きエルゴード平均の上界を制御する均一性セミノルム推定を証明すること。
• $k$-線形点別エルゴード定理が nilsequence 重み付きの一様収束を含意することを示し、$k=2$ の場合に既知の結果を拡張すること。
• 可解群の可解クラスに関する帰納法を用いて、一般の $k$ および distal 系に適用可能なフレームワークを提供すること。

提案手法

• 可解群 $G$ のフィルトレーション $G_{ullet}$ の長さ $l$ について帰納法を用いる。
• nilmanifold $G/\tilde{\tau}$ 上の関数の垂直フーリエ分解を用いて、問題を垂直特徴に還元する。
• van der Corput の補題を用いて、重み付き平均の $L^{2^{l+1}}$-ノルムを制御する。
• 修正された Gowers–Host–Kra 均一性セミノルム $U^{k+l}(T,c)$ を用いて収束の挙動を定量化する。
• 帰納法の仮定を用いて、$l$-ケースを立方体構成と群拡張により $(l-1)$-ケースに還元する。
• Fatou の補題と Hölder の不等式を用いて、$L^{2^{l+1}}$-ノルムを関数 $f_i$ の $U^{k+l}(T,c)$ セミノルムの項で上界評価する。

実験結果

リサーチクエスチョン

• RQ1 $k$-線形点別エルゴード定理が、nilsequence を重みとする二重線形エルゴード平均の一様収束を含意するか？
• RQ2 定理 1.1 の均一性セミノルム推定を、高次元の可解群および任意の $k$ に拡張できるか？
• RQ3 基本系が $k$-線形エルゴード定理を満たすとき、すべての nilsequence に対して重み付き平均の収束が一様になるか？
• RQ4 可解群のフィルトレーション $G_{ullet}$ の構造が収束の一様性にどのように影響するか？
• RQ5 結果は distal 系に適用可能か？また、命題 1.3 の同値性を用いて多項式重みへ一般化可能か？

主な発見

• 本稿は、定理 1.1 において、重み付きエルゴード平均の上界の $L^{2^{l+1}}$-ノルムを、関数 $f_i$ の $U^{k+l}(T,c)$ セミノルムによって上界評価する均一性セミノルム推定を証明する。定数は $b_1,\dots,b_k$、$l$、および nilmanifold $G/\Gamma$ のみに依存する。
• この結果は、一様 nilsequence Wiener–Wintner 定理（系 1.4）を含意する：任意の $f_1,\dots,f_k \in L^\infty(X)$ に対して、列 $\prod_{i=1}^k f_i(T^{b_i n}x)$ は、ほとんど至る所の $x \in X$ に対して命題 1.3 の同値条件を満たし、nilsequence を用いた重み付き平均の収束を含む。
• $k=2$ の場合、Bourgain の二重線形エルゴード定理により、結果は条件なしに成り立つ。本結果は、Assani, Duncan, Moore の先行研究を回復し、拡張する。
• 証明は $l$ についての帰納法を用い、垂直フーリエ分解と van der Corput の補題により $l$-ケースを $(l-1)$-ケースに還元する。
• 主要な技術的ステップは、重み付き平均の $L^{2^{l+1}}$-ノルムを、$C$-下限の $L^{2^l}$-ノルムの差の和で推定することであり、これらは帰納法の仮定と Gowers 均一性セミノルムによって上界評価される。
• 最終的な上界は $\min_i \|f_i\|_{U^{k+l}(T,c)}^{2^{l+1}}$ によって制御され、望ましい一様性と収束性が確立される。