Finiteness of Klein actions and real structures on compact hyperkähler manifolds

DOI10.1007/S00208-019-01876-7MaRDI QIDQ2332945zbMATH OpenOpenAlexFDO

Publication date 5 November 2019

Published in Mathematische Annalen (Search for Journal in Brave)

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

hyperkähler manifold Klein action real structure

Holomorphic symplectic varieties, hyper-Kähler varieties (14J42) Automorphisms of surfaces and higher-dimensional varieties (14J50) Topology of real algebraic varieties (14P25) Hyper-Kähler and quaternionic Kähler geometry, ``special geometry (53C26)

Abstract: One central problem in real algebraic geometry is to classify the real structures of a given complex manifold. We address this problem for compact hyperk"ahler manifolds by showing that any such manifold admits only finitely many real structures up to equivalence. We actually prove more generally that there are only finitely many, up to conjugacy, faithful finite group actions by holomorphic or anti-holomorphic automorphisms (the so-called Klein actions). In other words, the automorphism group and the Klein automorphism group of a compact hyperk"ahler manifold contain only finitely many conjugacy classes of finite subgroups. We furthermore answer a question of Oguiso by showing that the automorphism group of a compact hyperk"ahler manifold is finitely presented.

Review text

Recall that a real structure on a smooth complex manifold \(X\) is an anti-holomorphic involution \(c: X\to X\). More generally, a Klein action of a group \(G\) on \(X\) is an action of \(G\) by holomorphic and anti-holomorphic maps. The authors consider a compact hyper-Kähler (aka irreducible holomorphic symplectic) manifold \(X\) and show that, up to conjugation by a Klein automorphism, \(X\) admits but finitely many real structures or, more generally, faithful finite group Klein actions. (It is worth comparing this result to the \textit{deformation} finiteness established in [\textit{A. Degtyarev} et al., Mosc. Math. J. 7, No. 2, 257--263 (2007; Zbl 1129.14079)].) Both statements follow from the following theorem, proved in the paper: \textit{each of the groups \(\operatorname{Bir}X\) (birational), \(\operatorname{Aut}X\) (holomorphic), or \(\operatorname{KAut}X\) (Klein) of automorphisms of \(X\) has but finitely many conjugacy classes of finite subgroups.} As a closely related statement, the authors prove that, if \(X\) is projective, the groups \(G=\operatorname{Bir}X\) or \(\operatorname{Aut}X\) are finitely presented and have the property that the trivial \(G\)-module \(\mathbb{Z}\) admits a resolution by finitely presented projective \(G\)-modules. (For non-projective hyper-Kähler varieties a similar fact is established in [\textit{K. Oguiso}, J. Differ. Geom. 78, No. 1, 163--191 (2008; Zbl 1141.14021)].)

Recommendations

Cites work

Cited in

(14)

This page was built for publication: Finiteness of Klein actions and real structures on compact hyperkähler manifolds

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