English

A sharper estimate on the Betti numbers of sets defined by quadratic inequalities

Algebraic Geometry 2011-02-21 v2 Algebraic Topology

Abstract

In this paper we consider the problem of bounding the Betti numbers, bi(S)b_i(S), of a semi-algebraic set SRkS \subset \R^k defined by polynomial inequalities P10,...,Ps0P_1 \geq 0,...,P_s \geq 0, where PiR[X1,...,Xk]P_i \in \R[X_1,...,X_k] and deg(Pi)2\deg(P_i) \leq 2, for 1is1 \leq i \leq s. We prove that for 0ik10\le i\le k-1, bi(S)1/2(j=0min{s,ki}(sj)(k+1j)2j). b_i(S) \le{1/2}(\sum_{j=0}^{min\{s,k-i\}}{{s}\choose j}{{k+1}\choose {j}}2^{j}). In particular, for 2sk22\le s\le \frac{k}{2}, we have bi(S)1/23s(k+1s)1/2(3e(k+1)s)s. b_i(S)\le {1/2} 3^{s}{{k+1}\choose {s}} \leq {1/2} (\frac{3e(k+1)}{s})^s. This improves the bound of kO(s)k^{O(s)} proved by Barvinok. This improvement is made possible by a new approach, whereby we first bound the Betti numbers of non-singular complete intersections of complex projective varieties defined by generic quadratic forms, and use this bound to obtain bounds in the real semi-algebraic case.

Keywords

Cite

@article{arxiv.math/0610954,
  title  = {A sharper estimate on the Betti numbers of sets defined by quadratic inequalities},
  author = {Saugata Basu and Michael Kettner},
  journal= {arXiv preprint arXiv:math/0610954},
  year   = {2011}
}

Comments

12 pages, 1 figure, corrected typo