Advertisement

Discrete & Computational Geometry

, Volume 48, Issue 4, pp 1025–1047 | Cite as

Convex Pencils of Real Quadratic Forms

  • A. LerarioEmail author
Article

Abstract

We study the topology of the set X of the solutions of a system of two quadratic inequalities in the real projective space ℝP n (e.g. X is the intersection of two real quadrics). We give explicit formulas for its Betti numbers and for those of its double cover in the sphere S n ; we also give similar formulas for level sets of homogeneous quadratic maps to the plane. We discuss some applications of these results, especially in classical convexity theory. We prove the sharp bound b(X)≤2n for the total Betti number of X; we show that for odd n this bound is attained only by a singular X. In the nondegenerate case we also prove the bound on each specific Betti number b k (X)≤2(k+2).

Keywords

Quadratic inequalities Semi-algebraic sets Betti numbers 

1 Introduction

In this paper we study the topology of a set X defined in the projective space ℝP n by a system of two quadratic inequalities (equalities are permitted as well). Such a set is described by a quadratic map q:ℝ n+1→ℝ2, i.e. a map whose components are real homogeneous quadratic forms q 0,q 1, and a convex polyhedral cone K⊂ℝ2. Given these two data we may define X as
$$X=\bigl\{[x]\in\mathbb{R}\mathrm{P}^n \mid q(x)\in K\bigr\}. $$
More generally one can consider the set of the solutions of a system of k quadratic inequalities, e.g. the intersection of k quadrics in ℝP n . The idea for studying such an object is to exploit a kind of duality between the inequalities defining X and the variables appearing in them. We explain this idea now. Let
$$q:V\to W $$
be a quadratic map between two vector spaces and for every covector η in W consider the composition ηq: it is a quadratic form over V. As we let η vary we can reconstruct the map q itself from the various ηq. As long as we are concerned with the topology of X, we can replace this complicated object with a simpler one: for each η in W we consider only the positive inertia index i+(ηq), i.e. the maximal dimension of a subspace of V on which ηq is positive definite. Thus, instead of dealing with a map with values in the space of quadratic forms, we have a function to the natural numbers. We let K be the polar cone of K and S k−1 be the unit sphere in W (with respect to any scalar product). We define the following sets:
$$\varOmega=K^{\circ}\cap S^{k-1}\quad\textrm{and}\quad \varOmega^{j}=\bigl\{\omega\in\varOmega\mid \mathrm{i}^{+}( \omega q)\geq j\bigr\}, \quad j\in\mathbb{N}. $$
The spirit of the mentioned duality is in this procedure of replacing the original framework with the above filtration Ω n+1⊆⋯⊆Ω 0. This idea was first introduced by Agrachev in the paper [1] to study the topology of the double cover of the complement of X under some regularity assumption; the extensive study of the same idea was the subject of [2], where the topology of X itself was studied, removing also the nondegeneracy assumption. The technique of [1] and [2] is that of spectral sequences, a subject that despite its importance in topology is still considered to be for specialists. The aim of this paper is thus, at first, to give an account of the previous theory avoiding spectral sequences at all. This is possible in the case of two quadratic inequalities and the reason fort that is essentially the following observation: in the general case the above filtration is a “continuous” object, in the sense that the sets of points where the function i+ changes its value is an algebraic subset Z of S k−1; in the case of a quadratic map to the plane, Z reduces to a finite number of points on S 1 and our object becomes something “discrete”.
Moving to topology, the crucial point is that there is a relation between the geometry of the previous filtration and that of X itself. To give an example, in the case X is the intersection of quadrics in ℝP n , the following formula relates the Euler characteristic of it with that of the previously defined sets (here K is the zero cone and the components of q are given by the quadratic forms defining X):
$$ (-1)^{n}\chi(X)=\chi\bigl(S^{n}\bigr)+\sum _{j=0}^n(-1)^{j+1}\chi\bigl( \varOmega^{j+1}\bigr). $$
(1)
In the case X is the intersection of two quadrics the topology of the sets Ω j , j∈ℕ, being semialgebraic subsets of S 1, is very easy to compute (such sets are finite union of points and arcs).

Example

(The bouquet of three circles)

Consider the map q:ℝ4→ℝ2 defined by
$$x\mapsto\bigl(x_{1}^{2}+2x_{0}x_{2}-x_{3}^{2}, x_{1}x_{2}\bigr) $$
and the zero cone in ℝ2. The subset X of ℝP3 defined by {q=0} consists of two projective line and an ellipse meeting at one point; this set is homeomorphic to a bouquet of three circles. Associating to a quadratic form a symmetric matrix by means of a scalar product, the family ηq for ηΩ=S 1 is represented by the matrix:
$$\eta S=\left( \begin{array}{c@{\quad}c@{\quad}c@{\quad}c} 0&0&\eta_0&0 \\ 0&\eta_0&\eta_1&0 \\ \eta_0&\eta_1&0&0 \\ 0&0&0&-\eta_{0} \end{array} \right)\quad\eta=( \eta_0,\eta_1)\in S^1. $$
The determinant of this matrix vanishes only at the points ω=(0,1) and −ω=(0,−1); outside of these points the index function must be locally constant. Then it is easy to verify that i+ equals 2 everywhere except at this two points, where it equals 1:
$$\varOmega^1=S^1,\qquad\varOmega^2=S^1 \backslash\{\omega,-\omega\},\qquad\varOmega^3=\varOmega^4= \emptyset. $$
Applying formula (1) to this example gives
$$-\chi(X)=\chi\bigl(S^{3}\bigr)+\chi\bigl(S^{1}\bigr)-\chi \bigl(S^{1}\backslash\{\omega, -\omega\}\bigr)=2. $$
A formula similar to (1) holds in the case of the intersection Y of two quadrics on the sphere (since Y double covers X we simply have to multiply the right hand side by two). In this case we can be even more precise; if we set
$$Y=q^{-1}(K)\cap S^{n} $$
the following holds for the reduced Betti numbers1 of Y:
$$ \tilde{b}_{k}(Y)=b_{0}\bigl( \varOmega^{n-k},\varOmega^{n-k+1}\bigr)+b_{1}\bigl( \varOmega^{n-k-1},\varOmega^{n-k}\bigr),\quad k<n-2. $$
(2)
This formula was essentially proved by Agrachev in [1] under some smoothness hypothesis; we will give a proof of it with no nondegeneracy assumption in the Appendix. It will be the only part where spectral sequences will be used in this paper; we have added this proof both for the sake of completeness and to give the reader a soft flavor of the spectral sequences arguments. To stress the difference with the general case, we must say the analogous formulas for the Betti numbers of intersection of more than two quadrics only give bounds for them.

As pointed out to the author by the referee, similar results were obtained in the nondegenerate case in [14]; there it is given even a classification up to diffeomorphisms of the set of smooth spherical intersection of two quadrics.

