Boyle, Mike; Downarowicz, Tomasz The entropy theory of symbolic extensions. (English) Zbl 1216.37004 Invent. Math. 156, No. 1, 119-161 (2004). Summary: Fix a topological system \((X,T)\), with its space \(K(X,T)\) of \(T\)-invariant Borel probabilities. If \((Y,S)\) is a symbolic system (subshift) and \(\varphi: (Y,S)\to (X,T)\) is a topological extension (factor map), then the function \(h^\varphi_{\text{ext}}\) on \(K(X,T)\) which assigns to each \(\mu\) the maximal entropy of a measure \(\nu\) on \(Y\) mapping to \(\mu\) is called the extension entropy function of \(\varphi\). The infimum of such functions over all symbolic extensions is called the symbolic extension entropy function and is denoted by \(h_{\text{sex}}\). In this paper we completely characterize these functions in terms of functional analytic properties of an entropy structure on \((X,T)\). The entropy structure \(\mathcal H\) is a sequence of entropy functions \(h_k\) defined with respect to a refining sequence of partitions of \(X\) (or of \(X\times Z\), for some auxiliary system \((Z,R)\) with simple dynamics) whose boundaries have measure zero for all the invariant Borel probabilities. We develop the functional analysis and computational techniques to produce many dynamical examples; for instance, we resolve in the negative the question of whether the infimum of the topological entropies of symbolic extensions of \((X,T)\) must always be attained, and we show that the maximum value of \(h_{\text{sex}}\) need not be achieved at an ergodic measure. We exhibit several characterizations of the asymptotically \(h\)-expansive systems of Misiurewicz, which emerge as a fundamental natural class in the context of the entropy structure. The results of this paper are required for the Downarowicz-Newhouse results [T. Downarowicz and S. Newhouse, Invent. Math. 160, No. 3, 453–499 (2005; Zbl 1067.37018)] on smooth dynamical systems. Cited in 5 ReviewsCited in 55 Documents MSC: 37B10 Symbolic dynamics 37B40 Topological entropy 37C40 Smooth ergodic theory, invariant measures for smooth dynamical systems 37C45 Dimension theory of smooth dynamical systems 37C05 Dynamical systems involving smooth mappings and diffeomorphisms 37D35 Thermodynamic formalism, variational principles, equilibrium states for dynamical systems Citations:Zbl 1067.37018 PDFBibTeX XMLCite \textit{M. Boyle} and \textit{T. Downarowicz}, Invent. Math. 156, No. 1, 119--161 (2004; Zbl 1216.37004) Full Text: DOI