Skip to main content
2 of 2
edited body
manifold
  • 321
  • 6
  • 15

First Chern class and field extensions

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.

manifold
  • 321
  • 6
  • 15