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 $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.

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

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.

share|cite|improve this answer
Ok, great answer! – Wanderer May 11 '12 at 10:43

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.