Disintegration of invariant measures for hyperbolic skew products (Q2357004)

Let \(\Delta, N\) be compact metric spaces, \(F: \Delta \longrightarrow \Delta\) and \(G: \Delta \times N \longrightarrow N\) continuous maps, and let \(\pi: \Delta \times N \longrightarrow \Delta\) be the projection \(\pi(x, z) = x\). Denoting by \(\hat{\Delta} = \Delta \times N\), let \(\hat{F}: \hat{\Delta} \longrightarrow \hat{\Delta}\) defined by \[ \hat{F}(x, z) = (F(x), G(x, z)). \] Under suitable conditions on \(\hat{F}\), the authors are interested on the disintegration of a probability measure \(\eta\) on \(\hat{\Delta}\) which is \(\hat{F}\) invariant, i.e., \(\{\eta_x\}_{x \in \Delta}\), where each \(\eta_x\) is a probability measure on \(\hat{\Delta}\) supported on \(\pi^{-1}(x)\) and \[ \eta(v) = \int_{\Delta} \eta_x(v) \;d(\pi_{\sharp} \eta) \] for all continuous \(v:\hat{\Delta} \longrightarrow \mathbb{R}\). The purpose of this note is to study the regularity of the disintegration \(\{\eta_x\}_{x \in \Delta}\). First, it is considered the absolutely continuous case, then the Hölder regularity and \(C^1\) cases are also provided.