3
$\begingroup$

For which fields $k$ does there exist a proper morphism $S\rightarrow \mathrm{Spec}\:k$ of relative dimension $\leq 2$ such that for every geometrically connected smooth proper $C \rightarrow \mathrm{Spec}\:k$ of relative dimension $1$ there exists a $k$-closed immersion $C\rightarrow S$?

Complex numbers are not such a field (in fact, a stronger result holds), some "massaging" might extend this to all subfields of $\mathbb{C}$. No idea what is going on in $\mathrm{char}\:p$.

$\endgroup$
3
  • 1
    $\begingroup$ The proof you linked to works for all uncountable algebraically closed fields of characteristic $0$. I think you need a new idea to extend it to say, $\overline{\mathbb{Q}}.$ For (uncountable algebraically closed) fields of characteristic $p$, this seems closely related to asking if $M_g$ is unirational for large $g$, and to my knowledge this is still open (see the final remarks in arxiv.org/abs/1702.04404). $\endgroup$
    – dhy
    Jun 2, 2019 at 13:49
  • $\begingroup$ Is it known whether such fields exist at all? $\endgroup$ Jun 2, 2019 at 18:05
  • $\begingroup$ @AviSteiner not known to me, that's for sure $\endgroup$
    – user140765
    Jun 3, 2019 at 9:51

0

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.