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

Mathieu Helfter

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 f…