The two most algebraic K3 surfaces (Q792405)

The author applies the theory of hyperbolic reflection groups to algebraic K3 surfaces (over \({\mathbb{C}})\), in particular to two distinguished K3 surfaces \(X_ 3\) and \(X_ 4\). Their lattices of algebraic two-dimensional cycles have the maximal possible dimension, namely 20, and the minimal possible moduli of discriminants, namely 3 for \(X_ 3\) and 4 for \(X_ 4\). The groups of automorphisms of \(X_ 3\) and \(X_ 4\) are described, and projective models of \(X_ 3\) and \(X_ 4\) are given: \(X_ 3\) is birationally isomorphic to Y and Y' in \({\mathbb{C}}P^ 4: Y:\{y^ 2=-(x_ 2x_ 3+x_ 3x_ 1+x_ 1x_ 2);\quad z^ 3=x_ 1x_ 2x_ 3\}, Y':\{y^ 2=x^ 2_ 1+x^ 2_ 2+x^ 2_ 3-2(x_ 2x_ 3+x_ 3x_ 1+x_ 1x_ 2);\quad z^ 3=x_ 1x_ 2x_ 3\}; X_ 4\) is birationally isomorphic to Z and Z' in \({\mathbb{C}}P^ 3: Z:x^ 4_ 0=-x_ 1x_ 2x_ 3(x_ 1+x_ 2+x_ 3), Z':x^ 4_ 0=x^ 2_ 2x^ 2_ 3+x^ 2_ 3x^ 2_ 1+x^ 2_ 1x^ 2_ 2-2x_ 1x_ 2x_ 3(x_ 1+x_ 2+x_ 3).\)