A surface in odd characteristic with discrete and non-finitely generated automorphism group (1901.01351v3)

Abstract: It was proved by Tien-Cuong Dinh and me that there is a smooth complex projective surface whose automorphism group is discrete and not finitely generated. In this paper, we will show that there is a smooth projective surface, birational to some K3 surface, such that the automorphism group is discrete and not finitely generated, over any algebraically closed field of odd characteristic except precisely an algebraic closure of the prime field.