### ?

## Collections of parabolic orbits in homogeneous spaces, homogeneous dynamics and hyperkahler geometry

Cornell University
,
2016.

Let M be a hyperk\"ahler manifold with b2(M)≥5. We improve our earlier results on the Morrison-Kawamata cone conjecture by showing that the Beauville-Bogomolov square of the primitive MBM classes (i.e. the classes whose orthogonal hyperplanes bound the K\"ahler cone in the positive cone, or, in other words, the classes of negative extremal rational curves on deformations of M) is bounded in absolute value by a number depending only on the deformation class of M. The proof uses ergodic theory on homogeneous spaces.

Publication based on the results of:

Amerik E., Verbitsky M., Research in the Mathematical Sciences 2016 Vol. 3 No. 7 P. 1-9

Let M be a compact hyperkähler manifold with maximal holonomy (IHS). The group H2(M,ℝ) is equipped with a quadratic form of signature (3,b2−3)(3,b2−3), called Bogomolov–Beauville–Fujiki form. This form restricted to the rational Hodge lattice H1,1(M,ℚ)has signature (1, k). This gives a hyperbolic Riemannian metric on the projectivization H of the positive cone in H1,1(M,ℚ). Torelli ...

Added: August 31, 2016

Kurnosov N., / Cornell University. Series math "arxiv.org". 2015.

We prove that b2 is bounded for hyperk¨ahler manifolds with vanishing odd-Betti numbers. The explicit upper boundary is conjectured. Following the method described by Sawon we prove that b2 is bounded in dimension eight and ten in the case of vanishing odd-Betti numbers by 24 and 25 respectively. ...

Added: November 15, 2015

Amerik E., Verbitsky M., Annales Scientifiques de l'Ecole Normale Superieure 2017 Vol. 50 No. 4 P. 973-993

Let M be a simple hyperk¨ahler manifold, that is, a simply connected compact holomorphically symplectic manifold of K¨ahler type with h 2,0 = 1. Assuming b2(M) 6= 5, we prove that the group of holomorphic automorphisms of M acts on the set of faces of its K¨ahler cone with finitely many orbits. This statement is ...

Added: September 8, 2016

Amerik E., Campana F., Journal of London Mathematical Society 2017 Vol. 95 No. 1 P. 115-127

We prove that the characteristic foliation F on a nonsingular divisor D in an irreducible projective hyperk¨ahler manifold X cannot be algebraic, unless the leaves of F are rational curves or X is a surface. More generally, we show that if X is an arbitrary projective manifold carrying a holomorphic symplectic 2-form, and D and ...

Added: September 8, 2016

Amerik E., Verbitsky M., International Mathematics Research Notices 2015 Vol. 2015 No. 23 P. 13009-13045

Let M be an irreducible holomorphically symplectic manifold. We show that all faces of the Kähler cone of M are hyperplanes Hi orthogonal to certain homology classes, called monodromy birationally minimal (MBM) classes. Moreover, the Kähler cone is a connected component of a complement of the positive cone to the union of all Hi. We ...

Added: October 28, 2015

Collections of parabolic orbits in homogeneous spaces, homogeneous dynamics and hyperkahler geometry

Amerik E., Verbitsky M., / Cornell University. Series arXiv "math". 2016.

Consider the space M = O(p, q)/O(p) × O(q) of positive p-dimensional subspaces in a pseudo-Euclidean space V of signature (p, q), where p > 0, q > 1 and (p, q) != (1, 2), with integral structure: V = VZ ⊗ R. Let Γ be an arithmetic subgroup in G = O(VZ), and R ...

Added: April 14, 2016

Amerik E., Verbitsky M., / Cornell University. Series arXiv "math". 2016.

Let M be an irreducible holomorphic symplectic (hyperk¨ahler) manifold. If b2(M) >= 5, we construct a deformation M′ of M which admits a symplectic automorphism of infinite order. This automorphism is hyperbolic, that is, its action on the space of real (1, 1)-classes is hyperbolic. If b2(M) >= 14, similarly, we construct a deformation which ...

Added: April 13, 2016

Kamenova L., Verbitsky M., New York Journal of Mathematics 2017 Vol. 23 P. 489-495

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 hyperkähler manifolds are not algebraically hyperbolic when the Picard rank is at least 3, or ...

Added: April 10, 2017

Kurnosov N., / Cornell University. Series math "arxiv.org". 2015.

We prove that a generic complex deformation of a generalized Kummer variety contains no complex analytic tori. ...

Added: October 16, 2015

Verbitsky M., Markman E., Mehrotra S., / Cornell University. Series arXiv "math". 2017.

Let S be a K3 surface and M a smooth and projective 2n-dimensional moduli space of stable coherent sheaves on S. Over M x M there exists a rank 2n-2 reflexive hyperholomorphic sheaf E_M, whose fiber over a non-diagonal point (F,G) is Ext^1(F,G). The sheaf E_M can be deformed along some twistor path to a ...

Added: October 10, 2017

Verbitsky M., Selecta Mathematica, New Series 2017 Vol. 23 No. 3 P. 2203-2218

