[論文レビュー] A topological semigroup structure on the space of actions modulo weak equivalence

Peter Burton|arXiv (Cornell University)|Jan 19, 2015

Advanced Topology and Set Theory参考文献 1被引用数 4

ひとこと要約

本稿は、弱同値を法とする測度保存群作用の空間に、新たなより細かい位相——「細かい位相」と呼ばれる——を導入する。この位相において、作用の積演算が連続であることを証明し、空間が可換な位相的半群となることを示す。自由作用に制限した場合には、位相的モノイドにもなる。

ABSTRACT

We introduce a topology on the space of actions modulo weak equivalence finer than the one previously studied in the literature. We show that the product of actions is a continuous operation with respect to this topology, so that the space of actions modulo weak equivalence becomes a topological semigroup.

研究の動機と目的

• 弱同値を法とする測度保存群作用の空間に、既存の文献における位相よりも改善された、新たなより細かい位相を定義すること。
• 積作用（積空間上の積作用として定義される）による作用の積演算が、弱同値類上でうまく定義された二項演算となることを確立すること。
• 新たに定義された細かい位相に関して、この積演算が連続であることを証明すること。
• 自由作用の弱同値類の空間が、この構造に関して位相的モノイドとなることを示すこと。
• 分割と群元から導かれる行列値不変量のハウスドルフ距離を用いた、弱同値の距離に基づく特徴付けを提供すること。

提案手法

• 有限集合 $ F \subseteq \Gamma $、分割 $ \mathcal{A} $、群元 $ \gamma $ に対して、測度値 $ \mu(\gamma^a A_l \cap A_m) $ を成分とする行列 $ M_{t,k}^{ ext{A}}(a) $ のコンパクト集合間のハウスドルフ距離を組み合わせた距離 $ d_f $ を用いて、細かい位相を定義する。
• 与えられた作用 $ a $ に対して、すべての such 行列の閉包として集合 $ C_{t,k}(a) $ を構成し、すべての $ t,k $ に対して $ C_{t,k}(a) = C_{t,k}(b) $ が成り立つことによって、弱同値 $ a \sim b $ を特徴付ける。
• 距離 $ d_f([a],[b]) = \sum_{t=1}^\infty \frac{1}{2^t} \left( \sup_k d_H(C_{t,k}(a), C_{t,k}(b)) \right) $ を用いて、細かい位相を定義する。
• 任意の有限集合 $ F \subseteq \Gamma $、$ \epsilon > 0 $、分割 $ \mathcal{A} $ に対して、ある $ N $ が存在し、$ n \geq N $ のとき、$ a_n \times b_n $ の行列不変量が、$ \ell^1 $-型の和において、$ a \times b $ のものと $ \epsilon $ 以内に近づくことを示すことにより、積演算 $ \times $ の連続性を証明する。
• 測度の積における差のバインドを保証する重要な算術補題を適用し、個々の作用不変量の小さな摂動が、積作用不変量においても小さな摂動にしか与えないことを保証する。
• 三角不等式と対称差における測度の安定性を用いて、$ \mu^2(\gamma^{a\times b} A_l \cap A_m) $ と $ \mu^2(\gamma^{a_n \times b_n} B_l \cap B_m) $ の距離を制御し、$ a_n \to a $ および $ b_n \to b $ が細かい位相で収束することを活用する。

実験結果

リサーチクエスチョン

• RQ1 弱同値を法とする作用の空間に、積演算が連続となるような、より細かい位相を定義できるか？
• RQ2 積空間に持ち上げられ、元の空間と同一視された2つの作用の積は、弱同値を法としてうまく定義されるか？
• RQ3 測度的力学における行列不変量に基づく、この新しい位相は、連続な積構造をもたらすか？
• RQ4 自由作用の弱同値類の空間が、積演算に関して、代数的・位相的構造としてどのようなものとなるか？
• RQ5 細かい位相は、収束性や力学的演算の連続性の観点から、文献に既に存在する位相をどのように洗練させるか？

主な発見

• ハウスドルフ距離の和として定義された細かい位相は、弱同値を法とする作用の空間において、既に研究された位相よりも厳密に細かい。
• 積演算 $ \times $ は細かい位相に関して連続であり、$ (\mathrm{A}_\sim(\Gamma,X,\mu), \times) $ は可換な位相的半群をなす。
• 任意の自由作用 $ a $ に対して、$ a \times s_\Gamma $ は $ a $ と弱同値であり、ここで $ s_\Gamma $ はバーナウリシフトである。これは、$ s_\Gamma $ が自由作用の空間上で乗法的単位元として作用することを意味する。
• その結果、弱同値類の自由作用の空間 $ \mathrm{FR}_\sim(\Gamma,X,\mu) $ は、細かい位相と積演算を備えており、可換な位相的モノイドをなす。
• 細かい位相における収束基準は、次と同値である：任意の有限集合 $ F \subseteq \Gamma $、$ \epsilon > 0 $、分割 $ \mathcal{A} $ に対して、ある $ N $ が存在し、$ n \geq N $ のとき、ある分割 $ \mathcal{B} $ が存在して、すべての $ \gamma \in F $ に対して $ \sum_{l,m} |\mu(\gamma^{a_n} A_l \cap A_m) - \mu(\gamma^a B_l \cap B_m)| < \epsilon $ が成り立つ。
• 証明は、測度の積の差を小さな摂動に対してバインドする重要な算術補題に依存しており、近似作用の積が、極限の積に細かい位相で収束することを保証する。