arXiv subjects

Misha Verbitsky

Publications and source records attributed to Misha Verbitsky.

At least 91 records · Page 5Linked to original sources

arXiv2016

On the Kobayashi pseudometric, complex automorphisms and hyperkaehler manifolds

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 compact manifold are isomorphic. We also give a proof of Kobayashi's conjecture on the vanishing of the pseudodistance for hyperkähler manifolds having Lagrangian fibrations without multiple fibers in codimension one. For a hyperbolic automorphism of a hyperkähler manifold, we prove that its cohomology eigenvalues are determined by its Hodge numbers, compute its dynamical degree and show that its cohomological trace grows exponentially, giving estimates on the number of its periodic points.

math.DG↗

arXiv2016

Algebraic dimension of complex nilmanifolds

Let M be a complex nilmanifold, that is, a compact quotient of a nilpotent Lie group endowed with an invariant complex structure by a discrete lattice. A holomorphic differential on M is a closed, holomorphic 1-form. We show that $a(M)\leq k$, where $a(M)$ is the algebraic dimension $a(M)$ (i.e. the transcendence degree of the field of meromorphic functions) and $k$ is the dimension of the space of holomorphic differentials. We prove a similar result about meromorphic maps to Kahler manifolds.

math.DG↗

arXiv2016

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

Let $M$ be a hyperkähler manifold with $b_2(M)\geq 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ähler 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.

math.AG↗

arXiv2016

Construction of automorphisms of hyperkähler manifolds

Let $M$ be an irreducible holomorphic symplectic (hyperkähler) manifold. If $b_2(M)\geq 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 $b_2(M) \geq 14$, similarly, we construct a deformation which admits a parabolic automorphism.

math.AG↗

arXiv2016

Complex geometry of moment-angle manifolds

Moment-angle manifolds provide a wide class of examples of non-Kaehler compact complex manifolds. A complex moment-angle manifold Z is constructed via certain combinatorial data, called a complete simplicial fan. In the case of rational fans, the manifold Z is the total space of a holomorphic bundle over a toric variety with fibres compact complex tori. In general, a complex moment-angle manifold Z is equipped with a canonical holomorphic foliation F which is equivariant with respect to the (C*)^m-action. Examples of moment-angle manifolds include Hopf manifolds of Vaisman type, Calabi-Eckmann manifolds, and their deformations. We construct transversely Kaehler metrics on moment-angle manifolds, under some restriction on the combinatorial data. We prove that any Kaehler submanifold (or, more generally, a Fujiki class C subvariety) in such a moment-angle manifold is contained in a leaf of the foliation F. For a generic moment-angle manifold Z in its combinatorial class, we prove that all subvarieties are moment-angle manifolds of smaller dimension. This implies, in particular, that the algebraic dimension of Z is zero.

math.CV↗

arXiv2016

Compact pluricanonical manifolds are Vaisman

A locally conformally Kahler manifold is a Hermitian manifold $(M,I,ω)$ satisfying $dω=θ\wedge ω$, where $θ$ is a closed 1-form, called the Lee form of $M$. It is called pluricanonical if $\nablaθ$ is of Hodge type $(2,0)+(0,2)$, where $\nabla$ is the Levi-Civita connection, and Vaisman if $\nablaθ=0$. We show that a compact LCK manifold is pluricanonical if and only if the Lee form has constant length and the Kahler form of its covering admits an automorphic potential. Using a degenerate Monge-Ampere equation and the classification of surfaces of Kahler rank one, due to Brunella, Chiose and Toma, we show that any pluricanonical metric on a compact manifold is Vaisman. Several errata to our previous work are given in the last Section.

math.DG↗

arXiv2016

LCK rank of locally conformally Kahler manifolds with potential

An LCK manifold with potential is a compact quotient of a Kahler manifold $X$ equipped with a positive Kahler potential $f$, such that the monodromy group acts on $X$ by holomorphic homotheties and multiplies $f$ by a character. The LCK rank is the rank of the image of this character, considered as a function from the monodromy group to real numbers. We prove that an LCK manifold with potential can have any rank between 1 and $b_1(M)$. Moreover, LCK manifolds with proper potential (ones with rank 1) are dense. Two errata to our previous work are given in the last Section.

math.DG↗

arXiv2015

Hyperbolic geometry of the ample cone of a hyperkahler manifold

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 hypersurfaces which cut $X$ into finitely many polyhedral pieces in such a way that each of these pieces is isometric to a quotient $P(M')/Aut(M')$, where $P(M')$ is the projectivization of the ample cone of a birational model $M'$ of $M$, and $Aut(M')$ the group of its holomorphic automorphisms. This is used to prove the existence of nef isotropic line bundles on a hyperkahler birational model of a simple hyperkahler manifold of Picard number at least 5, and also illustrates the fact that an IHS manifold has only finitely many birational models up to isomorphism, originally deduced by Markman and Yoshioka from the Morrison-Kawamata cone conjecture.

math.AG↗

arXiv2015

Degenerate twistor spaces for hyperkahler manifolds

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

math.AG↗

arXiv2015

Ergodic complex structures on hyperkahler manifolds

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 used to show that all hyperkahler manifolds are Kobayashi non-hyperbolic.

math.AG↗

arXiv2015

Teichmuller space for hyperkahler and symplectic structures

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_2-3,3)/SO(3)\times SO(b_2-3)$ consisting of all Beauville-Bogomolov positive 3-planes in $H^2(M, R)$ which are not orthogonal to any of the MBM classes. This is used to determine the Teichmuller space of symplectic structures of Kahler type on a hyperkahler manifold of maximal holonomy. We show that any connected component of this space is naturally identified with the space of cohomology classes $v\in H^2(M,\R)$ with $q(v,v)>0$, where $q$ is the Bogomolov-Beauville-Fujiki form on $H^2(M,\R)$.

math.DG↗

arXiv2014

Morrison-Kawamata cone conjecture for hyperkahler manifolds

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_i\}$ an infinite set of locally geodesic hypersurfaces. Then the union of $S_i$ is dense in $M$.

