arXiv research

We study the volume growth of hyperkaehler manifolds of type $A_{\infty}$ constructed by Anderson-Kronheimer-LeBrun and Goto. These are noncompact complete 4-dimensional hyperkaehler manifolds of infinite topological type. These manifolds have the same topology but the hyperkaehler metrics are depends on the choice of …

The paper proves conditions for smooth convergence of hyperkaehler 4-manifolds with boundary.

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…

We generalize the hyperkaehler quotient construction to the situation where there is no group action preserving the hyperkaehler structure but for each complex structure there is an action of a complex group preserving the corresponding complex symplectic structure. Many (known and new) hyperkaehler manifolds arise as …

This note proves combinatorially that the intersection pairing on the middle dimensional compactly supported cohomology of a smooth toric hyperkaehler variety is always definite, providing a large number of non-trivial L^2 harmonic forms for toric hyperkaehler metrics on these varieties. This is motivated by a result o…

We consider locally conformal Kaehler geometry as an equivariant (homothetic) Kaehler geometry: a locally conformal Kaehler manifold is, up to equivalence, a pair (K,Γ) where K is a Kaehler manifold and Γa discrete Lie group of biholomorphic homotheties acting freely and properly discontinuously. We define a new invari…

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 2-dimensional complex torus $T$, the Hilbert scheme $T^{[n]}$ classifying zero-dimensional subschemes of $T$ admits a hype…

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…

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 …

We study the algebraic dimension a(X) of a compact hyperkaehler manfold of dimension 2n. We show that a(X) is at most n unless X is projective. If a compact Kaehler manifold with algebraic dimension 0 and Kodaira dimension 0 has a minimal model, then only the values 0,n and 2n are possible. In case of middle dimension,…

We study the hyperholomorphic line bundle on a hyperkaehler manifold with circle action introduced by A Haydys, and in particular show how it transforms under a hyperkaehler quotient. Applications include ALE spaces and coadjoint orbits.

In this short note we prove that the number of deformation types of compact hyperkaehler manifolds with prescribed second cohomology and second Chern class is finite. The proof uses the finiteness result of Kollar and Matsusaka, a formula by Hitchin and Sawon and the surjectivity of the period map.

Rozansky and Witten proposed in 1996 a family of new three-dimensional topological quantum field theories, indexed by compact (or asymptotically flat) hyperkaehler manifolds. As a byproduct they proved that hyperkaehler manifolds also give rise to Vassiliev weight systems. These may be thought of as invariants of hyper…

We characterize HKT structure in terms of nondegenrate complex Poisson bivector on hypercomplex manifold. We extend the characterization to the twistor space. After considering the flat case in detail, we show that the twistor space of hyperkaehler manifold admits a holomorphic Poisson structure. We briefly mention the…

A hyperkaehler manifold with a circle action fixing just one complex structure admits a natural a hyperholomorphic line bundle. This forms the basis for the construction of a corresponding quaternionic Kaehler manifold in the work of A.Haydys. We construct in this paper the corresponding holomorphic line bundle on twis…

A construction is introduced for modifying hyperkaehler manifolds with tri-Hamiltonian circle action, that in favourable situations increases the second Betti number by one. This is based on the symplectic cut construction of Lerman. In 4 or 8 dimensions the construction may be interpreted as adding a D6-brane. A numbe…

This is the first in a series of papers in which we develop a twistor-based method of constructing hyperkaehler metrics from holomorphic functions and elliptic curves. As an application, we revisit the Atiyah-Hitchin manifold and derive in an explicit holomorphic coordinate basis closed-form formulas for, among other t…

Barrier methods classify minimal submanifolds in hyperkaehler spaces.

A trisymplectic structure on a complex 2n-manifold is a triple of holomorphic symplectic forms such that any linear combination of these forms has constant rank 2n, n or 0, and degenerate forms in $Ω$ belong to a non-degenerate quadric hypersurface. We show that a trisymplectic manifold is equipped with a holomorphic 3…

The geometry arising from Michelson & Strominger's study of N=4B supersymmetric quantum mechanics with superconformal D(2,1;alpha)-symmetry is a hyperKaehler manifold with torsion (HKT) together with a special homothety. It is shown that different parameters alpha are related via changes in potentials for the HKT targe…

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 co…

The geometry of the universal hyperKaehler implosion for SU(n) is explored. In particular, we show that the universal hyperKaehler implosion naturally contains a hypertoric variety described in terms of quivers. Furthermore, we discuss a gauge theoretic approach to hyperKaehler implosion.

A canonical hyperkaehler metric on the total space $T^*M$ of a cotangent bundle to a complex manifold $M$ has been constructed recently by the author (see alg-geom/9710026). This paper presents the results of alg-geom/9710026 in a streamlined and simplified form. The only new result is an explicit formula obtained for …

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 …

Lectures given at the summer school on Algebraic Groups, Goettingen, June 27 - July 15 2005

