On the entropy norm on the group of diffeomorphisms of closed oriented surface. (English) Zbl 1443.37020
Let \(M\) be a smooth compact manifold with some fixed Riemannian metric. Let \(f\colon M\to M\) be a continuous function. Recall that the topological entropy of \(f\) may be defined as follows. Let \(d\) be the metric on \(M\) induced by some Riemannian metric. For \(p\in \mathbb{N}\), define a new metric \(d_{f,p}\) on \(M\) by \(d_{f,p}(x,y)=\max_{0\leq i\leq p} d(f^i(x),f^i(y)).\) Let \(M_f(p,\epsilon)\) be the minimal number of \(\epsilon\)-balls in the \(d_{f,p}\)-metric that cover \(M\). The topological entropy \(h(f)\) is defined by \(h(f)=\lim_{\epsilon\to 0}\limsup_{p\to\infty}\frac{\log_2{M_f(p,\epsilon)}}{p}\).
In this note the authors consider the case when \(M\) is a closed oriented surface \(\Sigma_g\) of genus \(g\). Denote by \(\mathrm{Diff}(\Sigma_g)\) the group of orientation-preserving diffeomorphisms of \(\Sigma_g\). Let \(\mathrm{Ent}(\Sigma_g)\subset \mathrm{Diff}(\Sigma_g)\) be the set of entropy-zero diffeomorphisms. This set is conjugation-invariant and it generates \(\mathrm{Diff}(\Sigma_g)\). In other words, a diffeomorphism of \(\Sigma_g\) is a finite product of entropy-zero diffeomorphisms. One may ask for a minimal decomposition and this question leads to the concept of the entropy norm defined by \(\|f\|_{\mathrm{Ent}}:=\min\{k\in \mathbb{N}\,|\,f=h_1\cdots h_k,\,h_i\in \mathrm{Ent}(\Sigma_g)\}\). The associated bi-invariant metric is denoted by \(d_{\mathrm{Ent}}\). It is known that the entropy norm is bounded in case \(g=0\). In this paper, the authors prove that the entropy norm on the group of diffeomorphisms of a closed orientable surface \(\Sigma_g\) of positive genus \(g>0\) is unbounded.
In this note the authors consider the case when \(M\) is a closed oriented surface \(\Sigma_g\) of genus \(g\). Denote by \(\mathrm{Diff}(\Sigma_g)\) the group of orientation-preserving diffeomorphisms of \(\Sigma_g\). Let \(\mathrm{Ent}(\Sigma_g)\subset \mathrm{Diff}(\Sigma_g)\) be the set of entropy-zero diffeomorphisms. This set is conjugation-invariant and it generates \(\mathrm{Diff}(\Sigma_g)\). In other words, a diffeomorphism of \(\Sigma_g\) is a finite product of entropy-zero diffeomorphisms. One may ask for a minimal decomposition and this question leads to the concept of the entropy norm defined by \(\|f\|_{\mathrm{Ent}}:=\min\{k\in \mathbb{N}\,|\,f=h_1\cdots h_k,\,h_i\in \mathrm{Ent}(\Sigma_g)\}\). The associated bi-invariant metric is denoted by \(d_{\mathrm{Ent}}\). It is known that the entropy norm is bounded in case \(g=0\). In this paper, the authors prove that the entropy norm on the group of diffeomorphisms of a closed orientable surface \(\Sigma_g\) of positive genus \(g>0\) is unbounded.
Reviewer: Nicolai K. Smolentsev (Kemerovo)
MSC:
37C05 | Dynamical systems involving smooth mappings and diffeomorphisms |
37B40 | Topological entropy |
54C70 | Entropy in general topology |
58D05 | Groups of diffeomorphisms and homeomorphisms as manifolds |
22D40 | Ergodic theory on groups |
57S05 | Topological properties of groups of homeomorphisms or diffeomorphisms |
53C23 | Global geometric and topological methods (à la Gromov); differential geometric analysis on metric spaces |
Keywords:
entropy; conjugation-invariant norms; quasi-morphisms; mapping class groups; group of diffeomorphisms; oriented surface; Teichmüller space; entropy-zero diffeomorphismsReferences:
[1] | Bers, L., An extremal problem for quasiconformal mappings and a theorem by Thurston, Acta Math.141 (1978) 73-98. · Zbl 0389.30018 |
[2] | Bestvina, M. and Fujiwara, K., Bounded cohomology of subgroups of mapping class groups, Geom. Topol.6 (2002) 69-89. · Zbl 1021.57001 |
[3] | Bowen, R., Entropy for group endomorphisms and homogeneous spaces, Trans. Amer. Math. Soc.153 (1971) 401-414. · Zbl 0212.29201 |
[4] | Brandenbursky, M., Bi-invariant metrics and quasi-morphisms on groups of Hamiltonian diffeomorphisms of surfaces, Internat. J. Math.26 (2015) 1550066. · Zbl 1383.37060 |
[5] | Brandenbursky, M. and Kęedra, J., On the autonomous metric on the group of area-preserving diffeomorphisms of the 2-disc, Algebr. Geom. Topol.13 (2013) 795-816. · Zbl 1267.57038 |
[6] | Brandenbursky, M., Kedra, J. and Shelukhin, E., On the autonomous norm on the group of Hamiltonian diffeomorphisms of the torus, Commun. Contemp. Math.20 (2018) 1750042. · Zbl 1378.53097 |
[7] | M. Brandenbursky and M. Marcinkowski, Entropy and quasimorphisms, arXiv:1707.06020. · Zbl 1443.37021 |
[8] | Brandenbursky, M. and Shelukhin, E., On the \(L^p\)-geometry of autonomous Hamiltonian diffeomorphisms of surfaces, Math. Res. Lett.22 (2015) 1275-1294. · Zbl 1353.53076 |
[9] | Burago, D., Ivanov, S. and Polterovich, L., Conjugation-invariant norms on groups of geometric origin, in Groups of Diffeomorphisms, , Vol. 52 (Math. Soc. Japan, 2008), pp. 221-250. · Zbl 1222.20031 |
[10] | Dinaburg, E. I., A connection between various entropy characterizations of dynamical systems, Izv. Akad. Nauk SSSR Ser. Mat.35 (1971) 324-366. · Zbl 0216.44704 |
[11] | Farb, B. and Margalit, D., A Primer on Mapping Class Groups, , Vol. 49 (Princeton Univ. Press, 2012). · Zbl 1245.57002 |
[12] | A. Fathi, F. Laudenbach and V. Poénaru, Thurston’s Work on Surfaces, Mathematical Notes, Vol. 48 (Princeton Univ. Press, 2012). Translated from the 1979 French original by Djun M. Kim and Dan Margalit. · Zbl 1244.57005 |
[13] | Gambaudo, J.-M. and Ghys, É., Commutators and diffeomorphisms of surfaces, Ergodic Theory Dynam. Systems24 (2004) 1591-1617. · Zbl 1088.37018 |
[14] | Manning, A., Topological entropy and the first homology group, in Dynamical Systems, , Vol. 468 (Springer, 1975), pp. 185-190. · Zbl 0307.54042 |
[15] | Masur, H. A. and Minsky, Y. N., Geometry of the complex of curves. I. Hyperbolicity, Invent. Math.138 (1999) 103-149. · Zbl 0941.32012 |
[16] | Polterovich, L. and Rudnick, Z., Stable mixing for cat maps and quasi-morphisms of the modular group, Ergodic Theory Dynam. Systems24 (2004) 609-619. · Zbl 1071.37019 |
[17] | Tsuboi, T., On the uniform simplicity of diffeomorphism groups, in Differential Geometry (World Scientific, 2009), pp. 43-55. · Zbl 1181.57033 |
[18] | Tsuboi, T., On the uniform perfectness of the groups of diffeomorphisms of even-dimensional manifolds, Comment. Math. Helv.87 (2012) 141-185. · Zbl 1236.57039 |
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.