On the Galois-invariant part of the Weyl group of the Picard lattice of a K3 surface

MaRDI QIDQ6434629zbMATH OpenFDO

Authors Wim Nijgh, Ronald van Luijk

Publication date 28 April 2023

Has companion code repository https://github.com/wimnijgh/k3-and-weyl-group

Mathematics Subject Classification ID

(K3) surfaces and Enriques surfaces (14J28) Picard groups (14C22)

Abstract: Let $X$ denote a K3 surface over an arbitrary field $k$. Let $k^{e}xts$ denote a separable closure of $k$ and let $X^{e}xts$ denote the base change of $X$ to $k^{e}xts$. The action of the absolute Galois group Gal($k^{e}xts/k$) of $k$ on Pic $X^{e}xts$ respects the intersection pairing, which gives Pic $X^{e}xts$ the structure of a lattice. Let O(Pic $X$) and O(Pic $X^{e}xts$) denote the group of isometries of Pic $X$ and Pic $X^{e}xts$, respectively. Let $R_X$ denote the Galois invariant part of the Weyl group of O(Pic $X^{e}xts$). One can show that each element in $R_X$ can be restricted to an element of O(Pic $X$). The following question arises: Is the image of the restriction map $R_{X}o$O(Pic $X$) a normal subgroup of O(Pic $X$) for every K3 surface $X$? We show that the answer is negative by giving counterexamples over $k=mathbbQ$.

This page was built for publication: On the Galois-invariant part of the Weyl group of the Picard lattice of a K3 surface

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6434629)