arXiv subjects
Publications and source records attributed to Misha Verbitsky.
Paper is withdrawn due to errors (superseded by math.AG/0604303). Formula 6.5 is false. Section 6 is false, and the main statement is true only for bundles $B$ with $c_1(B)$ SU(2)-invariant.
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$.
A contact manifold $M$ can be defined as a quotient of a symplectic manifold $X$ by a proper, free action of $\R^{>0}$, with the symplectic form homogeneous of degree 2. If $X$ is, in addition, Kaehler, and its metric is also homogeneous of degree 2, $M$ is called Sasakian. A Sasakian manifold is realized naturally as a level set of a Kaehler potential on a complex manifold, hence it is equipped with a pseudoconvex CR-structure. We show that any Sasakian manifold $M$ is CR-diffeomorphic to an $S^1$-bundle of unit vectors in a positive line bundle on a projective Kähler orbifold. This induces an embedding from $M$ to an algebraic cone $C$. We show that this embedding is uniquely defined by the CR-structure. Additionally, we classify the Sasakian metrics on an odd-dimensional sphere equipped with a standard CR-structure.
A locally conformally Kähler (LCK) manifold $M$ is one which is covered by a Kähler manifold $\tilde M$ with the deck transform group acting conformally on $\tilde M$. If $M$ admits a holomorphic flow, acting on $\tilde M$ conformally, it is called a Vaisman manifold. Neither the class of LCK manifolds nor that of Vaisman manifolds is stable under small deformations. We define a new class of LCK-manifolds, called LCK manifolds with potential, which is closed under small deformations. All Vaisman manifolds are LCK with potential. We show that an LCK-manifold with potential admits a covering which can be compactified to a Stein variety by adding one point. This is used to show that any LCK manifold M with potential, $\dim M > 2$, can be embedded to a Hopf manifold, thus improving on similar results for Vaisman. manifolds.
Let $A$ be a diagonal linear operator on $\C^n$, with all eigenvalues satisfying $0<|α_i|<1$, and $M = (\C^n\backslash 0)/ $ the corresponding Hopf manifold. We show that any stable holomorphic bundle on $M$ can be lifted to a $G$-equivariant coherent sheaf on $\C^n$, where $G=(\C^*)^l$ is a Lie group acting on $\C^n$ and containing $A$. This is used to show that all stable bundles on $M$ are filtrable, that is, admit a filtration by a sequence $F_i$ of coherent sheaves, with all subquotients $F_i/F_{i-1}$ of rank 1.
Let (M,I) be a compact Kaehler manifold admitting a hypercomplex structure. We show that (M, I) admits a natural HKT-metric. This is used to construct a holomorphic symplectic form on (M,I).
Let $M\stackrelπ\arrow X$ be a principal elliptic fibration over a Kaehler base $X$. We assume that the Kaehler form on $X$ is lifted to an exact form on $M$ (such fibrations are called positive). Examples of these are regular Vaisman manifolds (in particular, the regular Hopf manifolds) and Calabi-Eckmann manifolds. Assume that $\dim M > 2$. Using the Kobayashi-Hitchin correspondence, we prove that all stable bundles on $M$ are flat on the fibers of the elliptic fibration. This is used to show that all stable vector bundles on $M$ take form $L\otimes π^* B_0$, where $B_0$ is a stable bundle on $X$, and $L$ a holomorphic line bundle. For $X$ algebraic this implies that all holomorphic bundles on $M$ are filtrable (that is, obtained by successive extensions of rank-1 sheaves). We also show that all positive-dimensional compact subvarieties of $M$ are pullbacks of complex subvarieties on $X$.
Let G be a finite group acting on a symplectic complex vector space V. Assume that the quotient V/G has a holomorphic symplectic resolution. We prove that G is generated by "symplectic reflectionsd"', i.e. symplectomorphisms with fixed space of codimension 2 in V. Symplectic resolutions are always semismall. A crepant resolution of V/G is always symplectic. We give a symplectic version of Nakamura conjectures.
Let M be a hyperkaehler manifold, not necessarily compact, and $S\cong CP^1$ the set of complex structures induced by the quaternionic action. Trianalytic subvariety of M is a subvariety which is complex analytic with respect to all $I \in CP^1$. We show that for all $I \in S$ outside of a countable set, all compact complex subvarieties $Z \subset (M,I)$ are trianalytic. For M compact, this result was proven in alg-geom/9403006 using Hodge theory.
Let T be a compact complex torus, dim T>2. We show that the category of coherent sheaves on T is independent of the choice of the complex structure, if this complex structure is generic. The proof is independent of math.AG/0205210, where the same result was proven for K3 surfaces and even-dimensional tori.
Let M be a compact locally conformal hyperkaehler manifold. We prove a version of Kodaira-Nakano vanishing theorem for M. This is used to show that M admits no holomorphic differential forms, and the cohomology of the structure sheaf $H^i(O_M)$ vanishes for i>1. We also prove that the first Betti number of M is 1. This leads to a structure theorem for locally conformally hyperkaehler manifolds, describing them in terms of 3-Sasakian geometry. Similar results are proven for compact Einstein-Weyl locally conformal Kaehler manifolds.
We construct examples of compact hyperkaehler manifolds with torsion (HKT manifolds) which are not homogeneous and not locally conformal hyperkaehler. Consider a total space T of a tangent bundle over a hyperkaehler manifold M. The manifold T is hypercomplex, but it is never hyperkaehler, unless M is flat. We show that T admits an HKT-structure. We also prove that a quotient of T by a $\Z$-action $v \arrow q^n v$ is HKT, for any real number $q\in \R$, $q>1$. This quotient is compact, if M is compact. A more general version of this construction holds for all hyperholomorphic bundles with holonomy in Sp(n).
Let M be a K3 surface or an even-dimensional compact torus. We show that the category of coherent sheaves on M is independent from the choice of the complex structure, if this complex structure is generic.
Let M be a hypercomplex Hermitian manifold, (M,I) the same manifold considered as a complex Hermitian with a complex structure I induced by the quaternions. The standard linear-algebraic construction produces a canonical nowhere degenerate (2,0)-form on (M,I). It is well known that M is hyperkaehler if and only if the form Ωis closed with respect to the de Rham differential. The M is called HKT (hyperkaehler with torsion) if this form is closed with respect to the Dolbeault differential (this condition is weaker. Conjecturally, all compact hypercomplex manifolds admit an HKT-metrics. We exploit a remarkable analogy between the de Rham DG-algebra of a Kaehler manifold and the Dolbeault DG-algebra of an HKT-manifold. The supersymmetry of a Kaehler manifold is given by an action of an 8-dimensional Lie superalgebra on its de Rham algebra, containing the Lefschetz SL(2)-triple, the Laplacian and the de Rham differential. We establish the action of this superalgebra on the Dolbeault DG-algebra of an HKT-manifold. This is used to construct a canonical Lefschetz-type SL(2)-action on the space of harmonic spinors of M.
For any subvariety of a compact holomorphic symplectic Kaehler manifold, we define the number W(X), which we call Wirtinger number. We show that $W(X)\leq 1$, and the equality is reached if and only if the subvariety $X\subset M$ is trianalytic, i. e. compactible with the hyperkaehler structure on M. For a sequence $X_1 \arrow X_2 \arrow ... X_n\arrow M$ of immersions of simple holomorphic symplectic manifolds, we show that $W(X_1) \leq W(X_2) \leq >... \leq W(X_n)$.
Let X be a hyperkaehler manifold. Trianalytic subvarieties of X are subvarieties which are complex analytic with respect to all complex structures induced by the hyperkaehler structure. Given a K3 surface M, the Hilbert scheme classifying zero-dimensional subschemes of M admits a hyperkaehler structure. We show that for M generic, there are no trianalytic subvarieties of the Hilbert scheme. This implies that a generic deformation of the Hilbert scheme of K3 has no complex subvarieties.
We give a number of equivalent definitions of hypercomplex varieties and construct a twistor space for a hypercomplex variety. We prove that our definition of a hypercomplex variety (used, e. g., in alg-geom/9612013) is equivalent to a definition proposed by Deligne and Simpson, who used twistor spaces. This gives a way to define hypercomplex spaces (to allow nilpotents in the structure sheaf). We give a self-contained proof of desingularization theorem for hypercomplex varieties: a normalization of a hypercomplex variety is smooth and hypercomplex.
This is a second part of alg-geom/9611015. We construct a natural hyperkaehler desingularization for all singular hyperkaehler varieties. The desingularization theorem was proven in alg-geom/9611015 under additional assumption of local homogeneity. Here we show that local homogeneity is redundant: every singular hyperkaehler variety has locally homogeneous singularities.