Calculus of Variations and Geometric Measure Theory

A. Lerario - L. Rizzi - D. Tiberio

Quantitative approximate definable choices

created by rizzi1 on 24 Sep 2024
modified on 13 Feb 2025

[BibTeX]

Accepted Paper

Inserted: 24 sep 2024
Last Updated: 13 feb 2025

Journal: Math. Ann.
Year: 2024

ArXiv: 2409.14869 PDF

Abstract:

A definable choice is a semialgebraic selection of one point in every fiber of the projection of a semialgebraic set. Definable choices exist by semialgebraic triviality, but their complexity depends exponentially on the number of variables. By allowing the selection to be approximate (in the Hausdorff sense), we quantitatively improve this result. In particular, we construct an approximate selection with degree that is linear in the complexity of the original set, and independent on the number of variables. This work is motivated by infinite-dimensional applications, in particular to the Sard conjecture in sub-Riemannian geometry. To prove these results, we develop a general quantitative theory for Hausdorff approximations in semialgebraic geometry, which has independent interest.