Semi-monotone sets

DOI10.4171/JEMS/369MaRDI QIDQ1940824zbMATH OpenOpenAlexFDO

Authors Saugata Basu, Andrei Gabrielov, Nicolai Vorobjov

Publication date 7 March 2013

Published in Journal of the European Mathematical Society (JEMS) (Search for Journal in Brave)

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

zbMATH Keywords

definable seto-minimal geometryPL topologyregular cellsemialgebraic settriangulation

Mathematics Subject Classification ID

Model theory of ordered structures; o-minimality (03C64) Semialgebraic sets and related spaces (14P10) Real-analytic and semi-analytic sets (14P15) Variants of convex sets (star-shaped, ((m, n))-convex, etc.) (52A30) Approximations in PL-topology (57Q55)

Abstract: A coordinate cone in R^n is an intersection of some coordinate hyperplanes and open coordinate half-spaces. A semi-monotone set is a defnable in an o-minimal structure over the reals, open bounded subset of R^n such that its intersection with any translation of any coordinate cone is connected. This can be viewed as a generalization of the convexity property. Semi-monotone sets have a number of interesting geometric and combinatorial properties. The main result of the paper is that every semi-monotone set is a topological regular cell.

Review text

For a bounded, open subset \(U\subseteq{\mathbb R}^n\), the notion that \(U\) is a semi-monotone set can be defined in an elementary way to mean that \(U\) has a connected intersection with any (possibly degenerate) box with sides parallel to the coordinate hyperplanes. This is an analogue of Euclidean convexity but depends on the coordinate system. The main result is that if \(U\) is non-empty, semi-monotone, and definable with respect to some o-minimal structure over \({\mathbb R}\), with closure \(\overline{U}\), then \((\overline{U},U)\) is definably homeomorphic to \(([-1,1]^n,(-1,1)^n)\). The steps in the proof are given as Lemmas, some of which are elementary, others depend on results of PL topology, stated in an Appendix, that require treating the \(n\leq5\) and \(n>5\) cases differently. The semialgebraic case is also considered over an arbitrary real closed field. The study of the semi-monotone property is motivated by a conjecture on the existence of a triangulation of a graph of a definable function from a subset of \({\mathbb R}^m\) to \(\mathbb R\), compatible with the coordinate system of \({\mathbb R}^{m+1}\).

Recommendations

• Monotone functions and maps
• Topological properties of closed weakly m-semiconvex sets
• A Helly-type theorem for semi-monotone sets and monotone maps
• Strict C^1-triangulations in o-minimal structures
• Triangulations of monotone families. I: two-dimensional families

Cites work

• Approximation of definable sets by compact families, and upper bounds on homotopy and homology
• Geometry of subanalytic and semialgebraic sets
• scientific article; zbMATH DE number 1201576 (Why is no real title available?)
• scientific article; zbMATH DE number 3235051 (Why is no real title available?)
• scientific article; zbMATH DE number 3401836 (Why is no real title available?)

Cited in

(8)

• Monotonicity of strata in the stratification of the cone of totally positive matrices
• Monotone functions and maps
• Toric cubes
• O-minimal Hauptvermutung for polyhedra. I
• Triangulations of monotone families. I: two-dimensional families
• A Helly-type theorem for semi-monotone sets and monotone maps
• Monovex sets
• Regular cylindrical algebraic decomposition

This page was built for publication: Semi-monotone sets

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