The formula to compute the Betti numbers of X is slightly different from (2) and the reason for that lies in the structure of the homology of ℝP n which is richer than the one of the sphere. Before going into it we will give the formula for the Betti numbers of ℝP n X:
$$ b_{k}\bigl(\mathbb{R}\mathrm{P}^{n}\backslash X \bigr)=b_{0}\bigl(\varOmega^{k+1}\bigr)+b_{1}\bigl( \varOmega^{k}\bigr),\quad k\in\mathbb{N}. $$
(3)
With (3) at our disposal, we can already give some applications. The second goal of this paper is to show how classical theorems in convexity theory can be easily derived from this setting. For example the quadratic convexity theorem (the image of the sphere S n under a homogeneous quadratic map q:ℝ n+1→ℝ2 with n≥2 is a convex subset of the plane) is obtained using (3). Notice that this result is certainly false in the case the target space is three dimensional, as the map x↦(x 0 x 1,x 0 x 2,x 1 x 2) shows.
Moving back to the Betti numbers of X, in order to get them from (3) we need to compute the rank of the homomorphism induced on the homology by the inclusion i:X↪ℝP n (this computation was not necessary for the sphere because of Alexander duality). If we let μ be the maximum of i+ on Ω we have
$$ \operatorname{rk}(i_{*})_{k}=b_{0} \bigl(C\varOmega,\varOmega^{k+1}\bigr), \quad k\neq n- \mu, $$
(4)
where =(Ω×[0,1])/(Ω×{0}) is the topological cone of Ω (see [10]). The critical case k=nμ is more subtle and we need extra information. For this purpose we introduce the bundle L μ Ω μ whose fiber over the point ηΩ μ equals \(\operatorname{span}\{ x\in\mathbb{R}^{n+1} \mid \exists\lambda>0 \ \textrm{s.t.}\ (\eta Q)x=\lambda x\}\) and whose vector bundle structure is given by its inclusion in Ω μ ×ℝ n+1. The extra information we need is the first Stiefel–Whitney class of L μ :
$$w_{1}(L_{\mu})\in H^{1}\bigl( \varOmega^{\mu}\bigr). $$
Once we have these data we can compute also the rank of (i ) nμ :
$$ \operatorname{rk}(i_{*})_{n-\mu}=1 \quad\textrm {iff}\quad w_{1}(L_{\mu})=0. $$
(5)
Consider now the table E=(e j,j ) i,j∈ℤ whose nonzero part is the following: where c=e 0,μ and we have (c,d)=(1,b 1(Ω μ )) if w 1,μ =0 and (c,d)=(0,0) otherwise. In terms of the previous table it is easy to write the formula for the Betti numbers of X: if μ=n+1 then X is empty; in the contrary case for every k∈ℤ we have
$$ b_{k}(X)=e^{0,n-k}+e^{1,n-k-1}+e^{2,n-k-2}. $$
(6)
Notice that according to what we already stated \(\operatorname {rk}(i_{*})_{k}=e^{0,n-k}\). The previous table is essentially the way to plug in Alexander–Pontryagin duality in formula (6).

Example

(The bouquet of three circles; continuation)

In this case the previous table is the following: This is because μ=2 and Ω 2 is not the whole S 1 (thus w 1(L 2)=0); in particular we have
$$b_{0}(X)=e^{0,3}+e^{1,2}+e^{2,1}=1, \quad b_{1}(X)=e^{0,2}+e^{1,1}+e^{2,0}=3. $$
Notice also that \(\operatorname{rk}(i_{*})_{1}=e^{0,2}=1\), in accordance with the fact that X contains a projective line.

For the reader familiar with spectral sequences we can say that the previous table gives the ranks of the second term of a spectral sequence converging to the homology of X; the class w 1(L μ ) gives the second differential and for the case of two quadrics that is enough (the spectral sequence degenerates at the third step); otherwise higher differentials have to be calculated (the reader is referred to [2] for a detailed discussion on the general case); this evidence again confirms the difference with the case of more than two quadrics.

Thus in a certain sense we are stating our results using the language of spectral sequences, without actually using them.

Incidentally we notice that it is possible to “send the number of variables to infinity” and our procedure is stable with respect to this limit: formulas similar to the previous ones hold for the set of the solutions of a system of two quadratic inequalities on the infinite-dimensional sphere; the interested reader is referred to [12].

The third, and final goal of this paper is to use the previous theory for studying the homological complexity of X. Consider the problem of bounding the sum of the Betti numbers of X, such number is denoted by b(X) and is called the homological complexity. The classical Oleinik–Petrovskii–Thom–Milnor–Smith bound gives for the intersection of k quadrics in ℝP n the estimate b(X)≤O(k) n . Another manifestation of the mentioned duality between the number of quadratic equations and the number of variables is a classical result due to Barvinok [4], which states that the two numbers k and n can be interchanged in the previous bound, giving b(X)≤n O(k) (the implied constant is at least two). In the case X is the intersection of two quadrics in ℝP n we will see that indeed we have the sharp estimate:
$$ b(X)\leq2n. $$
(7)
It is interesting at this point, as suggested by the referee, to decide whether the maximal complexity is attained by a smooth X or not. It turns out that for even n this is the case, while for odd n it is not.

Example

Consider the algebraic set X in ℝP3 defined by
$$X=\bigl\{x_0^2-x_2^2=x_1^2-x_3^2=0 \bigr\}. $$
Then X equals the union of the four projective lines L 1={x 0=x 2,x 1=−x 3},L 2={x 0=−x 2,x 1=x 3},L 3={x 0=−x 2,x 1=−x 3} and L 4={x 0=x 2,x 1=x 3}; an easy computations of the combinatorics of these lines shows that X is homotopically equivalent to the wedge of 5 circles and its total Betti number is 6. Similarly the algebraic set X defined by the same equations as X in ℂP3 is homotopically equivalent to the wedge of 5 spheres and b(X )=6.

On the other hand by the adjunction formula the complete intersection of two quadrics in ℂP3 has genus one and total Betti number 4; thus by Smith’s inequality2 the for every smooth intersection X′ of two quadrics in ℝP3 we have b(X′)≤4.

We will provide in the paper a general family of examples, smooth for even n and singular for odd ones, attaining the bound (7). We notice that this family of examples, together with Smith’s inequality, proves that for the intersection of two complex quadrics in an odd-dimensional complex projective space the maximal complexity is attained by a singular intersection. In the case of a system of two quadratic inequalities a similar bound can be produced.

We conclude the paper with an estimate on each single Betti number; for this estimate though we require X to be a nonsingular intersection of two quadrics:
$$ b_k(X)\leq2(k+2). $$
(8)
What is interesting about the bound (8) is that for each specific Betti number it does not depend on n.

The paper is organized as follows. In Sect. 2 we introduce the necessary notation. In Sect. 3 we make a general construction to study one-dimensional families of quadratic forms. Section 4 is devoted to prove formulas (3) and (6); the statement (1) about the Euler characteristic directly follows from (3). In Sect. 5 we discuss the proof of some classical results using the introduced technique. Section 6 deals with the homological complexity and contains the proofs of (7) and (8). In the Appendix we give a proof of formula (2) as well as a similar one for the level sets of a homogeneous quadratic map.

2 Notation

For the rest of the paper we will assume that the following two data will be specified: (i) a closed convex cone K in ℝ2; (ii) a pair q 0,q 1 of real homogeneous quadratic form in n+1 variables. The set we will be interested in is
$$X=\bigl\{[x]\in\mathbb{R}\mathrm{P}^n \mid \bigl(q_0(x), q_1(x)\bigr)\in K\bigr\}. $$
In the particular case K={0} the set X is the intersection of the two quadrics {q 0=0} and {q 1=0}; in the general case X is the set of the solutions of a system of quadratic inequalities (the inequalities being given by the presentation of the polyhedral cone K).

