Abstract:The classical Morse-Sard theorem claims that for a mapping v : R-n -> Rm+1 of class C-k the measure of critical values v(Z(v,m)) is zero under condition k >= n - m. Here the critical set, or m-critical set is defined as Z(v,m) = {x is an element of R-n : rank del v(x) <= m}. Further Dubovitskii in 1957 and independently Federer and Dubovitskii in 1967 found some elegant extensions of this theorem to the case of other (e.g., lower) smoothness assumptions. They also established the sharpness of their results within the C-k category. Here we formulate and prove a bridge theorem that includes all the above results as particular cases: namely, if a function v : R-n -> R-d belongs to the Holder class C-k,C-alpha, 0 <= alpha < 1, then for every q> m the identity H-mu (Z(v,m) boolean AND v(-1) (y)) = 0 holds for H-q-almost all y is an element of R-d, where mu = n - m - (k + alpha) (q - m). Intuitively, the sense of this bridge theorem is very close to Heisenberg's uncertainty principle in theoretical physics: the more precise is the information we receive on measure of the image of the critical set, the less precisely the preimages are described, and vice versa. The result is new even for the classical C-k-case (when alpha = 0); similar result is established for the Sobolev classes of mappings W-p(k)(R-n,R-d) with minimal integrability assumptions p = max(1, n/k), i.e., it guarantees in general only the continuity (not everywhere differentiability) of a mapping. However, using some N-properties for Sobolev mappings, established in our previous paper, we obtained that the sets of nondifferentiability points of Sobolev mappings are fortunately negligible in the above bridge theorem. We cover also the case of fractional Sobolev spaces. The proofs of the most results are based on our previous joint papers with J. Bourgain and J. Kristensen (2013, 2015). We also crucially use very deep Y. Yomdin's entropy estimates of near critical values for polynomials (based on algebraic geometry tools). (C) 2020 Elsevier Masson SAS. All rights reserved.

A Counterexample to Infinite-Dimensional Version of the Morse-Sard Theorem

A note on the Huijsmans-de Pagter problem on finite dimensional ordered vector spaces

A note on the Huijsmans–de Pagter problem on finite dimensional ordered vector spaces

The Morse index theorem in the case of two variable endpoints in conic Finsler manifolds

Infinite Dimensional Morse Theory

A remark on a theorem of Narasimhan and Ramanan

On the causal discontinuity of Morse spacetimes

The structure of finite Morse index solutions to two free boundary problems in $\mathbb{R}^2$

On Some Universal Morse–Sard Type Theorems

Revisiting Arnold's topological proof of the Morse index theorem

Min-max theory and existence of H-spheres with arbitrary codimensions

Morse–Sard theorem and Luzin N-property: a new synthesis result for Sobolev spaces

A New Critical Point Theorem with an Application to a Scalar Equation Without Periodicity and Symmetry

Liouville Theorem for Choquard Equation with Finite Morse Indices

On the asymptotics of Morse numbers of finite covers of manifolds

A new proof of a theorem of Dutertre and Fukui on Morin singularities

Relationship of the Morse Index and the $l^\infty$ Bound of Solutions for a Strongly Indefinite Differential Superlinear System

An Infinite-Dimensional Linking Theorem and Applications

Every finite set of natural numbers is realizable as algebraic periods of a Morse$\unicode{x2013}$Smale diffeomorphism

Morse Index Stability of Biharmonic Maps in Critical Dimension

Morse inequalities for noncompact manifolds