Geometric categories and o-minimal structures
From MaRDI portal
The theory of subanalytic sets is an excellent tool in various analytic-geometric contexts; see, for example, \textit{E. Bierstone} and \textit{P. D. Milman} [Publ. Math., Inst. Hautes Étud. Sci. 67, 5-42 (1988; Zbl 0674.32002)]. Regrettably, certain ``nice sets -- such as \(\{(x, x^r): x>0\}\) for positive irrational \(r\), and \(\{(x, e^{-1/x}): x>0\}\) -- are not subanalytic (at the origin) in \(\mathbb{R}^2\). Here we make available an extension of the category of subanalytic sets that has these sets among its objects and that behaves much like the category of subanalytic sets. The possibility of doing this emerged in 1991 when \textit{A. Wilkie} [J. Am. Math. Soc. 9, No. 4, 1051-1094 (1996)] proved that the real exponential field is ``model complete, followed soon by work of Ressayre, Macintyre, Marker and the authors. However, there are two obstructions to the use by geometers of this development: (i) while the proofs in these articles make essential use of model theory, many results are also stated there (efficiently, but unnecessarily) in model-theoretic terms; (ii) the results of these papers apply directly only to the Cartesian spaces \(\mathbb{R}^n\), and not to arbitrary real analytic manifolds. Consequently, in order to carry out our goal, we recast here some results in those papers -- as well as many of their consequences -- in more familiar terms, with emphasis on results of a geometric nature, and allowing arbitrary (real analytic) manifolds as ambient spaces.
Recommendations
Cites work
- A generalization of the Tarski-Seidenberg theorem, and some nondefinability results
- Characteristic cycles of constructible sheaves
- Expansions of the real field with power functions
- Exponentiation is Hard to Avoid
- Extending Tamm's theorem
- scientific article; zbMATH DE number 440484 (Why is no real title available?)
- scientific article; zbMATH DE number 3871758 (Why is no real title available?)
- scientific article; zbMATH DE number 4029737 (Why is no real title available?)
- scientific article; zbMATH DE number 4103445 (Why is no real title available?)
- scientific article; zbMATH DE number 47944 (Why is no real title available?)
- scientific article; zbMATH DE number 599142 (Why is no real title available?)
- scientific article; zbMATH DE number 3449528 (Why is no real title available?)
- scientific article; zbMATH DE number 786608 (Why is no real title available?)
- scientific article; zbMATH DE number 891208 (Why is no real title available?)
- Infinite Differentiability in Polynomially Bounded O-Minimal Structures
- Logarithmic-Exponential Power Series
- Model completeness results for expansions of the ordered field of real numbers by restricted Pfaffian functions and the exponential function
- Nash manifolds
- On the real exponential field with restricted analytic functions
- Semi-Algebraic Local-Triviality in Semi-Algebraic Mappings
- Semianalytic and subanalytic sets
- Stratification of real analytic mappings and images
- Subanalytic sets in the calculus of variation
- The elementary theory of restricted analytic fields with exponentiation
- Topologically Noetherian analytic algebras. Khovanskij's theory
Cited in
(only showing first 100 items - show all)- On the number of topological types occurring in a parameterized family of arrangements
- o-minimal analytic separation of sets in dimension 2
- Semi-algebraic neighborhoods of closed semi-algebraic sets
- The Dirichlet problem in the plane with semianalytic raw data, quasi analyticity, and o-minimal structure
- Tame functions with strongly isolated singularities at infinity: a tame version of a Parusiński's theorem
- Microlocal branes are constructible sheaves
- On gradients of functions definable in o-minimal structures
- Volumes, Rolle leaves of analytic foliations and Wilkie's theorem
- Elimination of infinitesimal quantifiers
- Betti numbers of semi-Pfaffian sets
- Finiteness property for generalized abelian integrals.
- Intrinsic curvatures in analytic-geometric categories
- \(K\)-subanalytic rectilinearization and uniformization
- Analytic stratification in the Pfaffian closure of an o-minimal structure
- On the role of abnormal minimizers in sub-Riemannian geometry
- Integration of oscillatory and subanalytic functions
- Algebraic and o-minimal flows on complex and real tori
- Genericity and Hölder stability in semi-algebraic variational inequalities
- Transversality in variational analysis
- The value function approach to convergence analysis in composite optimization
- An iterative support shrinking algorithm for non-Lipschitz optimization in image restoration
- Diophantine approximations on definable sets
- On definable multifunctions and Łojasiewicz inequalities
- UPC condition in polynomially bounded o-minimal structures
- Real spectrum of ring of definable functions
- On sparseness, reducibilities, and complexity
- Łojasiewicz-type inequalities in complex analysis
- Weak Wu stratification in \(\mathbb{R}^n\)
- Intersection theory for o-minimal manifolds
- Convergence of descent methods for semi-algebraic and tame problems: proximal algorithms, forward-backward splitting, and regularized Gauss-Seidel methods
- Definability of restricted theta functions and families of abelian varieties
- A new globally convergent algorithm for non-Lipschitz \(\ell_{p}-\ell_q\) minimization
- Tractable ADMM schemes for computing KKT points and local minimizers for \(\ell_0\)-minimization problems
- Effective two-stage image segmentation: a new non-Lipschitz decomposition approach with convergent algorithm
- Conservative set valued fields, automatic differentiation, stochastic gradient methods and deep learning
- O-minimal flows on nilmanifolds
- Differentiability properties of log-analytic functions
- Existence of Pareto solutions for vector polynomial optimization problems with constraints
- Restricted log-exp-analytic functions and some differentiability results
- Solutions of definable ODEs with regular separation and dichotomy interlacement versus Hardy
- Principal kinematic formulas for germs of closed definable sets
- Some classical analysis results for continuous definable mappings
- Global convergence of model function based Bregman proximal minimization algorithms
- Convergence of constant step stochastic gradient descent for non-smooth non-convex functions
- Almost o-minimal structures and \(\mathfrak{X}\)-structures
- Polynomial inequalities, o-minimality and Denjoy-Carleman classes
- On the Reeb spaces of definable maps
- Stratifications, equisingularity and triangulation
- Basics on Lipschitz geometry
- Hölder-Łojasiewicz inequalities for volumes of tame objects
- Convergence rates for an inertial algorithm of gradient type associated to a smooth non-convex minimization
- Infinite horizon problems on stratifiable state-constraints sets
- Approximation of holomorphic functions on compact subsets of R^N
- Global Łojasiewicz-type inequality for non-degenerate polynomial maps
- Stochastic subgradient method converges on tame functions
- On the set of local extrema of a subanalytic function
- On tangent cones of analytic sets and Łojasiewicz exponents
- Tempered distributions and Schwartz functions on definable manifolds
- A stable \(\infty\)-category of Lagrangian cobordisms
- On the existence of Pareto solutions for polynomial vector optimization problems
- Optimal multivariate Gaussian fitting with applications to PSF modeling in two-photon microscopy imaging
- On the Oberlin affine curvature condition
- Whitney's extension problem in o-minimal structures
- Solitary trajectories of analytic vector fields
- Holomorphic Lagrangian branes correspond to perverse sheaves
- Splitting methods with variable metric for Kurdyka-Łojasiewicz functions and general convergence rates
- On damped second-order gradient systems
- Rational points on analytic varieties
- An estimate for the Siciak extremal function -- subanalytic geometry approach
- Remez-type inequality on sets with cusps
- Łojasiewicz inequalities with explicit exponents for smallest singular value functions
- O-minimal \(\Lambda ^{m}\)-regular stratification
- Hölder-type global error bounds for non-degenerate polynomial systems
- Singular vanishing-viscosity limits of gradient flows: the finite-dimensional case
- Topological groups, \(\mu\)-types and their stabilizers
- The degrees of freedom of partly smooth regularizers
- Lipschitz-Killing curvatures and polar images
- The Łojasiewicz-Siciak condition of the pluricomplex Green function
- On some global semianalytic sets
- Directional properties of sets definable in o-minimal structures
- Model completeness in o-minimal polynomially bounded structures
- Smooth functions in o-minimal structures
- Global subanalytic solutions of Hamilton--Jacobi type equations
- A nonsmooth Morse--Sard theorem for subanalytic functions
- The rational points of a definable set
- Stratified discontinuous differential equations and sufficient conditions for robustness
- Turing meets Schanuel
- Lipschitz geometry of curves and surfaces definable in o-minimal structures
- Global Łojasiewicz inequalities on comparing the rate of growth of polynomial functions
- Conservative and semismooth derivatives are equivalent for semialgebraic maps
- Sheaves on T-topologies
- Proximal linearization methods for Schatten p-quasi-norm minimization
- Stochastic proximal subgradient descent oscillates in the vicinity of its accumulation set
- o-minimal GAGA and a conjecture of Griffiths
- Real equisingularity: Lelong numbers and polar projections
- O-minimal structures and real analytic geometry
- Łojasiewicz inequalities in o-minimal structures
- Łojasiewicz-type inequalities and global error bounds for nonsmooth definable functions in o-minimal structures
- Generic minimizing behavior in semialgebraic optimization
- Convergent semidefinite programming relaxations for global bilevel polynomial optimization problems
This page was built for publication: Geometric categories and o-minimal structures
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1922131)