math.AG↗

arXiv2014

Existence of HKT metrics on hypercomplex manifolds of real dimension 8

A hypercomplex manifold $M$ is a manifold equipped with three complex structures satisfying quaternionic relations. Such a manifold admits a canonical torsion-free connection preserving the quaternion action, called Obata connection. A quaternionic Hermitian metric is a Riemannian metric on which is invariant with respect to unitary quaternions. Such a metric is called HKT if it is locally obtained as a Hessian of a function averaged with quaternions. HKT metric is a natural analogue of a Kahler metric on a complex manifold. We push this analogy further, proving a quaternionic analogue of Buchdahl-Lamari's theorem for complex surfaces. Buchdahl and Lamari have shown that a complex surface M admits a Kahler structure iff $b_1(M)$ is even. We show that a hypercomplex manifold M with Obata holonomy $SL(2,{\mathbb H})$ admits an HKT structure iff $H^{0,1}(M)=H^1({\cal O}_M)$ is even.

math.DG↗

arXiv2014

Locally conformally Kahler metrics obtained from pseudoconvex shells

A locally conformally Kahler (LCK) manifold is a complex manifold admitting a Kahler covering M, such that its monodromy acts on this covering by homotheties. A compact LCK manifold is called LCK with potential if M admits an authomorphic Kahler potential. It is known that in this case it is an algebraic cone, that is, the set of all non-zero vectors in the total space of an anti-ample line bundle over a projective orbifold. We start with an algebraic cone C, and show that the set of Kahler metrics with potential which could arise from an LCK structure is in bijective correspondence with the set of pseudoconvex shells, that is, pseudoconvex hypersurfaces in C meeting each orbit of the associated R-action exactly once. This is used to produce explicit LCK and Vaisman metrics on Hopf manifolds, generalizing earlier work by Gauduchon-Ornea and Kamishima-Ornea.

math.DG↗

arXiv2014

Teichmuller spaces, ergodic theory and global Torelli theorem

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 submission, with review of some of my work on Teichmuller spaces and moduli; proofs are sketched, new observations and some open problems added.

math.AG↗

arXiv2014

Parabolic nef currents on hyperkaehler manifolds

Let M be a compact, holomorphically symplectic Kahler manifold, and $η$ a (1,1)-current which is nef (a limit of Kahler forms). Assume that the cohomology class of $η$ is parabolic, that is, its top power vanishes. We prove that all Lelong sets of $η$ are coisotropic. When M is generic, this is used to show that all Lelong numbers of $η$ vanish. We prove that any hyperkahler manifold with Pic(M) of rank 1 has non-trivial coisotropic subvarieties, if a generator of Pic(M) is parabolic.

math.CV↗

arXiv2014

Compact Kähler 3-manifolds without non-trivial subvarieties

We prove that any compact Kähler 3-dimensional manifold which has no non-trivial complex subvarieties is a torus. This is a very special case of a general conjecture on the structure of 'simple manifolds', central in the bimeromorphic classification of compact Kähler manifolds. The proof follows from the Brunella pseudo-effectivity theorem, combined with fundamental results of Siu and of the second author on the Lelong numbers of closed positive (1,1)-currents, and with a version of the hard Lefschetz theorem for pseudo-effective line bundles, due to Takegoshi and Demailly-Peternell-Schneider. In a similar vein, we show that a normal compact and Kähler 3-dimensional analytic space with terminal singularities and nef canonical bundle is a cyclic quotient of a simple non-projective torus if it carries no effective divisor. This is a crucial step to complete the bimeromorphic classification of compact Kähler 3-folds

math.AG↗

arXiv2014

Rational curves on hyperkahler manifolds

Let $M$ be an irreducible holomorphically symplectic manifold. We show that all faces of the Kahler cone of $M$ are hyperplanes $H_i$ orthogonal to certain homology classes, called monodromy birationally minimal (MBM) classes. Moreover, the Kahler cone is a connected component of a complement of the positive cone to the union of all $H_i$. We provide several characterizations of the MBM-classes. We show the invariance of MBM property by deformations, as long as the class in question stays of type (1,1). For hyperkahler manifolds with Picard group generated by a negative class $z$, we prove that $\pm z$ is Q-effective if and only if it is an MBM class. We also prove some results towards the Morrison-Kawamata cone conjecture for hyperkahler manifolds.

math.AG↗