Mathematics – Algebraic Geometry
Scientific paper
2007-07-30
Proc. Lon. Math. Soc. 39:4 (2008) 734-746
Mathematics
Algebraic Geometry
27 pages, 1 figure
Scientific paper
We prove a nearly optimal bound on the number of stable homotopy types occurring in a k-parameter semi-algebraic family of sets in $\R^\ell$, each defined in terms of m quadratic inequalities. Our bound is exponential in k and m, but polynomial in $\ell$. More precisely, we prove the following. Let $\R$ be a real closed field and let \[ {\mathcal P} = \{P_1,...,P_m\} \subset \R[Y_1,...,Y_\ell,X_1,...,X_k], \] with ${\rm deg}_Y(P_i) \leq 2, {\rm deg}_X(P_i) \leq d, 1 \leq i \leq m$. Let $S \subset \R^{\ell+k}$ be a semi-algebraic set, defined by a Boolean formula without negations, whose atoms are of the form, $P \geq 0, P\leq 0, P \in {\mathcal P}$. Let $\pi: \R^{\ell+k} \to \R^k$ be the projection on the last k co-ordinates. Then, the number of stable homotopy types amongst the fibers $S_{\x} = \pi^{-1}(\x) \cap S$ is bounded by \[ (2^m\ell k d)^{O(mk)}. \]
Basu Saugata
Kettner Michael
No associations
LandOfFree
Bounding the number of stable homotopy types of a parametrized family of semi-algebraic sets defined by quadratic inequalities does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Bounding the number of stable homotopy types of a parametrized family of semi-algebraic sets defined by quadratic inequalities, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Bounding the number of stable homotopy types of a parametrized family of semi-algebraic sets defined by quadratic inequalities will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-359044