If V is a finite-dimensional real vector space, the symbol \(\mathcal{Q}(V)\) will denote the set of real quadratic forms over V; in the case V=ℝ k we will simply write \(\mathcal{Q}(k)\).

For every p in \(\mathcal{Q}(V)\) the positive inertia index i+(q) is the maximal dimension of a subspace WV such that p| W >0. Once a scalar product has been fixed the following gives a rule to identify each q in \(\mathcal{Q}(k)\) with a Q in \(\operatorname{Sym}_{k}(\mathbb {R})\), the set of real symmetric matrices of dimension k:
$$q(x)=\langle x, Qx\rangle\quad\forall x\in\mathbb{R}^k. $$
Under this (linear) identification the inertia index of q equals the number of positive eigenvalues of Q.

In the case q=(q 0,q 1) is a pair of quadratic forms in \(\mathcal {Q}(V)\) and ω=(ω 0,ω 1) is a point in (ℝ2), we will write ωq for the quadratic form ω 0 q 0+ω 1 q 1; similarly if Q=(Q 0,Q 1) is a pair of symmetric matrices in \(\operatorname {Sym}_{k}(\mathbb{R})\) we will write ωQ for the symmetric matrix ω 0 Q 0+ω 1 Q 1. This notation comes from the fact that we may interpret q=(q 0,q 1) as a quadratic map from V to ℝ2 and ωq is simply the composition of this map with the covector ω. The map q itself defines also a map \(q^{*}:(\mathbb {R}^{2})^{*}\to\mathcal{Q}(V)\) given by ωωq. These are all ways of reformulating the same fact.

Given q=(q 0,q 1) and K we will need to define the sets:
$$\varOmega=K^\circ\cap S^1\quad\textrm{and}\quad \varOmega^j=\bigl\{\omega\in\varOmega\mid \mathrm{i}^+(\omega q)\geq j\bigr \},\quad j\in\mathbb{N}, $$
where K ={η∈(ℝ2)η(y)≤0 for all y in K}.

If A is a topological space we will denote by H (A) its homology with ℤ2 coefficients and by b (A) its Betti numbers with ℤ2 coefficients. In our case will aways be defined the number b(A): it is the sum of the Betti numbers of A with ℤ2 coefficients (this quantity is usually referred as the homological complexity of A). Similar definitions apply for a pair of spaces (A,B).

3 A Preliminary Construction

Let now Ω be an arbitrary closed semialgebraic subset of the unit circle S 1 and \(f:\varOmega\to\mathcal{Q}(n+1)\) be a semialgebraic map. The map f describes a family of quadratic forms varying semialgebraically w.r.t. ωΩ. We define the semialgebraic function
$$ F:\varOmega\times\mathbb{R}\mathrm{P}^n\to\mathbb {R}\qquad F\bigl(\omega,[x] \bigr)=f(\omega) (x). $$
(9)
The fact that this function is well defined follows from the fact that f(ω) is a quadratic form, homogeneous of even degree, and thus f(ω)(x)=f(ω)(−x); the semialgebraicity of F is obvious. Consider the semialgebraic set:
$$ C=\{F\geq0\}. $$
(10)
Since the projection p 1:CΩ is a semialgebraic map, then by Hardt’s triviality theorem (see [7]) there exists a finite semialgebraic partition Ω=∐S l such that p 1 is trivial over each S l . The semialgebraic subsets of Ω are union of points and intervals (arcs); thus there exist a finite number of points {ω α } αA and a finite number of open arcs {I αβ } α,βA such that C is the disjoint union of the inverse image under p 1 of them; moreover p 1 is trivial over each of these subsets of Ω. For each ωΩ and k∈ℕ we define
$$ a(\omega)= n-\mathrm{i}^{-}\bigl(f(\omega)\bigr )\quad \textrm{and}\quad\varOmega_{n-k}=\bigl\{\omega\in\varOmega\mid a( \omega)\geq k\bigr\}. $$
(11)
In other words the set Ω nk equals the closed semialgebraic subset of Ω consisting of those ω for which i(f(ω))≤nk.

Given a quadratic form q we define P +(q) to be the positive eigenspace of the corresponding symmetric matrix Q. Using this notation we clearly see that \(p_{1}^{-1}(\eta)\) deformation retracts to P +(f(η))≃ℝP a(η).

Consider now the topological space
$$S=\bigl\{\bigl(\omega, [x]\bigr)\in\varOmega\times\mathbb {R}\mathrm{P}^{n} \mid [x] \in P^{+}(\omega)\bigr\}. $$

Lemma 1

The inclusion SC is a homotopy equivalence; indeed C deformation retracts to S.

Proof

For every αA let U α be a closed neighborhood of ω α such that the inclusion \(P^{+}(\omega_{\alpha})\hookrightarrow C|_{U_{\alpha}}\) is a homotopy equivalence (such a neighborhood exists by triangulability of the semialgebraic function \(f:(\omega, [x])\mapsto\operatorname{dist}(\omega, \omega _{\alpha })\) and noticing that the inclusion P +(ω α )↪{f=0} is a homotopy equivalence). If U α is sufficiently small, then \(S|_{U_{\alpha}}\) deformation retracts to P +(ω α ): since the eigenvalues of f(ω) depend continuously on ω and \(\operatorname{dim}(P^{+}(\omega_{\alpha }))\geq \operatorname{dim}(P^{+}(\omega))\) for ω sufficiently close to ω α , the deformation retraction is performed simply by sending each P +(ω) to \(\lim_{\omega\to\omega_{\alpha }}P^{+}(\omega )\subseteq P^{+}(\omega_{\alpha})\). Now we find that \(P^{+}(\omega _{\alpha})\hookrightarrow S|_{U_{\alpha}}\) and \(P^{+}(\omega_{\alpha })\hookrightarrow C|_{U_{\alpha}}\) are both homotopy equivalences; since the second one is the composition \(P^{+}(\omega_{\alpha })\hookrightarrow S|_{U_{\alpha}}\hookrightarrow C|_{U_{\alpha}}\) then \(S|_{U_{\alpha}}\hookrightarrow C|_{U_{\alpha}}\) also is a homotopy equivalence. Since \((C|_{U_{\alpha}},S|_{U_{\alpha}})\) is a CW-pair, then the previous homotopy equivalence implies \(C|_{U_{\alpha}}\) deformation retracts to \(S|_{U_{\alpha}}\) (see [10]).

Let now W=(∪ α V α ); since \(C|_{W^{c}}\) is a locally trivial fibration, then clearly it deformation retracts to \(S|_{W^{c}}\); since each V α is closed, then C deformation retracts to \(C|_{W}\cup S|_{W^{c}}\). Since the deformation retraction of each \(C|_{U_{\alpha}}\) fixes \(S|_{U_{\alpha}}\) and \(\textrm {Cl}(S|_{W^{c}})\cap C|_{W}\subseteq S \) then all these deformation retractions match together to give de desired one of C to S. □

The following lemma describes the cohomology of C.

Lemma 2

H k (C)≃H 0(Ω nk )⊕H 1(Ω nk+1).

Proof

We only give a sketch; the rigorous details are left to the reader. A spectral sequence argument, using the Leray sheaf, will be provided in Appendix.

