[論文レビュー] Topological entropy for automorphisms of totally disconnected locally compact groups

Anna Giordano Bruno|arXiv (Cornell University)|Jan 15, 2014

Advanced Topology and Set Theory被引用数 4

ひとこと要約

本稿では、完全不連結局所コンパクト群上の自己同型の位相的エントロピーを計算する制限なしの公式を確立し、$ H_{\text{top}}(\theta, U) = \log[\theta(C(\theta^{-1}, U)) : C(\theta^{-1}, U))] $ を証明する。この公式は計算を簡略化し、コンパクト群にのみ知られていた性質——同型下での不変性、単調性、対数法則、逆極限における連続性、弱加法定理——を、より広い完全不連結局所コンパクト群の設定へと拡張する。

ABSTRACT

We give a "limit-free formula" simplifying the computation of the topological entropy for topological automorphisms of totally disconnected locally compact groups. This result allows us to extend several basic properties of the topological entropy known to hold for compact groups.

研究の動機と目的

• 完全不連結局所コンパクト群上の自己同型の位相的エントロピーを計算する制限なしの公式を提供すること。
• 従来コンパクト群にのみ成立していた位相的エントロピーの基本的性質——特に同型下での不変性、単調性、対数法則、逆極限における連続性、弱加法定理——を、完全不連結局所コンパクト群のより広い設定へと拡張すること。
• 位相的エントロピーとウィリスのスケール関数との間の関係を確立すること、特に $ \log s(\phi) \leq h_{\text{top}}(\phi) $ の等式を通じて。
• この非コンパクトな設定において、弱加法定理と逆極限における連続性が成り立つことを検証すること。
• 全加法定理に関する未解決問題と、局所コンパクト群の連続自己準同型への制限なしの公式の拡張について検討すること。

提案手法

• 開かつコンパクトな部分群からなる族 $ \mathcal{B}(G) $ に対して、$ U \in \mathcal{B}(G) $ とし、$ n $-番目の $ \phi $-共軌道 $ C_n(\phi, U) = U \cap \phi^{-1}(U) \cap \cdots \cap \phi^{-n+1}(U) $ を定義する。
• $ \phi $-共軌道 $ C(\phi, U) = \bigcap_{n=1}^\infty C_n(\phi, U) $ を導入し、これは $ U $ に含まれる最大の $ \phi $-不変部分群である。
• 位相的エントロピー $ h_{\text{top}}(\phi) $ が、$ U \in \mathcal{B}(G) $ に関する $ H_{\text{top}}(\phi, U) = \lim_{n \to \infty} \frac{\log[U : C_n(\phi, U)]}{n} $ の上限として与えられることを証明する。
• 主要結果を確立：$ H_{\text{top}}(\phi, U) = \log[\phi(C(\phi^{-1}, U)) : C(\phi^{-1}, U)] $ であり、これにより極限を取る必要がなくなる。
• 群論的性質、特に $ [G:H] = [G:K][K:H] $ および $ [KH:H] = [K:H \cap K] $ を用いて、この公式を導出する。
• この公式を応用して、同型下での不変性、単調性、対数法則、逆極限における連続性、弱加法定理を証明する。

実験結果

リサーチクエスチョン

• RQ1 完全不連結局所コンパクト群上の自己同型の位相的エントロピーに対して、制限なしの公式を導出可能か？
• RQ2 この設定において弱加法定理 $ h_{\text{top}}(\phi \times \psi) = h_{\text{top}}(\phi) + h_{\text{top}}(\psi) $ は成り立つか？
• RQ3 スケール関数と位相的エントロピーの間で $ \log s(\phi) = h_{\text{top}}(\phi) $ の等式が成り立つ条件は何か？
• RQ4 制限なしの公式を局所コンパクト群の連続自己準同型へ拡張可能か？
• RQ5 閉かつ $ \phi $-不変な正規部分群 $ N $ に対して、全加法定理 $ h_{\text{top}}(\phi) = h_{\text{top}}(\phi|_N) + h_{\text{top}}(\overline{\phi}) $ は成立するか？

主な発見

• 本稿では制限なしの公式を確立：$ H_{\text{top}}(\phi, U) = \log[\phi(C(\phi^{-1}, U)) : C(\phi^{-1}, U)] $ であり、これにより極限を取らずに直接計算が可能になる。
• この公式は、コンパクト群に既に知られていた結果を完全不連結局所コンパクト群へと拡張し、重要なエントロピー性質を保持する。
• 対数法則 $ h_{\text{top}}(\phi^k) = k \cdot h_{\text{top}}(\phi) $ がすべての正の整数 $ k $ に対して成り立つことが、インデックスの乗法的性質を用いて証明される。
• 逆極限における位相的エントロピーの連続性が確認され、$ \bigcap N_i = \{1\} $ のとき $ h_{\text{top}}(\phi) = \sup_i h_{\text{top}}(\overline{\phi}_i) $ が成り立つ。
• 弱加法定理が成り立つ：$ h_{\text{top}}(\phi \times \psi) = h_{\text{top}}(\phi) + h_{\text{top}}(\psi) $ であり、これは積群におけるインデックスの乗法的性質から導かれる。
• また、$ \log s(\phi) \leq h_{\text{top}}(\phi) $ が成り立つことが示され、$ C(\phi^{-1}, U) $ の構造とスケール関数を用いて等号成立の条件が特定可能である。