Jet rigidity of Mather's $β$-function and complexified KAM curves holomorphic in potential for analytic standard maps

Abstract

Mather's $β$-function associates with each rotation number the least average action carried by an orbit of a twist map. For analytic standard maps in the KAM regime, we prove the following. For any family of $d \ge 1$ directions of perturbation satisfying a natural symmetry condition, the jet of the $β$-function at a single algebraic Diophantine rotation number locally determines the potential for an open and prevalent, hence dense, set of base potentials in the KAM domain. In particular, we obtain that for a residual and prevalent set of even potentials in the KAM domain, every real analytic deformation with finite Fourier support that preserves the full jet of the $β$-function at a fixed algebraic Diophantine rotation number is constant. These results are non perturbative within the KAM domain. As an intermediate result of independent interest, we establish a KAM theorem giving joint $C^\infty$--holomorphic dependence of the invariant curves, and hence of the $β$-function, on complex holomorphic potentials and on a domain of complexified rotation numbers whose boundary contains real Diophantine numbers.