Let X be the intersection in RP n of k quadrics, i.e. the zero locus of the homogeneous, degree two polynomials q1, . . . , q k . Let also W be the span of these polynomials in the space of all homogeneous degree two polynomials and for every r ≥ 0 let Σ (r)W equals the (spherical) intersection of W with the discriminant hypersurface in the space of quadratic polynomials; moreover for r ≥ 2 and W generic ΣWe prove that for a generic choice of q1, . . . , q k the following formula holds for the total Betti number of X:In the case we remove the nondegeneracy hypotesis the previous formula remains valid upon substitution of ΣW with a pertubation of it obtained by translating W in the direction of a small negative definite quadratic form. The previous sum (both in the generic and the general case) contains at most O(k) 1/2 summands, as the sets Σ (r) W turns out to be empty for r+1 2 ≥ k. We study the topology of symmetric determinantal varieties, like the above Σ (r) W , and bound their homological complexities, with particular interest at those defined on a sphere. Using formula (1) and the results on the complexity of determinantal varieties, we prove the sharp bound: b(X) ≤ O(n) k−1 thus improving Barvinok's style bounds (recall that the best previously known bound, due to Basu, has the shape O(n) 2k+2 ).
AcknowledgementsThe author is grateful to S. Basu for many stimulating discussions and to A. A. Agrachev for his constant support.