[论文解读] Discrete dynamical systems in group theory

Dikran Dikranjan, Anna Giordano Bruno|arXiv (Cornell University)|Aug 19, 2013

Mathematical Dynamics and Fractals参考文献 1被引用 13

一句话总结

本文提出了一种统一的范畴论框架，用于数学中的熵，通过在赋范半群上定义半群熵，使已知的熵（如代数熵、拓扑熵和测度熵）成为单一函子性构造的特例。主要贡献在于从一个通用的公理化设定中系统推导出诸如不变性、单调性和对数律等性质，并对群论中的代数熵与伴随代数熵进行了详细分析，包括一个二分性结果，表明伴随熵仅取值 0 或 ∞。

ABSTRACT

In this expository paper we describe an unifying approach for many known entropies in Mathematics. First we recall the notion of semigroup entropy h_S in the category S of normed semigroups and contractive homomorphisms, recalling also its properties. For a specific category X and a functor F from X to S, we have the entropy h_F, defined by the composition of h_S with F, which automatically satisfies the same properties proved for h_S. This general scheme permits to obtain many of the known entropies as h_F, for appropriately chosen categories X and functors F. In the last part we recall the definition and the fundamental properties of the algebraic entropy for group endomorphisms, noting how its deeper properties depend on the specific setting. Finally we discuss the notion of growth for flows of groups, comparing it with the classical notion of growth for finitely generated groups.

研究动机与目标

• 在单一范畴论框架下统一数学中不同领域的熵概念——代数、拓扑、测度论。
• 在赋范半群范畴上建立半群熵 $ h_{\mathfrak{S}} $，作为通用构造，通过函子生成已知的熵。
• 分析群自同态的代数熵 $ \mathrm{ent} $ 与伴随代数熵 $ \mathrm{ent}^\star $，突出其不同性质。
• 阐明群增长与熵之间的关系，特别是在有限生成初等可解群的背景下。
• 证明在初等可解群中，恒等映射的零代数熵等价于多项式增长与虚拟幂零性。

提出的方法

• 定义赋范半群与压缩同态的范畴 $ \mathfrak{S} $，作为熵的通用定义域。
• 通过轨迹上的极限构造半群熵 $ h_{\mathfrak{S}}: \mathfrak{S} \to \mathbb{R}_+ $，推广已知的熵定义。
• 从通用构造中推导出所有标准熵性质（不变性、单调性、对数律），且独立于具体范畴。
• 通过函子 $ F: \mathfrak{X} \to \mathfrak{S} $ 应用该框架，其中 $ \mathfrak{X} $ 为如 $ \mathbf{Grp} $、$ \mathbf{AbGrp} $ 或 $ \mathbf{Set} $ 等范畴，以恢复已知的熵。
• 利用通用框架分析群自同态的代数熵 $ \mathrm{ent} $ 与伴随代数熵 $ \mathrm{ent}^\star $。
• 利用桥定理与庞特里亚金对偶性，将伴随代数熵与紧阿贝尔群上的拓扑熵联系起来。

实验结果

研究问题

• RQ1 是否存在一个单一的通用构造，能够统一代数、拓扑与动力系统中不同领域的熵概念？
• RQ2 通过半群熵框架，熵的哪些性质可在不同范畴间普遍保持？
• RQ3 群自同态的代数熵与伴随代数熵在行为上如何不同，特别是在可加性与取值范围方面？
• RQ4 在有限生成初等可解群中，群增长与代数熵之间的确切关系是什么？
• RQ5 伴随代数熵是否总是仅取值于 \{0, ∞\}，这对对偶群上的拓扑熵有何影响？

主要发现

• 阿贝尔群上自同态 $ \phi $ 的伴随代数熵 $ \mathrm{ent}^\star(\phi) $ 要么为 0，要么为 ∞，证明了其二分性，而此性质不适用于代数熵。
• 在非平凡群 $ K $ 上的伯努利移位 $ \beta_K $ 的伴随代数熵为无穷大：$ \mathrm{ent}^\star(\beta_K) = \infty $。
• 在初等可解的有限生成群中，以下条件等价：$ h_{\text{alg}}(\mathrm{id}_G) = 0 $，$ \lambda(G) = 0 $，$ G $ 是虚拟幂零的，且 $ G $ 具有多项式增长。
• 伴随代数熵的加法定理对有界阿贝尔群成立，但一般情况下不成立，且对不变子群的单调性不成立。
• 桥定理表明，若紧阿贝尔群 $ K $ 上的连续自同态 $ \psi $ 具有有限正的拓扑熵，则 $ \psi $ 必为不连续的。
• 通过 $ h_{\mathfrak{S}} \circ F $ 的通用框架，可恢复已知熵，如 $ h_{\text{top}} $、$ h_{\text{mes}} $、$ \mathrm{ent} $ 与 $ \mathrm{ent}^\star $，且所有标准性质均可从通用构造中推导。