Examples of expanding \(C^1\) maps having no \(\sigma\)-finite invariant measure equivalent to Lebesgue (Q1282268)

A nonsingular transformation \(T\) on a measure space \((X,{\mathcal B},\mu)\) is said to be of type III if there is no \(\sigma\)-finite invariant, measure equivalent to \(\mu\). Based on ideas due to \textit{T. Hamachi} [Ergodic Theory Dyn. Syst. 1, 273-283 (1981; Zbl 0597.28022)] who obtained product measures for which the full two-shift is a conservative ergodic type III transformation, the authors construct various smooth type III maps \(T\) with respect to Lebesgue measure \(\lambda\). Specifically they provide examples where a) \(T\) is a \({\mathcal C}^1\) circle map of degree \(d\geq 2\), b) \(T\) is an interval map topologically conjugate to the full tent map \(T_2\), and \(T\) is either \({\mathcal C}^1\), or \({\mathcal C}^1\) and expanding on both branches separately, c) \(T\) is an interval map topologically conjugate to the tent map \(T_a\) with slope \(a\), for any \(a\in (1,2]\) such that the critical point has a nowhere dense orbit. Higher-dimensional generalizations discussed include analytic maps on the torus and rational maps on the Riemann sphere. For certain unimodal maps \(T\) the authors also consider the question of recurrence of Lebesgue measure \(\lambda\) (on the dynamical core \(X\)) in the sense that \(\sum_{n\geq 1}\omega_n(x)= \infty\) a.e., where \(\omega\) is defined by \(\int_X f\circ T\cdot\omega d\lambda= \int_X f d\lambda\) for \(f\in L_1(\lambda)\) and \(\omega_n(x0:= \prod_{k=0}^{n-1} \omega(T^k x)\). It is proved that this holds for \(T_a\) iff \(a\in \{\sqrt{2},2\}\), and a strategy for approaching the same question in the smooth case is outlined.