Related papers: Surjective Nash maps between semialgebraic sets

If $F$ is a set-valued mapping from $\R^n$ into $\R^m$ with closed graph, then $y\in \R^m$ is a critical value of $F$ if for some $x$ with $y\in F(x)$, $F$ is not metrically regular at $(x,y)$. We prove that the set of critical values of a…

We present a new notion of decomposition of semialgebraic sets by introducing a mode of irreducibility based on arc-analytic functions. The result is a refinement of the decomposition of such sets with respect to the Zariski topology as…

We construct certain non-degenerate maps and sets, mainly in the complex-analytic category. For example, we show that for every countable subset S in an irreducible complex space X there exists a holomorphic map from the unit disk to X such…

In this work we study some properties and applications of Nash manifolds with corners. Our first main result shows how to `build' a Nash manifold with corners ${\mathcal Q}\subset{\mathbb R}^n$ from a suitable Nash manifold…

In this paper we study the problem of deciding whether two disjoint semialgebraic sets of an algebraic variety over R are separable by a polynomial. For that we isolate a dense subfamily of Spaces of Orderings, named Geometric, which…

In this work we prove that the set of points at infinity $S_\infty:={\rm Cl}_{{\mathbb R}{\mathbb P}^m}(S)\cap\mathsf{H}_\infty$ of a semialgebraic set $S\subset{\mathbb R}^m$ which is the image of a polynomial map $f:{\mathbb…

In 1957 Cartan proved his celebrated Theorem B and deduced that if $\Omega\subset{\mathbb R}^n$ is an open set and $X$ is a coherent real analytic subset of $\Omega$, then $X$ has the analytic extension property: Each real analytic function…

Accurate medical image segmentation especially for echocardiographic images with unmissable noise requires elaborate network design. Compared with manual design, Neural Architecture Search (NAS) realizes better segmentation results due to…

A basic problem in the study of algebraic morphisms is to determine which sets can be realised as the image of an endomorphism of affine space. This paper extends the results previously obtained by the first author on the question of…

Let $G = V, E$ be a simple connected undirected graph. A set $X \subseteq V$ is \emph{geodesically convex} if for any pair of vertices $x, y \in X$, all vertices on all shortest paths in $G$ from $x$ to $y$ are contained in $X$. A set $H…

In this article we show that positive surjective isometries between symmetric spaces associated with semi-finite von Neumann algebras are projection disjointness preserving if they are finiteness preserving. This is subsequently used to…

We prove that, if X is a variety over an uncountable algebraically closed field k of characteristic zero, then any irreducible exceptional divisor E on a resolution of singularities of X which is not uniruled, belongs to the image of the…

Let $\cal A$ and $\cal B$ be Banach algebras. A linear map $T:{\cal A} \rightarrow {\cal B}$ is called separating or disjointness preserving if $ab=0$ implies $Ta\;Tb = 0$ for all $a,b\in {\cal A}$. In this paper, we study a new class of…

Many important sets of normalized states in a multipartite quantum system of finite dimension d, such as the set S of all separable states, are real semialgebraic sets. We compute dimensions of many such sets in several low-dimensional…

We consider semigroups of transformations (partial mappings defined on a set $A$) closed under the set-theoretic intersection of mappings treated as subsets of $A\times A$. On such semigroups we define two relations: the relation of…

Schwartz functions, or measures, are defined on any smooth semi-algebraic ("Nash") manifold, and are known to form a cosheaf for the semi-algebraic restricted topology. We extend this definition to smooth semi-algebraic stacks, which are…

We prove (and improve) the Muir-Suffridge conjecture for holomorphic convex maps. Namely, let $F:\mathbb B^n\to \mathbb C^n$ be a univalent map from the unit ball whose image $D$ is convex. Let $\mathcal S\subset \partial \mathbb B^n$ be…

In this note we collect some significant contributions on metric invariants for complex Banach algebras and Jordan--Banach algebras established during the last fifteen years. This note is mainly expository, but it also contains complete…

In this work we prove that a semialgebraic set $M\subset{\mathbb R}^m$ is determined (up to a semialgebraic homeomorphism) by its ring ${\mathcal S}(M)$ of (continuous) semialgebraic functions while its ring ${\mathcal S}^*(M)$ of…

In this work we analyze some topological properties of the remainder $\partial M:=\beta_s^* M\setminus M$ of the semialgebraic Stone-C\v{e}ch compactification $\beta_s^* M$ of a semialgebraic set $M\subset{\mathbb R}^m$ in order to…