0
$\begingroup$

Let $k$ be a $p$-adic field with ring of integers $\mathcal{O}_K$ and residue field $\mathbb{F}$. Say I have a (projective) quadric $Q$ which is smooth over $\mathcal{O}_K$, such that the reduction $\bar{Q}$ (smooth over $\mathbb{F}$) contains a line $\cong \mathbb{P}^1$ defined over $\mathbb{F}$. Does it follow that $Q$ contains a line $\cong \mathbb{P}^1$ defined over $\mathcal{O}_K$?

If yes, I guess this would somehow follow from Hensel's lemma, but I'm not sure how exactly.

$\endgroup$

1 Answer 1

8
$\begingroup$

Yes, for the reason you give. The Hilbert scheme of lines in $Q$ is smooth over $\mathcal O_K$ (the obstruction to smoothness lies in $H^1$ of a normal bundle $\mathcal N$; the homogeneity of $Q$ shows that $\mathcal N$ is generated by $H^0$, so has $H^1=0$ from the classification of bundles on $\mathbb P^1$). Now apply Hensel's lemma to this Hilbert scheme.

$\endgroup$
1
  • $\begingroup$ Ok, great answer! $\endgroup$
    – Wanderer
    May 11, 2012 at 10:43

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

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