Finiteness results for algebraic K3 surfaces (Q797656)

Following suggestions of E. Looijenga we prove for an algebraic K3 surface X over the complex numbers: (a) The group Aut(X) of automorphisms is finitely generated. (b) For every even integer \(d\geq -2\), the number of Aut(X)-orbits in the collection of complete linear systems which contain an irreducible curve of selfintersection d is finite. - We prove this result by relating Aut(X) to certain arithmetic subgroups of the orthogonal group of \(NS\otimes_{{\mathbb{Z}}}{\mathbb{R}}\), where NS= Néron- Severi group of X.