Skip to main content
Notice removed Draw attention by CommunityBot
Bounty Ended with no winning answer by CommunityBot
Notice added Draw attention by Vinicius M.
Bounty Started worth 50 reputation by Vinicius M.
edited tags
Link
YCor
  • 63.9k
  • 5
  • 187
  • 286
Source Link

Produce supersingular K3 from rational elliptic surfaces

Given a rational elliptic surface $R \to \Bbb P^1$, is there a way to know if there exists a supersingular K3 surface that arises as a base curve change $S=R\times_{\Bbb P^1} \Bbb P^1 \to \Bbb P^1$, given by a degree-two morphism $f:\Bbb P^1 \to \Bbb P^1$? I'm aware that, depending on the ramification points of $f$, $S$ is going to be a K3 surface, from the singular fibers of $R$, we know the singular fibers of $R$ and the maximum sublattice from the Néron-Severi group of $S$ coming from the Néron-Severi group of R has rank 20 (together with the zero section and the class of a smooth fiber), thus a supersingular K3 obtained by this method will have two more sections, right? Does the dependence on the characteristics of the supersingularity implies that there exist no generic geometric construction like that yielding always supersingular K3?

On the other way around, given a supersingular K3, is there a way to know if there exists a rational elliptic surface under such K3?