Let $(M,I,J,K)$ be a hyperkaehler manifold, $\dim_\R M =4n$. We study positive, Dolbeault-closed $(2p,0)$-forms on $(M,I)$. These forms are quaternionic analogues of the positive $(p,p)$-forms. We construct an injective homomorphism mapping Dolbeault-closed $(2p,0)$-forms to closed $(n+p,n+p)$-forms, and positive $(2p,…

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 classify those manifolds mentioned in the title which have finite topological type. Namely we show any such connected M is isomorphic to a hyperkaehler quotient of a flat quaternionic vector space by an abelian group. We also show that a compact connected and simply connected 3-Sasakian manifold of dimension 4n-1 wh…

An analogue of the correspondence between GL(k)-conjugacy classes of matricial polynomials and line bundles is given for K-conjugacy classes, where K is one of the following: maximal parabolic, maximal torus, GL(k-1) embedded diagonally. The generalised Legendre transform construction of hyperkaehler metrics is studied…

The abstract discusses instantons on flat spaces and provides explicit constructions.

A hypercomplex manifold is a manifold equipped with a triple of complex structures satisfying the quaternionic relations. A holomorphic Lagrangian variety on a hypercomplex manifold with trivial canonical bundle is a holomorphic subvariety which is calibrated by a form associated with the holomorphic volume form; this …

A hypercomplex structure on a differentiable manifold consists of three integrable almost complex structures that satisfy quaternionic relations. If, in addition, there exists a metric on the manifold which is Hermitian with respect to the three structures, and such that the corresponding Hermitian forms are closed, th…

In four-dimensional gauge theory there exists a well-known correspondence between instantons and holomorphic curves, and a similar correspondence exists between certain octonionic instantons and triholomorphic curves. We prove that this latter correspondence stems from the dynamics of various dimensional reductions of …

6 pages, LaTeX, to appear in Proc. of International Conf. "Geometrization of Physics - II", Kazan, Russia, Oct 28 - Nov 2, 1995. Withdrawn

We show that a complete simply-connected hyperkaehler 4-manifold with an isometric triholomorphic circle action is obtained from the Gibbons-Hawking ansatz with some suitable harmonic function.

We prove estimates for the sectional curvature of hyperkaehler quotients and give applications to moduli spaces of solutions to Nahm's equations and Hitchin's equations.

Let M be a compact simply connected hyperkähler (or holomorphically symplectic) manifold, \dim H^2(M)=n. Assume that M is not a product of hyperkaehler manifolds. We prove that the Lie algebra so(n-3,3) acts by automorphisms on the cohomology ring H^*(M). Under this action, the space H^2(M) is isomorphic to the fundame…

We study the hyperkaehler geometry of a regular semisimple adjoint orbit of SL(k,C) via the algebraic geometry of the corresponding reducible spectral curve.

Here we survey questions and results on the Hodge theory of hyperkaehler quotients, motivated by certain S-duality considerations in string theory. The problems include L^2 harmonic forms, Betti numbers and mixed Hodge structures on the moduli spaces of Yang-Mills instantons on ALE gravitational instantons, magnetic mo…

We study generalized Killing spinors on compact Einstein manifolds with positive scalar curvature. This problem is related to the existence compact Einstein hypersurfaces in manifolds with parallel spinors, or equivalently, in Riemannian products of flat spaces, Calabi-Yau, hyperkaehler, G_2 and Spin(7) manifolds.

Study complex structures and curvature equations on compact manifolds.

Let $M$ be a hyperkaehler manifold, and $F$ a torsion-free and reflexive coherent sheaf on $M$. Assume that $F$ (outside of its singularities) admits a connection with a curvature which is invariant under the standard SU(2)-action on 2-forms. If the curvature is square-integrable, then $F$ is stable and its singulariti…

The generalized Legendre transform method of Lindstrom and Rocek yields hyperkaehler metrics from holomorphic functions. Its main ingredients are sections of ${\cal O}(2j)$ bundles over the twistor space satisfying a reality condition with respect to antipodal conjugation on the hyperkaehler sphere of complex structure…

We study the geometry of the twistor space of the universal hyperkaehler implosion Q for SU(n). Using the description of Q as a hyperkaehler quiver variety, we construct a holomorphic map from the twistor space Z_Q of Q to a complex vector bundle over P^1, and an associated map of Q to the affine space R of the bundle'…

We show that recently constructed invariants of 3-dimensional manifolds and of hyperkaehler manifolds (L.Rozansky and E.Witten, hep-th/9612216) come from characteristic classes of foliations and from Gelfand-Fuks cohomology. In particular, any symplectic foliation gives invariants of 3-manifolds. Our preprint has many …

Paper withdrawn due to errors (superseded by math.AG/0604303). Proposition 11.4 is false, Section 12 is false, and the main statement is true only for bundles $B$ with $c_1(B)$ SU(2)-invariant.

In general, the product of harmonic forms is not harmonic. We study the top exterior power of harmonic two-forms on compact Kaehler manifolds. Often, it is not harmonic. This phenomenon is related to the geometry of the manifold and to the existence of rational curves in particular. K3 surfaces and hyperkaehler manifol…

We define and study certain hyperkaehler manifolds which capture the asymptotic behaviour of the SU(2)-monopole metric in regions where monopoles break down into monopoles of lower charges. The rate at which these new metrics approximate the monopole metric is exponential, as for the Gibbons-Manton metric.