On globally defined semianalytic sets

DOI10.1007/S00208-015-1342-5zbMATH Open1371.14063arXiv1503.00987OpenAlexW1486979707MaRDI QIDQ330871FDOQ330871

Authors: Francesca Acquistapace, Fabrizio Broglia, José F. Fernando 

Publication date: 26 October 2016

Published in: Mathematische Annalen (Search for Journal in Brave)

Abstract: In this work we present the concept of $C$-semianalytic subset of a real analytic manifold and more generally of a real analytic space. $C$-semianalytic sets can be understood as the natural generalization to the semianalytic setting of global analytic sets introduced by Cartan ($C$-analytic sets for short). More precisely $S$ is a $C$-semianalytic subset of a real analytic space $(X,{mathcalO}_X)$ if each point of $X$ has a neighborhood $U$ such that $ScapU$ is a finite boolean combinations of global analytic equalities and strict inequalities on $X$. By means of paracompactness $C$-semianalytic sets are the locally finite unions of finite boolean combinations of global analytic equalities and strict inequalities on $X$. The family of $C$-semianalytic sets is closed under the same operations as the family of semianalytic sets: locally finite unions and intersections, complement, closure, interior, connected components, inverse images under analytic maps, sets of points of dimension $k$, etc. although they are defined involving only global analytic functions. In addition, we characterize subanalytic sets as the images under proper analytic maps of $C$-semianalytic sets. We prove also that the image of a $C$-semianalytic set $S$ under a proper holomorphic map between Stein spaces is again a $C$-semianalytic set. The previous result allows us to understand better the structure of the set $N(X)$ of points of non-coherence of a $C$-analytic subset $X$ of a real analytic manifold $M$. We provide a global geometric-topological description of $N(X)$ inspired by the corresponding local one for analytic sets due to Tancredi-Tognoli (1980), which requires complex analytic normalization. As a consequence it holds that $N(X)$ is a $C$-semianalytic set of dimension $leqdim(X)-2$.

Full work available at URL: https://arxiv.org/abs/1503.00987

Recommendations

• Some results on global real analytic geometry. Dedicated to Murray Marshall, in memoriam
• scientific article
• scientific article; zbMATH DE number 4103445
• Some properties of global semianalytic subsets of coherent surfaces
• scientific article; zbMATH DE number 3920933

Mathematics Subject Classification ID

Real-analytic functions (26E05) Normal analytic spaces (32C20) Real-analytic and Nash manifolds (58A07) Real-analytic and semi-analytic sets (14P15) Analytic subsets and submanifolds (32C25)

Cites Work

• Semianalytic and subanalytic sets
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Geometry of subanalytic and semialgebraic sets
• Title not available (Why is that?)
• Title not available (Why is that?)
• Quelques propriétés fondamentales des ensembles analytiques-réels
• Title not available (Why is that?)
• Introduction to the theory of analytic spaces
• Proprieta globali degli spazi analitici reali
• Title not available (Why is that?)
• Variétés analytiques réelles et variétés analytiques complexes
• Title not available (Why is that?)
• On the connected components of a global semianalytic set.
• Title not available (Why is that?)
• Connected components of global semianalytic subsets of 2-dimensional analytic manifolds.
• The finiteness property and Łojasiewicz inequality for global semianalytic sets
• Title not available (Why is that?)
• Title not available (Why is that?)
• Lipschitz properties of semi-analytic sets
• Minimal generation of basic open semianalytic sets
• Stratifications et ensemble de non-cohérence d'un espace analytique réel
• Projections of semi-analytic sets
• Analytic and algebraic dependence of meromorphic functions
• Sur les fonctions analytiques de plusieurs variables. VIII. Lemme fondamental
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• La continuité de la section d'un ensemble semi-analytique et compact
• Title not available (Why is that?)
• Homology and images of semianalytic sets
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• The noetherian space of abstract locally nash sets
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Smooth points of a semialgebraic set
• Title not available (Why is that?)

Cited In (11)

• Complexity of global semianalytic sets in a real analytic manifold of dimension 2
• Normalization of complex analytic spaces from a global viewpoint
• On the irreducible components of globally defined semianalytic sets
• Title not available (Why is that?)
• Positive semidefinite analytic functions on real analytic surfaces
• Title not available (Why is that?)
• Some properties of global semianalytic subsets of coherent surfaces
• On the set of local extrema of a subanalytic function
• Title not available (Why is that?)
• Separation of global semianalytic sets
• Some results on global real analytic geometry

This page was built for publication: On globally defined semianalytic sets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q330871)