\(K3\) surfaces with an automorphism of order 11 (Q2438281): Difference between revisions

Let \(k=\bar{k}\) be a field of arbitrary characteristic. Consider \(K3\) surface \(X\) over \(k\) admitting an automorphism \(\varphi\) of order \(11\). In particular in case of the characteristic of \(k\) being \(11\), such a surface is wild and \(X\) has a structure of an elliptic fibration that is compatible with the automorphism \(\varphi\). The main theorem of the paper under review is that such \(K3\) surfaces over \(k\) with characteristic \(11\) have generically Picard number \(2\), which is related the Tate conjecture, and answers several questions asked in a paper by Dolgachev and Keum. As corollaries, one obtains that the height of such \(K3\) is \(10\), an example of supersingular \(K3\) surface admitting an order-\(11\) automorphism, and that if a complex \(K3\) surface \(X\) is reduced to \(K3\) surfaces \(X_\varepsilon\) or \(X_\gamma\), then, the Picard number of \(X\) is \(2\). Here \(X_\varepsilon : y^2=x^3+\varepsilon x^2 + t^{11}-t, \, X_\gamma : y^2=x^3+\gamma x + t^{11}-t\). The main theorem is proved by firstly reducing to the case of elliptic \(K3\) surfaces \(X_\varepsilon\) or \(X_\gamma\); and then, computing the characteristic polynomial of the induced Frobenius mappting on \(H^2_{\mathrm{\'et}}(\bar{X},\, \mathbb{Q}_l)\). The second step is done with Lefschetz's Fixed Point Formula.