Skip to main content
2 of 3
edited body
Basics
  • 1.8k
  • 10
  • 14

Primitivity of subgroups in the Picard groups of anticanonical $K3$ surfaces

Let $X$ be a smooth projective threefold with $h^{0,1}(X) = h^{0,2}(X)=0$ that has a smooth anticanonical section $D$. Then $D$ is necessarily a $K3$ surface. Consider a subgroup $$Pic_X(D) = i^*(Pic(X))$$ of $Pic(D)$, where $i:D \hookrightarrow X$ is the inclusion map. I tried several examples of $X$, including some blow-ups of toric Fano threefolds and found that $Pic_X(D)$ is a primitive subgroup of $Pic(D)$(i.e. the quotient $Pic(D) / Pic_X(D)$ has no torsion)

Is it generally true or are they any counterexamples?

If $X$ is a smooth Fano threefold, then it is obvious but I am not sure about the general cases.

Basics
  • 1.8k
  • 10
  • 14