Skip to main content
2 of 3
added 1 characters in body
Francesco Polizzi
  • 66.3k
  • 5
  • 180
  • 283

There is no standard way to deduce that a divisor $D$ on a projective variety $X$ is $m$-divisible in the Picard group, and even for $m=2$ this can be a difficult problem. Geometrically, this condition is equivalent to the existence of a simple cyclic cover $Y \to X$ of degree $m$ branched precisely on $D$.

The condition you give is not sufficient, and the following is a counterexample. Take a quartic surface $X \subset \mathbb{P}^3$ and assume that $X$ contains a conic $D$. Then the degree of $D$ with respect to the hyperplane section of $X$ is $2$. On the other hand, there is no divisor $L$ on $X$ such that $2L=D$. In fact, since $X$ is a $K3$ surface, by adjunction formula one finds $D \cdot D=-2$, that would imply $L \cdot L=-1/2$, a contradiction.

Francesco Polizzi
  • 66.3k
  • 5
  • 180
  • 283