Smooth rational projective varieties with non-finitely generated discrete automorphism group and infinitely many real forms

DOI10.1007/S00208-021-02206-6MaRDI QIDQ2163407zbMATH OpenOpenAlexFDO

Authors Tien-Cuong Dinh, Keiji Oguiso, Xun Yu

Publication date 10 August 2022

Published in Mathematische Annalen (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2002.04737

zbMATH Keywords

automorphism groupcomplex projective varietyreal forms

Mathematics Subject Classification ID

Automorphisms of surfaces and higher-dimensional varieties (14J50) Real algebraic sets (14P05)

Abstract: We show, among other things, that for each integer $nge3$, there is a smooth complex projective rational variety of dimension $n$, with discrete non-finitely generated automorphism group and with infinitely many mutually non-isomorphic real forms. Our result is inspired by the work of Lesieutre and the work of Dinh and Oguiso.

Review text

From the introduction: ``It is quite recent that negative answers are given to the following long standing natural questions: {Question 1.1} Let \(V\) be a smooth complex projective variety of dimension \(\geq 2\). (1) Is the automorphism group \(\mathrm{Aut}(V)\) finitely generated if \(\mathrm{Aut}(V)\) is discrete? (2) Are real forms of \(V\), i.e., systems of homogeneous equations with real coefficients defining \(V\), finite up to isomorphisms over \(\mathbb{R}\)? The first negative answers to these questions are given by \textit{J. Lesieutre} [Invent. Math. 212, No. 1, 189--211 (2018; Zbl 1393.14012)]. He constructs a smooth complex projective variety \(V\) of dimension 6 with Kodaira dimension \(\kappa(V ) = -\infty\) denying both (1) and (2). This variety is not rationally connected. Expanding his idea, \textit{T.-C. Dinh} and \textit{K. Oguiso} [Duke Math. J. 168, No. 6, 941--966 (2019; Zbl 1427.14085)] construct a smooth complex projective variety \(V\) of any dimension \(\geq 2\) with \(\kappa(V) \geq 0\) again denying both (1) and (2). In somewhat different directions, \textit{A. Dubouloz} et al. construct smooth affine rational varieties for any dimension \(\geq 4\) with infinitely many real forms [J. Reine Angew. Math. 771, 215--226 (2021; Zbl 1490.14094)]. However, it is still completely open if there are counterexamples among smooth complex projective rational varieties, the most basic varieties in birational algebraic geometry. The aim of this paper is to construct a smooth complex projective rational variety \(V\) of any dimension \(\geq 3\) denying both (1) and (2).

Recommendations

• A projective variety with discrete, non-finitely generated automorphism group
• A surface with discrete and nonfinitely generated automorphism group
• scientific article; zbMATH DE number 7232974
• Smooth complex projective rational surfaces with infinitely many real forms
• Smooth rational affine varieties with infinitely many real forms

Cites work

• A projective variety with discrete, non-finitely generated automorphism group
• A surface with discrete and nonfinitely generated automorphism group
• Automorphism groups of almost homogeneous varieties
• Classification theory of algebraic varieties and compact complex spaces. Notes written in collaboration with P. Cherenack
• Finiteness of Klein actions and real structures on compact hyperkähler manifolds
• scientific article; zbMATH DE number 1673451 (Why is no real title available?)
• scientific article; zbMATH DE number 3815938 (Why is no real title available?)
• scientific article; zbMATH DE number 3739805 (Why is no real title available?)
• scientific article; zbMATH DE number 3572315 (Why is no real title available?)
• scientific article; zbMATH DE number 3606791 (Why is no real title available?)
• On automorphism groups of compact Kähler manifolds
• Real Enriques surfaces
• Real structures on rational surfaces and automorphisms acting trivially on Picard groups
• Smooth rational affine varieties with infinitely many real forms
• Théoremes de finitude en cohomologie galoisienne
• Topology, moduli and automorphisms of real algebraic surfaces

Cited in

(11)

• A projective variety with discrete, non-finitely generated automorphism group
• Smooth complex projective rational surfaces with infinitely many real forms
• Smooth rational affine varieties with infinitely many real forms
• A surface with discrete and nonfinitely generated automorphism group
• Nash modifications of real projective varieties
• Real forms on rational surfaces
• Projective varieties have countably many real forms
• Complex geometry and dynamical systems. Abstracts from the workshop held September 4--10, 2022
• Rational surfaces with a non-arithmetic automorphism group
• Smooth projective surfaces with infinitely many real forms
• A smooth complex rational affine surface with uncountably many real forms

This page was built for publication: Smooth rational projective varieties with non-finitely generated discrete automorphism group and infinitely many real forms

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2163407)