Let $X$ be a smooth, complex projective algebraic variety defined over a number field $K$. Let $D$ be a divisor of $X$ defined over $K$ with the following property:
For any curve $C$ defined over $K$, we have $\operatorname{deg (D_{|C})=0}$
Is it then true that $c_1(D)=0$?
In general, in order to have $c_1(D)=0$ ,I should check that $\operatorname{deg (D_{|C})=0}$ for any curve (not just the ones defined over $K$). I'm asking if in this particular setting, the curves defined over $K$ are enough.