A mapping class group of an oriented manifold is a quotient of its diffeomorphism group by the isotopies. We compute a mapping class group of a hypekahler manifold $M$, showing that it is commensurable to an arithmetic subgroup in SO(3, b_2-3). A Teichmuller space of $M$ is a space of complex structures on $M$ up to isotopies. We define a birational Teichmuller space by identifying certain points corresponding to bimeromorphically equivalent manifolds, and show that the period map gives an isomorphism of the birational Teichmuller space and the corresponding period space $SO(b_2-3, 3)/SO(2)\times SO(b_2 -3, 1)$. We use this result to obtain a Torelli theorem identifying any connected component of birational moduli space with a quotient of a period space by an arithmetic subgroup. When $M$ is a Hilbert scheme of $n$ points on a K3 surface, with $n-1$ a prime power, our Torelli theorem implies the usual Hodge-theoretic birational Torelli theorem (for other examples of hyperkahler manifolds the Hodge-theoretic Torelli theorem is known to be false).
A mapping class group of an oriented manifold is a quotient of its diffeomorphism group by the isotopies. In the published version of "Mapping class group and a global Torelli theorem for hyperkahler manifolds" I made an error based on a wrong quotation of Dennis Sullivan's famous paper "Infinitesimal computations in topology". I claimed that the natural homomorphism from the mapping class group to the group of automorphims of cohomology of a simply connected Kahler manifold has finite kernel. In a recent preprint arXiv:1907.05693, Matthias Kreck and Yang Su produced counterexamples to this st…
Kreck and Yang Su recently gave counterexamples to a version of the Torelli theorem for hyperkählerian manifolds as stated by Verbitsky. The initial purpose of this document (which was prepared for a seminar talk) was to extract the correct statement and to give a short proof of it. We also revisit a few of its consequences, some of which are given new (shorter) proofs.
The Torelli group $\mathcal T(X)$ of a closed smooth manifold $X$ is the subgroup of the mapping class group $π_0(\mathrm{Diff}^+(X))$ consisting of elements which act trivially on the integral cohomology of $X$. In this note we give counterexamples to Theorem 3.4 of Verbitsky's paper "Mapping class group and a global Torelli theorem for hyperkähler manifolds" (Duke Math.~J.~162 (2013), no.~15, 2929-2986) which states that the Torelli group of simply connected Kähler manifolds of complex dimension $\ge 3$ is finite. This is done by constructing under some mild conditions homomorphisms $J: \mat…
A Teichmüller space $Teich$ is a quotient of the space of all complex structures on a given manifold $M$ by the connected components of the group of diffeomorphisms. The mapping class group $Γ$ of $M$ is the group of connected components of the diffeomorphism group. The moduli problems can be understood as statements about the $Γ$-action on $Teich$. I will describe the mapping class group and the Teichmuller space for a hyperkahler manifold. It turns out that this action is ergodic. We use the ergodicity to show that a hyperkahler manifold is never Kobayashi hyperbolic. This is my ICM submissi…
We prove Torelli-type uniqueness theorems for both ALG$^*$ gravitational instantons and ALG gravitational instantons which are of order $2$. That is, the periods uniquely characterize these types of gravitational instantons up to diffeomorphism. We define a period mapping $\mathscr{P}$, which we show is surjective in the ALG cases, and open in the ALG$^*$ cases. We also construct some new degenerations of hyperkähler metrics on the K3 surface which exhibit bubbling of ALG$^*$ gravitational instantons.
Compact hyperkaehler manifolds are higher-dimensional generalizations of K3 surfaces. The classical Global Torelli theorem for K3 surfaces, however, does not hold in higher dimensions. More precisely, a compact hyperkaehler manifold is in general not determined by its natural weight-two Hodge structure. The text gives an account of a recent theorem of M. Verbitsky, which can be regarded as a weaker version of the Global Torelli theorem phrased in terms of the injectivity of the period map on the connected components of the moduli space of marked manifolds.
Let $M$ be a compact irreducible hyperkahler manifold, from Bogomolov inequality [V1] we obtain forbidden values of the second Betti number $b_2$ in arbitrary dimension. UPD: Unfortunately, decomposition of dual to BBF-form is not right in the main theorem. Instead of this work, take a look on recent preprints of Sawon and me on boundedness of $b_2$ for hyperkähler manifolds.
We develop the global moduli theory of symplectic varieties in the sense of Beauville. We prove a number of analogs of classical results from the smooth case, including a global Torelli theorem. In particular, this yields a new proof of Verbitsky's global Torelli theorem in the smooth case (assuming $b_2\geq 5$) which does not use the existence of a hyperkähler metric or twistor deformations.
In the moduli space of polarized varieties the same unpolarized variety can occur multiple times However, for K3 surfaces, compact hyperkähler manifolds, and abelian varieties the number is finite. This may be viewed as a consequence of the Kawamata-Morrison cone conjecture. In this note we provide a proof of this finiteness not relying on the cone conjecture and, in fact, not even on the global Torelli theorem. Instead, it uses the geometry of the moduli space of polarized varieties to conclude the finiteness by means of Baily-Borel type arguments. We also address related questions concerning…
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 conjecture for any hyperkähler manifold that admits a deformation with two Lagrangian fibrations 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 pseudom…
Let $M$ be a compact hyperkahler manifold with maximal holonomy (IHS). The group $H^2(M, R)$ is equipped with a quadratic form of signature $(3, b_2-3)$, called Bogomolov-Beauville-Fujiki (BBF) form. This form restricted to the rational Hodge lattice $H^{1,1}(M,Q)$, has signature $(1,k)$. This gives a hyperbolic Riemannian metric on the projectivisation of the positive cone in $H^{1,1}(M,Q)$, denoted by $H$. Torelli theorem implies that the Hodge monodromy group $Γ$ acts on $H$ with finite covolume, giving a hyperbolic orbifold $X=H/Γ$. We show that there are finitely many geodesic hypersurfac…
In this paper we study the birational geometry of HyperKaehler manifolds by combining the method of minimal model program and the traditional approach of symplectic geometry.
We develop the foundation of the complex symplectic geometry of Lagrangian subvarieties in a hyperkahler manifold. We establish a characterization, a Chern number inequality, topological and geometrical properties of Lagrangian submanifolds. We discuss a category of Lagrangian subvarieties and its relationship with the theory of Lagrangian intersection. We also introduce and study extensively a normalized Legendre transformation of Lagrangian subvarieties under a birational transformation of projective hyperkahler manifolds. We give a Plucker type formula for Lagrangian intersections under thi…
We construct an explicit example of a stable bundle on the twistor space $\mathrm{Tw}(M)$ of a hyperkähler manifold $M$ whose restrictions to all the fibres of the natural twistor projection $π: \mathrm{Tw}(M) \to \mathbb{CP}^1$ are nonstable. We also describe the relationship between bundles on $\mathrm{Tw}(M)$ that do not have subsheaves of strictly lower rank and bundles that stably restrict to the fibres of $π$, and announce a result whose proof will appear in a forthcoming paper.
We introduce the notions of strong local Torelli and T-class for polarized manifolds, and prove that strong local Torelli implies global Torelli theorem on the Torelli spaces for polarized manifolds in the T-class. We discuss many new examples of projective manifolds for which such global Torelli theorem holds. As applications we prove that, in these cases, a canonical completion of the Torelli space is a bounded pseudoconvex domain in complex Euclidean space, and show that generic Torelli implies global Torelli on moduli space with certain level structure.
Let M be a simple hyperkahler manifold. Kuga-Satake construction gives an embedding of H^2(M,C) into the second cohomology of a torus, compatible with the Hodge structure. We construct a torus T and an embedding of the graded cohomology space H^*(M,C) \to H^{*+l}(T,C) for some l, which is compatible with the Hodge structures and the Poincare pairing. Moreover, this embedding is compatible with an action of the Lie algebra generated by all Lefschetz sl(2)-triples on M.
We prove that the period maps from the Torelli space and the moduli space with level $m$ structure of Calabi-Yau type manifolds to the corresponding period domain of polarized Hodge structures are injective. The proof is based on the construction of holomorphic affine structure on the Teichmüller space and the construction of the completion space of the Torelli space with respect to the Hodge metric.
We describe the proof that the period map from the Torelli space of Calabi-Yau manifolds to the classifying space of polarized Hodge structures is an embedding. The proof is based on the constructions of holomorphic affine structure on the Teichmüller space and Hodge metric completion of the Torelli space. A canonical global holomorphic section of the holomorphic $(n, 0)$ class on the Teichmüller space is constructed.
An MBM locus on a hyperkahler manifold is the union of all deformations of a minimal rational curve with negative self-intersection. MBM loci can be equivalently defined as centers of bimeromorphic contractions. It was shown that the MBM loci on deformation equivalent hyperkahler manifolds are diffeomorphic. We determine the MBM loci on a hyperkahler manifold of K3-type of low dimension using a deformation to a Hilbert scheme of a non-algebraic K3 surface.
Let (M,I,J,K) be a hyperkahler manifold of real dimension 4n, and L a non-trivial holomorphic line bundle on (M,I). Using the quaternionic Dolbeault complex, we prove the following vanishing theorem for holomorphic cohomology of L. If the Chern class c_1(L) lies in the closure $\hat K$ of the dual Kahler cone, then $H^i(L)=0$ for i>n. If c_1(L) lies in the opposite cone $-\hat K$, then $H^i(L)=0$ for i<n. Finally, if $c_1(L)$ is neither in $\hat K$ nor in $-\hat K$, then $H^i(L)=0$ for $i\neq n$.
We show that any birational map between projective hyperKähler manifolds of dimension 4 is composed of a sequence of simple flops or elementary Mukai transformations under the assumption that each irreducible component of the indeterminacy of the birational map is normal.
We propose an infinite-dimensional generalization of Kronheimer's construction of families of hyperkahler manifolds resolving flat orbifold quotients of $\mathbb{R}^4$. As in [Kro89], these manifolds are constructed as hyperkahler quotients of affine spaces. This leads to a study of \emph{singular equivariant instantons} in various dimensions. In this paper, we study singular equivariant Nahm data to produce the family of $D_2$ asymptotically locally flat (ALF) manifolds as a deformation of the flat orbifold $(\mathbb{R}^3 \times S^1)/Z_2$. We furthermore introduce a notion of stability for Na…
We describe the relation between supersymmetric sigma-models on hyperkahler manifolds, projective superspace, and twistor space. We review the essential aspects and present a coherent picture with a number of new results.
Mordell-Weil groups of different abelian fibrations of a hyperkähler manifold may have non-trivial relation even among elements of infinite order, but have essentially no relation, as its birational transformation. Precise definition of the terms "essentially no relation" will be given in Introduction.
Let $M$ be a compact complex manifold. The corresponding Teichmuller space $\Teich$ is a space of all complex structures on $M$ up to the action of the group of isotopies. The group $Γ$ of connected components of the diffeomorphism group (known as the mapping class group) acts on $\Teich$ in a natural way. An ergodic complex structure is the one with a $Γ$-orbit dense in $\Teich$. Let $M$ be a complex torus of complex dimension $\geq 2$ or a hyperkahler manifold with $b_2>3$. We prove that $M$ is ergodic, unless $M$ has maximal Picard rank (there is a countable number of such $M$). This is use…
Let $M$ be a hyperkahler manifold, $Γ$ its mapping class group, and $Teich$ the Teichmuller space of complex structures of hyperkahler type. After we glue together birationally equivalent points, we obtain the so-called birational Teichmuller space $Teich_b$. Every connected component of $Teich_b$ is identified with its period space $P$ by global Torelli theorem. The mapping class group of $M$ acts on $P$ as a finite index subgroup of the group of isometries of the integer cohomology lattice, that is, satisfies assumptions of Ratner theorem. We prove that there are three classes of orbits, clo…
We give an interpretation of the Fano variety of lines on a cubic fourfold and of the hyperkahler eightfold, constructed by Lehn, Lehn, Sorger and van Straten from twisted cubic curves in a cubic fourfold non containing a plane, as moduli spaces of Bridgeland stable objects in the Kuznetsov component. As a consequence, we reprove the categorical version of Torelli Theorem for cubic fourfolds, we obtain the identification of the period point of LLSvS eightfold with that of the Fano variety, and we discuss derived Torelli Theorem for cubic fourfolds.
The known counterexamples to the global Torelli theorem for higher-dimensional hyperkahler manifolds are provided by birational manifolds. We address the question whether two birational hyperkahler manifolds (i.e. irreducible symplectic) manifolds always define non-separated points in the moduli space of marked manifolds. An affirmative answer is given for the cases of Mukai's elementary transformations and birational correspondences which are isomorphic in codimension two. The techniques are applied to show that the moduli spaces of rank two sheaves on a K3 surface are deformation equivalent …
We study the moduli space M(G,A) of flat G-bundles on an Abelian surface A, where G is a compact, simple, simply connected, connected Lie group. Equivalently, M(G,A) is the (coarse) moduli space of s-equivalence classes of holomorphic semi-stable G_C-bundles with trivial Chern classes where G_C is the complexified group. M(G,A) has the structure of a hyperkahler orbifold. We show that when G is Sp(n) or SU(n), M(G,A) has a natural hyperkahler desingularization which we exhibit as a moduli space of G_C-bundles with an altered stability condition. In this way, we obtain the two known families of…
Given a projective hyperkahler manifold with a holomorphic Lagrangian fibration, we prove that hyperkahler metrics with volume of the torus fibers shrinking to zero collapse in the Gromov-Hausdorff sense (and smoothly away from the singular fibers) to a compact metric space which is a half-dimensional special Kahler manifold outside a singular set of real Hausdorff codimension 2 and is homeomorphic to the base projective space.
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ähler 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ähler manifold contain only finitely many conjugac…
In this paper, we discuss the cycle theory on moduli spaces $\cF_h$ of $h$-polarized hyperkähler manifolds. Firstly, we construct the tautological ring on $\cF_h$ following the work of Marian, Oprea and Pandharipande on the tautological conjecture on moduli spaces of K3 surfaces. We study the tautological classes in cohomology groups and prove that most of them are linear combinations of Noether-Lefschetz cycle classes. In particular, we prove the cohomological version of the tautological conjecture on moduli space of K3$^{[n]}$-type hyperkähler manifolds with $n\leq 2$. Secondly, we prove the…
Let $(M,I,J,K)$ be a hyperkahler manifold, and $Z\subset (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ähler 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 $b_2(Z')$ is no smaller than $b_2(M)$ when $M$ has maximal holonomy (that is, $…
We construct examples of hyperKahler manifolds of Picard number two with automorphisms of positive entropy via derived automorphisms of K3 surfaces of Picard number one. Our hyperKahler manifolds are constructed as moduli spaces of Bridgeland stable objects in derived categories of K3 surfaces. Then automorphisms of positive entropy are induced by derived automorphisms of positive entropy on K3 surfaces.
Let S be an infinite-dimensional manifold of all symplectic, or hyperkahler, structures on a compact manifold M, and $Diff_0$ the connected component of its diffeomorphism group. The quotient $S/\Diff_0$ is called the Teichmuller space of symplectic (or hyperkahler) structures on M. MBM classes on a hyperkahler manifold M are cohomology classes which can be represented by a minimal rational curve on a deformation of M. We determine the Teichmuller space of hyperkahler structures on a hyperkahler manifold, identifying any of its connected components with an open subset of the Grassmannian $SO(b…
In this paper we define the notion of a hyperkähler manifold (potentially) of Jacobian type. If we view hyperkähler manifolds as "abelian varieties", then those of Jacobian type should be viewed as "Jacobian varieties". Under a minor assumption on the polarization, we show that a very general polarized hyperkähler fourfold $F$ of $K3^{[2]}$-type is not of Jacobian type. As a potential application, we conjecture that if a cubic fourfold is rational then its variety of lines is of Jacobian type. Under some technical assumption, it is proved that the variety of lines on a rational cubic fourfold …
Let M be a closed symplectic manifold of volume V. We say that the symplectic packings of M by ellipsoids are unobstructed if any collection of disjoint symplectic ellipsoids (possibly of different sizes) of total volume less than V admits a symplectic embedding to M. We show that the symplectic packings by ellipsoids are unobstructed for all even-dimensional tori equipped with Kahler symplectic forms and all closed hyperkahler manifolds of maximal holonomy, or, more generally, for closed Campana simple manifolds (that is, Kahler manifolds that are not unions of their complex subvarieties), as…
A projective manifold is algebraically hyperbolic if the degree of any curve is bounded from above by its genus times a constant, which is independent from the curve. This is a property which follows from Kobayashi hyperbolicity. We prove that hyperkahler manifolds are non algebraically hyperbolic when the Picard rank is at least 3, or if the Picard rank is 2 and the SYZ conjecture on existence of Lagrangian fibrations is true. We also prove that if the automorphism group of a hyperkahler manifold is infinite then it is algebraically non-hyperbolic.
Let M be a 2n-dimensional Kahler manifold deformation equivalent to the Hilbert scheme of length n subschemes of a K3 surface S. Let Mon be the group of automorphisms of the cohomology ring of M, which are induced by monodromy operators. The second integral cohomology of M is endowed with the Beauville-Bogomolov bilinear form. We prove that the restriction homomorphism from Mon to the isometry group O[H^2(M)] is injective, for infinitely many n, and its kernel has order at most 2, in the remaining cases. For all n, the image of Mon in O[H^2(M)] is the subgroup generated by reflections with res…
Let $M$ be a hyperkaehler manifold, and $η$ a closed, positive (1,1)-form which is degenerate everywhere on $M$. We associate to $η$ a family of complex structures on $M$, called a degenerate twistor family, and parametrized by a complex line. When $η$ is a pullback of a Kaehler form under a Lagrangian fibration $L$, all the fibers of degenerate twistor family also admit a Lagrangian fibration, with the fibers isomorphic to that of $L$. Degenerate twistor families can be obtained by taking limits of twistor families, as one of the Kahler forms in the hyperkahler triple goes to $η$.
Let $M$ be a simple holomorphically symplectic manifold, that is, a simply connected holomorphically symplectic manifold of Kahler type with $h^{2,0}=1$. We prove that the group of holomorphic automorphisms of $M$ acts on the set of faces of its Kahler cone with finitely many orbits, whenever $b_2(M)\neq 5$. This is a version of the Morrison-Kawamata cone conjecture for hyperkahler manifolds. The proof is based on the following observation, proven with ergodic theory. Let $M$ be a complete Riemannian orbifold of dimension at least three, constant negative curvature and finite volume, and $\{S_…
We suggest a way to associate to each Lie algebra of type G2, D4, F4, E6, E7, E8 a family of polarized hyperkahler fourfolds, constructed as parametrizing certain families of cycles of hyperplane sections of certain homogeneous or quasi-homogeneous varieties. These cycles are modeled on the Legendrian varieties studied by Freudenthal in his geometric approach to the celebrated Tits-Freudenthal magic square of Lie algebras.
Being inspired by a work of Curtis T. McMullen about a very impressive automorphism of a K3 surface of Picard number zero, we shall clarify the structure of the bimeromorphic automorphism group of a non-projective hyperkähler manifold, up to finite group factor. We also discuss relevant topics, especially, new counterexamples of Kodaira's problem about algebraic approximation of a compact Kähler manifold.
This paper deals with rational curves and birational contractions on irreducible holomorphically symplectic manifold. We survey some recent results about minimal rational curves, their deformations, extremal rays associated with these curves, and the geometry of the Kähler cone.
Given a compact Kähler manifold, the Infinitesimal Torelli problem asks whether the differential of the period map of a Kuranishi family is injective. Unlike the classical Torelli theorem for curves, there is a negative answer for example for hyperelliptic curves of genus greater than $2$. Nevertheless the Infinitesimal Torelli Theorem holds for many other classes of manifolds. We will prove it for smooth hypersurfaces in simple abelian varieties with sufficiently high self-intersection giving an effective bound on a result by Green in this particular case.
