{"title":"具有两个渐开线和低皮卡数的 K3 曲面","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":"{\"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}","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}
K3 surfaces with two involutions and low Picard number
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\).