Ojasiewicz Simon Gradient Inequalities For Coupled Yang Mills Energy Functionals

The authors' primary goal in this monograph is to prove Łojasiewicz-Simon gradient inequalities for coupled Yang-Mills energy functions using Sobolev spaces that impose minimal regularity requirements on pairs of connections and sections.

View the abstract.

View the abstract.

View the abstract.

Some scales of spaces of ultra-differentiable functions are introduced, having good stability properties with respect to infinitely many derivatives and compositions. They are well-suited for solving non-linear functional equations by means of hard implicit function theorems. They comprise Gevrey functions and thus, as a limiting case, analytic functions. Using majorizing series, we manage to characterize them in terms of a real sequence M bounding the growth of derivatives. In this functional setting, we prove two fundamental results of Hamiltonian perturbation theory: the invariant torus theorem, where the invariant torus remains ultra-differentiable under the assumption that its frequency satisfies some arithmetic condition which we call BRM, and which generalizes the Bruno-R¨ussmann condition; and Nekhoroshev’s theorem, where the stability time depends on the ultra-differentiable class of the pertubation, through the same sequence M. Our proof uses periodic averaging, while a substitute for the analyticity width allows us to bypass analytic smoothing. We also prove converse statements on the destruction of invariant tori and on the existence of diffusing orbits with ultra-differentiable perturbations, by respectively mimicking a construction of Bessi (in the analytic category) and MarcoSauzin (in the Gevrey non-analytic category). When the perturbation space satisfies some additional condition (we then call it matching), we manage to narrow the gap between stability hypotheses (e.g. the BRM condition) and instability hypotheses, thus circumbscribing the stability threshold. The formulas relating the growth M of derivatives of the perturbation on the one hand, and the arithmetics of robust frequencies or the stability time on the other hand, bring light to the competition between stability properties of nearly integrable systems and the distance to integrability. Due to our method of proof using width of regularity as a regularizing parameter, these formulas are closer to optimal as the the regularity tends to analyticity

We develop differential algebraic K-theory for rings of integers in number fields and we construct a cycle map from geometrized bundles of modules over such a ring to the differential algebraic K-theory. We also treat some of the foundational aspects of differential cohomology, including differential function spectra and the differential Becker-Gottlieb transfer. We then state a transfer index conjecture about the equality of the Becker-Gottlieb transfer and the analytic transfer defined by Lott. In support of this conjecture, we derive some non-trivial consequences which are provable by independent means.

View the abstract.

View the abstract.