MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Let $n, d$ be positive integers. I am interested in the open subset $\mathcal U_{n,d} \subset \mathbb P H^0 ( \mathbb P^n_{\mathbb R}, \mathcal O_{\mathbb P^n_{\mathbb R}}(d))$ corresponding to sections without real zeros. When $d$ is odd and $n$ arbitrary, the set $\mathcal U_{n,d}$ is empty since (homeogeneous) polynomials of odd degree always have (non-trivial) real roots.

Question. Suppose $d$ is even. How many connected components $\mathcal U_{n,d}$ has ? Do we know anything about the Betti numbers of $\mathcal U_{n,d}$ ?

Indeed, motivated by this other question, I am trying to figure out if it makes sense to ask for the number of connected components of the space of polynomial contact distributions of even degree on $\mathbb P^{2n+1}_{\mathbb R}$.

share|cite|improve this question
up vote 3 down vote accepted

If $s$ is a non-zero section whose image lies in $\mathcal U_{n,d}$, then it has constant sign on $V^\ast:=\mathbb R^{n+1}\setminus\{0\}$ and after possibly multiplying by $-1$ we may assume that $s$ is strictly positive on $V^\ast$. The strictly positive $s$ form an open convex cone $C$ (we do not assume that $0$ belongs to a cone) and is hence contractible when non-empty which this one is when $d$ is even. As $C\to\mathcal U_{n,d}$ is a fibration with fibres $\mathbb R_+$ so is $\mathcal U_{n,d}$.

share|cite|improve this answer
@Torsten: the point is not that $C$ is a cone, but that it is convex. – Laurent Moret-Bailly Mar 26 '11 at 8:39
Cones in my definition are always convex $u,v\in C,\lambda,\mu\in\mathbb R_+\implies \lambda u+\mu v\in C$. – Torsten Ekedahl Mar 26 '11 at 8:46
Thanks! Simpler than I expected. – Jorge Vitório Pereira Mar 26 '11 at 11:12
Of course what I call cones should really be called convex cones but it seems that I acquired the habit of calling them cones from toric geometry. – Torsten Ekedahl Mar 26 '11 at 11:47

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

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