{"title":"K3 surfaces with two involutions and low Picard number","authors":"Dino Festi, Wim Nijgh, Daniel Platt","doi":"10.1007/s10711-024-00900-8","DOIUrl":null,"url":null,"abstract":"<p>Let <i>X</i> be a complex algebraic K3 surface of degree 2<i>d</i> and with Picard number <span>\\(\\rho \\)</span>. Assume that <i>X</i> admits two commuting involutions: one holomorphic and one anti-holomorphic. In that case, <span>\\(\\rho \\ge 1\\)</span> when <span>\\(d=1\\)</span> and <span>\\(\\rho \\ge 2\\)</span> when <span>\\(d \\ge 2\\)</span>. For <span>\\(d=1\\)</span>, the first example defined over <span>\\({\\mathbb {Q}}\\)</span> with <span>\\(\\rho =1\\)</span> was produced already in 2008 by Elsenhans and Jahnel. A K3 surface provided by Kondō, also defined over <span>\\({\\mathbb {Q}}\\)</span>, can be used to realise the minimum <span>\\(\\rho =2\\)</span> for all <span>\\(d\\ge 2\\)</span>. In these notes we construct new explicit examples of K3 surfaces over the rational numbers realising the minimum <span>\\(\\rho =2\\)</span> for <span>\\(d=2,3,4\\)</span>. We also show that a nodal quartic surface can be used to realise the minimum <span>\\(\\rho =2\\)</span> for infinitely many different values of <i>d</i>. Finally, we strengthen a result of Morrison by showing that for any even lattice <i>N</i> of rank <span>\\(1\\le r \\le 10\\)</span> and signature <span>\\((1,r-1)\\)</span> there exists a K3 surface <i>Y</i> defined over <span>\\({\\mathbb {R}}\\)</span> such that <span>\\({{\\,\\textrm{Pic}\\,}}Y_{\\mathbb {C}}={{\\,\\textrm{Pic}\\,}}Y \\cong N\\)</span>.\n</p>","PeriodicalId":0,"journal":{"name":"","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2024-03-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"","FirstCategoryId":"100","ListUrlMain":"https://doi.org/10.1007/s10711-024-00900-8","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 0
Abstract
Let X be a complex algebraic K3 surface of degree 2d and with Picard number \(\rho \). Assume that X admits two commuting involutions: one holomorphic and one anti-holomorphic. In that case, \(\rho \ge 1\) when \(d=1\) and \(\rho \ge 2\) when \(d \ge 2\). For \(d=1\), the first example defined over \({\mathbb {Q}}\) with \(\rho =1\) was produced already in 2008 by Elsenhans and Jahnel. A K3 surface provided by Kondō, also defined over \({\mathbb {Q}}\), can be used to realise the minimum \(\rho =2\) for all \(d\ge 2\). In these notes we construct new explicit examples of K3 surfaces over the rational numbers realising the minimum \(\rho =2\) for \(d=2,3,4\). We also show that a nodal quartic surface can be used to realise the minimum \(\rho =2\) for infinitely many different values of d. Finally, we strengthen a result of Morrison by showing that for any even lattice N of rank \(1\le r \le 10\) and signature \((1,r-1)\) there exists a K3 surface Y defined over \({\mathbb {R}}\) such that \({{\,\textrm{Pic}\,}}Y_{\mathbb {C}}={{\,\textrm{Pic}\,}}Y \cong N\).