More on basic semialgebraic sets
[For the entire collection see Zbl 0756.00007.] It is proved that an open semialgebraic set \(S \subset X\), \(X\) a real algebraic variety, which does not meet the Zariski closure of its boundary is basic (i.e. defined by a conjunction of strict polynomial inequalities) if and only if its intersection \(S \cap Y\) is generically basic (i.e. basic up to a set of codimension at least 1) for any irreducible algebraic surface \(Y \subset X\). This proves that a possible obstruction to basicness appears in the lowest possible dimension (since semialgebraic opens of curves are always basic opens). The paper relies on fan and valuation techniques that are the classical tools developed by L. Bröcker and others to deal with these questions and uses the density of fans trivializing along prime divisors among all fans. At the end several interesting examples explain why this does not hold in the Nash and analytic cases even if several ingredients of the proof can be extended. The main reason is that Bertini's theorem does not hold (the intersection of a torus by a plane is never Nash or analytic irreducible).
- On basic semialgebraic sets
- On fans in real surfaces
- Low dimensional sections of basic semialgebraic sets
- An algorithmic criterion for basicness in dimension 2
- Ubiquity of Łojasiewicz's example of a nonbasic semialgebraic set
- On regular open semi-algebraic sets
- Separation of semialgebraic sets
- Algebraic and analytic geometry of fans
This page was built for publication: More on basic semialgebraic sets
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4037344)
