The representations of the automorphism groups and the Frobenius invariants of \(K3\) surfaces
type: Item
instance of: scholarly article
title: The representations of the automorphism groups and the Frobenius invariants of \(K3\) surfaces
zbMATH Open document ID: 1403.14074
author: Junmyeong Jang
published in: Michigan Mathematical Journal
publication date: 2016-04-22T00:00:00Z
full work available at URL: https://arxiv.org/abs/1312.7634
reviewed by: Makiko Mase
Mathematics Subject Classification ID: 14J28
Mathematics Subject Classification ID: 14J50
zbMATH DE Number: 6572608
MaRDI profile type: Publication
OpenAlex ID: W2964228097
arXiv ID: 1312.7634
DOI: 10.1307/MMJ/1457101815
review text: The aim of the article under review is to study a \(K3\) surface over an algebraically-closed field \(k\) of odd characteristic. Denoting by \(W\) the ring of Witt vectors of \(k\) and \(\mathrm{NS}(X)\) the Néron-Severi lattice of \(X\), there are embeddings of the \(\mathbb{Z}_l\)-module \(\mathrm{NS}(X)\otimes\mathbb{Z}_l\) into the second étale cohomogoly, and of the \(W\)-module \(\mathrm{NS}(X)\otimes W\) into the second crystelline cohomology, with the orthogonal complements of which are denoted by \(T_l(X)\) and \(T_{\mathrm{cris}}(X)\), respectively. There are representations of the automorphism group of \(X\): \(\chi_{l,X}\) into \(O(T_l(X))\),\, \(\chi_{\mathrm{cris},X}\) into \(O(T_{\mathrm{cris}}(X))\),\, \(\rho_X\) into \(\mathrm{GL}(H^0(X,\,\Omega_{x\slash k}^2))\), and \(\nu_X\) into \(O(\mathrm{NS}(X)^*\slash \mathrm{NS}(X))\).NEWLINENEWLINEMotivated by the properties of representations of the automorphism group for a complex \(K3\) surface, the first part is devoted to a comparison of the images of \(\rho_X\) and \(\nu_X\), and analogous results are obtained. Moreover, the eigenvalues of \(\chi_{l,X}(\alpha)\) and \(\alpha^*|_{H^2_{\text{ét}}(X,\mathbb{Q}_l)}\) for an automorphism \(\alpha\) are also given. There is also given a criterion for the rank of \(T_l(X)\) is divisible by the Euler function of the order of the image of \(\rho_X\).NEWLINENEWLINEThe second part gives a criterion for the \(K3\) surface \(X\) to be supersingular in terms of Frobenius invariant, and the order of the image of \(\rho_X\). Here, the Frobenius invariant is a pair of the Artin invariant, and the height of the formal Brauer group \(\widehat{Br}(X)\) of \(X\).
description: scientific article; zbMATH DE number 6572608