[論文レビュー] Weakly mixing group actions: a brief survey and an example

Vitaly Bergelson, Alexander Gorodnik|ArXiv.org|May 2, 2005

Geometric and Algebraic Topology参考文献 49被引用数 14

ひとこと要約

この論文は、弱混合群作用の包括的サーベイを提供し、$Η$-作用における弱混合の同値な特徴づけを確立し、Følner列を用いて可換群への概念の拡張を実施する。非アーベル群 $ΗΔ(2,\mathbb{Z})$ の部分群は2次混合でないことが証明され、トーラス上の混合作用に対してKrengel型の結果が確立され、混合性が有限指数部分群におけるほぼ直交関数の存在を示唆する。

ABSTRACT

The first part of the paper contains a survey of weakly mixing group actions of general group, and the second part discusses a special example of a weakly mixing action -- the SL(2,Z)-action on the torus T^2.

研究の動機と目的

• 弱混合群作用の理論をサーベイ・体系化すること、特に $Η$-作用および可換群に対して。
• Følner列を用いて、$Η$-作用を超える古典的弱混合の特徴づけを一般可換群作用へ拡張すること。
• $ΗΔ(2,\mathbb{Z})$ の非アーベル部分群における高次混合の制限を調査すること。
• $ΗΔ(2,\mathbb{Z})$ の部分群によるトーラス $\mathbb{T}^2$ 上の混合作用に対して、Krengelの結果を一般化すること。

提案手法

• $Η$-作用における弱混合の複数の定義の同値性を用いる。これには、$T \times T$ の混合性、スペクトル測度に原子がないこと、相関の均等分布が含まれる。
• Følner列を用いて、可換群の可算無限群作用への弱混合の一般化を実施する。
• スペクトル理論とHerglotzの定理を用い、相関列をスペクトル測度のフーリエ変換として表現する。
• $ΗΔ(2,\mathbb{Z})$ の構造と双曲的要素の性質を用いて、共轭変換の共同混合性を分析する。
• $ΗΔ(2,\mathbb{Z})$-部分群の有限近似可能性を応用し、特定の共轭関係を避ける有限指数部分群を構成する。
• 格子点上に台を持つ特性関数を構築し、有限指数部分群における行列作用の直交性を達成する。

実験結果

リサーチクエスチョン

• RQ1 $Η$-作用における弱混合の同値な特徴づけは何か？ そして、これらはどのように可換群作用へ一般化できるか？
• RQ2 $ΗΔ(2,\mathbb{Z})$ の非アーベル部分群は2次混合である可能性があるか？ そのような性質を妨げる構造的制約は何か？
• RQ3 $ΗΔ(2,\mathbb{Z})$ の部分群による $\mathbb{T}^2$ 上の混合作用は、常に有限指数部分群が存在し、その下で関数がほぼ直交するようにできるか？
• RQ4 多項式平均と多重エルゴード平均は、Szemerédi型定理の文脈において弱混合とどのように関係するか？
• RQ5 弱混合を保証するスペクトル的条件は何か？ そして、スペクトル測度に原子がないこととどのように関係するか？

主な発見

• $Η$-作用における弱混合は、$T \times T$ の混合性、非定数固有関数の不在、およびスペクトル測度に原子がないことと同値である。
• 条件 $\lim_{N\to\infty}\frac{1}{N}\sum_{n=0}^{N-1}|\mu(A\cap T^{-n}B) - \mu(A)\mu(B)| = 0$ はFølner列へ一般化され、可換群への拡張が可能になる。
• 非アーベル群 $\u0397Δ(2,\mathbb{Z})$ の部分群は2次混合でない。これは、共轭された双曲的要素とその共同混合性を用いた背理法によって示される。
• 任意の $f \in L^2(\mathbb{T}^2)$ と $\varepsilon > 0$ に対して、有限指数部分群 $H_0 \subset H$ と関数 $f_0$ が存在し、すべての $h \in H_0$（$h \neq e$）に対して $\int f_0(h\xi)\bar{f}_0(\xi)\,d\xi = 0$ が成り立つ。これはKrengelの結果の一般化である。
• 共轭変換 $h_i = g^{-i}hg^i$ の共同混合性は、固有値を共有する場合に失敗し、2次混合の仮定に反する。
• $\u0397Δ(2,\mathbb{Z})$-部分群による $\mathbb{T}^2$ 上の作用は、スペクトル測度に原子がない場合にのみ混合的であり、そのような作用は $L^2$ における多項式平均の等分布を満たす。