发表机构
National University of Singapore; the University of Tokyo; National Center for Theoretical Sciences, Mathematics Division, National Taiwan University; Tianjin University（新加坡国立大学; 东京大学; 台湾大学数学理论科学中心; 天津大学）
机构由 AI 辅助整理，请以论文原文为准。AI 中文总结
本文构造了一个光滑复射影有理曲面，其自同构群离散且非有限生成，通过爆破乘积Kummer曲面有理商的分支曲线上的点得到，并利用前导射流等方法证明。
AI 中文摘要
我们构造了一个光滑复射影有理曲面，其自同构群是离散的且非有限生成的。该曲面是通过在乘积Kummer曲面的有理商的分支曲线上的一个点处进行爆破而得到的。具有超越坐标的每个点都给出这样的曲面。证明使用了沿分支曲线的前导射流、爆破的完全族以及该族的三次相交，这些在相关的早期工作中未被考虑。
英文摘要
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.
