Maximal Measure and Entropic Continuity of Lyapunov Exponents for Cr Surface Diffeomorphisms with Large Entropy

We prove a finite smooth version of the entropic continuity of Lyapunov exponents proved recently by Buzzi, Crovisier, and Sarig for C∞ surface diffeomorphisms (Buzzi et al., Invent Math 230(2):767-849, 2022). As a consequence, we show that any Cr, r>1, smooth surface diffeomorphism f with htop(f)>1rlim supn1nlog+‖dfn‖∞ admits a measure of maximal entropy. We also prove the Cr continuity of the topological entropy at f.