A generic property of exact magnetic Lagrangians (Q1760081)

The authors study the number of (ergodic) Mather minimizing measures for generic Lagrangian systems of magnetic type. Most papers on generic properties of Lagrangian systems follow [\textit{R. Mañé}, Nonlinearity 9, No. 2, 273--310 (1996; Zbl 0886.58037)] and consider perturbations by small potentials. Here it is more natural to consider variations of the magnetic field and to perturb the system by small one-forms; this is what the authors do. Apart from that difference, they closely follow [the reviewer and \textit{G. Contreras}, Ann. Math. (2) 167, No. 3, 1099--1108 (2008; Zbl 1175.37067)] and use the main abstract results of that paper (the more recent tools of the reviewer [Arch. Ration. Mech. Anal. 197, No. 3, 1011-1031 (2010; Zbl 1247.70034)] would have also been suitable). One important fact allowing to consider perturbations by potentials in the approach of Mañé is that the Mather measures of a given Lagrangian are separated by potentials, because they are all supported on the same Lipschitz graph (this is the famous Mather graph property; see [\textit{J. Mather}, Math. Z. 207, No. 2, 169--207 (1991; Zbl 0696.58027)]). This is the step which has to be modified in the present setting. It is possible to perturb magnetic Lagrangians by one-forms because one-forms separate the Mather measure of a given magnetic Lagrangian (Lemma 2.4). This follows from the fact that the Mather measures of a magnetic Lagrangian are all supported on a positive energy surface (which does not intersect the zero section) and on the same Lipschitz graph.