Topological entropy of a factor map under amenable group actions (Q7024969)

Let \(G\) be a countable discrete infinite amenable group acting continuously on compact metric spaces \(X\) and \(Y\), and let \(\phi\colon(X,G)\to(Y,G)\) be a factor map.\N\NGiven a compact \(E\subseteq X\) and \(y\in Y\), the authors define the Bowen topological entropy generalization \(\Xi^{B}_E\big(\{F_n\},\phi^{-1}(y)\big)\) on the fiber \(\phi^{-1}(y)\) restricted on \(E\), for a sequence \(\{F_n\}_{n\in\mathbb N}\) of finite subsets of \(G\) with \(|F_n|\to\infty\). Then they show the relation \N\[\Nh^{B}_{\mathrm{top}}(\{F_n\},E)= \sup_{y\in Y}\Xi^{B}_E\big(\{F_n\},\phi^{-1}(y)\big),\N\]\Nwith Bowen topological entropy \(h_{\mathrm{top}}^B\).\N\NAnalogous fiber entropy generalizations \(\Xi^{\overline{CP}}_E\) and \(\Xi^{P}_E\) are introduced for the upper capacity \(\overline{CP}\) and the packing topological entropy \(h_{\mathrm{top}}^P\), respectively; also analogous equalities are proved:\N\[\N\overline{CP}(\{F_n\},E)=\sup_{y\in Y}\Xi^{\overline{CP}}_E\big(\{F_n\},\phi^{-1}(y)\big),\N\]\N\[\Nh^{P}_{\mathrm{top}}(\{F_n\},E)=\sup_{y\in Y}\Xi^{P}_E\big(\{F_n\},\phi^{-1}(y)\big).\N\]\NMoreover, all three fiber entropy functions \(\Xi_E^B,\Xi_E^{\overline{CP}}, \Xi_E^P\) are shown to be upper semicontinuous.