-
Effective Bounds on Topological Types of Real Algebraic and Semialgebraic Sets
Authors:
Kartoue Mady Demdah,
Ibrahim Nonkane
Abstract:
In this paper, we revisit the problem of classifying real algebraic and semialgebraic sets by their topological types, focusing on establishing the effectiveness of bounds rather than deriving new quantitative estimates. Building on Hardt's theorem and leveraging a model-theoretic framework, we prove the existence of effective bounds on the number of distinct topological types for real algebraic s…
▽ More
In this paper, we revisit the problem of classifying real algebraic and semialgebraic sets by their topological types, focusing on establishing the effectiveness of bounds rather than deriving new quantitative estimates. Building on Hardt's theorem and leveraging a model-theoretic framework, we prove the existence of effective bounds on the number of distinct topological types for real algebraic sets defined by polynomials of bounded degree. While less precise than previously known doubly exponential bounds derived from methods such as Stratified Cylindrical Algebraic Decomposition, our results are obtained with minimal additional work, emphasizing simplicity and uniformity.
Additionally, we establish the existence of an effective bound on the complexity of the semialgebraic homeomorphisms that describe representatives of the topological equivalence classes, offering a novel perspective on their explicit classification. These findings complement existing results by demonstrating the effectiveness of uniform bounds within a logical and geometric framework. The paper concludes with an extension of these results to semialgebraic sets of bounded complexity, further emphasizing the uniformity of the approach across varying real closed fields.
△ Less
Submitted 21 December, 2024;
originally announced December 2024.
-
Simultaneous resolution of singularities in the Nash category: finiteness and effectiveness
Authors:
Kartoue Mady Demdah
Abstract:
In this paper we present new proofs using real spectra of the finiteness theorem on Nash trivial simultaneous resolution and the finiteness theorem on Blow-Nash triviality for isolated real algebraic singularities. That is, we prove that a family of Nash sets in a Nash manifold indexed by a semialgebraic set always admits a Nash trivial simultaneous resolution after a partition of the parameter sp…
▽ More
In this paper we present new proofs using real spectra of the finiteness theorem on Nash trivial simultaneous resolution and the finiteness theorem on Blow-Nash triviality for isolated real algebraic singularities. That is, we prove that a family of Nash sets in a Nash manifold indexed by a semialgebraic set always admits a Nash trivial simultaneous resolution after a partition of the parameter space into finitely many semialgebraic pieces and in the case of isolated singularities it admits a finite Blow-Nash trivialization. We also complement the finiteness results with recursive bounds.
△ Less
Submitted 13 May, 2016; v1 submitted 20 March, 2014;
originally announced March 2014.
-
h-cobordism and s-cobordism Theorems: Transfer over Semialgebraic and Nash categories, Uniform bound and Effectiveeness
Authors:
Kartoue Mady Demdah
Abstract:
The h-cobordism theorem is a noted theorem in differential and PL topology. A generalization of the h-cobordism theorem for possibly non simply connected manifolds is the so called s-cobordism theorem. In this paper, we prove semialgebraic and Nash versions of these theorems. That is, starting with semialgebraic or Nash cobordism data, we get a semialgebraic homeomorphism (respectively a Nash di…
▽ More
The h-cobordism theorem is a noted theorem in differential and PL topology. A generalization of the h-cobordism theorem for possibly non simply connected manifolds is the so called s-cobordism theorem. In this paper, we prove semialgebraic and Nash versions of these theorems. That is, starting with semialgebraic or Nash cobordism data, we get a semialgebraic homeomorphism (respectively a Nash diffeomorphism). The main tools used are semialgebraic triangulation and Nash approximation. One aspect of the algebraic nature of semialgebraic or Nash objects is that one can measure their complexities. We show h and s-cobordism theorems with a uniform bound on the complexity of the semialgebraic homeomorphism (or Nash diffeomorphism) obtained in terms of the complexity of the cobordism data. The uniform bound of semialgebraic h-cobordism cannot be recursive, which gives another example of non effectiveness in real algebraic geometry see [ABB]. Finally we deduce the validity of the semialgebraic and Nash versions of these theorems over any real closed field.
△ Less
Submitted 16 October, 2009;
originally announced October 2009.
