arXiv research

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…

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 …

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…

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…

The paper studies a special sphere in ALE spaces.

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…

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…

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 …

A well known consequence of the Wirtinger inequality is that in a Kaehler surface a holomorphic curve is an area minimizer in its homology class. In light of this result it is natural, given a Kaehler surface, to investigate the relation between area minimizers and complex curves. When the Kaehler surface is a K3 surfa…

Having fixed a Kaehler class and the unique corresponding hyperkaehler metric, we prove that all special Lagrangian submanifolds of an irreducible symplectic 4-fold X are bi-Lagrangian and that they are obtained by complex submanifolds via a sort of "hyperkaehler rotation trick"; thus they retain part of the rigidity o…

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.

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…

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 …

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

New complex structure on hyperbolic disc within hyperkaehler space.

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.

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…

Study complex structures and curvature equations on compact manifolds.

A manifold (M,I,J,K) is called hypercomplex if I,J,K are complex structures satisfying quaternionic relations. A quaternionic Hermitian metric is called HKT (hyperkaehler with torsion) if $Idω_I = Jd ω_J=Kdω_K$, where $ω_I,ω_J, ω_K$ are Hermitian forms associated with I, J, K. A Hermitian metric $ω$ on a complex manifo…

This paper is concerned with the construction of special metrics on non-compact 4-manifolds which arise as resolutions of complex orbifold singularities. Our study is close in spirit to the construction of the hyperkaehler gravitational instantons, but we focus on a different class of singularities. We show that any re…

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…

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.

Classifies 4D toric Hermitian ALF metrics with conical singularities.

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.

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…

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.

By studying the Higgs bundle equations with the gauge group replaced by the group of symplectic diffeomorphisms of the 2-sphere we encounter the notion of a folded hyperkaehler 4-manifold and conjecture the existence of a family of such metrics parametrised by an infinite-dimensional analogue of Teichmueller space.

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 …

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 …

Barrier methods classify minimal submanifolds in hyperkaehler spaces.

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

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.

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…

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

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

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…

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…

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

We demonstrate the agreement between the Higgs branches of two N=2 theories proposed by Argyres and Seiberg to be S-dual, namely the SU(3) gauge theory with six quarks, and the SU(2) gauge theory with one pair of quarks coupled to the superconformal theory with E_6 flavor symmetry. In mathematical terms, we demonstrate…

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…

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

We describe compactifications of the moduli spaces of SU(2) monopoles on R3 as manifolds with corners, with respect to which the hyperKaehler metrics admit asymptotic expansions up to each boundary face. The boundary faces encode monopoles of charge k decomposing into widely separated monopoles of lower charge, and the…

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