A surface in odd characteristic with discrete and non-finitely generated automorphism group

From MaRDI portal
(Redirected from Publication:2213784)



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.


\textit{J. Lesieutre} [Invent. Math. 212, No. 1, 189--211 (2018; Zbl 1393.14012)] recently gave the first example of a projective variety whose automorphism group has non-finitely-generated discrete part. Shortly afterwards, \textit{T.-C. Dinh} and \textit{K. Oguiso} [Duke Math. J. 168, No. 6, 941--966 (2019; Zbl 1427.14085)] gave examples of the same phenomenon in any dimension. Their examples were defined over the complex numbers. In the current paper, the author gives more examples of the same phenomenon, but now involving surfaces over fields of positive characteristic. As in the Dinh-Oguiso examples, the varieties involved are smooth projective surfaces birational to \(K3\) surfaces. The author shows (Theorem 1.1) for such a surface \(Y\): -- If \(Y\) is defined over the algebraic closure of a finite field, then the automorphism group of \(Y\) is finitely generated; -- there is an example of such a \(Y\), defined over an algebraicaly closed field of transcendence degree 1 over a finite field, such that the automorphism group of \(Y\) is not finitely generated.



Cites work









This page was built for publication: A surface in odd characteristic with discrete and non-finitely generated automorphism group

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