Tri-analytic subvarieties of hyperkaehler manifolds (Q1842580)

This paper is a second part of the paper of the same author [``Hyperkähler and holomorphic symplectic geometry. I'', Electronic preprint alg-geom 9307009 (1993)]. \textit{A. Beauville} [J. Differ. Geom. 18, 755-782 (1983; Zbl 0537.53056)] defines a hyperkähler manifold as a Riemannian manifold \(M\) endowed with three complex structures \(I\), \(J\) and \(K\), such that the following holds: i) \(M\) is Kähler with respect to these structures, and ii) \(I\), \(J\) and \(K\), considered as endomorphisms of a real tangent bundle, satisfy the relation \(I \circ J = -J \circ I = K\). Let \(M\) be a compact hyperkähler manifold with \(\dim_{\mathbb{R}} M = 2m\). Let \(I\) be an induced complex structure. \((M,I)\) denotes \(M\) considered as a Kähler manifold with the complex structure defined by \(I\). Let \(N \subset M\) be a closed subset of \(M\). Then, by definition, \(N\) is called tri-analytic if \(N\) is an analytic subset of \((M,I)\) for any induced complex structure \(I\). If \([N] \in H_{2n} (M)\) denotes the homology class represented by \(N\), the main result of this paper is the following theorem: ``Let \(N\) be a closed analytic subset of the compact holomorphic symplectic manifold \(M\). Assume that \([N]\) is \(\text{SU} (2)\)-invariant. Then \(N\) is tri- analytic''. In particular, all closed analytic submanifolds of the compact holomorphic symplectic manifold of generic type are endowed with the hyperkähler structure which is preserved by the embedding.