Track new results across pure and applied mathematics.
Search papers, labs, and topics across Lattice.
We construct a smooth complex projective rational surface exhibiting a discrete and non-finitely generated automorphism group. This is achieved by blowing up a point on a branch curve of a rational quotient of a product Kummer surface, where surfaces with transcendental coordinates are shown to satisfy this property. The proof leverages leading jets along the branch curve, the complete family of blowups, and cubic intersections within this family.
Rational surfaces with infinite automorphism groups are now constructible, challenging prior assumptions about their finiteness.
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.