\(K3\) surfaces with an automorphism of order 11 (Q2438281): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Set profile property. |
||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Revision as of 09:14, 5 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | \(K3\) surfaces with an automorphism of order 11 |
scientific article |
Statements
\(K3\) surfaces with an automorphism of order 11 (English)
0 references
10 March 2014
0 references
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.
0 references
\(K3\) surface
0 references
wild automorphism
0 references
Lefschetz fixed point formula
0 references