arXiv research

Hyperkahler quotients by non-free actions are typically highly singular, but are remarkably still partitioned into smooth hyperkahler manifolds. We show that these partitions are topological stratifications, in a strong sense. We also endow the quotients with global Poisson structures which induce the hyperkahler struc…

It is known that nilpotent orbits in a complex simple Lie algebra admit hyperKähler metrics with a single function that is a global potential for each of the Kähler structures (a hyperKähler potential). In an earlier paper the authors showed that nilpotent orbits in classical Lie algebras can be constructed as finite-d…

Study of $D_2$ ALF manifolds via hyperkahler quotients of affine spaces.

Estimates solutions to Hessian quotient equations on HKT manifolds.

We study an integration theory in circle equivariant cohomology in order to prove a theorem relating the cohomology ring of a hyperkahler quotient to the cohomology ring of the quotient by a maximal abelian subgroup, analogous to a theorem of Martin for symplectic quotients. We discuss applications of this theorem to q…

Holomorphic automorphisms on hyperkähler manifolds with high entropy are Kummer examples.

In this survey article we describe the geometry of toric hyperkähler varieties, which are hyperkähler quotients of the quaternionic vector spaces by tori. In particular, we discuss the Betti numbers, the cohomology ring, and variation of hyperkähler structures of these spaces with many improved results and proofs.

We introduce an analogue in hyperkahler geometry of the symplectic implosion, in the case of SU(n) actions. Our space is a stratified hyperkahler space which can be defined in terms of quiver diagrams. It also has a description as a non-reductive geometric invariant theory quotient.

A result of Jost and Zuo is used to show that for a large class of finite-dimensional hyperkähler quotients, the only L2 harmonic forms lie in the middle dimension, and are of type (k,k) with respect to all complex structures. The argument is extended to some moduli spaces which appear as infinite-dimensional quotients…

In this thesis we study the topology and geometry of hyperkähler quotients, as well as some related non-compact Kähler quotients, from the point of view of Hamiltonian group actions. The main technical tool we employ is Morse theory with moment maps. We prove a Lojasiewicz inequality which permits the use of Morse theo…

We develop a graphical representation of polynomial invariants of unitary gauge groups, and use it to find the algebraic curve corresponding to a hyperkahler quotient of a linear space. We apply this method to four dimensional ALE spaces, and for the A_k, D_k, and E_6 cases, derive the explicit relation between the def…

We study singular hyperkahler quotients of the cotangent bundle of a complex semisimple Lie group as stratified spaces whose strata are hyperkahler. We focus on one particular case where the stratification satisfies the frontier condition and the partial order on the set of strata can be described explicitly by Lie the…

Promotes Poisson deformations to hyperkähler structures.

Extending work of Bielawski-Dancer and Konno, we develop a theory of toric hyperkahler varieties, which involves toric geometry, matroid theory and convex polyhedra. The framework is a detailed study of semi-projective toric varieties, meaning GIT quotients of affine spaces by torus actions, and specifically, of Lawren…

Study collapsing geometry of hyperkähler 4-manifolds and prove conjectures.

Let X be a Kahler manifold that is presented as a Kahler quotient of C^n by the linear action of a compact group G. We define the hyperkahler analogue M of X as a hyperkahler quotient of the cotangent bundle T^*C^n by the induced G-action. Special instances of this construction include hypertoric varieties and quiver v…

Study of a metric on cotangent bundle spaces of Kähler quotients.

We introduce the fibred toric varieties as equivariant $\mathbb{C}P^r$ bundles over lower dimensional toric varieties. An equivalent characterization is that the natural morphisms on them degenerate to bundle projections in the context of variation of toric varieties as GIT quotients. Our main observation is that these…

We represent algebraic curves via commuting matrix polynomials. This allows us to show that the Hilbert scheme of cohomologically stable twisted rational curves of degree $d$ in ${\Bbb P}^3\backslash {\Bbb P}^1$ is isomorphic to a complexified hyperkähler quotient of an open subset of a vector space by a non-reductive …

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 …

Hypertoric varieties are hyperkähler analogues of toric varieties, and are constructed as abelian hyperkähler quotients of a quaternionic affine space. Just as symplectic toric orbifolds are determined by labelled polytopes, orbifold hypertoric varieties are intimately related to the combinatorics of hyperplane arrange…

We give an original analytic construction of hyperkahler ALF metrics on some ALE spaces of dihedral type, namely the spaces corresponding to minimal resolutions of Kleinian quotients relative to some binary dihedral group.

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

We prove a version of the affine Kempf-Ness theorem for non-algebraic symplectic structures and shifted moment maps, and use it to describe hyperkahler quotients of T*G, where G is a complex reductive group.

A classification result for Ricci-flat anti-self-dual asymptotically locally Euclidean 4-manifolds is obtained: they are either hyperkähler (one of the gravitational instantons classified by Kronheimer), or they are a cyclic quotient of a Gibbons-Hawking space. The possible quotients are described in terms of the monop…

