Abstract:This paper mainly studies the theory of dynamical systems on compact metrizable groups, with a special focus on extending the maximal entropy theorem and the ergodicity of invariant measure convolution from the isomorphic case to the surjective homomorphism case. It explores in detail the dynamical systems under surjective homomorphisms, especially the variation of measure entropy. Let $G_{2}$ be a compact metric group acting freely on $G_{1}$, and the continuous mapping $T_{2}$ $G_{2}-$commutes with $T_{1}$, where $T_{2}: G_{2} \to G_{2}$ is a surjective homomorphism. If $\mu_{0} \in M(T_{0})$, we prove that when $\mu \in M(T_{1}, \mu_{0})$, the measure entropy $h(T_{1}, \mu_{0}')$ is always greater than or equal to $h(T_{1}, \mu)$; if $\mu_{0}'$ is ergodic with respect to $T_{1}$, $\mu \ne \mu_{0}'$, the Haar measure $m$ on $G_{2}$ is ergodic with respect to $T_{2}$, and $h(T_{1}, \mu_{0}') < \infty$, it can be concluded that the measure entropy $h(T_{1}, \mu_{0}')$ strictly exceeds $h(T_{1}, \mu)$. Finally, this paper also specifically discusses the ergodicity problem of measure convolution. Let $T$ be a surjective homomorphism on $G$. If $(G, T, \mathcal{F}, \mu)$ and $(G, T, \mathcal{F}, \nu)$ are disjoint ergodic dynamical systems, then $\mu * \nu$ is ergodic. Through a proof by contradiction, the study demonstrates that under the condition that $T$ is a surjective homomorphism on $G$, the measure convolution of two disjoint ergodic dynamical systems also maintains ergodicity. These results extend Kenneth R. Berg's findings on the maximal entropy theorem and the ergodicity of measure convolution to the case of surjective homomorphisms.

Möbius Disjointness for Topological Models of Ergodic Measure-Preserving Systems with Quasi-Discrete Spectrum

Möbius disjointness for topological models of ergodic systems with discrete spectrum

Quasi-graphs, Zero Entropy and Measures with Discrete Spectrum

Disjointness of Möbius from Asymptotically Periodic Functions

When all points are generic for ergodic measures

Proofs of ergodicity of piecewise Möbius interval maps using planar extensions

Dynamics of the Entanglement Spectrum of the Haldane Model under a Sudden Quench*

Möbius disjointness for non-uniquely ergodic skew products

On Anqie Entropy and Möbius Disjointness of a Class of Exponential Functions

Measure-theoretical Sensitivity and Equicontinuity

Weakly mixing, proximal topological models for ergodic systems and applications

Lagrange and Markov spectra for typical smooth systems

Quantitative almost reducibility and Möbius disjointness for analytic quasiperiodic Schrodinger cocycles

Abundance of Smale's horseshoes and ergodic measures via multifractal analysis and various quantitative spectrums

Topologically stable ergodicity breaking from emergent higher-form symmetries in generalized quantum loop models

Maximal Entropy Measures for Non-Accessible Topological Skew Products

A topological lens for a measure-preserving system

Dynamical Systems on Compact Metrizable Groups

Continuity of the Measure of the Spectrum for Quasiperiodic Schrödinger Operators with Rough Potentials