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

Abstract

Mather's $\beta$-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 $\beta$-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 $\beta$-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 $\beta$-function, on complex holomorphic potentials and on a domain of complexified rotation numbers whose boundary contains real Diophantine numbers.

74 pages, 5 figures