5
$\begingroup$

For some reason, I'm convinced the answer to the following question should be (obviously) negative, but I can't come up with a good reason.

Does there exist a number field $K$, a smooth projective geometrically connected curve $X/K$ of genus $g\geq 2$ with a $K$-rational point $x$ such that, for any number field $L/K$, $x$ does not intersect $ X(L)$?

Let me make the last part of the question more precise. Firstly, let $\mathcal X$ be the minimal regular model of $X$ over $O_K$. When I say that $x$ does not intersect $X(L)$ I mean that the intersection product $(x,y)_{\mathcal X}$ on $\mathcal X$ equals zero for all $y\in X(L)-\{x\}$. (Here $x$ and $y$ also denote their Zariski closures in $\mathcal X$.)

I think it could happen that some $K$-rational point does not intersect any other $K$-rational point. Take for example a curve with $X(K) = \{pt\}$. For some reason I do think that there should always be some (other) $L$-rational point which intersects this $K$-rational point.

  • 0
    Let $D$ and $E$ be horizontal divisors on $\mathcal X$ over $S=\mathrm{Spec} O_K$. Then $(D,E)$ is defined to be $\sum_{s\in \vert S\vert} i_s(D,E) \log \# k(s)$, where the sum runs over the closed points of $S$ and $i_s(D,E)$ is the local intersection multiplicity of $D$ and $E$ over $s$.2012-05-29

1 Answers 1

5

The answer is no (for any genus). Fix a closed point $s\in \mathrm{Spec}(O_K)$ such that $\mathcal X_s$ is smooth. Let $x_s$ be the intersection point of $\overline{\{ x\}}$ with the fiber $\mathcal X_s$. Look (Zariski) locally at $\mathcal X$ around $x_s$. Lift a generator of the maximal ideal of $O_{\mathcal{X}_s, x_s}$ to $O_{\mathcal X, x_s}$, then you get a horizontal curve in $\mathcal X\otimes O_{S,s}$ passing through $x_s$. Taking the Zariski closure of the horizontal curve in $\mathcal X$ then gives you a horizontal curve in $\mathcal X$ passing through $x_s$. Its intersection with $\overline{\{ x\}}$ is positive, and its generic fiber is a point of $X(\bar{K})$ hence of $X(L)$ for some finite extension $L/K$.

Finally, there are infinitely many local liftings of a given generator (just perturb a lifting by adding a multiple of the uniformizing element of $O_{S,s}$), so at least one of them will gives a horizontal curve different from $\overline{\{ x\}}$.

  • 0
    @Harry, in the henselian case, one can take $L=K$. Indeed, $\mathcal X$ is Zariski locally around $x_s$ étale over $\mathbb A^1_{O_K}$. Pull-back any section of $\mathbb A^1_{O_K}$ passing through the origin of the special fiber will give a section of $\mathcal X$ passing through $x_s$ (because $O_K$ is henselian). But this will not give control in the general case because in the henseliazation, there may be algebraic extensions of big degrees.2012-05-30