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.

Desingularization of finitely smooth vector fields on the plane

Local models for smooth vector fields of the line

Singular points in generic two-parameter families of vector fields on 2-manifold

Formal Desingularization of Surfaces - The Jung Method Revisited -

Asymptotic Rules of Equilibrium Desingularization

Uniqueness of the Singular Points of Vector Fields on Riemannian Manifolds under the Γ-Condition

Uniqueness of irreducible desingularization of singularities associated to negative vector bundles

Desingularization of generic symmetric and generic skew-symmetric determinantal singularities

Topological equivalence of finitely determined real analytic plane-to-plane map-germs

On geometric invariants of singular plane curves

Singularities of 3d vector fields preserving the form of Martinet

Desingularization of Lie groupoids and pseudodifferential operators on singular spaces

Desingularizing special generic maps into 3-dimensional space

Reduction of Singularities of Holomorphic Maps of $\cv^2$ Tangent to the Identity

Strong desingularization of semialgebraic sets and applications

Geometry of transcendental singularities of complex analytic functions and vector fields

Plane Polynomials and Hamiltonian Vector Fields Determined by Their Singular Points

Desingularization of Legendrian Surfaces

Desingularization of branch points of minimal disks in $\mathbb{R}^4$

Slow-fast normal forms arising from piecewise smooth vector fields