A rational surface with discrete and non-finitely generated automorphism group
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.
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2609.40045
curl -X POST /api/v1/records/arxiv/2609.40045/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2609.40045/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'