Related papers: On globally defined semianalytic sets

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…

The purpose of this paper is to define semi- and subanalytic subsets and maps in the context of real analytic orbifolds and to study their basic properties. We prove results analogous to some well-known results in the manifold case. For…

We consider a global semianalytic set defined by real analytic functions definable in an o-minimal structure. When the o-minimal structure is polynomially bounded, we show that the closure of this set is a global semianalytic set defined by…

Let $\mathcal C$ be a class of topological semigroups. A semigroup $X$ is called (1) $\mathcal C$-$closed$ if $X$ is closed in every topological semigroup $Y\in\mathcal C$ containing $X$ as a discrete subsemigroup, (2) $ideally$ $\mathcal…

Let $X$ be a real analytic orbifold. Then each stratum of $X$ is a subanalytic subset of $X$. We show that $X$ has a unique subanalytic triangulation compatible with the strata of $X$. We also show that every ${\rm C}^r$-orbifold, $1\leq…

Let K be an algebraically closed field endowed with a complete non-archimedean norm with valuation ring R. Let f:Y -> X be a map of K-affinoid varieties. In this paper we study the analytic structure of the image f(Y) in X; such an image is…

We consider a subanalytic subset A of a complex analytic manifold M (when M is viewed as a real manifold) and formulate conditions under which A is a complex analytic subset of M.

In the first half of twentieth century the theory of complex analytic functions and of their zerosets was fully developed. The definition of holomorphic function has a local nature. Germs of holomorphic functions form a distinguished…

We introduce the natural and fairly general notion of a subanalytic bundle (with a finite dimensional vector space $P$ of sections) on a subanalytic subset $X$ of a real analytic manifold $M$, and prove that when $M$ is compact, there is a…

In this paper, we introduce and study the concepts of semi open SOM) and semi closed (SCM) M-sets in multiset topological spaces.With this generalization of the notions of open and closed sets in M-topology, we generalize the concept of…

It is shown that every C-semianalytic arc-symmetric set can be realized as the zero locus of an arc-analytic function. As a consequence, a Nash globally subanalytic arc-symmetric set is the zero locus of a continuous globally-subanalytic…

Given a closed semi-algebraic set $X \subset \mathbb{R}^n$ and a continuous semi-algebraic mapping $G \colon X \to \mathbb{R}^m,$ it will be shown that there exists an open dense semi-algebraic subset $\mathscr{U}$ of $L(\mathbb{R}^n,…

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…

We show that if $X$ is an $m$-dimensional definable set in $\mathbb{R}^\text{pow}_\text{an}$, the structure of real subanalytic sets with real power maps added, then for any positive integer r there exists a $C^r$-parameterization of X…

We introduce a general framework, based on \'etale topological categories, for studying discrete restriction semigroups and their algebras. Generalizing Paterson's universal groupoid of an inverse semigroup, we define the universal category…

We discuss the notion of matrix model, $\pi:C(X)\to M_K(C(T))$, for algebraic submanifolds of the free complex sphere, $X\subset S^{N-1}_{\mathbb C,+}$. When $K\in\mathbb N$ is fixed there is a universal such model, which factorizes as…

We prove that the set of Segre-degenerate points of a real-analytic subvariety $X$ in ${\mathbb{C}}^n$ is a closed semianalytic set. It is a subvariety if $X$ is coherent. More precisely, the set of points where the germ of the Segre…

In this work we study some algebraic and topological properties of the ring ${\mathcal O}(X^\nu)$ of global analytic functions of the normalization $(X^\nu,{\mathcal O}_{X^\nu})$ of a reduced complex analytic space $(X,{\mathcal O}_X)$. If…

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…

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…