A projective variety with discrete, non-finitely generated automorphism group

TL;DR

This paper constructs a projective variety with a discrete, non-finitely generated automorphism group and demonstrates the existence of a complex projective variety with infinitely many non-isomorphic real forms.

Contribution

It introduces a new example of a projective variety with a non-finitely generated automorphism group and explores its implications for real forms.

Findings

Existence of a projective variety with non-finitely generated automorphism group

Construction of a complex projective variety with infinitely many non-isomorphic real forms

Demonstration of the diversity of real forms in algebraic geometry

Abstract

We construct a projective variety with discrete, non-finitely generated automorphism group. As an application, we show that there exists a complex projective variety with infinitely many non-isomorphic real forms.