We can give a cellular structure to S in the following way: for every ω α such that a(ω α )≥k we place a k-dimensional cell \(e_{\alpha}^{k}\) representing a k-dimensional cell of P +(ω α ); for every arc I αβ such that a(ω)≥k−1 for every ωI αβ we place another k-dimensional cell \(e_{\alpha\beta}^{k}\) representing a k-dimensional cell of \(S|_{I_{\alpha\beta}}\). In this way, working with ℤ2 coefficients we have
$$\partial e_{\alpha}^{k}=0\quad\textrm{and}\quad\partial e_{\alpha\beta }^{k}=e_{\alpha}^{k-1}+e_{\beta}^{k-1} $$
and the statement follows now from cellular homology and the Leray–Hirsch theorem (see [10]). □
Together with the closed set C we will be interested in the set B defined by taking the strict inequality in (10):
$$ B=\{F>0\}. $$
(12)
Similarly to (11) we define the open semialgebraic sets
$$\varOmega^k=\bigl\{\omega\in\varOmega\mid \mathrm{i}^+\bigl (f(\omega) \bigr)\geq k\bigr\},\quad k\in\mathbb{N}. $$
The cohomology of B is given by the following lemma.

Lemma 3

H k (B)≃H 0(Ω k+1)⊕H 1(Ω k ).

Proof

Since F is a proper semialgebraic function, then for ϵ>0 small enough the inclusion
$$B\hookrightarrow\{F\geq\epsilon\} $$
is a homotopy equivalence. On the other hand the set {Fϵ} is homeomorphic to the set C defined as before but for the map f ϵ =fϵp for a positive definite form p, i.e. setting F ϵ (ω,[x])=F(ω,[x])−ϵp(x) we have
$$\{F\geq\epsilon\}\simeq\{F_\epsilon\geq0\}. $$
Thus by Lemma 2 the cohomology of B is isomorphic to
$$H^k(B)\simeq H_0\bigl(\varOmega_{n-k}(\epsilon) \bigr)\oplus H_1\bigl(\varOmega_{n-k+1}(\epsilon)\bigr), $$
where
$$\varOmega_{n-k}(\epsilon)=\bigl\{\omega\in\varOmega\mid \mathrm {i}^+\bigl(\epsilon p-f(\omega)\bigr)\leq n-k\bigr\} $$
and the lemma follows from the following proposition. □

Proposition 4

For every positive definite form \(p\in \mathcal{Q} (n+1)\) and for every ϵ>0 sufficiently small
$$H_*\bigl(\varOmega_{n-k}(\epsilon)\bigr)\simeq H_*\bigl( \varOmega^{k+1}\bigr), $$
where Ω nk (ϵ)={ωΩ∣i(f(ω)−ϵp)≤nk}.

Proof

Let us first prove that Ω j+1=⋃ ϵ>0 Ω nj (ϵ).

