Абсолютно трианалитические торы в обобщённом многообразии Куммера
The Kobayashi pseudometric on a complex manifold is the maximal pseudometric such that any holomorphic map from the Poincaré disk to the manifold is distance-decreasing. Kobayashi has conjectured that this pseudometric vanishes on Calabi–Yau manifolds. Using ergodicity of complex structures, we prove this for all hyperkähler manifold with b_2\geqslant 7 that admits a deformation with a Lagrangian fibration and whose Picard rank is not maximal. The Strominger-Yau-Zaslow (SYZ) conjecture claims that parabolic nef line bundles on hyperkähler manifolds are semi-ample. We prove that the Kobayashi pseudometric vanishes for any hyperkähler manifold with b_2\geqslant 7 if the SYZ conjecture holds for all its deformations. This proves the Kobayashi conjecture for all K3 surfaces and their Hilbert schemes.
Let (M,I,J,K) be a hyperkahler manifold, and Z⊂(M,I) a complex subvariety in (M,I). We say that Z is trianalytic if it is complex analytic with respect to J and K, and absolutely trianalytic if it is trianalytic with respect to any hyperk\"ahler triple of complex structures (M,I,J′,K′) containing I. For a generic complex structure I on M, all complex subvarieties of (M,I) are absolutely trianalytic. It is known that a normalization Z′ of a trianalytic subvariety is smooth; we prove that b2(Z′) is no smaller than b2(M) when M has maximal holonomy (that is, M is IHS). To study absolutely trianalytic subvarieties further, we define a new geometric structure, called k-symplectic structure; this structure is a generalization of the hypersymplectic structure. A k-symplectic structure on a 2d-dimensional manifold X is a k-dimensional space R of closed 2-forms on X which all have rank 2d or d. It is called non-degenerate if the set of all degenerate forms in R is a smooth, non-degenerate quadric hypersurface in R. We consider absolutely trianalytic tori in a hyperkahler manifold M of maximal holonomy. We prove that any such torus is equipped with a non-degenerate k-symplectic structure, where k=b2(M). We show that the tangent bundle TX of a k-symplectic manifold is a Clifford module over a Clifford algebra Cl(k−1). Then an absolutely trianalytic torus in a hyperkahler manifold M with b2(M)≥2r+1 is at least 2r−1-dimensional.