The transcendental Hodge lattice of a projective manifold M is the smallest Hodge substructure in pth cohomology which contains all holomorphic p-forms. We prove that the direct sum of all transcendental Hodge lattices has a natural algebraic structure, and compute this algebra explicitly for a hyperkähler manifold. As an application, we obtain a theorem about ...

Added: February 6, 2017

Kamenova L., Verbitsky M., / Cornell University. Series arXiv "math". 2016.

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 hyperk¨ahler manifolds are non algebraically hyperbolic when the Picard rank is at least 3, or ...

Added: April 21, 2016

Bogomolov F. A., Kamenova L., Lu S. et al., / Cornell University. Series arXiv "math". 2016.

We define the Kobayashi quotient of a complex variety by identifying points with vanishing Kobayashi pseudodistance between them and show that if a compact complex manifold has an automorphism whose order is infinite, then the fibers of this quotient map are nontrivial. We prove that the Kobayashi quotients associated to ergodic complex structures on a ...

Added: September 6, 2016

Tomberg A., Математические заметки 2019 Т. 105 № 6 С. 949-954

...

Added: November 11, 2018

Verbitsky M., Entov M., Selecta Mathematica, New Series 2018 Vol. 24 No. 3 P. 2625-2649

Let M be a closed symplectic manifold of volume V. We say that M admits an unobstructed symplectic packing by balls if any collection of symplectic balls (of possibly different radii) of total volume less than V admits a symplectic embedding to M. In 1994 McDuff and Polterovich proved that symplectic packings of Kahler manifolds ...

Added: September 13, 2018

Verbitsky M., Kamenova L., / Cornell University. Series arXiv "math". 2021.

Let M be a hyperkahler manifold of maximal holonomy (that is, an IHS manifold), and let K be its Kahler cone, which is an open, convex subset in the space H1,1(M,R) of real (1,1)-forms. This space is equipped with a canonical bilinear symmetric form of signature (1,n) obtained as a restriction of the Bogomolov-Beauville-Fujiki form. The set of vectors of positive square in ...

Added: November 25, 2021

Verbitsky M., Osaka Journal of Mathematics 2010 Vol. 47 No. 2 P. 353-384

Let (M; I; J;K; g) be a hyperkahler manifold, dimRM = 4n.
We study positive, @-closed (2p; 0)-forms on (M; I). These
forms are quaternionic analogues of the positive (p; p)-forms,
well-known in complex geometry. We construct a monomorphism
Vp;p : 2p;0
I (M) !n+p;n+p
I (M), which maps @-closed
(2p; 0)-forms to closed (n+p; n+p)-forms, and positive (2p; 0)forms to positive ...

Added: October 12, 2012

Soldatenkov A. O., Verbitsky M., Journal of Geometry and Physics 2014

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 ...

Added: December 26, 2014

Amerik E., Verbitsky M., / Cornell University. Series arXiv "math". 2021.

A parabolic automorphism of a hyperkahler manifold is a holomorphic automorphism acting on H2(M) by a non-semisimple quasi-unipotent linear map. We prove that a parabolic automorphism which preserves a Lagrangian fibration acts on its fibers ergodically. The invariance of a Lagrangian fibration is automatic for manifolds satisfying the hyperkahler SYZ conjecture; this includes all known examples of ...

Added: April 6, 2022

Verbitsky M., Acta Mathematica 2015 Vol. 215 No. 276 P. 161-182

Let M be a compact complex manifold. The corresponding Teichm¨uller space Teich is a space of all complex structures on M up to the action of the group Diff0(M) if isotopies. The mapping class group Γ := Diff(M)/ Diff0(M) acts on Teich in a natural way. An ergodic complex structure is the one with a ...

Added: October 27, 2015

Kamenova L., Verbitsky M., Advances in Mathematics 2014 Vol. 260 P. 401-413

A holomorphic Lagrangian fibration on a holomorphically symplectic manifold is a holomorphic map with Lagrangian fibers. It is known that a given compact manifold admits only finitely many holomorphic symplectic structures, up to deformation. We prove that a given compact manifold with $b_2 \geq 7$ admits only finitely many deformation types of holomorphic Lagrangian fibrations. ...

Added: July 11, 2014

Amerik E., Verbitsky M., / Cornell University. Series arXiv "math". 2021.

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 ...

Added: April 7, 2022

Amerik E., Verbitsky M., / Cornell University. Series arXiv "math". 2018.

An MBM class on a hyperkahler manifold M is a second cohomology class such that its orthogonal complement in H^2(M) contains a maximal dimensional face of the boundary of the Kahler cone for some hyperkahler deformation of M. An MBM curve is a rational curve in an MBM class and such that its local deformation ...

Added: December 4, 2018

Verbitsky M., Amerik E., / Cornell University. Series arXiv "math". 2019.

We study the exceptional loci of birational (bimeromorphic) contractions of a hyperkähler manifold M. Such a contraction locus is the union of all minimal rational curves in a collection of cohomology classes which are orthogonal to a wall of the Kähler cone. Homology classes which can possibly be orthogonal to a wall of the Kähler cone ...

Added: June 9, 2019