Let be a complex algebraic K3 surface of degree and with Picard number . Assume that admits two commuting involutions: one holomorphic and one anti-holomorphic. In that case, when and when . For , the first example defined over with was produced already in 2008 by Elsenhans and Jahnel. A K3 surface provided by Kondō, also defined over , can be used to realise the minimum for all . In these notes we construct new explicit examples of K3 surfaces over the rational numbers realising the minimum for . We also show that a nodal quartic surface can be used to realise the minimum for infinitely many different values of . Finally, we strengthen a result of Morrison by showing that for any even lattice of rank and signature there exists a K3 surface defined over such that .

生成讲解博客的中文版本

生成AI智能校验的中文版本