# Complexity of intersections of real quadrics and topology of symmetric determinantal varieties

### Antonio Lerario

SISSA, Trieste, Italy

## Abstract

Let $W$ be a linear system of quadrics on the real projective space $RP_{n}$ and $X$ be the base locus of that system (i.e. the common zero set of the quadrics in $W$). We prove a formula relating the topology of $X$ to the one of the discriminant locus $Σ_{W}$ (i.e. the set of singular quadrics in $W$). The set $Σ_{W}$ equals the intersection of $W$ with the discriminant hypersurface for quadrics; its singularities are unavoidable (they might persist after a small perturbation of $W$) and we set ${Σ_{W}}_{r≥1}$ for its singular point stratification, i.e. $Σ_{W}=Σ_{W}$ and $Σ_{W}=Sing(Σ_{W})$. With this notation, for a generic $W$ the mentioned formula writes:

In the general case a similar formula holds, but we have to replace each $b(PΣ_{W})$ with $21 b(Σ_{ϵ})$, where $Σ_{ϵ}$ equals the intersection of the discriminant hypersurface with the unit sphere on the translation of $W$ in the direction of a small negative definite form. Each $Σ_{ϵ}$ is a determinantal variety on the sphere $S_{k−1}$ defined by equations of degree at most $n+1$ (here $k$ denotes the dimension of $W$); we refine Milnor's bound, proving that for such affine varieties $b(Σ_{ϵ})≤O(n)_{k−1}$.

Since the sum in the above formulas contains at most $O(k)_{1/2}$ terms, as a corollary we prove that if $X$ is *any* intersection of $k$ quadrics in $RP_{n}$ then the following *sharp* estimate holds: $b(X)≤O(n)_{k−1}.$ This bound refines Barvinok's style estimates (recall that the best previously known bound, due to Basu, has the shape $O(n)_{2k+2}$).

## Cite this article

Antonio Lerario, Complexity of intersections of real quadrics and topology of symmetric determinantal varieties. J. Eur. Math. Soc. 18 (2016), no. 2, pp. 353–379

DOI 10.4171/JEMS/592