Related papers: On subanalytic subsets of real analytic orbifolds
In this work we characterize the subsets of ${\mathbb R}^n$ that are images of Nash maps $f:{\mathbb R}^m\to{\mathbb R}^n$. We prove Shiota's conjecture and show that a subset ${\mathcal S}\subset{\mathbb R}^n$ is the image of a Nash map…
We construct an infinite dimensional real analytic manifold structure for the space of real analytic mappings from a compact manifold to a locally convex manifold. Here a map is real analytic if it extends to a holomorphic map on some…
Let $S$ be a generic submanifold of $C^N$ of real codimension m. In this work we continue the study, carried over by various authors, of the set of analytic discs attached to S. Let $M$ be the set of analytic discs attached to $S.$ Given $q…
In this work we compare the semialgebraic subsets that are images of regulous maps with those that are images of regular maps. Recall that a map f : R n $\rightarrow$ R m is regulous if it is a rational map that admits a continuous…
Let X be an affine real algebraic set . We investigate on the theory of algebraically constructible functions on X and the description of the semi-algebraic subsets of X when we replace the polynomial functions on X by some rational…
In this work we present the concept of amenable $C$-semianalytic subset of a real analytic manifold $M$ and study the main properties of this type of sets. Amenable $C$-semianalytic sets can be understood as globally defined semianalytic…
These notes constitute a survey on the geometric properties of globally subanalytic sets. We start with their definition and some fundamental results such as Gabrielov's Complement Theorem or existence of cell decompositions. We then give…
A subset $X$ of an Abelian group $G$ is called $semiaf\!fine$ if for every $x,y,z\in X$ the set $\{x+y-z,x-y+z\}$ intersects $X$. We prove that a subset $X$ of an Abelian group $G$ is semiaffine if and only if one of the following…
We work with quasianalytic classes of functions. Consider a real-valued function y = f(x) on an open subset U of Euclidean space, which satisfies a quasianalytic equation G(x, y) = 0. We prove that f is arc-quasianalytic (i.e., its…
Let $X$ be a perfect, compact subset of the complex plane. We consider algebras of those functions on $X$ which satisfy a generalised notion of differentiability, which we call $\mathcal{F}$-differentiability. In particular, we investigate…
We consider the situation of a dominant meromorphic self-map $f: X -rightarrow X$, where $X$ is a compact K\"ahler manifold of dimension $n > 1$. Suppose there is an embedded copy of $\mathbb{P}^1$ that is invariant under $f$, with $f$…
Semi-algebraic set is a subset of the real space defined by polynomial equations and inequalities. In this paper, we consider the problem of deciding whether two given points in a semi-algebraic set are connected. We restrict to the case…
Dahmen and Schmeding have obtained the result that although the smooth Lie group $G$ of real analytic diffeomorphisms $\mathbb S^{\,1.}\to\mathbb S^{\,1.}$ has a compatible analytic manifold structure, it does not make $G$ a real analytic…
Based on a recently developed rank Theorem for Eisenstein power series, we provide new proofs of the following two results of W. Pawlucki: I) The non regular locus of a complex or real analytic map is an analytic set. II) The set of…
Real algebraic geometry is the study of semi-algebraic sets, subsets of $\R^k$ defined by Boolean combinations of polynomial equalities and inequalities. The focus of this thesis is to study quantitative results in real algebraic geometry,…
Given a compact semialgebraic set S of R^n and a polynomial map f from R^n to R^m, we consider the problem of approximating the image set F = f(S) in R^m. This includes in particular the projection of S on R^m for n greater than m. Assuming…
Let f : (M,p)\to (M',p') be a formal biholomorphic mapping between two germs of real analytic hypersurfaces in \C^n, p'=f(p). Assuming the source manifold to be minimal at p, we prove the convergence of the so-called reflection function…
We study the Gauss map and the dual variety of a real-analytic immersion of a connected compact real-analytic manifold into a sphere or into a hyperbolic space. The dual variety is defined to be the set of all normal directions of the…
In this letter we proved this theorem: \emph{if $F$ be a holomorphic mapping of $T_{\Omega}$ to a mapping manifold $X$ such that for every compact subset $K\subset \Omega$ the mapping $F$ is uniformly continues on $T_{K}$ and $F(T_{K})$ is…
The continuity, in a suitable topology, of algebraic and geometric operations on real analytic manifolds and vector bundles is proved. This is carried out using recently arrived at seminorms for the real analytic topology. A new…