Skip to main content
2 of 8
edited title
Peter Crooks
  • 4.9k
  • 2
  • 22
  • 42

Is the space of real conics with a singular point an orientable manifold?

Consider the space of non zero real homogeneous degree $2$ polynomials in three variables upto scaling. This space is $\mathbb{R} \mathbb{P}^5$. The zero set of such a polynomial gives a real curve in $\mathbb{R} \mathbb{P}^2$. Let me define the space $X$ to be the space of real curves $[f]$ and a marked point $p$, such that the curve has a singularity at $p$, i.e. $$ X := \{ ([f], p) \in \mathbb{R} \mathbb{P}^5 \times \mathbb{R} \mathbb{P}^2: f(p) =0, ~~\nabla f|_p =0 \}. $$

It can be shown that $X$ is a smooth $4$ dimensional manifold.

$\textbf{Question:}$ Is $X$ orientable or non orientable?

$\textbf{Comments:}$ I have two arguments giving me contradictory answers. First of all, note that the normal bundle to $X$ in $\mathbb{R} \mathbb{P}^5 \times \mathbb{R} \mathbb{P}^2$ is given by $$ N_X:= \gamma_{5}^* \otimes \gamma_2^{* 2} \oplus \gamma_5^* \otimes T^*\mathbb{R P}^2 \otimes \gamma_2^* \big{|}_X, $$ where $\gamma_n$ is the tautological line bundle over $\mathbb{RP}^n$. (I can justify this if someone is not convinced).

Note that $$ TX \approx \frac{T (\mathbb{R} \mathbb{P}^5 \times \mathbb{R} \mathbb{P}^2)}{N_X}. $$ It is now easy to see that the first stiefel whitney class of the tangent bundle of $X$ is zero, i.e. $w_1(TX) =0$. Hence $X$ is orientable.

On the other hand it seems to me that $~\pi: X \rightarrow \mathbb{RP}^2$ is a fibre bundle, with fibres $\mathbb{RP}^2$. One can show (using spectral sequences) that any $\mathbb{RP}^2$ bundle over $\mathbb{RP}^2$ is non orientable.

Ritwik
  • 3.2k
  • 20
  • 27