A surface with discrete, non-finitely generated automorphism group (following T.-C. Dinh and K. Oguiso)

This is a sequel of the talk about 6-dimensional variety satisfying these properties constructed by J. Lesieutre. We will present a triple consisting of K3-surface, rational curve and a point on it such that automorphisms with trivial differentials on tangent line to this curve at this point are not finitely generated, and some other conditions are satisfied. The blow-up of this surface and its product with suitable varieties yields the desired series of examples. As in the previous talk, this construction will also turn out to provide infinitely many $\mathbb{C} / \mathbb{R}$-forms.