No Arabic abstract
In this paper, we shall introduce $h$-expansiveness and asymptotical $h$-expansiveness for actions of sofic groups. By the definitions, each $h$-expansive action of sofic groups is asymptotically $h$-expansive. We show that each expansive action of sofic groups is $h$-expansive, and, for any given asymptotically $h$-expansive action of sofic groups, the entropy function (with respect to measures) is upper semi-continuous and hence the system admits a measure with maximal entropy. Observe that asymptotically $h$-expansive property was firstly introduced and studied by Misiurewicz for $mathbb{Z}$-actions using the language of topological conditional entropy. And thus in the remaining part of the paper, we shall compare our definitions of weak expansiveness for actions of sofic groups with the definitions given in the same spirit of Misiurewiczs ideas when the group is amenable. It turns out that these two definitions are equivalent in this setting.
A dynamical system is a pair $(X,G)$, where $X$ is a compact metrizable space and $G$ is a countable group acting by homeomorphisms of $X$. An endomorphism of $(X,G)$ is a continuous selfmap of $X$ which commutes with the action of $G$. One says that a dynamical system $(X,G)$ is surjunctive provided that every injective endomorphism of $(X,G)$ is surjective (and therefore is a homeomorphism). We show that when $G$ is sofic, every expansive dynamical system $(X,G)$ with nonnegative sofic topological entropy and satisfying the weak specification and the strong topological Markov properties, is surjunctive.
We refine two results in the paper entitled ``Sofic mean dimension by Hanfeng Li, improving two inequalities with two equalities, respectively, for sofic mean dimension of typical actions. On the one hand, we study sofic mean dimension of full shifts, for which, Li provided an upper bound which however is not optimal. We prove a more delicate estimate from above, which is optimal for sofic mean dimension of full shifts over arbitrary alphabets (i.e. compact metrizable spaces). Our refinement, together with the techniques (in relation to an estimate from below) in the paper entitled ``Mean dimension of full shifts by Masaki Tsukamoto, eventually allows us to get the exact value of sofic mean dimension of full shifts over any finite dimensional compact metrizable spaces. On the other hand, we investigate finite group actions. In contrast to the case that the acting group is infinite (and amenable), Li showed that if a finite group acts continuously on a finite dimensional compact metrizable space, then sofic mean dimension may be different from (strictly less than) the classical (i.e. amenable) mean dimension (an explicitly known value in this case). We strengthen this result by proving a sharp lower bound, which, combining with the upper bound, gives the exact value of sofic mean dimension for all the actions of finite groups on finite dimensional compact metrizable spaces. Furthermore, this equality leads to a satisfactory comparison theorem for those actions, deciding when sofic mean dimension would coincide with classical mean dimension. Moreover, our two results, in particular, verify for a typical class of sofic group actions that sofic mean dimension does not depend on sofic approximation sequences.
Pointwise convergence of spherical averages is proved for a measure-preserving action of a Fuchsian group. The proof is based on a new variant of the Bowen-Series symbolic coding for Fuchsian groups that, developing a method introduced by Wroten, simultaneously encodes all possible shortest paths representing a given group element. The resulting coding is self-inverse, giving a reversible Markov chain to which methods previously introduced by the first author for the case of free groups may be applied.
In this paper, we study the actions of profinite groups on Cantor sets which arise from representations of Galois groups of certain fields of rational functions. Such representations are associated to polynomials, and they are called profinite iterated monodromy groups. We are interested in a topological invariant of such actions called the asymptotic discriminant. In particular, we give a complete classification by whether the asymptotic discriminant is stable or wild in the case when the polynomial generating the representation is quadratic. We also study different ways in which a wild asymptotic discriminant can arise.
Let $BS(1,n) =< a, b | aba^{-1} = b^n >$ be the solvable Baumslag-Solitar group, where $ ngeq 2$. It is known that BS(1,n) is isomorphic to the group generated by the two affine maps of the real line: $f_0(x) = x + 1$ and $h_0(x) = nx $. This paper deals with the dynamics of actions of BS(1,n) on closed orientable surfaces. We exhibit a smooth BS(1,n) action without finite orbits on $TT ^2$, we study the dynamical behavior of it and of its $C^1$-pertubations and we prove that it is not locally rigid. We develop a general dynamical study for faithful topological BS(1,n)-actions on closed surfaces $S$. We prove that such actions $<f,h | h circ f circ h^{-1} = f^n>$ admit a minimal set included in $fix(f)$, the set of fixed points of $f$, provided that $fix(f)$ is not empty. When $S= TT^2$, we show that there exists a positive integer $N$, such that $fix(f^N)$ is non-empty and contains a minimal set of the action. As a corollary, we get that there are no minimal faithful topological actions of BS(1,n) on $TT^2$. When the surface $S$ has genus at least 2, is closed and orientable, and $f$ is isotopic to identity, then $fix(f)$ is non empty and contains a minimal set of the action. Moreover if the action is $C^1$ then $fix(f)$ contains any minimal set.