1
$\begingroup$

Let $X_1,\ldots X_k$ be irreducible(may be singular) affine real algebraic hypersurfaces in $R^n$ with $x_1,\ldots, x_k$ connected components, respectively.

Let $G_1,\ldots, G_l$ be their intersections of dimension $n-2$, with $g_1,\ldots, g_l$ connected components, respectively.

How we can estimate an upper bound for the number of connected components of $R^n\setminus (X_1\cup\ldots\cup X_k)$?

For example, such an estimate for $n=2$, and that(together with Harnack and Bezout theorems) leads us to an exact upper bound for a number of connected components of a complement to a real plane algebraic curve.

Of course, due to unsolvedness of Harnack problem in general case we cannot think of an exact upper bound in that case and the result of Bihan(Asymptotic behaviour of Betti numbers of real algebraic surfaces, Comm.Math.Helv. 78 (2003), 227-244) contradicts it's obvious generalization. (He gave an asymptotics for number of connected components of an irreducible variety in the case of surfaces as $dq^3$, where $q$ is the degree of surface and $d\in [\frac{13}{36},\frac{5}{12}]$, while obvious generalization give us $\frac{q^3+5q+6}{6}$ components of complement to a reducible -- that is a number of parts generated by planes in general position). But, of course, some upper bounds could be obtained using Comessati-Petrovsky-Oleinik inequality.

$\endgroup$
2
  • $\begingroup$ Isn't Biahn's result in the projective case though? $\endgroup$ Oct 19, 2011 at 16:28
  • $\begingroup$ Yes, of course in projective, but the maximal number of components in affine case is obviously greater than in projective. $\endgroup$
    – probably
    Oct 19, 2011 at 16:43

1 Answer 1

2
$\begingroup$

One possible upper bound could be found in a paper by Hugh E. Warren Lower Bounds for approximation by nonlinear manifolds//Transactions of the AMS. 1968. Vol.133 P.~167--178.

He gives the following bound:

Let $p_1,\ldots, p_m$ be real polynomials in $n$ variables, each of degree $d$ or less. Let $N(p_i)$ be a set of zeros of $p_i$.

The number of topological components of the set $R^n\setminus\cup_iN(p_i)$ does not exceed $\sum_{k=0}^n2(2d)^n2^kC_{m,k}$, where $C_{m,k}$ is the usual binomial coefficient, except that $C_{m,k}=0$ for $m< k$

$\endgroup$
2
  • $\begingroup$ Saugata Basu writes that Warren bound is still actual in his 2009 paper: math.purdue.edu/~sbasu/combinatorica_final.pdf page 5 $\endgroup$
    – probably
    Nov 5, 2011 at 18:08
  • $\begingroup$ Yes, you're right. $\endgroup$ Nov 6, 2011 at 2:34

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.