Abstract:Hironaka's resolution of singularities is a celebrated discipline that has many applications in many areas of Mathematics. In this work we approach the desingularization of semialgebraic sets ${\mathcal S}\subset{\mathbb R}^n$. We prove the counterpart to `Hironaka's desingularization of real algebraic sets' in the semialgebraic setting. It involves Nash manifolds with corners instead of non-singular real algebraic sets. The obtained results are optimal when ${\mathcal S}$ is a closed semialgebraic set. The main tools involved are: Hironaka's desingularization of real algebraic sets, Hironaka's embedded desingularization of real algebraic subsets of non-singular real algebraic sets and drilling blow-ups of Nash manifolds with centers closed Nash submanifolds. We show how to `build' a Nash manifold with corners ${\mathcal Q}\subset{\mathbb R}^n$ from a suitable Nash manifold $M\subset{\mathbb R}^n$ (of its same dimension), which contains ${\mathcal Q}$ as a closed subset, by folding $M$ along the irreducible components of a normal-crossings divisor of $M$, which is the smallest Nash subset of $M$ that contains the boundary $\partial{\mathcal Q}$ of ${\mathcal Q}$. One can choose as the Nash manifold $M$ the Nash `double' $D({\mathcal Q})$ of ${\mathcal Q}$, which is analogous to the Nash double of a Nash manifold with boundary, but $D({\mathcal Q})$ takes into account the peculiarities of the boundary of a Nash manifold with corners. We include several applications: (1) Weak desingularization of closed semialgebraic sets using Nash manifolds with boundary, (2) Representation of compact semialgebraic sets connected by analytic paths as images under Nash maps of closed unit balls, (3) Construction of Nash models for compact orientable smooth surfaces of genus $g\geq0$, and (4) Nash approximation of continuous semialgebraic maps whose target spaces are Nash manifolds with corners.

Some remarks on the coincidence set for the Signorini problem

The Non-Cancelling Intersections Conjecture

More about the cofinality and the covering of the ideal of strong measure zero sets

On the Stability of the $s$-Nonlocal $p$-Obstacle Problem and their Coincidence Sets and Free Boundaries

Une remarque à propos de l'équivalence bilipschitzienne entre des ensembles de Delone. (A remark concerning bi-Lipschitz equivalence between Delone sets.)

On the coincidence of the Hausdorff and box dimensions for some affine-invariant sets

Coincidence theorems for finite topological spaces

On a colorful problem by Dol'nikov concerning translates of convex bodies

On a discrete approach to lower bounds in discrepancy theory

Strong desingularization of semialgebraic sets and applications

The Minkowski problem for the non-compact convex set with an asymptotic boundary condition

Notes on overdetermined singular problems

On coincidence results for summing multilinear operators: interpolation, $\ell_1$-spaces and cotype

Characterization of coincidence site lattices generated by the composition of simple reflections of cubic lattices

An inverse of Furstenberg's correspondence principle and applications to van der Corput sets

Sign Changing Critical Points for Locally Lipschitz Functionals

Manifold-constrained free discontinuity problems and Sobolev approximation

Coincidence of the Dimensions of First Countable Spaces with a Countable Network

Inhomogeneous approximation with coprime integers and lattice orbits

Simultaneous Diagonalization Under Weak Regularity and a Characterization