Let ω∈⋃ ϵ>0 Ω nj (ϵ); then there exists \(\overline{\epsilon}\) such that ωΩ nj (ϵ) for every \(\epsilon<\overline{\epsilon}\). Since for ϵ small enough
$$\mathrm{i}^{-}\bigl(f(\omega)-\epsilon p\bigr)=\mathrm{i}^{-}\bigl (f(\omega) \bigr)+\dim(\ker\bigl(f(\omega)\bigr) $$
then it follows that
$$\mathrm{i}^{+}\bigl(f(\omega)\bigr)=n+1-\mathrm{i}^{-}\bigl (f(\omega) \bigr)-\dim\bigl(\ker f(\omega)\bigr)\geq j+1. $$
Vice versa if ωΩ j+1 the previous inequality proves ωΩ nj (ϵ) for ϵ small enough, i.e. ω∈⋃ ϵ>0 Ω nj (ϵ).
Notice now that if ωΩ nj (ϵ) then, eventually choosing a smaller ϵ, we may assume ϵ properly separates the spectrum of ω and thus, by continuity of the map f, there exists an open neighborhood of ω, U, such that ϵ properly separates also the spectrum3 of f(η) for every ηU. Hence every ηU also belongs to Ω nj (ϵ). From this consideration it easily follows that each compact set in Ω j+1 is contained in some Ω nj (ϵ) and thus
$$\varinjlim_{\epsilon}\bigl\{H_{*}\bigl(\varOmega_{n-j}( \epsilon)\bigr)\bigr\}=H_{*}\bigl(\varOmega^{j+1}\bigr). $$
It remains to prove that the topology of Ω nj (ϵ) is definitely stable in ϵ going to zero. Consider the semialgebraic compact set S nj ={(ω,ϵ)∈S k ×[0,∞)∣i(f(ω)−ϵp)≤nj}. By Hardt’s triviality theorem we see that the projection (ω,ϵ)↦ω is a locally trivial fibration over (0,ϵ) for ϵ small enough; from this the conclusion follows. □

4 Formulas for the Betti Numbers

We start by proving the following.

Theorem 5

b k (ℝP n X)=b 0(Ω k+1)+b 1(Ω k ) for every k∈ℕ.

Proof

Consider the map \(f:\varOmega\to\mathcal{Q}(n+1)\) defined by ωωq and the map F:Ω×ℝP n →ℝ defined as in (9). The projection p 2:Ω×ℝP n →ℝP n on the second factor restricts to a homotopy equivalence
$$p_2|_{B}:B\simeq\mathbb{R}\mathrm{P}^n\backslash X $$
(the image of p 2| B is ℝP n X because K ∘∘=K and it is a homotopy equivalence because the fibers are contractible). The result follows from Lemma 3. □

To compute the homology of X we need to know the map induced by the inclusion c:ℝP n X→ℝP n on the cohomology.

Proposition 6

Set μ=max ωΩ i+(ω). Then for kμ−1
$$H^{k}\bigl(\mathbb{R}\mathrm{P}^{n}\bigr)\stackrel{c^{*}}{ \rightarrow}H^{k}\bigl(\mathbb{R}\mathrm{P}^{n}\backslash X\bigr) $$
is injective and for kμ+1 is zero.

Notice that the case k=μ is excluded from this statement: it deserves a special treatment.

Proof

Consider the commutative diagram of maps
Since p 2| B is a homotopy equivalence, \(c^{*}=i^{*}\circ p_{2}^{*}\). If kμ−1, then Ω k+1≠∅; thus let ηΩ k+1. Then \(p_{1}^{-1}(\eta)\cap B\) deformation retracts to \(\{\eta\}\times P^{d_{\eta}}\), where \(P^{d_{\eta}}\) is a projective space of dimension d η =i+(η)−1≥k; in particular the inclusion \(P^{d_{\eta}}\stackrel{i_{\eta }}{\rightarrow }\mathbb{R}\mathrm{P}^{n}\) induces an isomorphism on the kth cohomology group. The following factorization of \(i_{\eta}^{*}\) concludes the proof of the first part (all the maps are the natural ones):
For the second statement simply observe that for kμ+1 we have Ω k =∅ and thus
$$H^{k}\bigl(\mathbb{R}\mathrm{P}^{n}\backslash X\bigr)\simeq H^{0}\bigl(\varOmega^{k+1}\bigr)\oplus H^{1}\bigl( \varOmega^{k}\bigr)=0. $$
 □

It remains to study H μ (ℝP n X)→H μ (ℝP n ). For this purpose we introduce the bundle L μ Ω μ whose fiber at the point ηΩ μ equals \(\operatorname{span}\{ x\in\mathbb{R}^{n+1} \mid \exists\lambda>0 \ \textrm{s.t.}\ (\eta Q)x=\lambda x\}\) and whose vector bundle structure is given by its inclusion in Ω μ ×ℝ n+1. We let w 1,μ H 1(Ω μ ) be the first Stiefel–Whitney class of L μ . We have the following result.

Proposition 7

\(\operatorname{rk}(c^{*})_{\mu}=0\iff w_{1,\mu}=0\).

Proof

In the case Ω μ S 1, then clearly w 1,μ is zero and also \(\operatorname{rk}(c^{*})_{\mu}\) is zero since H μ (ℝP n X)=0. If Ω μ =S 1, then i+ is constant and we consider the projectivization P(L μ ) of the bundle L μ . In this case it is easily seen that the inclusion
$$P(L_{\mu})\stackrel{\lambda}{\hookrightarrow}B $$
is a homotopy equivalence and, since \(\operatorname{rk}(c^{*})=\operatorname {rk}(i^{*}\circ p_{2}^{*})\) we have \(\operatorname{rk}(c^{*})=\operatorname {rk}(\lambda^{*}\circ i^{*}\circ p_{2}^{*})\). Let us call l the map p 2iλ; then l:P(L μ )→ℝP n is a map which is linear on the fibers and if yH 1(ℝP n ) is the generator, we have by Leray–Hirsch
$$H^{*}\bigl(P(L_{\mu})\bigr)\simeq H^{*}\bigl(S^{1}\bigr)\otimes\bigl\{1,l^{*}y, \ldots, l^{*}y^{\mu-1}\bigr\}. $$
By the Whitney formula we get
$$l^{*}y^{\mu}=w_{1,\mu} \bigl(l^{*}y\bigr)^{\mu-1} $$
which proves (c ) μ is zero iff w 1,μ =0. □

Collecting together Theorem 5 and the previous two propositions allows us to split the long exact sequence of the pair (ℝP n ,ℝP n X) and, since H (X)≃H n−∗(ℝP n ,ℝP n X), to compute the Betti numbers of X.

We first define the table E=(e i,j ) i,j∈ℤ with e i,j ∈ℕ, and whose nonzero part E′={e i,j ∣0≤i≤2, 0≤jn} is the following table: where c=e 0,μ and we have (c,d)=(1,b 1(Ω μ )) if w 1,μ =0 and (c,d)=(0,0) otherwise.

Theorem 8

If μ=n+1 then X is empty; in the contrary case for every k∈ℤ the following formula holds:
$$b_{k}(X)=e^{0,n-k}+e^{1,n-k-1}+e^{2,n-k-2}. $$
Moreover if i:X→ℝP n is the inclusion map and i is the map induced on homology, then
$$e^{0,n-k}=\operatorname{rk}(i_{*})_{k}. $$
The last statement follows from the formula
$$b_{n-k}\bigl(\mathbb{R}\mathrm{P}^{n}\bigr)=\operatorname{rk} \bigl(c^{*}\bigr)_{n-k}+\operatorname{rk}(j_{*})_{k}. $$

Example 1

(The complex squaring)

Consider the quadratic forms
$$q_{0}(x)=x_{0}^{2}-x_{1}^{2}, \quad q_{1}(x)=2x_{0}x_{1}. $$
Identifying ℝ2 with ℂ via (x 0,x 1)↦x 0+ix 1, the map q=(q 0,q 1) is the complex squaring zz 2. We easily see that the common zero locus set of q 0 and q 1 in ℝP1 is empty. The image of the linear map \(\overline{q}:\mathbb{R}^{2}\to \mathcal{Q}(2)\) defined by ηηq consists of a plane intersecting the set of degenerate forms Z only at the origin; we identify \(\mathcal{Q}(2)\) with the space of 2×2 real symmetric matrices. Thus \(\overline{q}(S^{1})\) is a circle looping around Z={det=0} and the index function is constant:
$$\mathrm{i}^{+}(\omega q)=1,\quad\omega\in S^{1}. $$
Thus Ω 1=S 1; and the table E in this case has the following picture:
$$E= \begin{array}{|@{\ \ }c@{\ \ }|@{\ \ }c@{\ \ }|@{\ \ }c@{\ \ }} c&0&0 \\ 0&0&d \\ \hline \end{array} $$
On the other hand the first Stiefel–Whitney class of the bundle L 1Ω 1 in this case is nonzero; hence in this case (c,d)=(0,0) and we have b k (X)=0 for every k, as confirmed from the fact that X=∅.

Alternatively we could give a direct proof of the previous theorems using Theorems A, B and C of [2]: the reader should recognize in the previous table the structure of some spectral sequence.

The previous theorem raises the question: when do we have w 1,μ ≠0? Since μ=maxi+, then clearly Ω=S 1 and i+μ. Moreover since \(\mu=\mathrm {i}^{+}(\eta)=n+1-\operatorname{ker}(\eta Q)-\mathrm{i}^{+}(-\eta)=n+1-\operatorname{ker}(\eta Q)-\mu\) it follows \(\mu\leq[\frac{n+1}{2}]\).

It is interesting to classify pairs of quadratic forms (q 0,q 1) such that i+ is constant; this classification follows from a general theorem on the classification up to congruence of pairs of real symmetric matrices (see [15]).

The formula for the Betti numbers of the spherical part Y is provided in Appendix.

5 Classical Applications

We discuss here some applications of the previous results; the reader is referred to [3] for a detailed treatment using different techniques. We start with the following theorem, proved by Calabi in [8].

Theorem 9

(Calabi)

Let q 0,q 1 be real quadratic forms over n+1 with n+1≥3. If the only x∈ℝ n+1 satisfying q 0(x)=q 1(x)=0 is x=0, then there exists a real linear combination ωq 0+ω 1 q 1 which is positive definite.

Proof

The hypothesis is equivalent to n+1≥3 and X={[x]∈ℝP n q 0(x)=0=q 1(x)}=∅ and the thesis to Ω n+1≠∅.

First notice that for every k≥2 we have b 1(Ω k )=0: if it was the contrary, then b 0(Ω k )=1=b 1(Ω k−1) and Theorem 5 would give b k−1(ℝP n X)=b k−1(ℝP n )=b 0(Ω k )+b 1(Ω k−1)=2, which is absurd. Thus if n+1>2 we have
$$1=b_{n}\bigl(\mathbb{R}\mathrm{P}^{n}\bigr)=b_{n} \bigl(\mathbb{R}\mathrm{P}^{n}\backslash X\bigr)=b_{0}\bigl( \varOmega^{n+1}\bigr)+b_{1}\bigl(\varOmega^{n} \bigr)=b_{0}\bigl(\varOmega^{n+1}\bigr) $$
which implies Ω n+1≠∅. □
Thus the previous theorem states that for n+1≥3
$$X=\emptyset\Rightarrow\varOmega^{n+1}\neq\emptyset. $$
Also the contrary is true, with no restriction on n: if X≠∅ then 0=b n (ℝP n X)=b 0(Ω n+1)+b 1(Ω n ) which implies Ω n S 1 and Ω n+1=∅. Thus we have the following corollary.

Corollary 10

If n+1≥3, then X=∅⇔Ω n+1≠∅.

Using the previous we can prove the well known quadratic convexity theorem.

Theorem 11

If n+1≥3 and q:ℝ n+1→ℝ2 is defined by x↦(q 0(x),q 1(x)), where q 0,q 1 are real quadratic forms, then
$$q\bigl(S^{n}\bigr)\subset\mathbb{R}^{2}\quad \mbox{\textit{is\ a\ convex\ set}}. $$

Proof

First observe that if S n ={g(x)=1} with g quadratic form, then for a given c=(c 0,c 1) we have S n q −1(c)≠∅ iff \(S^{n}\cap q_{c}^{-1}(0)\neq\emptyset\) iff X(q c )=∅, where q c is the quadratic map whose components are (q 0c 0 g,q 1c 1 g) and X(q c )={[x]∈ℝP n q c (x)=0}. Thus by Corollary 10 we have X(q c )≠∅ iff Ω n+1(q c )=∅ (here n+1≥3).

Let now a=(a 0,a 1) and b=(b 0,b 1) be such that X(q a )≠∅≠X(q b ) and suppose there exists T∈[0,1] such that aT+(1−T)bq(S n ). Then by Corollary 10 there exists η∈ℝ2 such that
$$\eta Q-\bigl\langle\eta, aT+(1-T)b\bigr\rangle I>0. $$
Assume 〈η,ab〉≥0, otherwise switch the role of a and b. We have 0<ηQ−〈η,aT+(1−T)bI=ηQ+〈η,T(ba)〉I−〈η,bIηQ−〈η,bI. Thus we got ηQ−〈η,bI>0, which implies Ω n+1(q b )≠∅, but this is impossible by Corollary 10 since X(q b )≠∅. Hence for every t∈[0,1] we have at+(1−t)bq(S n ). □

The conclusions of the previous theorems are false if n+1=2: pick q 0(x,y)=x 2y 2 and q 1(x,y)=2xy, then q 0(x)=q 1(x)=0 implies x=0 but any real linear combination of q 0 and q 1 is sign indefinite. Moreover q(S 1)=S 1, which of course is not a convex subset of ℝ2.

Corollary 12

If q:ℝ n+1→ℝ2 has homogeneous quadratic components, then q(ℝ n+1) is closed and convex.

Proof

Since q(ℝ n+1) is the positive cone over q(S n ), then it is closed and convex. □

The previous proof works only for n+1≥3, but the theorem is actually true with no restriction on n. The number of quadratic forms is indeed important, as the following example shows: let q:ℝ3→ℝ3 be defined by (x 0,x 1,x 2)↦(x 0 x 1,x 0 x 2,x 1 x 2); then the image of ℝ3 under q consists of the four hortants {x 0≥0,x 1≥0,x 2≥0}, {x 0≤0,x 1≤0,x 2≥0}, {x 0≤0,x 1≥0,x 2≤0}, {x 0≥0,x 1≤0,x 2≤0}.

6 Homological Complexity

In this section we derive a bound for the homological complexity of X and, in the case X is a regular intersection of quadrics, also a bound for each specific Betti number.

Theorem 13

Let X be the intersection of two real quadrics in ℝP n . Then
$$b(X)\leq2n. $$
Moreover this bound is sharp.

We notice that the Universal Coefficients Theorem implies b(X;ℤ)≤b(X) and the previous bound holds also for integer Betti numbers.

As a corollary, using the transfer exact sequence with ℤ2 coefficients for the double covering YX (see [10]) we have the following.4

Corollary 14

Let Y be the intersection of two real quadrics on S n . Then
$$b(Y)\leq4n. $$

As suggested by the referee, it might be that the maximal homological complexity is attained by a smooth X. We notice that this property is not true even for the case of one single quadric: the smooth nonempty quadric in ℝP2 has total Betti number 2 (it is homeomorphic to a circle), while the singular quadric given by x 0 x 1=0 is homeomorphic to the wedge of two circles and its total Betti number is 3.

Despite this, the property turns out to be true for the intersection of two quadrics in an even-dimensional projective space, while it is still false in the odd-dimensional case. As we will see in the following example the total Betti number of the intersection of two quadrics in an odd-dimensional projective space can exceed the homological complexity of the complete intersection.

Example 2

Consider the quadratic map q:ℝ n+1→ℝ2≃ℂ given by
$$q(x_0,\ldots, x_n)=\sum _{k=0}^{n}x_k^2 e^{\frac{2k\pi i}{n+1}}. $$
The set X in this case is given by q 0=q 1=0, where q 0,q 1 are the components of q. Notice that X is smooth for even n and singular otherwise. An easy computation shows that the index function alternates its values between \([\frac{n+2}{2} ]\) and \([\frac{n+2}{2} ]-1\), each one being assumed n+1 times. Thus the table E′ of Theorem 8 in this case is the following: Since the maximum of the index function is \(\mu= [\frac{n+2}{2} ]\), then b 1(Ω μ )=0 and consequently w 1,μ =0. Thus the pair (c,d) equals (1,0) and
$$b(X)=2n. $$
This example shows that the maximal bound of Theorem 13 is indeed sharp.
It is interesting to compare this bound with the so called Smith–Thom inequality (see the Appendix of [16]). This inequality states that for a real algebraic variety Y⊂ℝP n with complex part Y the following inequality holds:
$$ b(Y;\mathbb{Z}_2)\leq b(Y_\mathbb{C};\mathbb{Z}_2). $$
(13)
In the previous example X was smooth for even n and singular otherwise. Since the total Betti number of the complete intersection of two quadrics in ℂP n is known to be 2n−(1+(−1) n+1), then for every smooth intersection X′ of two real quadrics in ℝP n inequality (13) implies:
$$b\bigl(X'\bigr)\leq2n-2,\quad n\ \textrm{odd}. $$
Thus the previous example shows that the maximal complexity of the intersection of two real quadrics in an odd-dimensional projective space exceeds the smooth case, and in particular the same holds for the intersection of two complex quadrics.

Before proving Theorem 13 we discuss the following lemma, which will allow to make a kind of general position argument.

Lemma 15

There exists a positive definite form \(p\in \mathcal{Q}(n+1)\) such that for every ϵ>0 small enough the set
$$Z(\epsilon)=\bigl\{\omega\in S^1 \mid \operatorname{ker}(\omega q-\epsilon p)\neq0\bigr\} $$
consists of a finite number of points and the difference of the index function ω↦i(ωqϵp) on adjacent components of S 1Z(ϵ) is ±1.

Proof

Let \(\mathcal{Q}^{+}\) be set of positive definite quadratic forms in \(\mathcal{Q}(n+1)\) and consider the map \(F:S^{1}\times\mathcal {Q}^{+}\to\mathcal{Q}(n+1)\) defined by
$$(\omega, p)\mapsto\omega q-p. $$
Let Z be the set of singular quadratic forms in \(\mathcal{Q}(n+1)\), semialgebraically and Nash stratified by Z=∐Z i . Since \(\mathcal{Q}^{+}\) is open in \(\mathcal{Q}\), then F is a submersion and F −1(Z) is Nash stratified by ∐F −1(Z i ). Then for \(p\in\mathcal{Q}^{+}\) the evaluation map ωf(ω)−p is transversal to all strata of Z if and only if p is a regular value for the restriction of the second factor projection \(\pi:S^{1}\times \mathcal{Q}^{+}\to\mathcal{Q}^{+}\) to each stratum of F −1(Z)=∐F −1(Z i ). Thus let \(\pi_{i}=\pi|_{F^{-1}(Z_{i})}:F^{-1}(Z_{i})\to\mathcal {Q}^{+}\); since all data are smooth semialgebraic, then by semialgebraic Sard’s Lemma (see [7]), the set \(\varSigma_{i}=\{\hat{q}\in\mathcal{Q}^{+} \mid \hat {q}\ \textrm{is\ a\ critical\ value\ of}\ \pi_{i}\}\) is a semialgebraic subset of \(\mathcal{Q}^{+}\) of dimension strictly less than \(\dim (\mathcal{Q}^{+})\). Hence Σ=∪ i Σ i also is a semialgebraic subset of \(\mathcal{Q}^{+}\) of dimension \(\dim(\varSigma)<\dim(\mathcal {Q}^{+})\) and for every \(p\in\mathcal{Q}^{+}\backslash\varSigma\) the map ωf(ω)−p is transversal to each Z i . Since Σ is semialgebraic of codimension at least one, then there exists \(p\in\mathcal {Q}^{+}\backslash \varSigma\) such that {tp} t>0 intersects Σ in a finite number of points, i.e. for every ϵ>0 sufficiently small \(\epsilon p\in \mathcal{Q}^{+}\backslash\varSigma\). Since the codimension of the singularities of Z are at least three, then for \(p\in\mathcal{Q}^{+}\backslash \varSigma\) and ϵ>0 small enough the set {ωS 1∣ker(ωqϵp)≠0} consists of a finite number of points. Moreover, if z is a smooth point of Z, then its normal bundle at z coincides with the sets of quadratic forms {λ(xx)∣x∈ker(z)} λ∈ℝ then also the second part of the statement follows. □

Essentially Lemma 15 tells that we can perturb the map ωωq in such a way that crossing each point where the determinant vanishes the index function changes exactly by ±1; Proposition 4 tells us how to control the topology of the sets Ω j+1 after this perturbation.

Proof of Theorem 13

Because of Theorem 8 we have
$$b(X)\leq n+1-2(\mu-\nu)+\sum_{k=\nu}^{\mu-1}b_0 \bigl(\varOmega^{k+1}\bigr), $$
where ν=mini+| Ω (essentially we have made the sum of the elements of the table E′ before Theorem 8 taking into account that for k<ν the set Ω k consists of the whole S 1). By Lemma 15 there exists a positive definite form p such that for every ϵ>0 sufficiently small the set \(Z(\epsilon)=\{ \omega\in S^{1} \mid \operatorname{ker}(\omega q-\epsilon p)\neq0\}\) consists of a finite number of points; moreover by Lemma 4 for such a p and for ϵ>0 small enough we also have the equality b 0(Ω j+1)=b 0(Ω nj (ϵ)). This in particular gives
$$b(X)\leq n+1-2(\mu-\nu)+\sum_{k=\nu}^{\mu-1}b_0 \bigl(\varOmega_{n-k}(\epsilon)\bigr). $$
Since for each νkμ−1 the set Ω nj (ϵ) is a disjoint union of closed intervals of S 1, then:
$$b_0\bigl(\varOmega_{n-k}(\epsilon)\bigr)= \frac{1}{2}b_{0}\bigl(\partial\varOmega_{n-j}(\epsilon) \bigr). $$
In particular ∑b(Ω nk (ϵ)) equals \(\frac {1}{2}\sum b_{0}(\partial\varOmega_{n-k}(\epsilon))\), where in both cases the sum is made over the indices νkμ−1. The second part of Lemma 15 implies now that each one of the points in Z(ϵ) belongs to the boundary of exactly one of the Ω nk (ϵ),νkμ−1. This implies that the previous sum \(\frac {1}{2}\sum b(\partial\varOmega_{n-j}(\epsilon))\) equals exactly half the number of points of Z(ϵ). On the other hand Z(ϵ) is defined by the intersection in ℝ2 of the unit circle with a curve of degree n+1, namely det(ωqϵp)=0. Thus Z(ϵ) has at most 2(n+1) points and
$$b(X)\leq n+1-2(\mu-\nu)+n+1. $$
Since for μ=ν we have b(X)≤n+1, then we may assume μν≥1 which finally gives the desired inequality. □

Remark 1

Using the same technique, it is possible to prove that if X is the intersection of three real quadrics in ℝP n , then b(X)≤n(n+1). The interested reader is referred to [13].

We move now back to the smooth case and we prove the bound for each specific Betti number. The interesting part is that our bound b k (X)≤2(k+2) does not depend on n. We start with the following lemma.

Lemma 16

Let X be a nonsingular intersection of two quadrics in ℝP n and S 1 be the union of two half circles C 1 and C 2=−C 1 such that C 1C 2={η,−η} and det(ηq)≠0. Then for every k∈ℕ we have
$$b_k(X)\leq b_0\bigl(\varOmega^{n-k} \cap C_1\bigr)+b_0\bigl(\varOmega^{n-k}\cap C_2\bigr). $$

Proof

We first notice that by the semialgebraic Mayer–Vietoris sequence (see [7]) for the pair (C 1,C 2) we have
$$b_0\bigl(\varOmega^{n-k}\bigr)\leq b_0\bigl(\varOmega^{n-k}\cap C_1 \bigr)+b_0\bigl(\varOmega^{n-k}\cap C_2 \bigr)-b_0\bigl(\varOmega^{n-k}\cap\{\eta\} \bigr)-b_0\bigl(\varOmega^{n-k}\cap\{-\eta\}\bigr). $$
If knμ then Theorem 8 gives the desired bound, since b k (X)≤b 0(Ω nk ). In the case k=nμ Theorem 8 gives b k (X)≤b 0(Ω μ )+b 1(Ω μ−1). If b 1(Ω μ−1)=0 then again the result follows from the previous inequality. In the remaining case the index function has only two values μ and μ−1 and either η or −η has index μ: if it was not the case then they both would have index μ−1 which is impossible because μ=maxi+ and i+(η)=n+1−i+(−η). Thus also in this case the conclusion follows from the previous inequality. □

Theorem 17

Let X be a smooth intersection of two quadrics in ℝP n . Then for every k∈ℕ:
$$b_k(X)\leq2(k+2). $$

Proof

We start by proving a formula for the index function of a smooth intersection of quadrics. Recall that this amounts to the fact the set of points Z on S 1 where the determinant of ωq vanishes is finite and at each one of these points the index function jumps exactly by ±1. Let us fix an orientation of the circle and divide the set Z into the disjoint subset Z + and Z consisting respectively of the points where the index function jumps by +1 and −1 when crossing them counterclockwise. Let us fix also two points η,−η on S 1 where the determinant does not vanish. Consider the counterclockwise arc I=[−η,η] and a point \(\omega\in \operatorname {Int}(I)\) such that det(ωq)≠0. Le ρ ±(ω) and λ ±(ω) be respectively the cardinality of [−η,ω]∩Z ± and [ω,η]∩Z ±. Let also 2θ be the number of non real projective solutions to det(ωq)=0.

We claim that using this notations the index function verifies
$$ \mathrm{i}^+({\omega})=\rho^+(\omega)+\lambda(\omega )+\theta. $$
(14)
Let us prove this formula. We have i+(−ω)=n+1−i+(ω), because det(ωq)≠0, and i+(−ω)=i+(ω)+λ +(ω)−λ(ω)+ρ(ω)−ρ +(ω), because of the definition of the functions λ ± and ρ ± and the fact that Z =−Z +. Thus:
$$2\mathrm{i}^+(\omega)=n+1-\lambda^+(\omega)+\lambda(\omega)-\rho (\omega)+ \rho^+(\omega). $$
On the other hand we also have
$$\lambda^+(\omega)+\lambda(\omega)+\rho(\omega)+\rho^+(\omega)+2 \theta=n+1 $$
which combined with the previous equation gives (14).
Because of Lemma 16, to prove the theorem it is sufficient to show that
$$b_0\bigl(\varOmega^{n-k}\cap I\bigr)\leq k+2. $$
If Ω nk is not empty let η 1,η 2 be two points satisfying: (i) I=[−η,η 1]∪[η 1,η 2]∪[η 2,η]; (ii) the determinant does not vanish at η 1,η 2; (iii) i+(η 1)=i+(η 2)=nk; (iv) either \(\mathrm{i}^{+}|_{[-\eta, \eta _{1}]}\leq n-k\) or \(\mathrm{i}^{+}|_{[-\eta, \eta_{1}]}\geq n-k\) and the same holds for \(\mathrm{i}^{+}|_{[\eta_{2}, \eta]}\). To get these points it is sufficient to let η 1 belong to the closest interval to −η where the index function is nk and η 2 to the closest interval to η where the index function is nk. To simplify notations let: Then by the index formula (14) we have nk=i+(η 1)=c +b +a ++θ and nk=i+(η 2)=c +b ++a ++θ, which combined give b =b +. On the other hand we also have a +a ++2b+c +c +=n+1−2θ, which combined with nk=a ++b +c +θ gives
$$b\leq k+1-\theta\leq k+1. $$
Thus the number of points in [η 1,η 2] where the index function can change sign are at most k+1 and in this case:
$$b_0\bigl(\varOmega^{n-k}\cap I\bigr)= b_0\bigl(\varOmega^{n-k}\cap[\eta_1, \eta_2]\bigr)\leq k+2. $$
 □

Remark 2

Notice that, because of the Universal Coefficients Theorem, the result holds also for Betti numbers with ℤ coefficients.

Remark 3

Using the transfer exact sequence for the covering YX as above, we also get
$$b_k(Y;\mathbb{Z})\leq b_k(Y)\leq4(k+2) $$
for Y a nonsingular intersection of two quadrics on S n .

Remark 4

Estimates on the Betti Numbers of system of quadratic inequalities are given in the general case in [5] and [6]; in the case of intersection of quadrics in projective space estimates on the number of connected components are given in [9]. In particular, following the notations of [9], we can denote by \(B_{r}^{k}(n)\) the maximum value that the kth Betti number of a complete intersection of r+1 quadrics in ℝP n can have. There it is proved that
$$B_{2}^{0}(n)\leq\frac{3}{2}l(l-1)+2, \quad l=[n/2]+1. $$
With this notation our previous result reads
$$B_1^k(n)\leq2(k+2). $$
In particular the maximal number of connected component is 4; this number is sharp in the family of nonsingular intersection, as the case of two appropriate quadrics in ℝP2 shows. More generally, for even n the pair of quadrics of the example at the beginning of this section attains the maximum for \(k=\frac{n}{2}-1\).

Footnotes

  1. 1.

    From now on we work with ℤ2 coefficients.

  2. 2.

    This inequality is the statement that the homological complexity of a real algebraic variety X is always less or equal to the one of its complex part X .

  3. 3.

    The reader is advised to see [11] for a detailed discussion of the regularity of the eigenvalues of a family of symmetric matrices.

  4. 4.

    In fact this sequence yields for every k≥0 the inequality b k (Y)≤2b k (X); notice that this inequality is not sharp, as the case S n →ℝP n shows.

Notes

Acknowledgements

The author is very grateful to his teacher A.A. Agrachev for the remarkable contribution to this work; it can be considered as the natural development of many of his ideas. The author wishes to thank also the anonymous referee, for her/his patience and for the many helpful suggestions which improved both the presentation and the results.

References

  1. 1.
    Agrachev, A.A.: Topology of quadratic maps and Hessians of smooth maps. Itogi nauki. VINITI. Algebra. Topologiya. Geometriya, vol. 26, pp. 85–124 (1988) Google Scholar
  2. 2.
    Agrachev, A.A., Lerario, A.: Systems of quadratic inequalities. Proc. Lond. Math. Soc., first published online April 4, 2012. doi: 10.1112/plms/pds010
  3. 3.
    Barvinok, A.I.: A Course on Convexity. Am. Math. Soc., Providence (2002) Google Scholar
  4. 4.
    Barvinok, A.I.: On the Betti numbers of semialgebraic sets defined by few quadratic inequalities. Discrete Comput. Geom. 22, 1–18 (1999) MathSciNetCrossRefGoogle Scholar
  5. 5.
    Basu, S., Kettner, M.: A sharper estimate on the Betti numbers of sets defined by quadratic inequalities. Discrete Comput. Geom. 39, 734–746 (2008) MathSciNetzbMATHCrossRefGoogle Scholar
  6. 6.
    Basu, S., Pasechnik, D., Roy, M.-F.: Bounding the Betti numbers of semialgebraic sets defined by partly quadratic systems of polynomials. J. Eur. Math. Soc. 12, 529–553 (2010) MathSciNetzbMATHCrossRefGoogle Scholar
  7. 7.
    Bochnak, J., Coste, M., Roy, M.-F.: Real Algebraic Geometry. Springer, Berlin (1998) zbMATHGoogle Scholar
  8. 8.
    Calabi, E.: Linear systems of real quadratic forms. Proc. Am. Math. Soc. 15, 844–846 (1964) MathSciNetzbMATHCrossRefGoogle Scholar
  9. 9.
    Degtyarev, A., Itenberg, I., Kharlamov, V.: On the Number of Connected Components of a Complete Intersection of Real Quadrics. arXiv:0806.4077
  10. 10.
    Hatcher, A.: Algebraic Topology. Cambridge University Press, Cambridge (2002) zbMATHGoogle Scholar
  11. 11.
    Kato, T.: Perturbation Theory for Linear Operators. Springer, Berlin (1995) zbMATHGoogle Scholar
  12. 12.
    Lerario, A.: Homology invariants of quadratic maps. Ph.D. thesis (2011) Google Scholar
  13. 13.
    Lerario, A.: The total Betti number of the intersection of three real quadrics. arXiv:1111.3847v1
  14. 14.
    López de Medrano, S.: Topology of intersection of quadrics in ℝn. In: Lecture Notes in Mathematics, vol. 1370, pp. 280–292. Springer, Berlin (1989) Google Scholar
  15. 15.
    Thompson, R.C.: Pencils of complex and real symmetric and skew matrices. Linear Algebra Appl. 147, 323–371 (1991) MathSciNetzbMATHCrossRefGoogle Scholar
  16. 16.
    Wilson, G.: Hilbert’s sixteenth problem. Topology 17(1), 53–73 (1978) MathSciNetzbMATHCrossRefGoogle Scholar

Copyright information

© Springer Science+Business Media, LLC 2012

Authors and Affiliations

  1. 1.SISSATriesteItaly

Personalised recommendations