We construct large families of new collapsing hyperkähler metrics on the K3 surface. The limit space is the quotient of a flat 3-torus by an involution. Away from finitely many exceptional points the collapse occurs with bounded curvature. There are at most 24 exceptional points where the curvature concentrates, which …

We show that supertwistor spaces constructed as a Kahler quotient of a hyperkahler cone (HKC) with equal numbers of bosonic and fermionic coordinates are Ricci-flat, and hence, Calabi-Yau. We study deformations of the supertwistor space induced from deformations of the HKC. We also discuss general infinitesimal deforma…

A mapping class group of an oriented manifold is a quotient of its diffeomorphism group by the isotopies. We compute a mapping class group of a hypekahler manifold $M$, showing that it is commensurable to an arithmetic subgroup in SO(3, b_2-3). A Teichmuller space of $M$ is a space of complex structures on $M$ up to is…

Let N_0 = C^2/H be an isolated quotient singularity with H in U (2) a finite subgroup. We show that for any Q-Gorenstein smoothings of N_0 a nearby fiber admits ALE Ricci-flat Kahler metrics in any Kahler class. Moreover, we generalize Kronheimer's results on hyperkahler 4-manifolds, by giving an explicit classificatio…

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

In this paper we will survey some recent developments in the last decade or so on variation of Geometric Invariant Theory and its applications to Birational Geometry such as the weak Factorization Theorems of nonsingular projective varieties and more generally projective varieties with finite quotient singularities. Al…

We present ADHM-Nahm data for instantons on the Taub-NUT space and encode these data in terms of Bow Diagrams. We study the moduli spaces of the instantons and present these spaces as finite hyperkahler quotients. As an example, we find an explicit expression for the metric on the moduli space of one SU(2) instanton. W…

We study the rigid limit of a class of hypermultiplet moduli spaces appearing in Calabi-Yau compactifications of type IIB string theory, which is induced by a local limit of the Calabi-Yau. We show that the resulting hyperkahler manifold is obtained by performing a hyperkahler quotient of the Swann bundle over the modu…

A taut contact sphere on a 3-manifold is a linear 2-sphere of contact forms, all defining the same volume form. In the present paper we completely determine the moduli of taut contact spheres on compact left-quotients of SU(2) (the only closed manifolds admitting such structures). We also show that the moduli space of …

Toric hyperk{ä}hler manifolds are quaternion analog of toric varieties. Bielawski pointed out that they can be glued by cotangent bundles of toric varieties. Following his idea, viewing both toric varieties and toric hyperk{ä}her manifolds as GIT quotients, we first establish geometrical criteria for the semi-stable po…

Study pseudo-hyperkähler geometry of curves in hyperkähler twistor spaces.

We show that Chen-Ruan cohomology is a homotopy invariant in certain cases. We introduce the notion of a T-representation homotopy, which is a stringent form of homotopy under which Chen-Ruan cohomology is invariant. We show that while hyperkahler quotients of the cotangent bundle to a complex vector space by a circle …

Associated with every quaternionic representation of a compact, connected Lie group there is a Seiberg-Witten equation in dimension three. The moduli spaces of solutions to these equations are typically non-compact. We construct Kuranishi models around boundary points of a partially compactified moduli space. The Haydy…

3-Sasaki structures linked to projective geometry.

Study locally conformally balanced metrics on specific Lie algebras.

Explains hyperkähler manifolds and their properties.

Study of Hilbert schemes and Coulomb branches of hypertoric varieties.

A nilmanifold is a quotient of a nilpotent group $G$ by a co-compact discrete subgroup. A complex nilmanifold is one which is equipped with a $G$-invariant complex structure. We prove that a complex nilmanifold has trivial canonical bundle. This is used to study hypercomplex nilmanifolds (nilmanifolds with a triple of …

Using 3-Sasakian reduction techniques we obtain infinite families of new 3-Sasakian manifolds $\scriptstyle{{\cal M}(p_1,p_2,p_3)}$ and $\scriptstyle{{\cal M}(p_1,p_2,p_3,p_4)}$ in dimension 11 and 15 respectively. The metric cone on $\scriptstyle{{\cal M}(p_1,p_2,p_3)}$ is a generalization of the Kronheimer hyperkähle…

A hyperKähler potential is a function rho that is a Kähler potential for each complex structure compatible with the hyperKähler structure. Nilpotent orbits in a complex simple Lie algebra are known to carry hyperKähler metrics admitting such potentials. In this paper, we explicitly calculate the hyperKähler potential w…

This paper explores hyperkähler structures on specific orbits using different methods.

It is well known that any 4-dimensional hyperkahler metric with two commuting Killing fields may be obtained explicitly, via the Gibbons-Hawking Ansatz, from a harmonic function invariant under a Killing field on R^3. In this paper, we find all selfdual Einstein metrics of nonzero scalar curvature with two commuting Ki…

Study on stability of hyperkähler flow in 4-manifolds.