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 number field and let $X \subset \mathbb{P}^n$ be a non-singular hypersurface of degree $n-1$. Let $F(X)$ denote the Fano variety of lines of $X$. Then it is known that for general $X$ the dimension of $F(X)$ is $n-2$. In particular, over an algebraic closure $\overline{k}$ of $k$, every point lies on a line (as $\dim X = n-1$) and so the lines are Zariski dense over $\overline{k}$. My question is about what happens over $k$.

Does there exist such an $X$ such that the rational points on $F(X)$ are Zariski dense over $k$? i.e. the collection of lines defined over $k$ in $X$ are Zariski dense?

Some remarks:

  • I said above that it is known that $\dim F(X) = n -2$ for general $X$. One might be worried as a geometer's general might not include any examples defined over a countable field like $k$. Thankfully I don't think this is a concern as it is a conjecture of Debarre and de Jong that we always have $\dim F(X) = n -2$, although I'm not sure what the current state of affairs is.

  • Here is a non-example. Take $n=4$, i.e. $X$ is a cubic threefold. Then it is known that $F(X)$ is a surface of general type. The Bombieri-Lang conjecture therefore predicts that the rational points on $F(X)$ are not Zariski dense. In fact this conjecture is known in this case by a theorem of Faltings, as $F(X)$ embeds inside its Albanese variety.

share|cite|improve this question
Why do you ask? – Jason Starr Jul 27 '13 at 17:50
I think it is an interesting question. Also I have recently proved a theorem on the distribution of rational points on Fano varieties and Im looking for applications of this result. If my question has a positive answer then I will be able to apply my theorem to such hypersurfaces. – Daniel Loughran Jul 27 '13 at 18:39
In degree 3, $F(X)$ is always smooth. In higher degrees, this can fail. There may exist some smooth $X$ of higher degree for which every desingularization of $F(X)$ has non-general type components. I will see what I can find out. I recommend asking Roya Beheshti -- she is the reigning expert on the Debarre - de Jong conjecture. She discovered some new constraints on $F(X)$ coming from Hodge theory in a nontrivial manner. – Jason Starr Jul 28 '13 at 6:36
Thanks Jason for the advice. – Daniel Loughran Jul 28 '13 at 8:52

Your Answer


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

Browse other questions tagged or ask your own question.