A projective variety with discrete, non-finitely generated automorphism   group
  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. 
John Lesieutre
math.AG math.NT