1: \begin{abstract}

2: Motivated by the Sard conjecture in sub-Riemannian geometry, and more specifically on Carnot groups, we consider the set of maps defined on a Hilbert space $H$:

3: \begin{equation}

4: \mathscr{P}_{d}^m(H)=\bigg\{f:H\to \R^m\,\bigg|\, \forall\, E\subset H, \,\dim(E)<\infty \implies f|_{E} \textrm{ is a polynomial map of degree $d$}\bigg\}.

5: \end{equation}

6: Example of maps belonging to this class are: the map $f:\ell^2\to \R$ constructed by Kukpa \cite{Kupka} as a counterexample for the Sard theorem in infinite dimension;  the Endpoint maps of Carnot groups. 

7: 

8: We prove that, for infinite-dimensional subspaces $\V \subset H$ satisfying quantitative assumptions on their Kolmogorov $n$-width, the restriction of $f$ on $\V$ has the Sard property, i.e.\ the set of critical values of $f|_{\V}$ has measure zero in $\R^m$. We prove various quantitative versions of this result, allowing to study the Sard property also for the case ${\V}=H$. By constructing suitable examples, we prove the sharpness of our $n$-width assumptions. 

9: 

10: We apply these results to sub-Riemannian geometry, proving that on Carnot groups the Sard property holds true for the restriction of the Endpoint map on the set of real-analytic controls with large enough radius of convergence. This is a more functional-analytic approach to the Sard conjecture that, unlike previous ones, does not resort to reduction to finite-dimensions.

11: 	

12: %We make extensive use of semialgebraic geometry, proving some technical results of their own interest on quantitative semialgebraic selections and Hausdorff approximations of semialgebraic sets.

13: 		\end{abstract}

14: