Related papers: Tameness of holomorphic closure dimension in a sem…

Given a set E in a complex space and a point p in E, there is a unique smallest complex-analytic germ containing the germ of E at p, called the holomorphic closure of E at p. We study the holomorphic closure of semialgebraic arc-symmetric…

Given a real analytic (or, more generally, semianalytic) set R in the n-dimensional complex space, there is, for every point p in the closure of R, a unique smallest complex analytic germ X_p that contains the germ R_p. We call the complex…

Given a real analytic set X in a complex manifold and a positive integer d, denote by A(d) the set of points p in X at which there exists a germ of a complex analytic set of dimension d contained in X. It is proved that A(d) is a closed…

This paper deals with the existence of algebraic structures on compact Nash sets. We introduce the algebraic-topological notion of asymmetric Nash cobordism between compact Nash sets, and we prove that a compact Nash set is…

We give conditions under which a germ of a holomorphic mapping in $\Bbb C^N$, mapping an irreducible real algebraic set into another of the same dimension, is actually algebraic. Let $A\subset \bC^N$ be an irreducible real algebraic set.…

The h-cobordism theorem is a noted theorem in differential and PL topology. A generalization of the h-cobordism theorem for possibly non simply connected manifolds is the so called s-cobordism theorem. In this paper, we prove semialgebraic…

A question of B. Teissier, inspired by a previous problem of R. Thom, asks whether for any germ of complex analytic hypersurface there exists a germ of complex algebraic hypersurface with the same topological type. Up to now only the case…

In this work we study the existence of surjective Nash maps between two given semialgebraic sets ${\mathcal S}$ and ${\mathcal T}$. Some key ingredients are: the irreducible components ${\mathcal S}_i^*$ of ${\mathcal S}$ (and their…

We show that for algebraic groups over local fields of characteristic zero, the following are equivalent: Every homomorphism has a closed image, every unitary representation decomposes into a direct sum of finite-dimensional and mixing…

T. Mostowski showed that every (real or complex) germ of an analytic set is homeomorphic to the germ of an algebraic set. In this paper we show that every (real or complex) analytic function germ, defined on a possibly singular analytic…

We study a germ of real analytic $n$-dimensional submanifold of ${\mathbf C}^n$ that has a complex tangent space of maximal dimension at a CR singularity. Under the condition that its complexification admits the maximum number of deck…

If $R$ is a real analytic set in $\C^n$ (viewed as $\R^{2n}$), then for any point $p\in R$ there is a uniquely defined germ $X_p$ of the smallest complex analytic variety which contains $R_p$, the germ of $R$ at $p$. It is shown that if $R$…

Let M be a real analytic manifold modeled on a locally convex space and K be a non-empty compact subset of M. We show that if an open neighborhood of K in M admits a complexification which is a regular topological space, then the germ of…

A celebrated theorem in Real Algebraic and Analytic Geometry (originally due to Bruhat-Cartan and Wallace and stated later in its current form by Milnor) is the (Nash) curve selection lemma. It states that each point in the closure of a…

Two subanalytic subsets of R^n are called s-equivalent at a common point P if the Hausdorff distance between their intersections with the sphere centered at P of radius r vanishes of order greater than s when r tends to 0. In this paper we…

The image of a holomorphic map germ is not necessarily locally open, and it is not always well-defined as a set germ. We find the structure of what becomes the image of a map germ when the target is a surface. We encode it as a decorated…

We show that every semialgebraic set admits a semialgebraic triangulation such that each closed simplex is $C^1$ differentiable. As an application, we give a straightforward definition of the integration $\int_X \omega$ over a compact…

Let X be a normal connected complex algebraic variety equipped with a semisimple complex representation of its fundamental group. Then, under a maximality assumption, we prove that the covering space of X associated to the kernel of the…

Let $K\subseteq{\mathbb R}^n$ be a convex semialgebraic set. The semidefinite extension degree ${\mathrm{sxdeg}}(K)$ of $K$ is the smallest number $d$ such that $K$ is a linear image of an intersection of finitely many spectrahedra, each of…

We prove the following CR version of Artin's approximation theorem for holomorphic mappings between real-algebraic sets in complex space. Let $M\subset \C^N$ be a real-algebraic CR submanifold whose CR orbits are all of the same dimension.…