PreprintarXiv licencearXiv
A rational surface with discrete and non-finitely generated automorphism group
Abstract
We construct a smooth complex projective rational surface whose automorphism group is discrete and not finitely generated. It is obtained by blowing up a point on a branch curve of a rational quotient of a product Kummer surface. Every point with transcendental coordinate gives such a surface. The proof uses leading jets along the branch curve, the complete family of blowups and the cubic intersection of the family, which are not being considered in relevant earlier works.
Related
BibTeX
@misc{dinh2026rational,
title = {{A rational surface with discrete and non-finitely generated automorphism group}},
author = {Tien-Cuong Dinh and Keiji Oguiso and Xun Yu and Qi Zhou},
howpublished = {arXiv},
year = {2026},
month = sep,
doi = {10.48550/arxiv.2609.40045},
eprint = {2609.40045},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2609.40045},
}
RIS
TY - UNPB
TI - A rational surface with discrete and non-finitely generated automorphism group
AU - Tien-Cuong Dinh
AU - Keiji Oguiso
AU - Xun Yu
AU - Qi Zhou
PY - 2026
DA - 2026/09/30
PB - arXiv
DO - 10.48550/arxiv.2609.40045
UR - https://arxiv.org/abs/2609.40045
AB - We construct a smooth complex projective rational surface whose automorphism group is discrete and not finitely generated. It is obtained by blowing up a point on a branch curve of a rational quotient of a product Kummer surface. Every point with transcendental coordinate gives such a surface. The proof uses leading jets along the branch curve, the complete family of blowups and the cubic intersection of the family, which are not being considered in relevant earlier works.
ER -