Проективное многообразие с дискретной бесконечно порождённой группой автоморфизмов

Следуя статье J. Lesieutre, мы построим над любым полем $K$ нулевой характеристики проективное многообразие с бесконечно порождённой группой компонент связности его геометрических автоморфизмов. Также будет разобрана похожая конструкция, получающая по любому квадратичному расширению $L/K$ проективное многообразие с бесконечным множеством $L/K$-форм.